ダウトゲーム． 前回大雑把な証明方針を固めたところだが，本日再度元となる命題を検証． よく見ると先手の場合だけ勝てる手筋があり，それを含めた形でカード枚数条件をはっきりさせた． で，結局の所旋回まで着目していた半不変量がよく働くことがわかった…