「名誉教授」のスレ 9

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

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


(参考)
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.[3]
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]

* 特異モデルの幾何学的解析：
ディープラーニング（ディープニューラルネットワーク）は、パラメータが重複したり無駄があったりする「特異モデル」に分類されます。このモデルを数学的に解析しようとすると、局所的な数式を貼り合わせて空間全体（グローバル）の挙動を調べる必要が出てきます。ここで、岡先生が開発した「連接層（岡の連接定理）」の思想が不可欠になります。局所的な情報の集まりを代数幾何学的に破綻なくつなぎ合わせる理論は、AIモデルの自由エネルギーや損失関数の形状（ランドスケープ）を大域的に記述する強力な道具となっています。 [1, 2, 3]

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

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

つづく

>>355
日々マウントに明け暮れている人に言われたくないよw
俺はマウントする住人達に翻弄されている、可哀想な住人なんだよ。
炎上スレを育てると、こういう状況になる。
休止すれば悩みは減るだろう。

>>353
>君は一切妥協せずに謝らんから、
当　た　り　前　だ　ろ
嘘吐きには妥協しない
>俺も相殺するだけで謝りはしないよ。
「マイナスをマイナスで埋めました」っていうのがゲス爺

>>356
これでやっとイーブンなんやけどねw
俺のセンター模試も嘘やないのにね。

>>357
>俺はマウントする住人達に翻弄されている、可哀想な住人なんだよ。
お前が勝手に翻弄されようとしているだけ
可哀想でもなんでも無い目障りなゲス爺

>>359
>これでやっとイーブンなんやけどねw
勝手なことしか言わない自己中がゲス爺
>俺のセンター模試も嘘やないのにね。
嘘だね
誰も証明でき無い

>>358
青焼きをマイナスって認めてくれるの？
ありがとうw
君は日本数学会に楯突いた十字架を背負っているのを忘れるなよ。

>>361
はいはい、実家に行ったら探してやるよw

>君は俺のリーマンの写像定理の質問に答えないw
↓
>何の話だそれ？
↓
>大学の先生が疑問を持たれるような内容に興味が湧かないのかね？
↓
>何でオレに質問して答えが得られると思ってんのか知れん
>他人に教えて貰おうというのに上から目線でマウントするのが
>ゲス爺
↓
>君の強引な質問と同じようなもんさ。
↓
>オレの強引な質問とは？
↓
>ハウスドルフとか距離づけ可能や同値関係のやつがあったろ。
↓
>オレが何をどうお前に吹っ掛けたか言ってくれよｗ
↓
>ハウスドルフに同値関係を入れようとしても、推移律が成り立たないからダメみたいな話は、君がしたんじゃないのか？
↓
>そんな話したっけ？
>もっと詳しくというかオレがそれを書いたって言うなら
>レスを引用してくれよ
>俺が言ったって言うんならそれを指摘しろよ
↓
>うーむ、ですます調で喋っている住人だから、君とは確かに違うかもね。

>>362
>青焼きをマイナスって認めてくれるの？
嘘だからね

>>362
>君は日本数学会に楯突いた十字架を背負っているのを忘れるなよ。
またそれが分からん
オレが何楯突いたって？
これも勝手なマウントで
他人に罪をなすりつけてるんだと知れ

>>366
素因数分解の一意性の話はさすがに君じゃないのか？
君以外に思い当たる住人は居ないが…。

>>365
青焼きは全面的に俺が正しい。
支離滅裂なことは言わない方が良い。

>>367
>素因数分解の一意性の話はさすがに君じゃないのか？
だ　か　ら
具体的に指摘しろよ
他人に罪をなすりつけて恥じない
低劣な人格の持ち主がゲス爺

日本語になっていないから。

>>368
>青焼きは全面的に俺が正しい。
>支離滅裂なことは言わない方が良い。
全くダメだね
最低限の義務を果たしただけ
証明にも何にもなってない

>>369
具体も何も、当事者だったらそれで通じる。
環論への冒涜と言ったのは君ではないのか？

>>370
お前は人間になってない

>>371
日本語を喋りましょうw

