Yonmoque とは、1996 年にギフトボックス社の山本光夫によって考案された二人零和有限確定完
全情報ゲームである。本稿は、このボードゲームの求解を目的とする。この解析のためのDepth First
Proof Number(DFPN) 探索アルゴリズムをベースとした改良手法について報告する。本研究では、ゲーム
ルール上で許可されている着手の不可逆的性質に着目する。この性質を活用することで、Graph History
Interaction 問題として知られている誤評価問題を回避し、探索結果の確実性を保証しながら解析を行うこ
とが可能となった。結果として、Yonmoque が先手番必勝であることを証明した。