あけましておめでとうございます。 2020年の目標は12月まで生存することです。 よろしくお願いいたします。 さて、2020年1月16日にスタイリッシュ・タップ・アクションゲームこと将棋ウォーズのアップデートがありました。 アップデートにより観戦画面の見た…

利かずの駒並べをOR-ToolsのCP-SATソルバで解いてみました。 制約条件を工夫することでなんとか全3720通りの置き方を列挙できました。 ただ、そんなにさっとは解けないです。 利かずの駒並べのルールについては前回のエントリを参照してください。 komodiary…