>>373
マウント取りは人間に非ず。

>>372
だ　か　ら
他人に罪をなすりつけてるって言ってるだろ
ホントにこれで自分がマウントしてないというのダカラ
鼻つまみ者になるんだよゲス爺

>>374
>日本語を喋りましょうw
はぁ
嘘吐きのゲス爺が日本語を騙る

>>375
>マウント取りは人間に非ず。
自己紹介ですか？

>>373
素元の定義を曖昧に書いていたのは君ではないのか？

>>372
>環論への冒涜と言ったのは君ではないのか？
お前は常に
他人に罪をなすりつけたいだけ
下らない人格の持ち主
ゲス爺

ホンマかな～？
これはかなり怪しいから保留。

>>379
>素元の定義を曖昧に書いていたのは君ではないのか？
だから
オレがそれを書いたんなら
ちゃんと指摘してくれって言ってるだろ

君以外に思い当たる住人居らんもんなぁ。

>>381
>これはかなり怪しいから保留。
「これ」とは？
あと>>362
>君は日本数学会に楯突いた十字架を背負っているのを忘れるなよ。
これも具体的に指摘しろよ

>>382
さすがに過去ログは漁りたくない。
当事者なら上の材料でピンと来るから。

>>383
勝手な思い込みで他人を批判して恥じないゲス爺
ホント人間以下だな

>>385
じゃ
ピンと来ないから俺は当事者じゃないな
全く他人を批判する冪人格じゃ無いにも関わらず
自分にその資格があるのだと鼻高々なのがゲス爺

>>384
素数に1を含めないのは素因数分解の一意性からくるものだという資料が、日本数学会関係のもので存在した。
だから、私が言っていることは間違ってはいないという話。

>>387
君はトイレさんともやり合っていないのか。
君がトイレさんだったら勿論違うことになるがw

トイレさんと素元についてバトルしていないのなら違うな。

>素数に1を含めないのは素因数分解の一意性からくるものだという資料が、日本数学会関係のもので存在した。
別にそれでいいんじゃないの？
そういう解釈もあるだろ
>だから、私が言っていることは間違ってはいないという話。
だからって？お前は何て言ったんだ？

>>389
>君はトイレさんともやり合っていないのか。
>君がトイレさんだったら勿論違うことになるがw
>>390
>トイレさんと素元についてバトルしていないのなら違うな。
なんだそれ？
ホントに支離滅裂な「吹っ掛け」しかしないなゲス爺

>>391
資料と私の意見が一致していたんだよ。

>>391
>>素数に1を含めないのは素因数分解の一意性からくるものだという資料が、日本数学会関係のもので存在した。
>別にそれでいいんじゃないの？
あーでも
普通は違うか
1はユニットだからな
素因数分解の一意性を壊してしまうのはユニットだからなので
ユニットであるから素元でないと言うべきだな

>>393
>資料と私の意見が一致していたんだよ。
お前の意見とは？

>>392
君は忘れっぽいというか、ピンと来ないからなぁ…。
まあ、匿名性を強く出されるとこちらも何も言えなくなってくる。
そのときそのときで頑張って書くのが大事だということだろう。
過去のことを言うのはあまり意味がなさそうだからやめておく。

>>391
>>素数に1を含めないのは素因数分解の一意性からくるものだという資料が、日本数学会関係のもので存在した。
これがホントにそういう内容の資料なのか
証拠出してね

>>396
ホントに百済ない奴
吹っ掛けて
他人を罪に問うて
分が悪くなったら
そそくさと逃げる

>>395
素数に1を含めないのは素因数分解の一意性からくるものだという意見。
あのさぁ、きちんと書き込み読んでくれるか？
国語力なさすぎだと思うよ。

>>396
>君は忘れっぽいというか、ピンと来ないからなぁ…。
たとえば？
ホントその資格もないのに他人を罪に問うだけ問うて
逃げるんだなゲス爺

>>397
あのね、過去ログ探したことある？
大変だからやらんよ。
その代わり、過去のことはもう良い。
数学を控えている意味がこれではなくなるから。

