>>256
横からだけど、ちょっと待って

棋譜は有限だから、「指し手履歴込みの局面」も有限
それらをすべて列挙して勝ち負けを調べればよい

で、「同じ局面でも、指し手履歴の内容によって結論が異なる」
という現象はあるのかないのか

そこが本当の焦点なんじゃないのかと思う