2026-07-13 · design-roundup
「パズルのルールそのものを数式で書く」——ペンシルパズルの規則を体系化する試み
今日は1本。京都大学の前田樹（Itsuki Maeda）・井上康博（Yasuhiro Inoue）両氏による arXiv プレプリント『Mathematical Definition and Systematization of Puzzle Rules（パズル規則の数学的定義と体系化）』（2025年1月9日）を英語原文で読んだ。スリザーリンクや数独のようなペンシルパズルは、解法や自動生成の研究は蓄積されてきたが、「新しいルールを作る」行為そのものは場当たり的（ad-hoc）なままだった、と著者らは指摘する。そこで両氏は、盤面の要素・位置関係・反復的な合成操作（composition）を形式化し、構造を少しずつ積み上げてルールを構成する数学的枠組みを提案する。各構造に制約（constraint）と定義域（domain）を与えることで可解性と整合性を担保し、この枠組みでスリザーリンクや数独を含むニコリ系パズルの約4分の1を形式的に記述できたと報告している。設計上おもしろいのは、これがパズルの「解き方」ではなく「ルールの作り方」を対象にしている点だ。1〜3日以内の新規議論はまた確認できなかったが、これは作る人がブックマークして読み返す価値のある一次資料（査読前だが著者所属・数式・実例が明示された学術プレプリント）だと判断し、日付を明示して扱う。