「名誉教授」のスレ 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]

つづく

>>299
俺の質問の答えがなんであんなに長くなる訳？w
証明全てを引っ張ってきても意味ないから。

自分の質問には自分の思う価値があるから答える義務があると言いたいらしい

ひねくれたおっさんは修士二年で何を勉強したんだろう

>>300
別に先生でなくてもそれなりの答えがでそうな質問だから聞いている。
君の強引な質問と同じようなもんさ。

>>301
お前は位数96の群の解答も書かない
何も理解せずに出題する
トンデモナイ人格の持ち主

695 １３２人目の素数さん sage 10/09(金) 21:12:29.52 ID:Ai/9dCVu 1/2 694 だから、証明を見ても先生は納得されていないから、証明以外のところで理由を引っ張ってこないとダメだと思うよ。 真の正解は、ご本人にお話して納得されたものが答えになるから、私が思っているものは実は浅い答えだったりするかもしれない。 この文章の意味わかる？

>>304
オレの強引な質問とは？

>>302
大学教授が疑問に思うような内容を無下に扱っても良いのか。

>>308
良いんじゃ無いの？ｗ
勝手な価値観押しつけようとするのがゲス爺

>>306
コレハヒドイ

ひねくれたおっさんの日本語が意味不明

>>307
ハウスドルフとか距離づけ可能や同値関係のやつがあったろ。
どんどん勝手に話を進めたんやから、俺だって同じような質問くらい許されると思うけどね。

>>303
指導教授への忖度？

>>311
君は証明に答えがないという理屈が分からないようだから良い。

>>312
何の話？オレが何か全く関係ない流れの中でお前に聞いた？
お前は藪から棒にオレに「答えろ」と言っているんだと知れ

>>310
青焼きの証明を全否定する奴より、よっぽど筋が通っていると思うよw

>>314
勝手に人に何かやらせようとして
思い通りにならないからと
勝手なダメ出しをして
謝罪も何もしないのがゲス爺

>>316
お前が嘘を書いたのは揺るがない

>>312
んじゃ、この話をした人挙手～w
数日待ってみようw

evans同様、誰も手を挙げないだろうw

>>314
青焼きの謝罪をせえよ。

>>312
>どんどん勝手に話を進めたんやから、
ドンドン勝手に話を進めたって何のことだ？
>俺だって同じような質問くらい許されると思うけどね。
許される？誰が許すんだ？
お前が「吹っ掛けた」奴がお前を許すとでも？

>>321
お前が嘘を吐いていたのは揺るがない
その後随分建って
最低限の義務を果たしたというだけ
証明も何も無い

ゲス爺って言う奴何人居んの？w

>>323
イミフw

>>319-320
誰も手を上げないのは
妄想だからだろうねｗ

>>325
意味不明な言動しかしないのはゲス爺

>>326
君だからだろうねw

ひねくれたおっさんの相手は全員ここにいると思ってるのか、馬鹿か

>>324
さあ？
みんな言うんじゃナイ？

>>327
こんな喋り方する奴そうそいいませんw

そうそう居ません

>>328
だから
オレが何をどうお前に吹っ掛けたか言ってくれよｗ

>>331
どんなしゃべり方？

>>329
全スレに書くわけにもいかないだろう。
大体、書き込みの癖って結構分かるからね。

>>334
ゲス爺連呼マンは大体君だけなんじゃないの？

>>331
なんか物凄く思い込んでることが強いらしいが
とにかくオレがお前に何か吹っ掛けたのなら
それを指摘しろよ具体的にな

>>336
さあ？何でオレがそれを保証できると思うんだ？

>>335
それ思い込み
お前は他人に罪をなすりつける
心底下らない奴だゲス爺

ゲス爺は
・数学（に限らないかも？）用語を無理に使うギャグで滑る
・自分騙りが好き
・三度の飯よりマウントが好き
・立てたスレの勢いに樮笑む
・立てたスレは自分のものだと思っている
・立てたスレは必ず炎上
・800で気が気でなくなって次スレを立てる
・数学を理解せずに引用しかしない
・荒らしに忖度

>>333
ハウスドルフに同値関係を入れようとしても、推移律が成り立たないからダメみたいな話は、君がしたんじゃないのか？
違ったとしても常日頃からマウントしまくりやから、そんくらい答えても良くない？

というところが彼の人とクリソツ

あんときだけレアな住人が出てきたのかねぇ…？

>>341
>ハウスドルフに同値関係を入れようとしても、推移律が成り立たないからダメみたいな話は、君がしたんじゃないのか？
そんな話したっけ？
もっと詳しくというかオレがそれを書いたって言うなら
レスを引用してくれよ
>違ったとしても常日頃からマウントしまくりやから、そんくらい答えても良くない？
出ましたｗ
「違ったとしても」
他人への不満を誰彼構わず当たり散らすのがゲス爺

>>343
「あんとき」って？
お前は
お前の知っていることを他人が知っているのが当然だと
思い込んでいる
ホントにマウント自己中だよな

>>344
>「違ったとしても」
>他人への不満を誰彼構わず当たり散らすのがゲス爺
だから
ゲス爺は嘘吐きなんだよな

>>344
スレ名が分からんくなった。
こういうときは絶対俺が探すハメになるんよなぁ、はぁ…。

>>341
>ハウスドルフに同値関係を入れようとしても
だいたい
ハウスドルフ空間に同値関係ってどういう意味で？

>>347
当　た　り　前　だ　ろ
お前が言い出したんだぞ
他人に罪をなすりつけるためにな

俺が言ったって言うんならそれを指摘しろよ
それだけ
指摘されたら俺も思い出すかも知れん

それもしないから嘘吐き何だよゲス爺は

>>351
うーむ、ですます調で喋っている住人だから、君とは確かに違うかもね。
まあ、青焼きは私が完全に正しいから、それで相殺させてくれ。

君は一切妥協せずに謝らんから、俺も相殺するだけで謝りはしないよ。

君の青焼きに対する説明は支離滅裂だからね。

>>352
>うーむ、ですます調で喋っている住人だから、君とは確かに違うかもね。
嘘吐き
ホントに嘘吐きだなゲス爺
>まあ、青焼きは私が完全に正しいから、それで相殺させてくれ
なんだそりゃ
嘘を嘘で相殺って
金は借りたからもっと貸せって言ってるのと同じだ

>>354
>君の青焼きに対する説明は支離滅裂だからね。
お前が嘘を吐いたのは揺るがない
最低限の義務を果たしただけ
今回はそれもしないで
分が悪くなったから撤退か
これがゲス爺

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