全体概要
本セミナーは、AIとDeep Learningが社会的注目を集める現代において、「知性とは何か」「計算とは何か」「数学的真理はどこに存在するのか」という根源的な問いへと立ち返ることを促す、哲学・数学・計算科学の交差点に位置する知的探求の場です。[p.2, p.5]
中心的な問いは、「AIは本当に人間の思考を模倣できるのか」「意識は計算可能か」という問いを起点に展開されます。Deep LearningをはじめとするAI技術の急速な発展は、しばしば「AI＝Deep Learning」という短絡的な等式を生み出していますが、本セミナーはその先にある「Post Deep Learning」の思想的地平を見据え、より深い数理的基盤の必要性を訴えます。[p.13, p.12]
Chomsky、Turing、Gödel、Cantor、Voevodsky といった20世紀の知性が切り拓いた計算理論・言語理論・数学的基礎論の系譜を丁寧に辿りながら、計算可能性の限界（P対NP問題）、量子計算の可能性と限界、そして「意識」という非計算的現象へのアプローチまで、壮大なロードマップが描かれます。[p.9, p.20, p.21, p.74]
ロジャー・ペンローズの二大著作『The Emperor’s New Mind』（1989年）と『Shadows of the Mind』（1994年）を軸として、「意識は古典的コンピュータでは再現不可能である」というテーゼが検討され、マイクロチューブル仮説やOR（客観的収縮）理論といった量子脳理論へと議論は深まります。[p.131, p.132, p.212, p.213, p.223]
さらに後半では、言語の数学的構造（Minimalist Program、Categorial Grammar）から、圏論（Category Theory）・Functor Semanticsへと議論が接続され、「言語の意味論を数学的に記述する」という現代的課題への応答が示されます。[p.50, p.282, p.288]
本セミナーが提起する最終的な問いは、「数学・物理世界・精神」という三つの世界がいかに相互に依存し合っているのか、というペンローズ的な「三つの謎」であり、それはVoevodskyのHomotopy Type Theoryやアカデミー・プラトンの幾何学的伝統へと接続されます。[p.232, p.257, p.207]
—
講義のロードマップ
ここでは、セミナーの講演資料がどのようなパートから構成されているかを示します。また、それぞれのパートのポイントを紹介します。
—
■ Part I: Deep LearningとAIの現在地、そして数学的基礎への要請
Deep Learningが画像認識や音声認識で驚異的な成果を収めた2012年以降、「AI＝Deep Learning」という誤解が広まっています。しかしMLP・CNN・RNN(LSTM)といった技術の本質を理解し、その限界（Encoder-Decoder Model、DNCの試み）を正確に把握した上で、次世代の知的基盤を問い直すことがこのPartの目的です。[p.10, p.44, p.45]
■ Part II: Entity Model・知識表現・対話システムの構造
Googleの知識グラフ（Knowledge Graph）やAmazon Alexaに代表される対話AIは、「EntityモデルとIntentモデル」という二層構造によって自然言語理解を実装しています。このPartでは、Speech2Text/Text2Speechから始まる音声処理技術の系譜と、IntentおよびSlot Typeによる発話の意味的解析の仕組みを解説します。[p.47, p.48, p.49]
■ Part III: 言語の数学的構造 — Minimalist ProgramとCategorial Grammar
Chomskyが1995年に提唱した「Minimalist Program」は、言語の生成を「Merge」という極めてシンプルな操作に還元しようとする試みです。一方、1958年にLambekが提唱した「Categorial Grammar」は、言語構造を代数的・圏論的に記述する枠組みを与えます。このPartでは両者の関係と現代への接続を論じます。[p.51, p.52, p.53]
■ Part IV: 計算複雑性理論 — P対NP問題と量子計算
P対NP問題は計算科学最大の未解決問題であり、「解を検証するのが容易な問題は、解を発見するのも容易か」という問いです。1950年代から70年代にかけて計算複雑性理論が体系化され、Cook-Levin定理によりSATのNP完全性が示されました。さらに量子計算はBQPクラスを導入し、従来の複雑性階層を再構成します。[p.74, p.97, p.95, p.111, p.112, p.113, p.114]
■ Part V: ペンローズの二冊 — 意識・量子・数学の三角形
ロジャー・ペンローズは『The Emperor’s New Mind』（1989年）と『Shadows of the Mind』（1994年）において、「意識はアルゴリズムによって完全に記述できない」というテーゼを数学・物理学・神経科学の三方向から論証しました。Gödelの不完全性定理、量子力学のOR（客観的収縮）、そしてマイクロチューブルという三つの概念がその論拠の核心をなします。[p.131, p.132, p.212, p.213]
■ Part VI: 言語・記号・意味 — Syntax/Semanticsの数学的定式化
「言語の意味とは何か」という問いに対し、圏論（Category Theory）とFunctor Semanticsが強力な数学的枠組みを提供します。SyntaxをCategoryとして定式化し、SemanticsをもうひとつのCategoryとして構成し、両者の間にFunctorを架けることで、「理論のモデル」という概念が自然に定式化されます。[p.282, p.283, p.288, p.293]