>>327
ありがとう。僕は前、Groverのアルゴリズムの最適性の証明の反証に挑んでったこと
があったけど、結論はその証明はあってて、ナマズの地震予知に使う特異点のような
ものを使えば良いと思うようになった。