TAG
#nikoli
0 レビュー · 12 エッセイ
関連エッセイ
ひとりにしてくれ(1990) — 難しすぎて8年埋もれたパズルが、2025年もAIの実験台になっている理由
1990年3月、『パズル通信ニコリ』29号に読者投稿として掲載された『ひとりにしてくれ』は、重複禁止・隣接禁止・非分断禁止という三つの規則だけで構成された論理パズルである。発表当初は難易度が高すぎて人気が出ず、定着まで8年を要した。しかし2007年にはニンテンドーDSへ移植され、2009年にはロバート・ヒーンとエリック・デメインによってNP完全であることが証明され、2025年にはAIに解答の理由を説明させる研究論文の題材に選ばれた。読者が投稿した三本柱の規則が、35年をかけてどこまで系譜を伸ばしたかを辿る。
数独(1979) — 名前のない発明が世界の朝刊を制すまで
1979年、アメリカの雑誌に無名のまま載ったパズル「ナンバープレイス」。日本のニコリが「数独」として磨き上げ、香港の元判事ウェイン・グールドの自作プログラムを経て、2004年にロンドンの新聞へたどり着くまでの25年を追う。2024年のSteamパズル『Islands of Insight』にも息づく、その「論理だけで解ける」設計思想の系譜。
橋をかけろ(1990) — 数字を線で結んだ、ニコリが育てた36年のロジック
1990年、『パズル通信ニコリ』31号に橋をかけろ(Hashiwokakero)が発表された。数字の島を橋で結び、すべてを一つにつなぐという規則は、前年の28号に載った投稿者「れーにん」の試作「結合手」から生まれている。2009年にはNP完全性が証明され、2004年にはSteamより先にSimon Tathamのポータブルパズル集へ、2023年にはニコリ自身の手でSwitch/PC/Xboxへ移植された。36年の裏取りをする。
ぬりかべ(1991) — 妖怪の名を借りた、二×二禁止の論理
1991年、『パズル通信ニコリ』33号の投稿欄「オモロパズルのできるまで」に、れーにんという投稿者名でぬりかべが発表された。数字マスの広さだけシマを作り、残りは一つながりの黒い海にする――たった四つの規則は、当時の編集部すら人気になるとは思っていなかったという。2004年にはNP完全性が証明され、その「二×二禁止」規則はLITSに継承され、2025年にはSteamの『Nurikabe World』がそのまま名を借りて登場した。34年の系譜を裏取りする。
ましゅ(2000) — 誤読が生んだ、黒と白の真珠の輪
1999年4月、『パズル通信ニコリ』84号に「真珠の首飾り」という白丸だけの問題形式が載った。翌2000年、90号で黒丸が加わり「白真珠黒真珠」に改題、現在のましゅの論理骨格が完成する。正式名称「ましゅ」がついたのは2003年、社長の誤読がそのまま定着した結果だった。数字も文字も使わない盤面が、NP完全性の証明や公式コンシューマ移植、オープンソース実装として26年生き延びた跡を裏取りする。
ナンバーリンク(1897) — 新聞のパズル欄から、フロー・フリーとジップの時代へ
1897年、ブルックリン・デイリー・イーグル紙のコラムにサム・ロイドが載せた「困った隣人たちのパズル」。1917年にはヘンリー・アーネスト・デュードニーが自著でモータリスト向けの一本道パズルとして磨き直し、1980年代のニコリがこれを「アルコネ」「ナンバーリンク」として日本の誌面に定着させた。2012年にはビッグ・ダック・ゲームズの『フロー・フリー』が色付きの点とパイプに姿を変えて1億ダウンロードを超え、2025年にはリンクトインの日課パズル『ジップ』にまでこの系譜は続く。一本の線を交差させずに引く、という百二十年以上前からの規則がどう生き延びてきたかを辿る。
ヤジリン(1999) — 矢印とリンクが継ぎ足した、二つの規則の盤面
1999年7月、『パズル通信ニコリ』86号に登場した「ヤジリン」は、1989年のスリザーリンクが確立した「輪を一つだけ描く」文法と、黒マスを数える文法を一枚の盤面に接ぎ木したハイブリッド・パズルである。直前に発表されていた「やじさんかずさん」の矢印付きマスを流用し、2005年には早くも「Arrow Ring」として世界パズル選手権アメリカ予選に採用された。公式のXbox/PS Vita移植から、2025年発の専用モバイルアプリ「Loopr」まで、26年間の生存の跡を裏取りする。
鍜治真起の哲学 — 教育ではなく、娯楽として置いていく
数独の名付け親・鍜治真起（1951–2021）を、本人が公に語った発言だけから考察する。「教育ではなく娯楽」と言い切り、脳トレという最大の商機を自ら封じた哲学。手作りと「解く過程」へのこだわり。創刊号に定価を入れ忘れた話から、海外商標を取り損ねた顛末まで。普及と収益、小さな会社と世界的需要のジレンマも扱い、最後に Kizuki の解釈で締める。
カックロ(1966) — クロス・サムから加算クロスへ、六十年動かない足し算の格子
カックロ、英語圏で言う Cross Sums は、1966年に米デル社の一パズルとして生まれた。1980年代のニコリがこれを日本へ持ち込み「加算クロス」と名付け、2005年にはガーディアン紙を通じて逆輸入的に世界へ広まる。本稿は、クロスワードでも数独でもない、この足し算専用の格子が六十年のあいだ媒体を替えながらも規則を変えなかった理由を、当時の紙面と現在のスティーム販売ページの双方から辿る。
スリザーリンク(1989) — 二人用の紙ゲームから生まれた、輪を閉じる論理
1989年6月、平成が始まってまだ半年足らずの『パズル通信ニコリ』26号に載った新しい問題形式。二人用の対局ゲーム「スリザー」を一人用のペンシルパズルへ書き換えたスリザーリンクは、「線を引ける場所」より「引けない場所」を確定させる逆説的な解き味と、後年のNP完全性の証明、そして2020年代のSteamにまで続く38年近い生存の系譜を持つ。鍜治真起が「数独の息子」と呼んだこの輪の論理を、時代の文脈から裏取りする。
「パズルのルールそのものを数式で書く」——ペンシルパズルの規則を体系化する試み
今日は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日以内の新規議論はまた確認できなかったが、これは作る人がブックマークして読み返す価値のある一次資料（査読前だが著者所属・数式・実例が明示された学術プレプリント）だと判断し、日付を明示して扱う。
ニコリ(1980) — 読者が育てたパズル誌と、数独が世界を巡った道
1980年創刊の「パズル通信ニコリ」は日本初のパズル専門誌である。誌名は競走馬から取られ、数独の原型はアメリカから来た。本稿は、読者投稿と手作りを柱とするニコリの生産様式がスリザーリンク(1989)やぬりかべ(1991)を生み、香港の判事ウェイン・グールドの自動生成プログラムを経て数独が世界へ広がるまでの40年を辿り、「良い問題は誰が作るのか」という現代パズル設計の問いの源流を読み直す。
