2012-05-01から1ヶ月間の記事一覧

シークワーズが好きだ。あるいはシークワーズをSugar制約ソルバーで作る

Sugarという制約ソルバーがあります。 という書き出しをこんなに間を置かずに書くとは思っていませんでした。まいなすよんですこんにちは。 カナオレをSugarを使って解いてみる、という試みを前回書きました。 開発元である田村先生のページはこちら。 ニコ…

カナオレが好きだ。あるいはカナオレをSugar制約ソルバーで解く。演習編。

Sugarという制約ソルバーがあります。 カナオレをSugarを使って解いてみる、という試みを前回書きました。開発元である田村先生のページはこちら。 ニコリのカナオレの紹介ページはこちら。前回取り上げたのは3x3サイズで、カナオレとしては少し物足りな…