>>297
いやいや、>>292などは既存の常識に疑義を言ってるのだから、
「初めて見る」は非難にはならないよ

>>298
数式に惑わされたらだめだろ
>>295-296は何も新しいこと言ってないぞ

そしてさりげに>>295のAは履歴も含んでるよ
Sは手数とか言ってるしな
履歴を持ってないとVが千日手を判定できない

最後の条件は、勝敗未定ならば有効な手がある
ということ
たとえばもしルールでステールメイトを負けにするのを
忘れていたりすると、
M(X)が空（有効な手がない）で、しかも
勝ち負け引き分けのいずれでもない
という状況が発生するね