2013-08-01から1ヶ月間の記事一覧

ビルディングパズルが好きだ。あるいはビルディングパズルをSugar制約ソルバーで解く。その2

とはいうものの看板に偽りありで、ビルディングパズルをSugar制約ソルバーで解く話自体は前回で完結してます。 今回は、「入力がさすがに面倒なので、Sugarスクリプトを生成するawkスクリプトでも書くか」という話です。 ニコリのパズルの主要なものはPencil…

ビルディングパズルが好きだ。あるいはビルディングパズルをSugar制約ソルバーで解く。

好きだってほど数を解いてない気がしますけどそれはさておき。Sugarという制約ソルバーがあります。以下略。前提や使用ツールはしばらく前の記事を参照のこと。 ビルディングパズルのルールや歴史等はwikipedia:ビルディングパズルを参照して下さい。Sugarに…

感想を書こう

8/3(土)に「全日本パズル選手権2013」が開催されました。 大会は終了していますが、問題ファイルは公開されていますので、ご興味のある方は今からでも解いてみるのはいかがでしょうか。 かくいう私も大会には参加しなかったのですが、後から楽しく解かせても…