数独に数字が必要ない理由：記号の遊びとしての構造

数独が使っているのは「同じではない」という関係だけ

標準的な数独のルールは、9×9の盤の各行、各列、太線で区切られた3×3のブロックに、9種類の記号を一つずつ入れる、というものです。ルールの文に出てくる数字は「1から9」と「9マス」だけで、その役割は「9種類の別々のもの」を指すことです。

ルールの中に、次のような言葉はありません。

• 「合計が〜になる」（足し算）
• 「より大きい」「隣り合う数」（大小・順序）
• 「3の次は4」（並びの規則）

数独が判定に使うのは、二つのマスの記号が同じか違うかという、同一性だけです。この関係は、記号が何であっても成り立ちます。

比較のために、数字の性質を使う派生パズルも思い浮かべてみます。マスの間に大小を示す不等号を書き込む型や、マスのまとまりごとに合計が指定される型です。これらは大小や足し算を使うので、数字を別の記号に置き換えると、順序や合計を定義し直す必要が出てきます。標準の数独は、その必要がありません。これが「記号の遊び」と呼べる理由です。

数字が実際に働いている場面はどこか

「数字は不要」と言い切る前に、解く過程で数字が働いていそうな場面を三つに分けて確かめてみます。

算術（足す・数える）：各行の合計は1〜9の和の45になる、という確認は、数字ならではの近道です。ただし、この近道がなくても「9種類が一度ずつそろっているか」を調べれば、同じことが確認できます。45は便利な検算であって、ルールの一部ではありません。

順序（大小）：候補を小さく書き込むメモ（鉛筆書き）は、小さい数から順に並べる人が多いかもしれません。しかしそれは見やすさのための並べ方で、解法の論理に大小は出てきません。メモが表しているのは「このマスに残っている候補の集まり」です。

見慣れ（読みやすさ）：数字は日頃から目にしているので、形の判別や位置の記憶が速いと考えられます。この部分は記号を替えると変わる可能性があり、次の節の手順で自分のデータとして確かめられます。

整理すると、論理に関わる部分に数字の性質は使われておらず、数字が効いているとすれば読み取りの慣れの部分です。この仮説を、記録で検証します。

記号を差し替えて記録する分析の手順

問いと準備

問いは「同じ難しさの盤を記号違いで解くとき、変わるのは論理か、読み取りか」です。次のものを用意してください。

• 難易度表示が同じ盤を、少なくとも6枚。新聞や問題集から選びます。同じ盤を使い回すと、二回目は答えの記憶で速くなるので避けます。
• 記号セットを3種類。数字、ひらがな9字、図形または色9種を例にします。
• ストップウォッチと、後述の記録表。

手順

1. 記号セットごとに、数字との対応表を作ります。対応は必ず一対一にします（9つの数字に9つの別の記号）。
2. 盤のヒントを白紙に書き写すとき、対応表に従って記号に置き換えます。数字セットの盤はそのまま使います。
3. 盤と記号セットの組み合わせは、順番を入れ替えて割り当てます。「数字→ひらがな→図形」と固定すると、解くたびに慣れていく効果が混ざるからです。
4. 最初の1枚は練習として、記録から外します。
5. 解き始めから最後のマスを埋めるまでを測り、下の項目を記録します。

記録の取り方

集計の単位は「盤1枚＝記録表の1行」です。記号セットごとに最低3枚、できれば5枚以上集めます。

• 盤ID、記録の仕方：新聞の日付やページなど、後で見分けられる印
• 記号セット、記録の仕方：数字／ひらがな／図形
• 所要時間、記録の仕方：秒単位
• 書き間違いの回数、記録の仕方：書いて消した回数
• 重複に後で気づいた回数、記録の仕方：見直しで同じ記号の重複を見つけた回数
• 止まった場所、記録の仕方：行と列の番号（例：「4行目」「7列目」）

結果の読み方

記号セットごとに所要時間の中央値を出します。盤の枚数が少ないときは、平均より外れた1枚の影響を受けにくいからです。そのうえで、次のように読み分けます。

• 時間だけが延びて、ミスの回数は変わらない：論理は同じで、読み取りの慣れの差だと考えられます。
• ミスが増え、特定の記号の組に集中している：記号どうしの見分けにくさです。形が似た文字（例：「き」と「さ」のような組）を避けて選び直すと変わるかもしれません。
• 差が、同じ記号セットで盤を替えたときのばらつきより小さい：記号の違いによる差とは言えません。同じセットの中での時間の幅と比べてください。
• 解けなくなった：論理の問題ではなく、対応表が一対一になっていないか、写し間違いの可能性があります。

起こりやすい誤りは、盤の難しさのばらつきを記号の効果と取り違えることです。盤の数が少ないうちは、結論を急がないでください。

置き換えが壊れる条件をコードで確かめる

