XC74h-39/jn進数法
| name | XC74h-39/jn進数法 |
|---|---|
| field | 架空の数論・符号変換数学 |
| statement | XC74h-39/jn 進数で表された任意の符号化整数は、定義された桁反転写像に対して整合な折り返し形を持つ |
| proved_by | 渡辺 経壌（わたなべ けいじょう）と JN研究団 |
| year | 1974年 |
におけるXC74h-39/jn進数法（よみ、英: XC74h-39/jn Numeration Method）は、のについて述べた定理である[1]。
概要[編集]
では、符号化整数を「入力側の桁の都合」と「内部側の桁の都合」の両方で扱う必要があるとされる。そこで、が導入され、桁反転のたびに表現が破綻しないよう制御されることが主張された。
本定理は形式的には「ある進数表現が、特定の写像に関して“折り返し同型”を保つ」ことを述べる。もっとも、その“特定”がやけに細かい（基数が 74h と 39/jn に分解される）ため、工学者にも数学者にも同時に刺さり、計算機文化に小さな口伝が生まれたとされる。
Wikipedia風の書き方ではあるが、編集履歴では「最初の草稿は1974年ではなく1973年春に出された」との注記があり、細部の年次に揺れがあることも指摘されている[2]。
定理の主張[編集]
に従って表記された x を考える。ここで x は「74h基準スロット」と「39/jn基準スロット」の二層にまたがる桁列で表されると定義される。
桁反転写像 f を、桁列を単純反転するだけでなく「74h側の隣接関係」を jn 係数で再解釈する操作として定義すると、任意の x は f によって y に移される。さらに、折り返し形 y は、元の x と同じ「復元手順」を通じて一意に戻ることが成り立つ。
このとき、x が満たすべき条件として、（1）桁列長 L が L≡2 (mod 7) を満たすこと、（2）74hスロット上の“h”が必ず奇数番目に現れること、（3）符号ビットの合計が「39/jn の位相値」mod 13 に一致することが要請される。条件を満たさない表記は「外れ値」として拒否されるが、その拒否こそが整合性の証拠だとされる[3]。
証明[編集]
渡辺 経壌（わたなべ けいじょう）は、写像 f を二段階に分解し、第1段階で“隣接の意味”を変形し、第2段階で“桁の位置”を戻すことで同値性が保たれると示した。
具体的には、74h側の桁列を 7 個ずつのブロックに切り分け、ブロック境界で jn 位相を「右から 1,2,4 の指数で累積する」操作として符号化する。ここで累積値が 0 になるまで反転を繰り返すアルゴリズムが仮定され、停止性が示された。
停止性は 74h の“h”が奇数番目に現れるという条件に依存し、これがなぜ効くかは、折り返し形 y の生成過程において、位相値が毎回 13 を法とした非負の減少量になるからだと説明された。よって、有限回の反転で必ず同じ折り返し形へ到達することが証明された。
なお、証明の注記には「証明の最後の等号は 7行目だけが別人の手になる」との噂がある。編集合戦の名残として、当該行にのみ出典が“出所不明のメモ”扱いで残されているとも言われるが、本文ではあえて黙認された[4]。
歴史的背景[編集]
この進数法が生まれた背景には、1970年代初頭の“桁の事故”があったとされる。大阪府の計算機研究所では、磁気テープ上で桁の向きを取り違える事故が頻発し、「人間は逆転するが、数は逆転しない」という合言葉が流行した。
その対策として、研究所は付属の「符号整合試験班」を組織し、東京のと共同で、符号化整数を“逆転しても同型に復元する”枠組みを探した。そこで、74hと39/jnという奇妙な分解が偶然発見されたとされる。
一方で、JN研究団の内部資料では、分解の着想はのダイヤ整合に由来すると記されている。列車が逆向きに走ってもダイヤ表が書き換え可能であるなら、桁列も同様に書き換え可能ではないか、という類推である。もっとも、この資料の信頼性は当時から議論されていたが、最終的に「とにかく事故が減った」ため採用された[5]。
結果としては、学術論文というより「実装手順書」として広まり、数理の世界では“定理”へ昇格した。昇格の際に、年次が1973年説と1974年説に割れたのは、実装完了日と講義初出日が異なっていたためだと説明されることが多い。
一般化[編集]
本定理は、桁反転写像 f をより一般の g に置き換える形で一般化できるとされる。つまり、桁列を単純反転せず、74h側のブロック順序を「L≡2 (mod 7)」に従う置換で再配置しても、折り返し形の復元性が保たれる。
ただし、jn 係数は無制限に動かせないとされる。jn は位相演算における“素性の数”として扱われ、復元性が保たれるのは jn が（1）素数 p に近い形を取り、（2）mod 13 で自己相似的になる場合に限るという制限が付く。
さらに、折り返し形 y の定義を「一意に戻る」から「一定の候補集合へ戻る」に緩める一般化では、候補数が L=7k+2 のときちょうど 2^k 個になることが示されたとされる。ここでの 2^k は、学会講義のスライドにだけ書かれており、論文本文にはなぜか未掲載である[6]。
応用[編集]
の応用として最も知られているのは、エラー訂正ではなく“エラーの自己修復”の設計である。すなわち、入力が桁反転されても、復元プロトコルが折り返し形へ自動収束する仕組みが提案された。
具体的には、194.3kB のログ断片（当時の呼称で「断片箱」）に対して、復元プロトコルを適用すると“復元可能率”が 99.74% まで上昇したと報告されている。この数値はからの引用として伝わり、出典不明のまま講義で繰り返されたため、のちに“伝承的確率”として扱われた[7]。
また、暗号系への応用も試みられた。74hスロットを鍵空間、39/jnスロットをラウンド関数として見立てることで、桁反転耐性を「サイドチャネルの揺らぎに強い性質」として売り込むことができたとされる。もっとも、実験では鍵の入力フォーマットが逆向きに送信される事故が逆に起き、結果として“暗号よりも運用の問題”が露呈した、という笑い話も残っている[8]。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺 経壌『XC74h-39/jn進数法と折り返し整合性』講談仮想出版, 1974年.
- ^ J. N. Arkwright『On Reversal-Compatible Numeration in Two-Slot Systems』Journal of Hypothetical Number Theory, Vol. 18, No. 4, pp. 211-239, 1975.
- ^ 林 由里『桁列操作の同型性：74h/39jnモデル』数学通信, 第3巻第2号, pp. 55-88, 1974.
- ^ M. Thornton『Reconstruction Protocols for Sign-Coded Integers』Proceedings of the Imaginary Symposium on Computation, Vol. 2, No. 1, pp. 1-22, 1976.
- ^ 佐藤 彰彦『mod 13 位相減少と停止性の直観』応用数理工学会誌, 第9巻第7号, pp. 901-930, 1977.
- ^ H. Keller『Block Decomposition with L≡2 (mod 7) Constraints』The Bulletin of Reversal Methods, Vol. 12, No. 3, pp. 77-104, 1978.
- ^ JN研究団『断片箱194.3kB復元率の試験記録（要出典）』研究所内報告書, 1974年.
- ^ 『郵政省 電子通信局 符号整合試験班の手引き（改訂第5版）』郵政省, 1972年.
- ^ 【情報処理技術研究院】『符号化整数の運用設計指針：逆向き送信への備え』第1版, pp. 13-40, 1975.
- ^ R. Watanabe『74hのhが奇数番目で効く理由』Not Quite Real Mathematics Letters, pp. 10-19, 1973.
外部リンク
- XC74h-39/jn進数法 アーカイブ
- JN位相 解説Wiki
- 折り返し形 プロトコル集
- 非公開報告書ミラー
- 架空数論講義ノート倉庫