無限
| 分野 | 数学、哲学、情報理論、制度設計 |
|---|---|
| 関連概念 | 極限、無限級数、超関数、無限資源 |
| 成立の契機 | 天文観測の誤差伝播を説明する必要 |
| 象徴表記 | ∞（無限記号） |
| 社会的波及 | 公共インフラの冗長化指標への転用 |
| 主要な議論 | 完了概念との両立、実装可能性 |
無限（むげん）は、数や対象が「尽きない」とする考え方であり、数学・哲学・工学の複数分野で参照される概念である[1]。また、20世紀後半には社会制度の設計原理としても応用され、都市のインフラ運用まで言及されるようになった[2]。
概要[編集]
無限は、有限の対概念として理解されることが多いが、本項では「尽きない」をより具体的な手続きとして扱う。すなわち無限とは、ある対象列が繰り返し拡張されても、必ず新たな項・新たな余地が生じるとみなされる枠組みである。
この定義は数学的直観に寄りつつ、歴史的には天文観測の誤差を「足しても終わらない」ものとして計量する必要から始まったとされる。さらに、無限を“観測装置の性能限界”として再解釈することで、工学では補助系の増設や冗長化に結び付けられた。
歴史[編集]
起源：海上星図係と「最後のズレ」問題[編集]
無限の語が広く一般化する以前、の港湾天文台では、星位置の計算誤差が「ある回で必ずゼロになる」とは限らないという観測が報告されていた。記録として残る最古の内部報告書は、の「最後のズレが到達しない」という書き出しで知られる[3]。
当時の海上星図係であったは、誤差を“打ち消し合う波”ではなく“増えもしないが消えもしない残差”として扱う試案を提出したとされる。ここで重要だったのは、残差を数のように足すだけでは説明できず、「どこまでも確認点が残る」性質として整理し直した点である。
後年の編纂では、この再整理が「無限＝尽きない確認点の体系」として定着したと記される。なお、当時の記録は天文学資料が中心である一方、後に数学者の手で誤差の“合流”が強調され、無限が抽象化されたとされる。
発展：証明局と『∞台帳』の導入[編集]
末から初にかけて、欧州の大学制度では「無限を含む議論の扱い」をめぐり、門外不出の規格書が作られたとされる。とくに（通称：証明局）は、無限に関する文章が勝手に流通することを防ぐため、『∞台帳』という索引形式を整備した[4]。
この台帳では、各概念に対して「参照回数の上限」を付さない代わりに、「参照の余地」を数値化したとされる。たとえばで運用された写本では、余地スコアが『10,000点満点で7,684点（改訂版、時点）』と記載されていたという逸話がある。数字の細かさは後の創作と疑われるが、制度のリアリティはそれなりに高いと論じられている[5]。
証明局の立場は一貫しており、無限を“計算結果”としてではなく“読み書きの手順”として扱うことで、学術共同体における再現性を確保したと説明される。つまり、無限は結論ではなく運用規程になったのである。
社会への波及：無限冗長度と自治体の「永続運転」[編集]
になると、無限は抽象概念から「運用指標」に変換される。きっかけは、都市の上下水道・電力網で起きた“局所障害はいつか収束するはず”という見込みが外れた事件である。
、の周辺で発生した夜間停電の復旧計画では、復旧手順を“最大5段階”で打ち切る設計が採用されていた。しかし実際には、予備系の起動に成功しても計測系が追随せず、手順が段階を超えて再帰的に発動する現象が報告された[6]。これを受けて、自治体の技術部門は無限を「再帰が止まらない前提で安全を設計する考え方」として取り入れた。
ここで用いられたのが無限冗長度（InfRed）という指標で、運用文書では『冗長度Rは、破綻確率が1/（10^9×N）以下になるまでNを増やす』と表現された。もっとも、このNが“増やし続ける対象”として置かれたため、現場では無限を文字通りの無限として運用したとも言われる[7]。
数学的解釈：無限級数を「終わらない家計簿」として読む[編集]
無限が数学で語られるとき、典型的には極限や無限級数が想起される。しかし無限は、読み方を変えることで制度化の道具になるともされる。
ある研究グループは、無限級数を「家計簿」に見立てた。家計簿の項目を永遠に追加できると仮定し、合計が収束するなら“家計は破綻しない”と解釈するのである。ここで重要なのは、合計が終わることではなく、「毎回の追加が破綻へ直結しない」ことに無限の価値が置かれた点である。
この比喩は、のちに教育現場で「無限とは終わらない作業の安全基準だ」とまとめられたとされる。もっとも、一部では“作業と意味がすり替わっている”という批判もあり、無限を制度言語に翻訳する行為自体が誤解の温床になったと指摘される[8]。
工学的解釈：∞を“実装不能”ではなく“検証不能”として扱う[編集]
工学では、無限は「物理的に無限の部品を置く」ものとしてではなく、「検証が無限になる可能性を織り込む」ものとして定義された。たとえばソフトウェア検証では、状態空間が理論上は膨大でも、現実には打ち切り可能でなければ運用できない。
（National Bureau of Verification, 略称NBV）による報告書では、無限の扱いが次のように分類されたとされる。第一に、有限回で判定が可能な無限（理屈は無限でも検証は有限）。第二に、途中で打ち切らないと安全が言えない無限。第三に、打ち切っても“安全に関する結論が出るとは限らない”無限である[9]。
この分類の影響で、の企業では“∞ルール”と呼ばれる内部規約が制定された。規約には『∞に近い状態数のテストは、合格率が99.999%を超えるまで反復する。反復回数は最初は17回、見直しは3か月ごと』と書かれていたという[10]。数値は具体的だが、当時の社内文化を反映しているため、信憑性は高いとされている。
批判と論争[編集]
無限を社会制度や工学運用に持ち込むことには、当然ながら批判も存在する。代表的には、「無限冗長度の考え方は、実際の予算・停止条件を曖昧にする」との指摘である。
たとえばに行われた監査では、無限冗長度が高すぎるプロジェクトの中で、部品の交換だけが増え、システム全体の安定性は改善していない例が挙げられた[11]。監査報告は『Rを上げれば安全が増える』という直感に、どこか“魔法”があると見たのである。
また学術側でも、「無限を検証不能の領域へ引きずり込んでいるだけではないか」という疑問が繰り返された。ここに、無限をめぐる二つの立場—“安全のための無限”と“言語のための無限”—が衝突したとされる。なお、この論争はしばしば当時の編集部の気分で要約が変わったため、研究者の間では“どの要約が正しいか”すら争点になったと言われる。
脚注[編集]
関連項目[編集]
脚注
- ^ 伊東清文「最後のズレが到達しない観測報告」『長崎港湾天文台年報』第12巻第3号, 1683年, pp.12-19.
- ^ 王立論理証明局「∞台帳の作成基準と索引規程」『証明局叢書（臨時版）』第1集, 1791年, pp.41-58.
- ^ Margaret A. Thornton「Operational Infinity in Bureaucratic Indexing」『Journal of Applied Logic』Vol. 44, No. 2, 1987年, pp.201-219.
- ^ 清水玲奈「無限を読み書きの手順に翻訳する」『数理通信』第58巻第1号, 2004年, pp.33-49.
- ^ Rafael M. Kline「Infinity as Verification Horizon」『Proceedings of the International Symposium on Verification』Vol. 9, 1999年, pp.77-90.
- ^ 【出典不明】「港区夜間停電と再帰的復旧手順の記録」『都市インフラ技術メモ』第5号, 1992年, pp.1-6.
- ^ 田中一馬「無限冗長度（InfRed）の導入経緯と指標設計」『自治体工学年報』第21巻第4号, 1998年, pp.120-134.
- ^ Eiko Matsuda「∞ルールと社内検証の文化」『ソフトウェア監査研究』第16巻第2号, 2001年, pp.9-28.
- ^ Dr. L. Whitaker「On the Semantics of Non-Terminating Assurance」『ACM Transactions on Software Safety』Vol. 3, Issue 1, 2012年, pp.55-72.
- ^ 小笠原和則「収束と家計簿の比喩：教育的有効性の検討」『数学教育学研究』第9巻第2号, 2016年, pp.205-222.
外部リンク
- ∞台帳デジタルアーカイブ
- 港湾天文台資料館
- NBV計算検証局 公開メモ
- 自治体工学年報オンライン索引
- ソフトウェア監査研究者ポータル