文字列における高速パターンマッチング | Synapse