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