124
メフィストフェレスと黒猫ネロの問答は続く。
「回数は１万５６２５より下か」。答えはＹｅｓ。
「回数は１万２８１２より下か」。答えはＮｏ。
「回数は１万４２１８より下か」。答えはＮｏ。
「回数は１万４９２１より下か」。答えはＮｏ。
「回数は１万５２７３より下か」。答えはＮｏ。
ここで気づいた。これは二分探索だ。二分探索。英語でｂｉｎａｒｙ ｓｅａｒｃｈ。ソート済みの範囲から特定の値を求めるアルゴリズムのひとつ。可能性の範囲を半分ずつに絞っていくやり方。すごく効率のいいやり方。
最後の問答から求める値は１万５２７３より下でないと分かる。つまり１万５２７３以上。そして４つ前の問答から求める値は１万５６２５よりも小さい。つまり１万５６２４以下。よって次に問うべき値は両者の中間。
（１５２７３＋１５６２４）÷２＝１５４４９ ※小数点以下四捨五入
これで求める値が１万５４４９より大きいか小さいかが分かれば、それが大小どちらであっても可能性の範囲は１万５２７３～１万５６２４の半分になる。
このようにターゲットを半分、また半分と絞っていくのだ。
「回数は１万５４４９より下か」。答えはＮｏ。
「回数は１万５５３７より下か」。答えはＹｅｓ。
「回数は１万５４９３より下か」。答えはＮｏ。
「回数は１万５５１５より下か」。答えはＹｅｓ。
「回数は１万５５０４より下か」。答えはＹｅｓ。
「回数は１万５４９８より下か」。答えはＹｅｓ。
「回数は１万５４９５より下か」。答えはＮｏ。
「回数は１万５４９６より下か」。答えはＮｏ。
「回数は１万５４９７より下か」。答えはＮｏ。
ついに答えが出た。求める値は１万５４９７より下ではない。つまり１万５４９７以上。そして３つ前の問答から求める値は１万５４９８より下。つまり１万５４９７以下。
１万５４９７以上でかつ１万５４９７以下を満たす整数はひとつしかない。すなわち１万５４９７。これが答えだ！
って、１万５４９７回かよ。どれだけおんなじこと繰り返してんだよ！
「ほう、１万５４９７回か。なるほどなるほど」
メフィストフェレスはひとりで納得している。いったいなにが「なるほど」なんだか。
だが神は納得しなかった。
「なにが１万５４９７回じゃ。いくら繰り返そうが神に負けはあり得ぬ。わしが勝つまで何度でも繰り返してやるわ！」
神が叫んだ。頭上の神の光が再び輝きを増した。やばい。やばすぎる。もう俺に神のやつを止める手立てはない。このまま１万５４９８回目に突入してしまうのか。そして永遠にこれを繰り返すのか……。
ところがここでメフィストフェレスがいかにものんびりとした調子で話し始めたのだ。
「おやおや、天の神様ともあろうお方がこの数字の意味するところを理解していないとは」
この言葉に神の光の拡大が再び止まる。
「なんじゃと。どういう意味じゃ」
「だからですね、人間程度の存在が世界のループに気づいただけでも驚きではないですかい。我々神や悪魔が気づけなんだというに。しかもその気づいた時点がまたおもしろい。１万５４９７回目ですぜ。これはもうなにかの意思が働いたとしか思えませんな」
メフィストフェレスはハッハと笑った。これが神の怒りに油を注ぐ。
「それがどうした。その数字になにがあるというのじゃ！」
そこでメフィストフェレスは静かにそれを言ったのだ。
「なにがって、素数じゃないですかい」