>>399
>素数に1を含めないのは素因数分解の一意性からくるものだという意見。
それは日本数学会の資料の内容としてお前が書いたものだ
お前の意見が何かは書いてないが？

>>400
逃げるというか、今はどっぷりと5chをやる気はないから。

>>399
>あのさぁ、きちんと書き込み読んでくれるか？
>国語力なさすぎだと思うよ。
あのね>>388
>素数に1を含めないのは素因数分解の一意性からくるものだという資料が、日本数学会関係のもので存在した。
こうとしか書いてない
そしてお前の意見は>>388
>だから、私が言っていることは間違ってはいないという話。
それとはまた別のこととして書いている
誰が日本語出来ないって？
そんなこという資格もないゲス爺

>>402
資料と私の意見は一致していると書いたから。
きちんと書き込み読んでね。

>>403
人を貶めようとしているのにも拘わらず
実に勝手な奴

>>393
ここに書いてあるだろ。

>>405
>資料と私の意見は一致していると書いたから。
それはお前がそう思っているだけ
お前の意見を書いていないのでは
お前がそう思っていることが正しいかどうか
誰も検証できない嘘

しかし、君じゃなけりゃあ誰なんだよw

>>407
>ここに書いてあるだろ。
一致しているかどうか
どうやって判断しろと言うんだ？
お前はお前の思い込みで
一致していると思っているだけ
嘘吐きのゲス爺

>>409
>しかし、君じゃなけりゃあ誰なんだよw
誰って何の誰が？

>>408
君は国語力がないというか、自分の都合の良い方へ持っていこうとするから支離滅裂になる。
同じことを繰り返すのも良く分からんしね。

>>401
>あのね、過去ログ探したことある？
>大変だからやらんよ。
お前が書いたことだ
最低限の義務を果たせ

>>411
君以外に素因数分解の話をした人が見当たらないんだよ。
まあ、もう別に良いけどね。

>>412
>君は国語力がないというか、自分の都合の良い方へ持っていこうとするから支離滅裂になる。
>同じことを繰り返すのも良く分からんしね。
それは君だろ
とにかく
・日本数学会のその資料の内容が読めるようにして
・以前お前の書いたことを書け

>>413
疲れるからやらね。
過去は触れないことにした。

>>414
>君以外に素因数分解の話をした人が見当たらないんだよ。
ダカラそれはお前の思い込みだろ
オレにしたって言うんなら
ちゃんと指摘してくれって言ってるだろ

>>416
>疲れるからやらね。
最低限の義務も果たさず
バッくれるゲス爺
人間未満

>>415
俺は以前のように暇ではなくなったの。
あまり力は入れられないので宜しく。

>>415
>・日本数学会のその資料の内容が読めるようにして
>・以前お前の書いたことを書け
これができないなら
それを書いたという時に
お前の言うことが正しかったかどうか検証できない

>>418
過去の追及はしないから証明も不要。
時間をかけたくないのでヨロ。

>>419
>俺は以前のように暇ではなくなったの。
>あまり力は入れられないので宜しく。
勝手に人を貶めて
都合悪くなったら
ほっかむりして退散
これがゲス爺

>>421
>過去の追及はしないから証明も不要。
>時間をかけたくないのでヨロ。
あ　の　ね
過去の追及をし出したのはお前
ホント自分勝手なやつだよゲス爺

>>421
>ヨロ。
なにが「ヨロ」だ
こちらは怒り心頭だ

>>420
それはIUTシンスレ？のpart82あたりにあるよ、きっと。
俺はもう漁りたくない。
勝手に自分で確かめてな。

>>420
>>・以前お前の書いたことを書け
その書き込みを引用してな
今勝手に書き換えられても
何も検証できない

>>425
自分で吹っ掛けて他人を貶めようとしたのに
謝罪も何も無くバッくれる
これがゲス爺

>>424
別に追及を取り下げるから良いだろ。
君以外に居ないとは思うが、君が否定するのならもはやどうでも良いわ。

>>428
どうでも良いのはお前だけ
オレは怒り心頭だ
謝罪を要求する

