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

つづく

>>237
>分野は違っても、俺は研究者の世界がどういうところかは分かってる
>数学者も研究者のサブセットで、研究対象が異なるだけにすぎん

も一つ聞いていいか？
あんたは 数学科出身なんだろ？

>>247
いや
嘘吐きのお前はやると言ったことは一切やらない

>>247
青焼きのことを言ったとき
証拠も挙げられず
証言も引き出せず
ただただ嘘を言っただけ
その後証言があったことと
それを言ったものが誰かの
最低限の義務を果たしただけ

数学をヤレ数学を

WeilのFoundationも青焼きでなぜか持っていたが
これは結局読めなかった

>>250
何言ってるかワカンネ。
俺は少し前から、青焼きは御大の書き込みではないかと薄々感じていた。
最近のプロフィールの書き込みで東大→京大とあったから、確信に変わったがね。

>>253
嘘吐きの言うことだな

書き込みをコピペしても反論できる意味が分からないw

青焼きの書き込みのコピペ

>>243
>>Q２：おまえは中高の数学教師も、予備校や塾の数学講師も数学者になると思ってるんだな？
>にさっさと回答しろよ

むかし おれの高校の数学教師（女性）が 神戸大数学科出身でね
日本数学会で何か発表したとか 噂で聞いた

別に 森田同値で有名な 森田紀一氏
下記”1936年に東京高等師範学校を卒業した。3年後、東京理科大学の助手となった”とあるよ
大学の数学科の出身ではない
が、森田紀一氏は数学者になった。数学者として通用する人物になった

https://ja.wikipedia.org/wiki/%E6%A3%AE%E7%94%B0%E5%90%8C%E5%80%A4
森田同値（もりたどうち、英: Morita equivalence）とは、環論的な多くの性質を保つ環の間の関係のことを言う。これはMorita (1958)において同値関係と双対性に関する記号を定義した森田紀一にちなんで名付けられた。

https://ja.wikipedia.org/wiki/%E6%A3%AE%E7%94%B0%E7%B4%80%E4%B8%80
森田紀一
https://en.wikipedia.org/wiki/Kiiti_Morita
Kiiti Morita (森田 紀一, Morita Kiichi; February 11, 1915 – August 4, 1995)
(google訳)
森田は1915年に静岡県浜松市に生まれ、 1936年に東京高等師範学校を卒業した。3年後、東京理科大学の助手となった。[ 1 ] 1950年に大阪大学で位相幾何学の論文で博士号を取得した。 [ 1 ] [ 2 ]
出版物
森田紀一 (1958) 「加群の双対性と最小条件環論への応用」東京教育大学科学報告A部6 ( 150 ) : 83–142.MR0096700.Zbl0080.25702 .

>>255
証明がないからだよ
無い限り嘘吐きなのは変わらない

>>258
君とはマトモな雑談ができると思っていないから良い。
俺が復帰できたら話してくれ、数学以外の話は結構。

>>259
お前は数学をやらない
それは間違いないところ
嘘吐きのゲス爺だからな

>>260
俺は君の質問に答えて、君は俺のリーマンの写像定理の質問に答えないw

時間をいっぱいくれてやってんのにw

>>261
>君は俺のリーマンの写像定理の質問に答えないw
それが分からん
何の話だそれ？

>>263
リーマンの写像定理の微分の絶対値が最大になる理由の話。
確かにしたと思うんやけどねぇ。

確かにゲス爺連呼マンに対して言ったはずだと思ったが。

位相空間論　森田紀一

勝手に思い込みで嘘を書くのがゲス爺
>他人のことを認知症呼ばわりするのなら、繰り返すのを辞めた方が良いよ。
>認知症の姫。
>良い加減、目を覚ませよw
>他人のことを認知症扱いするのなら、まず自分が繰り返しの発言を辞めた方が良いよw
>自分がした同じ書き込みを数えた方が良いと思うよw
>貴方が言ったのか知らないが、そんなワードを見かけた気がする。
>貴方の書き込みでなければ、気にしなくて良い。

>>265
お前はいつも他人に罪をなすりつける
嘘吐きのゲス爺

>>267
んじゃ、今から考えなよ。
あれだけ強引に話を進めた質問に俺は答えたんやから、それくらいしても良い義務は発生するだろう。

ヨロピク。

>>269
結局何の話？
勝手な価値観で人に強いるゲス爺

