この場合の証明数が「可能な手の数」のことなら、後手からみても
証明数＝後手の可能な手の数
反証数＝先手の可能な手の数
だよね。
後手にとっては先手を詰ませたいわけだから反証数最小の手を選びたいはず。逆に
先手にとっては後手に詰まされたくないから反証数最大の手を選びたいはず。つま
り、
　　：証明：反証
先手：最小：最大
後手：最大：最小
だよね(さっき書いてたことと違ってしまった)。終盤で無くともあわよくば詰ま
せたいはずだ。この探索を中盤でやるということは探索中に現れる全ての局面で
詰み探索をやるようなものというのは言いすぎかな…それが有効ならもう既に誰
かがやって成功してるはずだ。そうでないということはまだ誰もやってないとい
うのは考えにくいから既に誰かがやって結果が芳しくなかったに違いない。やは
り通常の探索と詰み探索は統合できないのかな。