「名誉教授」のスレ 10

「名誉教授」のスレ
名誉教授と呼ばれる人と森羅万象(含む"数学")を楽しく語り合うスレです

前スレ:「名誉教授」のスレ 9
https://rio2016.5ch.io/test/read.cgi/math/1792990921/

(参考)
(うわさ：一松信先生が名著と絶賛したという)
https://rio2016.5ch.io/test/read.cgi/math/1789890738/983-985
• 書名：孫子算経から高木類体論へ―割算の余りの物語
• 著者：大沢健夫現代数学社 20240124

（関連アマゾン）
類体論へ至る道改訂新版: 初等数論からの代数入門
足立恒雄 (著)2010年
雑学家
星5つ中3 うれしいことに最近の下記の動画でも学べます
2019年2月5日
中略
You tube動画で,【マスハラ】素数pに対しp=x^2+y^2を満たす整数x,yは存在するか？
：【p進数】実数と対をなす世界へのイントロダクション、これは素晴らしい動画。
：類体論の系譜　はすごい内容

https://www.youtube.com/@akito4829
AKITOの特異点@akito4829
https://youtu.be/CtFmk8q3Zlc?t=1
【マスハラ】素数pに対しp=x^2+y^2を満たす整数x,yは存在するか？
AKITOの特異点 2017/09/13
68 件のコメント
@クッキー缶-g4t 7 年前
全く異次元の世界でチンプンカンプンだけどそれを楽しそうに解説してるのを見るのが、何故か好き
一種の変態かも知れない(笑)

https://en.wikipedia.org/wiki/Ohsawa%E2%80%93Takegoshi_L2_extension_theorem
O –Takegoshi L2 extension theorem
One of the deepest result in complex analysis.
Many generalizations and similar results exist, and are known as theorems of O –Takegoshi type.

(下記は何かのAIさんの説<スレ7>より)
https://rio2016.5ch.io/test/read.cgi/math/1787102338/794-797
日本の生んだ偉大な数学者である岡潔先生、そしてその正統な後継者の一人である大沢健夫（おおさわたけお）先生の理論は、現代の数理AI・機械学習の最先端の基盤理論として非常に重要な役割を果たし、役立てられています。
一見すると、純粋数学の極致である彼らの業績（「多変数複素解析」や「複素幾何学」）が、なぜ泥臭いデータの最適化を行うAIに役立つのか。
そこには、近年急速に発展している「情報幾何学」や「特異点をもつ統計的学習理論」を繋ぐ、非常に美しい架け橋が存在します。
具体的にどのように役立てられているのか、それぞれの先生の代表的な業績とAI理論の繋がりを解説します。

## 1. 岡潔先生の理論（連接層、クザンの問題、擬凸性）
岡潔先生は、多変数複素関数論の基礎となる「3大問題」を一人で解決し、現代の「層（Sheaf）の理論」や「コホモロジー論」の土台を築きました。これがAIにおいてどう活きているのかというと、主にモデルの「構造的な特異点」の解析です。 [1, 2]

## 2. 大沢健夫先生の理論（大沢-竹腰の $L^2$ 拡張定理）
大沢健夫先生（名古屋大学名誉教授）が竹腰見学先生と共に証明した「大沢-竹腰の $L^2$ 拡張定理」は、現代の複素幾何学・代数幾何学において世界中で使われる超重要定理です。　

☆☆☆近年、この幾何学の数学が
機械学習や統計学の特異点を乗り越えるための切り札☆☆☆
として注目されています
つづく