パターンマッチングアルゴリズム