>>270
>俺の問題を解かないのなら、放っておいてよ。
>成立していない問題のスレは放っておくのが健全ではないかと思う。
>ROMっていても楽しくない。
>もう少しで勉強が形になりそうだから、そちらに集中させてくれ。
>そろそろ寝ないといけないのでね。
>進歩が無いから飽き飽きしてんのよ。
>俺は爺さんと呼ばれるのまで妥協してんのよ。
>別に何という訳でもない。
>ああ書けば黙るかと思っただけ。
>案の定疑われるというねw

翻訳：俺の欲しい答えをもってこい
>君は俺のリーマンの写像定理の質問に答えないw

>>271
さっき書いたとおりなんやけど…。
その話（>>264）は私の指導教官の先生が疑問に思っていらっしゃった話である。

>ちょっと待ってね、用事があるから。
>今日中には絶対書くから。
>存在性はそのとおり。
>「最近の数学コンテストにおける関数方程式」って調べてもらえれば、それの53ページに載っています。
>そういうのを書き写すって良くないと思わん？
>私は出題者の責務は果たした。
>プラスアルファの解説を求められても困るね。
>スレタイが「解説スレ」であれば、やってあげるがね。
>今日と明日は暇だが、右肺が痛くなってきた。
>せっかくの休みが体調不良で消えそう(泣)

>>273
俺のほしい答えというか、俺の先生が納得されそうな答えを考えてほしいというのが正確。

証明に書いてある内容を書いてもダメだろう。
先生は証明を勿論ご存知だろうから。

数学基礎論・数理論理学　その20
344 １３２人目の素数さん 10/06(火) 13:58:58.46 ID:eL0E4fXd 5/7
337
ホンマによ、強引に自分の有利な方へ話をもっていくのなら、私の専門（）の函数論の質問に一つ答えてほしいよ。
リーマンの写像定理で微分の絶対値が最大になる事項があるが、その理由でも考えてほしいよ。
ちなみにこれは、私の指導教官は「分からへん」と仰っていたw

これにおっさんは粘着してるらしいよ

俺が代わりに答えたら指導教官しかわからないとさ、アホ丸出し

>>279
大学の先生が疑問を持たれるような内容に興味が湧かないのかね？
それとも、函数論に興味がないのか。

>>280
君は証明をコピペしただけだろw
長いから分かりにくいんだよ。
要点をまとめないと読みにくくてかなわんから。

証明の中にある事項を持ってきても、答えにならないという構造を理解できない人乙。

>>282
読む気もないくせに、言い訳ばっか

>>284
数打ちゃ当たるみたいな文章を書かれても困るんよね。

俺がコピペしたら制限かかりそうな量なんだもんw
君は課金勢か知らないが。

>>285
何処が数撃ちゃ当たるななの？

はぁ、相変わらず話が通じんなぁ…。

>>280
なるほどね
答えを得ても
それはオレの（指導教官の？）気に入らないからとダメ出し
いつも通りのゲス爺だな
ホントに下らない奴

>>288
お前がなｗ

おにぃスレの553～555を見てみなよ。
あんなんコピペしたら、無課金勢とか制限かかりそうなんやけどw

俺は怖いからコピペしたくないw

ゲス爺は他人を自分の思い通りに使役したくて堪らない
自分の百済無い倫理観を押しつけて恥じない
トンデモナイ人格の持ち主がゲス爺

自分で数学をやらず
人にやらせてしかもダメ出し
これがゲス爺の本質

数学をヤレ数学を
つべこべ言わずに
自分から学べ
さもないと
彼の人になっちゃうぞ

>俺の問題を解かないのなら、放っておいてよ。
>成立していない問題のスレは放っておくのが健全ではないかと思う。
>ROMっていても楽しくない。
>もう少しで勉強が形になりそうだから、そちらに集中させてくれ。
>そろそろ寝ないといけないのでね。
>進歩が無いから飽き飽きしてんのよ。
>俺は爺さんと呼ばれるのまで妥協してんのよ。
>別に何という訳でもない。
>ああ書けば黙るかと思っただけ。
>案の定疑われるというねw

553,554にアンカー付けといたわ。
555は関係なかった。

結局、質問に答えるのをはぐらかす気がマンマンw
数学をヤレ、数学をw

学部の複素解析の知識で理解できると思うけど

>>298
何でオレに質問して答えが得られると思ってんのか知れん
他人に教えて貰おうというのに上から目線でマウントするのが
ゲス爺

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