講演資料
講義資料スライドの表紙です。上のスライド画像をクリックすると、同じ画面のまま全編のPDF資料を快適に閲覧・印刷することができます。
セミナーの概要
このセミナーは「マグニチュードとは何か」という問いを中心に、「大きさ」という概念の数学史的展開と、その最前線に位置する21世紀の理論「マグニチュード論」への入門的道筋を探求するものです [p.1, p.2]。
「マグニチュード」は地震の規模を表す日常語として知られていますが、このセミナーが扱うのは、Tom Leinsterらが開拓した数学的マグニチュード論すなわち、あらゆる種類の「大きさ」の共通構造を探求する新しい数学理論です [p.4]。セミナーの背景には、数学史における「大きさ」概念の変革史があります。ユークリッドの「大きさを持たない点」の定義、ゼロの導入、ニュートン・ライプニッツの微積分、オイラーの「変わらぬ大きさ」（オイラー標数）、カントールの無限集合の濃度、そしてシャノン・エントロピーへと続く系譜が丁寧に辿られます [p.7, p.8]。
マグニチュード論は、蒸気機関の時代に熱力学とエントロピーが誕生し、情報通信革命の時代に情報エントロピーが発見されたのと同様に、生成AIと大規模言語モデル（LLM）の時代に誕生した新しい「大きさ」の概念と位置づけられています [p.12]。とりわけ、Tai-Danae Bradleyらの論文「The Magnitude of Categories of Texts Enriched by Language Models」を読むための準備として、このセミナーは設計されています [p.13, p.14]。
三つのパートで構成される本セミナーは、カントールの「無限の大きさ」（集合の基数・順序数）、オイラーの「変わらぬ大きさ」（オイラー標数とシャニュエルによる拡張）、そしてレンスターの「生物多様性の大きさ」（類似度行列Zとマグニチュードの同一性）を通じて、マグニチュード論の思想的・数学的核心に迫ります。特に、生物多様性の最大値が類似度行列のマグニチュードに等しいという補題5.2の結果は、このセミナーの到達点の一つです [p.293]。
講義のロードマップ
ここでは、セミナーの講演資料がどのようなパートから構成されているかを示します。また、それぞれのパートのポイントを紹介します。
■ はじめに: 「大きさ」の数学史とセミナーの位置づけ
「大きさ」を対象とする数学の歴史的変遷を俯瞰し、新しい「大きさ」概念が社会変革と共に誕生してきたことを確認します。エントロピーの二重の誕生（熱力学と情報理論）を結びつけたフォン・ノイマンのエピソードを軸に、マグニチュード論がLLM時代の新しい「大きさ」であることを論じます [p.9, p.10, p.11, p.12]。
■ Part 1: カントールの「無限の大きさ」
「数える」と「個数（基数）」を概念的に分離し、集合論の祖カントールが無限への拡張をいかに実現したかを示します。「数える」ことに対応する順序数（ordinal）と「個数」に対応する基数（cardinal）という二系列の無限が展開され、連続体仮説の未解決問題からコーエンによる独立性証明へと至ります [p.42, p.73, p.74]。
■ Part 2: オイラーの「変わらぬ大きさ」
凸多面体の頂点・辺・面の交代和が形や大きさによらず一定という「オイラー標数」の発見から出発し、シャニュエルの「負の集合」論文とポテトの長さ論文を通じて、オイラー標数を有限加法的測度として捉え直す視点が提示されます。この拡張こそがマグニチュード論の思想的先駆けとなっています [p.120, p.140, p.161, p.164]。
■ Part 3: レンスターの「生物多様性の大きさ」
50年以上続いた生物多様性指標論争に終止符を打つレンスターの定義 ᵍDᶻ(p) を読み解きます。確率分布p（種の相対豊度）、類似度行列Z（種間の類似性）、qパラメータ（稀な種への重み付け）の三要素を統合したこの定義は、シャノン・ツァリス・レニィ・Hill数など既存の多様性指標をすべて特殊ケースとして包含します。そして最大多様性がZBのマグニチュード |ZB| に等しいという補題5.2が、生物多様性論とマグニチュード論を結びつけます [p.213, p.233, p.264, p.293]。
ページのナビゲート