じゃんけんの数論
| 分野 | 数論・離散数学・ゲーム理論 |
|---|---|
| 主対象 | 整数の合同、位相付き状態空間 |
| 基本操作 | じゃんけんの勝敗規則を写像として定義 |
| 代表的手法 | 遷移行列による合同判定 |
| 関連分野 | 、、 |
| 初期の研究拠点 | の街中通信網実験室 |
| 主要論点 | 「必勝」条件がどこまで定義できるか |
| 典型的な成果の形式 | 合同式＋確率補正（“勇気係数”） |
（じゃんけんのすうろん）は、手の形で表した状態遷移を用いて整数性や合同を議論する、数学の一分野である。表面的には遊戯的であるが、暗号学者の間ではの応用として知られている[1]。一方で、由来や根拠をめぐっては研究史の改竄が噂されてきた[2]。
概要[編集]
は、の三状態（グー・チョキ・パー）を有限集合として扱い、それらの勝敗関係を「写像」あるいは「生成関係」として定式化し、整数の性質を推定する方法として整理されている。
この分野の特徴は、通常のが「対象（整数）→演算（加法・乗法）」で進むのに対し、じゃんけんの数論では「対象（整数）→対象（状態遷移）→演算（勝敗規則）→性質（合同・可解性）」という順に説明される点にある。なお、状態遷移に付随する重みを導入し、確率に関する補正項として扱うことで、理論と実験の間を橋渡しする試みが多いとされる。
文献上は「合同の判定器」と呼ばれるモデルが繰り返し現れ、研究者はある整数nを、勝敗規則で生成される有限軌道の長さや、軌道における“勝ち越し”回数に対応づけようとした[3]。ただし、どの対応が本質的であるかは、後述のように論争の中心となった。
実際に適用が語られる領域としては、学術的にはの構造解析、産業的には鍵生成の乱数拡散に見立てた「じゃんけん式拡散器」が挙げられる。しかし、それらの適用可能性は、計算量見積もりの前提が手続きに強く依存することから、懐疑的な評価も並存している[4]。
成立の経緯[編集]
「勝つまでの整数」仮説[編集]
じゃんけんの数論の成立は、1970年代後半の市民科学サークルによる「勝つまでの整数」仮説に遡るとされる。この仮説では、勝敗のたびに整数nを更新し、最終的に1に到達するまでの手数を記録することで、更新規則が持つ合同性が見えてくるとされた。
中心となったのは、の路地裏に設置された“試作算盤”と呼ばれる装置で、参加者はそれをの夜間回線を利用した観測網に接続したという逸話が残る。観測ログには「n=1024のとき軌道長が 37、勝ち越し回数が 19で、勇気係数が 0.571428…」というように、やけに精密な値が並んだとされる[5]。
この時期の理論家としては、系の研究者に加え、独自に代数を学んだ“札勘計算係”と呼ばれる職能者が関与したと記録される。ここでいう札勘計算係とは、数式よりも「勝負の間隔」を重視する人々であり、のちに“軌道の長さ”の定義が「観測できる長さ」に寄った原因ではないか、と後年には推測された[6]。
ただし、当時の記録の一部は写し替えが疑われており、特定のn（例：n=777）における結果が後から整合するよう調整されたのではないか、という指摘もある。これが「定義が一見正しいのに、対応がねじれている」問題として、じゃんけんの数論の後半の論争につながったとする見方が有力である[7]。
有限軌道の合同論[編集]
1980年代初頭には、状態遷移を行列で表す「合同の判定器」が提案された。そこではグー・チョキ・パーをそれぞれ三つの基底状態とし、勝敗規則を行列の積で模倣することで、ある整数nに対する予測を行うとされた。
具体的には、整数nを法mで割った余り r=n mod m を用いて、軌道の位相（同位相クラス）を選択する手続きが導入された。面白いことに、同位相クラスの選び方はm=2、m=3のような素朴な値だけでなく、の小規模計算センターで流行した“法の三段階”に合わせ、m=2^k・3^kの混成（たとえばm=2^5×3^3=864）まで拡張されたと報告されている[8]。
この枠組みで注目されたのが、いわゆる「勝ち越し指数」である。これは軌道上で勝ちが出る回数を、負けが出る回数で割った値として定義され、しばしば分数の形で現れる。そのためじゃんけんの数論は、純粋なよりも“分数が暴れる”タイプの議論として当時は受け止められたという。
また、勇気係数（勇気係数α）は、観測ログから推定される確率補正として導入された。ある報告では、n=4096におけるαが 41/72 とされ、理論計算の値と一致したとされる一方、別の報告ではαが 40/72 に修正されており、どちらが先かは不明とされた。こうした微妙な差異が、後の査読で“演算の取り違え”として指摘され、理論の妥当性をめぐる検証が加速したのである[9]。
社会的影響[編集]
じゃんけんの数論の社会的影響は、まず教育の形で現れたとされる。1990年代半ば、の公開講座で「合同と勝負は似ている」という導入が流行し、学生は整数の規則性を“勝敗の連鎖”として捉える訓練を受けたとされる[10]。
さらに、暗号分野への波及として、じゃんけん式拡散器が企業の共同研究で取り上げられた。ここでは勝敗規則を乱数生成の核にし、軌道の長さが十分に大きいときに鍵の偏りが減ると主張された。ただし、実装後に「軌道長の統計は良いが、再現性の検定で落ちる」という報告が出ており、現場では「理論は賢いが、現場は意地が悪い」という言葉が残ったという。
その一方で、地域行政の文書では、じゃんけんの数論が“手続きの説明責任”を助ける比喩として引用された。具体的には、のある区役所が、抽選の公平性説明に“有限軌道の合同”という語を用いたと報告されている。数学的には誤用であると専門家は指摘したが、文章としての説得力は高かったとされる[11]。
また、ネット文化では「じゃんけんの数論者」を名乗る匿名アカウントが増え、法mごとに“勝ち筋ランキング”を投稿した。たとえば「m=864だと第1象限が有利」「m=1001だと誤差が 0.00237…」など、やけに細かい数字と一緒に投稿され、統計の体裁が整っているため信じられやすかった。しかし、検算する人が少なく、誤りのまま定着した例もある[12]。この点は、知識が社会で“見かけの正しさ”として増殖していく典型例として、後に批判の材料になった。
代表的な理論とモデル[編集]
じゃんけんの数論では、いくつかの代表的モデルが繰り返し引用される。特に多いのが、有限軌道を用いた「合同選択器」である。合同選択器は、法mに対する余りrから軌道位相を選び、そこで得られる勝ち越し指数が特定の範囲に入るかを判定する。
次に挙げられるのが「勇気係数αつきの再帰モデル」である。これは遷移行列にスカラーαを乗じ、反復の途中で“勝ち”の観測が発生した回数に応じてαを再更新するという、自己矛盾の匂いのある定義である。理論家の多くは、自己矛盾は起きないと主張したが、計算機実験ではαのゆらぎが 3桁目で露呈するとされる。
さらに「法の三段階」モデルがある。これは、法mを（小・中・大）に分類し、それぞれに別の遷移行列を割り当てるものである。分類の閾値は、実験ではm=2^6=64、m=3^6=729などが頻出し、学会では“64-729閾値”と呼ばれた。しかし、この閾値がどのデータ由来かは曖昧であり、説明の一貫性よりも“講義で映える数字”が選ばれたのではないかという疑念がある[13]。
なお、最も奇妙な成果として「1に到達する確率が整数である」定理がしばしば引用される。この定理は、出典によって表現が異なり、ある文献では確率が 1/3、別の文献では 1/2 とされる。表現揺れの理由は、確率の定義において“勝ち”を含めるタイミングが入れ替わったためと説明されるが、差を生む根本要因は明確でないとされる[14]。
批判と論争[編集]
じゃんけんの数論は、研究が進むほど“定義の設計”が議論になった。最大の論点は、合同選択器の対応が恣意的であるという指摘である。外見上は「n mod mで分類しているから数学的」と見えるが、選ばれる位相が観測ログに依存しているため、どの対応が本質かが判然としないとされた[15]。
また、勇気係数αの推定法に対しても疑問が投げられた。αが観測比率から決まる場合、実験系の偏りがそのまま理論に埋め込まれる。すると理論の“予測性能”は向上したように見えるが、反証可能性が弱まる。実際、ある査読では「予測は当たるが、当たり方が説明されていない」という趣旨のコメントが残ったとされる[16]。
さらに、史料の整合性も問題になった。特定の会議録では、京都市内で行われた観測がの公式年次報告として引用されているが、別の所蔵資料では同年にその会議が開催されていないとされる。この齟齬について、編集担当者が原稿の一部を“整合する形に整えた”のではないか、という憶測がある。
ただし反対派は、整合性が多少欠けても大筋は正しいと主張した。彼らは「じゃんけんの数論は“証明のための証明”ではなく、状態遷移の見取り図を提供する工学である」と述べ、形式的厳密性よりも応用の価値を重視したとされる。ここで、論争は数学の勝負ではなく、研究コミュニティの勝負になっていったと解釈されることが多い。
脚注[編集]
関連項目[編集]
脚注
- ^ 平井桐生『合同選択器と有限軌道』春陽社, 1993.
- ^ M. R. Caldwell『Discrete Orbit Theory for Recreational Games』Journal of Playful Mathematics, Vol. 12 No. 4, pp. 211-239, 1997.
- ^ 田端絢香『勇気係数αの推定と再帰モデル』共立図書, 2001.
- ^ 佐伯紗良『じゃんけん式拡散器の鍵偏り評価』情報暗号学研究会記録, 第7巻第2号, pp. 55-83, 2006.
- ^ Dr. Leonid V. Morozov『Modular Win-Loss Dynamics』Proceedings of the International Association for Numbers, Vol. 28, pp. 1-22, 2009.
- ^ 西條真利『64-729閾値と講義用モデルの最適化』数理教育通信, 第3巻第9号, pp. 101-130, 2012.
- ^ 北村稜介『確率が整数であるとき—1到達問題の再定義』東京学芸紀要, 第44巻第1号, pp. 77-96, 2016.
- ^ K. Tanaka『The Janken Correspondence Problem』Mathematica Ludi, Vol. 6 No. 1, pp. 300-318, 2018.
- ^ 小泉拓哉『京都市夜間回線ログの読み替え』街路統計叢書, 2020.
- ^ 谷川玲於『要出典の数論史—編集の都合と定理の揺れ』虚構学術出版社, 2023.
外部リンク
- 軌道ログ・アーカイブ
- 勇気係数α計算機
- 法の三段階シミュレータ
- じゃんけん合同セミナー記録
- 有限勝敗群データベース