>>427
青焼きの謝罪ゼロでよく言うわw

ホント他人をサカナでるのがお得意なのがゲス爺

最低でもマウント癖直してから来て下さいw

>>430
>青焼きの謝罪ゼロでよく言うわw
お前が嘘を吐いていたのは揺るがないからな

俺は基本受け身である。

>>432
>最低でもマウント癖直してから来て下さいw
お前がだろ
みんなにマウント大好きゲス爺のスレです

>>433
これは日本語ではないw

僕の得意なオーム返しと僕用語

>>434
>俺は基本受け身である。
どこがだｗ
他人を貶め
罪をなすりつけ
何も謝罪しない
しかもそれを受け身と自己弁護とは

僕の得意なおちゃらけ

>>436
>これは日本語ではないw
はぁ
嘘を吐いていたのは揺るがない

>>435
みんな大好きお兄さんとは、マウント好きの住人に誠実に対応するお兄さんを表現したものです。

>>441
みんなにマウント大好きゲス爺
でスレ立てして欲しいね

被害者意識の鎧で固めてあるのでチクチク刺さる
>俺は基本受け身である。

僕は今日は忙しくないのかな

>君は日本数学会に楯突いた十字架を背負っているのを忘れるなよ。
↓
>オレが何楯突いたって？
↓
>素因数分解の一意性の話はさすがに君じゃないのか？
>君以外に思い当たる住人は居ないが…。
↓
>具体的に指摘しろよ
↓
>具体も何も、当事者だったらそれで通じる。
>環論への冒涜と言ったのは君ではないのか？
↓
>他人に罪をなすりつけてるって言ってるだろ
↓
>素元の定義を曖昧に書いていたのは君ではないのか？
>これはかなり怪しいから保留。
↓
>オレがそれを書いたんなら
>ちゃんと指摘してくれって言ってるだろ
↓
>君以外に思い当たる住人居らんもんなぁ。
↓
>>これはかなり怪しいから保留。
>「これ」とは？
>あと
>>君は日本数学会に楯突いた十字架を背負っているのを忘れるなよ。
>これも具体的に指摘しろよ
↓
>さすがに過去ログは漁りたくない。
>当事者なら上の材料でピンと来るから。
↓
>勝手な思い込みで他人を批判して恥じないゲス爺

>>442
勝手に立てればw
どんなスレ進行になるのやら…。

960 １３２人目の素数さん sage 10/28(水) 19:43:44.23 ID:HSYsWuN0 6/9
これからお兄たんはポツポツと書き込むのみ。

>>444
明日は休み。
今月だけよ、サービスするのは♡
testすんなら、規制に気をつけなよ。
運営さん、コチラですw

来月はポツポツ書くだろう、おそらく。

>>447
ボツボツと88レス

来月な

>>448
権威にすがるのもゲス爺のお得意
>>449
嘘だね

僕煽りが上手、ついついむかついちゃう

>>452
俺は権威は基本気にしない。
御大は穏やかな住人だから良いと思っているだけ。
穏やかな住人がまあ居ないよね～⤵

僕は規制されたことないの、偉いねー

>君は俺のリーマンの写像定理の質問に答えないw
↓
>何の話だそれ？
↓
>大学の先生が疑問を持たれるような内容に興味が湧かないのかね？
↓
>何でオレに質問して答えが得られると思ってんのか知れん
>他人に教えて貰おうというのに上から目線でマウントするのが
>ゲス爺
↓
>君の強引な質問と同じようなもんさ。
↓
>オレの強引な質問とは？
↓
>ハウスドルフとか距離づけ可能や同値関係のやつがあったろ。
↓
>オレが何をどうお前に吹っ掛けたか言ってくれよｗ
↓
>ハウスドルフに同値関係を入れようとしても、推移律が成り立たないからダメみたいな話は、君がしたんじゃないのか？
↓
>そんな話したっけ？
>もっと詳しくというかオレがそれを書いたって言うなら
>レスを引用してくれよ
>俺が言ったって言うんならそれを指摘しろよ
↓
>うーむ、ですます調で喋っている住人だから、君とは確かに違うかもね。