著者

山下 伸夫

出版者

一般社団法人情報処理学会

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.46, no.11, pp.1279-1288, 2005-11-15

被引用文献数

1

---

ペンシルパズルのうち数理パズル(初期条件とルールのみから演繹で解けるパズル)に分類されるパズルを解くプログラム(ソルバ)を書く.最初にSudoku(数独)と呼ばれているパズルのソルバを書く.次にこの数独ソルバの実装を抽象して,数理系ペンシルパズルに共通する部分をとりだし,個別のパズルに依存する部分をパラメータ化する.抽象したPuzzleクラスを適用して,数独とカックロを2つの異るパズルソルバを実装する.