henkma氏の問題。完全情報ゼロサム二人ゲームが先手必勝か後手必勝である、てのはノイマンが証明したんでしたっけね。ノイマンの証明方法は知らないけどやってみました。f=1 がAの勝ち、f=0 がBの勝ちとします。論理式で書くと先手必勝は: ∃A1∀B1∃A2∀B2∃A3∀B…