ボイヤー 照合 シピン Boyer 不一致 coauthors algorithm クリート・ボイヤー ダイアモンドグラブ 田代富雄 ゲーリー・ジェスター Clete いやー ジェスター クリート ATPアーゼ sintase ATP合成酵素 ウォーカーらによって 一分子細胞生物学 synthase 溶化 ssize nlen ABCDAB ABCDABCDABDE ABCDABD offset ANMAN Anpanman PANMAN portion ignore needle NPANMAN boyermoore ボイヤー-ムーア文字列検索アルゴリズム NMAN hlen Haystack occurrence integers Knuth クヌース-モリス-プラット法 KMP バックトラック 呼吸鎖複合体 FO prover Automated