アルゴリズムの話_パターン・マッチングについて