なぜ置き換えても解けるのかを、もう少しだけ丁寧に見ます。解を「1→あ、2→い……」のように写すと、同じ数字が置かれていたマスには同じ記号が、違う数字が置かれていたマスには違う記号が置かれます。ルールが見ているのは「同じか違うか」だけなので、置き換え後の盤でも、行・列・ブロックの条件はそのまま保たれます。

この説明には条件があります。置き換えが一対一であることです。二つの数字を同じ記号に割り当てると、元は別々だったものが同じものになり、条件が壊れます。

次のHTMLは、その様子を確かめる最小の検査器です。保存してブラウザで開くだけで動き、外部の通信やライブラリは使いません。

<!doctype html>
<meta charset="utf-8">
<pre id="out"></pre>
<script>
const sets = {
  数字: ["1","2","3","4","5","6","7","8","9"],
  ひらがな: ["あ","い","う","え","お","か","き","く","け"],
  図形: ["●","■","▲","◆","★","♥","♣","☂","✿"]
};
const pattern = (r, c) => (3 * (r % 3) + Math.floor(r / 3) + c) % 9;
const build = s => Array.from({length: 9}, (_, r) =>
  Array.from({length: 9}, (_, c) => s[pattern(r, c)]));
const allDistinct = cells => new Set(cells).size === 9;
function check(g) {
  for (let i = 0; i < 9; i++) {
    const row = g[i];
    const col = g.map(r => r[i]);
    const br = 3 * Math.floor(i / 3), bc = 3 * (i % 3);
    const box = [];
    for (let r = 0; r < 3; r++)
      for (let c = 0; c < 3; c++) box.push(g[br + r][bc + c]);
    if (!allDistinct(row) || !allDistinct(col) || !allDistinct(box)) return false;
  }
  return true;
}
let text = "";
for (const [name, s] of Object.entries(sets)) {
  text += name + ": " + (check(build(s)) ? "成立" : "不成立") + "\n";
}
const broken = sets.数字.slice();
broken[1] = broken[0];
text += "重複あり: " + (check(build(broken)) ? "成立" : "不成立") + "\n";
document.getElementById("out").textContent = text;
</script>

このコードは、よく知られた規則的な式で完成盤を作り、行・列・ブロックのすべてで9マスの記号が互いに違うかを調べます。記号セットを差し替えるだけで同じ判定ができ、最後の行では、2番目の記号を1番目と同じにして一対一を崩しています。

自分の画面で出る結果を読むときは、次の点を確認してください。

• 3種類の記号セットで判定が同じになるか。同じなら、判定に記号の中身は関与していません。
• 「重複あり」の行はどうなるか。記号が8種類になるので、9マスが全部違うという条件は満たせないはずです。そうならなければ、コードの写し間違いを疑ってください。
• 自分で作った記号セットに差し替えて、同じ結果になるか。9個の記号のうち、重複がないか先に見直します。

数字のままにする理由と、隣の作品との違い

記号は何でもよいのに、数字が使われ続けているのには理由があります。ここまでの分析から、挙げられるのは次のような点です。

• 共通の表記になる：数字なら説明や対応表が不要で、誰とでも盤を共有できます。
• 入力しやすい：キーボードやアプリの入力欄に、最初から備わっています。
• 記号が足りなくなる：盤が大きくなると、9種類では足りません。たとえば16×16の盤では、16種類の記号が必要になり、数字と英字を併用した例が知られています。この場合も、使っているのは「同じか違うか」だけです。

数独のように、ある記号の集まりを各行・各列に一度ずつ入れる配置は、数学ではラテン方陣と呼ばれる仲間として知られています。数独はそこにブロックの条件を加えた形と見ることができ、どの仲間も、記号の名前は構造に関係しません。

一方、数字の「順序」が意味を持つパズルもあります。アソバースの公式作品「かたちのあいだ」は、数字を順にそろえるスライドパズルです。数独が「どれが違うか」を問うのに対して、こちらは「どれが次か」を問います。数字を別の記号に替えたとき、順序の手がかりをどう保つか、あるいはそもそも替えられる設計なのかは、作品を開いて確かめてください。

作る側の視点では、記号の差し替えは小さな工夫で実現できます。上のコードのように記号の表を一か所にまとめ、判定は表の中身を見ないようにしておけば、数字版もひらがな版も同じ判定部分で動きます。HTML一枚で動く形なので、アソバースに投稿する作品の入り口としても扱いやすい構造です。

次の行動

まず上のコードをブラウザで開き、記号セットを自分の好きな9個に差し替えて、判定が変わらないことを確かめてみてください。そのあと、6枚の盤を使って、記号ごとの所要時間とミスを記録表に残します。数字の中央値と、ほかの記号の中央値の差が、盤ごとのばらつきより大きいかどうかが、最初に見る点です。