20/06/02 18:51:35 14Dxu7HL.net
>math_jinさん
Edward Frenkel
@edfrenkel
返信先
@ math jinさん
Please stop. Otherwise,
I will block you. Thanks.
午後1:07 · 2018年1月26日·
501:１３２人目の素数さん
20/06/02 19:56:29 9KoAsOU1.net
>>463
＞宇宙（クラスが無限に集まったもので、クラスの外）
いつ誰がどこでそんな嘘いった？
宇宙は集合だろ
ついでにいうと
＞クラス（集合が無限に集まったもので、集合の外）
集合が無限にあつまっても集合
それだけではクラスにはならない
502:１３２人目の素数さん
20/06/02 20:46:08.09 gMY8UofC.net
|;)ｲﾀ…
503:１３２人目の素数さん
20/06/02 20:47:18.55 gMY8UofC.net
|=
504:3
505:現代数学の系譜 雑談
20/06/02 20:54:15.55 oDq2flKy.net
>>465
>＞宇宙（クラスが無限に集まったもので、クラスの外）
>いつ誰がどこでそんな嘘いった？
>宇宙は集合だろ
>集合が無限にあつまっても集合
>それだけではクラスにはならない
どうも、レスがありがとう
・細かく言い出すと、専門書一冊いるだろう（＾＾；
・なので、簡単に圏を考える。IUTでも圏は使われている
・例えば、”モノイドの圏 Mon 全てのモノイド”を考えると、これは ”大きい”つまり 一般に 真の類（クラス）を扱うのです
・つまり、圏論の範囲では、集合とクラス（類）があれば、十分です
・では、「宇宙」って何ですか？ 集合とクラス（類）以上の存在であって、圏論（含む下記”擬圏”）が全て入っているものを宇宙とする というのが1つの考え
・つまり ”擬圏 圏の圏 CAT 非常に大きい 実際には圏ではない”を、含むものを「宇宙」と考えるのが、21世紀の「宇宙」（数学）の1つの解答だと思います（＾＾
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
圏 (数学)
圏の大きさ
圏 C が小さい (small) とは、対象の類 ob(C) および射の類 hom(C) がともに集合となる（つまり真の類でない）ときに言い、さもなくば大きい (large) と言う。
射の類が集合とならずとも、任意の二対象 a, b ∈ ob(C) をとるごとに、射の類 hom(a, b) が集合となるならば（hom(a, b) を射集合、ホム集合などと呼び）、その圏は局所的に小さい (locally small) と言う[3]。集合の圏など数学における重要な圏の多くは、小さくないとしても、少なくとも局所的に小さい。
例
モノイドの圏 Mon 全てのモノイド 全てのモノイド準同型 写像の合成 大きい
2-圏 小さい圏の圏 Cat 全ての小さい圏 すべての函手 函手の合成 大きい 自然変換も考えると2-圏（英語版）の例となる
擬圏 圏の圏 CAT 全ての圏 全ての函手 函手の合成 非常に大きい 実際には圏ではない
つづく
506:現代数学の系譜 雑談
20/06/02 20:54:49.29 oDq2flKy.net
>>468
つづき
URLﾘﾝｸ(ja.wikipedia.org)(%E9%9B%86%E5%90%88%E8%AB%96)
クラス (集合論)
集合論及びその応用としての数学におけるクラスまたは類（るい、英: class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義されるものである。「クラス」の正確な定義は、議論の基礎となる文脈に依存する。
例えば、ツエルメロ＝フレンケル集合論 (ZF) ではクラスは厳密には存在しないが、他の集合論（たとえば、ノイマン＝ベルナイス＝ゲーデル集合論 (NBG)）では、「クラス」の概念は公理化されている（NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される）。
（どのような定式化を選んだとしても）「全ての集合の集まり」はクラスである。（ZF では厳密な言い方ではないが）このクラスだが集合でないようなものは真のクラス (proper class) と呼ばれ、集合となるようなクラス（つまり集合）は小さいクラス (small class) とも呼ばれる。
例えば、全ての順序数からなるクラスや全ての集合からなるクラスは、多くの形式体系において真のクラスである。
集合論以外の文脈では「クラス」を「集合」の同義語として使うこともある。この用法はクラスと集合が現代的な集合論の用語法に基づく区別をされていなかった時代からある。19世紀以前の多くの"クラス"に関する議論は集合のことを指していた、もしくはもっと曖昧な概念をさしていた。
この意味でのクラスは「級」という訳語を当てることがある（たとえば滑らかさのクラスの C1-級など）。
(引用終り)
以上
507:現代数学の系譜 雑談
20/06/02 20:57:46.78 oDq2flKy.net
>>464
Edward Frenkel氏は、ショルツ氏と同じ
つまり、ラングランズ予想の人であって、遠アーベル専門家ではないでしょ
math_jinと合わないのは、あたりまえ
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ラングランズ・プログラム（英: Langlands program）は、代数的整数論におけるガロア群の理論を、局所体およびそのアデール上で定義された代数群の表現論および保型形式論に結び付ける非常に広汎かつ有力な予想網である。同プログラムは Langlands (1967, 1970) により提唱された。
目次
1 問題の背景
2 対象
3 ラングランズ予想
3.1 相互律
3.1.1 保型形式論
3.2 函手性
3.2.1 一般化された函手性
3.3 幾何学的ラングランズ予想
4 現在の状況
4.1 局所ラングランズ予想
4.2 基本補題
508:１３２人目の素数さん
20/06/02 21:07:59 FWHyNiFE.net
>>462 に書いてあることかもしれんがIUTの宇宙ってそれほど大層なものではない気がする
IUの部分ではなく遠アーベルの部分が全体の本質ではないのかな
509:１３２人目の素数さん
20/06/02 21:09:19 u+3Lc9cF.net
このスレではある程度宇宙ではなく舞台が正しいとコンセンサスが取れてた気がする
510:１３２人目の素数さん
20/06/02 21:10:01 u+3Lc9cF.net
玉川も舞台って書いてたな
ホッジ舞台のことだから舞台で良い
511:１３２人目の素数さん
20/06/02 21:56:01.98 NH+TOuge.net
>math_jinと合わないのは、あたりまえ
math jinの非公開垢の方ですね
512:１３２人目の素数さん
20/06/02 22:00:19.62 9KoAsOU1.net
>>468
>「宇宙」って何ですか？ 集合とクラス（類）以上の存在であって、
>圏論（含む下記”擬圏”）が全て入っているものを宇宙とする
>というのが1つの考え
専門書を全く読めない素人が、トンデモな嘘語ってるな
あんた、数学、馬鹿にしてんの？
513:１３２人目の素数さん
20/06/02 22:20:08.21 NH+TOuge.net
ここはIUT応援団長スレ主の
開放されたおうち【隔離スレ】
スレ主のコピベや罵倒は自由です。
math jinの非公開垢は密閉密室密閉
密教の4密で最低です。
ぜひIUT応援団長がmath jinの
秘密の部屋に入り情報公開して下さい
IUT応援団長しかできませんよ！
514:１３２人目の素数さん
20/06/02 22:35:48 NH+TOuge.net
>>476
あごめん
密閉密室密閉密教
→密閉密室密告密教
515:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/02 22:49:23 oDq2flKy.net
>>475
>専門書を全く読めない素人が、トンデモな嘘語ってるな
>あんた、数学、馬鹿にしてんの？
意味わかんないけど？
大言壮語するなら、あんたのいう専門書 １冊でも示してみ
但し、21世紀（2001年以降）に発行されたものな
どぞｗ（＾＾；
516:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/02 22:53:35 oDq2flKy.net
>>475
ああ、今日の 維新さん（＝おサル） のID ID:9KoAsOU1だったのかｗ（＾＾；
517:１３２人目の素数さん
20/06/02 23:15:33 FWHyNiFE.net
俺もクラスの上に宇宙があるという感覚は分からんわ
どういう本見たらそういうの載ってるの？圏論関係？
518:１３２人目の素数さん
20/06/02 23:17:37 XWvvnUiK.net
クラスの上に宇宙があるとは普通は考えないな
519:１３２人目の素数さん
20/06/03 01:58:35.30 Zs4qJh/a.net
瀬田は時枝記事は理解したの？
雑誌記事さえ理解できないのにIUTスレなんて立てて恥ずかしくないの？
520:現代数学の系譜 雑談
20/06/03 07:06:08.89 f2114lVN.net
>>480-481
どうも、レスありがとう（＾＾
１．我々の立場は、圏論は認めるとする。つまり、”真のクラス”という用語を認める
（だから、ZFCより NBGの方かな ）
２．その上で、下記の強制法の”直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている”を読んでみて
ベースは ZFCで書いてあるけど これをNBGに読み替えると、集合論の宇宙 Vには 普通の集合論で使う集合は全部入っていると考えるんだ
そのVの外に、強制法でより大きい宇宙 V* を作るってこと
３．これが、基礎論での強制法を含めた「宇宙」という用語でしょ。だから、集合論内の集合に「宇宙」という用語を使うと混乱します、多分（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)(%E9%9B%86%E5%90%88%E8%AB%96)
クラス (集合論)
集合論及びその応用としての数学におけるクラスまたは類（るい、英: class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義されるものである。
「クラス」の正確な定義は、議論の基礎となる文脈に依存する。例えば、ツエルメロ＝フレンケル集合論 (ZF) ではクラスは厳密には存在しないが、他の集合論（たとえば、ノイマン＝ベルナイス＝ゲーデル集合論 (NBG)）では、「クラス」の概念は公理化されている（NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される）。
（どのような定式化を選んだとしても）「全ての集合の集まり」はクラスである。（ZF では厳密な言い方ではないが）このクラスだが集合でないようなものは真のクラス (proper class) と呼ばれ、集合となるようなクラス（つまり集合）は小さいクラス (small class) とも呼ばれる。
つづく
521:現代数学の系譜 雑談
20/06/03 07:06:32.73 f2114lVN.net
>>483
つづき
URLﾘﾝｸ(ja.wikipedia.org)
522:強制法 (抜粋) 直観的意味合い 直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている。 この大きい宇宙では、拡大する前の宇宙には無かった ω = {0,1,2,…} の新しい部分集合をたくさん要素に持っている。 そしてそれにより連続体仮説を否定することができる。が、このような議論は表面上不可能である。 原理的には、次のようなものを考える。 V^{*}=V x {0,1}, x ∈ V を (x,0) で特定し、(x,1) の形をした"新しい"集合にも 関係する拡大された所属関係を導入する。 強制法はこのアイデアを洗練したもので、新しい集合の存在を認めて利用するというより、拡大された宇宙の性質を元の宇宙からよりよく操作することを許したものである。 可算推移モデルとジェネリックフィルター 強制法の鍵となるステップはZFCの宇宙 V に対して、V の要素でない適切な G を見つけることである。 結果としては G によるP-名前の解釈全てによるクラスが元々の V の拡大になるZFCのモデルになるようにする。 （興味のある人は、英語版も見て下さい） https://en.wikipedia.org/wiki/Forcing_(mathematics) Forcing (mathematics) (引用終り) 以上
523:現代数学の系譜 雑談
20/06/03 07:26:48.61 f2114lVN.net
>>482
今日の 維新さん（＝おサル） ID:Zs4qJh/aか （＾＾
>>478より
”大言壮語するなら、あんたのいう専門書 １冊でも示してみ
但し、21世紀（2001年以降）に発行されたものな”
に対して、必死に探すも見つからずだったなｗｗ
（それ、当たり前だよｗ（下記））
おサルは、強制法で「宇宙」という用語が使われていることを知らなかったみたいｗ
強制法以降の基礎論では、「宇宙」は特別の意味を持つよ（>>483-484ご参照）
ああ、時枝記事（下記）？ あれ不成立って まだ理解できないのかな？？（＾＾；
おサルは、大学教程の確率論＆確率過程論が 全然理解できないんだねｗ
（参考）
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47
ｽﾚﾘﾝｸ(math板:11番)-
なお、念のため時枝問題（数学セミナー201511月号の記事）まとめ 関連リンク 下記ご参照。
35 ｽﾚﾘﾝｸ(math板:12-18番) 時枝問題（数学セミナー201511月号の記事）
（過去スレで201611月号と誤記があるが、正しくは201511月号です）
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 2015年11月号 日本評論社
箱入り無数目────────時枝 正 36
524:現代数学の系譜 雑談
20/06/03 07:43:35.47 f2114lVN.net
>>483 訂正
ベースは ZFCで書いてあるけど これをNBGに読み替えると、集合論の宇宙 Vには 普通の集合論で使う集合は全部入っていると考えるんだ
↓
ベースは ZFCで書いてあるけど これをNBGに読み替えるて、集合論の宇宙 Vには 普通の集合論で使う集合とクラスは全部入っていると考えるんだ
かな？（＾＾；
525:現代数学の系譜 雑談
20/06/03 07:45:09.22 f2114lVN.net
あれ、”読み替えるて”は、おかしいな ”読み替えて”だな
分かると思うが （＾＾；
526:１３２人目の素数さん
20/06/03 17:06:26.69 yjqLuWMk.net
なんで宇宙にクラスも要素として入ってるとか嘘八百の妄想してんだ？
どこにもそんな嘘書いてないじゃん
素人が平気で嘘つくんじゃねえよ ●違い野郎
527:１３２人目の素数さん
20/06/03 17:22:09.68 /bcrEffA.net
不成立おじさん不誠実の極み
528:１３２人目の素数さん
20/06/03 18:31:48 EfWTNW/6.net
>>487
「数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは
議論領域のことである。
数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体の
すべてを元として含むような類のことである。
このアイデアにはいくつものバージョンがある。
おそらく最も単純なバージョンは、研究対象が特定の集合で閉じている限り、
任意の集合が宇宙であるというものである。」
で、あなたの設定していた宇宙はなに？
説明できないんじゃ理解力ゼロ、コピペしかできない●●ですね。
529:１３２人目の素数さん
20/06/03 19:02:48.2
530:3 ID:uN74JbOA.net
531:１３２人目の素数さん
20/06/03 19:12:55.51 uZdEhGCs.net
せっかくオープンな場で議論してたのになんで閉じこもるかな
532:１３２人目の素数さん
20/06/03 19:31:09.83 0Aw4hAFu.net
毎回、ブログをチェックするのめんどくさいなったからだろ
533:現代数学の系譜 雑談
20/06/03 22:45:19.07 f2114lVN.net
>>491-493
皆さん、コメントありがとう
殆ど同意ですが
１．結局、いまと成っては ショルツ氏にとってIUTはどうでも良いことなのです
２．つまり、自分にはフィールズ賞とパーフェクトイドがあり、研究テーマも共同研究のお声掛かりも山ほどある
３．逆に言えば、IUTに時間を割くのは、あまり賢くない。まあ、Stixを通じて参加すれば良いのです
４．さらに言えば、数学では間違っている側（ショルツ氏）が、正しい側（Dupuy氏）を説得することは、基本的にありえない
（早く撤退するのが吉ですね）
５．あとは、我々は 予定の国際会議のスケジューリングなどを注目していれば良い。発表論文なども、一部は集まっているでしょう
６．どういう展開になるか、ご注目ですね（＾＾
（参考）
URLﾘﾝｸ(www.math.columbia.edu) （woitブログ）
Not Even Wrong Latest on abc Posted on April 3, 2020 by woit
Peter Scholze says:
April 17, 2020 at 7:15 pm
However, the discussions in Kyoto went along extremely similar lines, and these discussions were actually very much led, certainly initially, by Mochizuki.
He first wanted to carefully explain the need for distinct copies, by way of perfections of rings, and then of the log-link, leading to discussions rather close to the one I was having with UF here.
He agreed that one first has to understand these basic points before it makes sense to introduce all further layers of complexity.
(I should add that we did also go through the substance of the papers, but kept getting back at how this reflects on the basic points, as we all agreed that this is the key of the matter.)
Peter Scholze says:
May 1, 2020 at 4:42 pm
The same happens for everything else I’ve seen in IUT or your comments.
I’m happy to continue any further discussions by e-mail.
534:１３２人目の素数さん
20/06/03 23:16:10.72 EfWTNW/6.net
ショルツ氏すごい
天才
URLﾘﾝｸ(imo-official.org)
535:粋蕎
20/06/03 23:38:17.65 Dg1NlqjJ.net
オリラジ藤村の親戚である
536:１３２人目の素数さん
20/06/04 03:01:38.95 xBf18vV1.net
>>485
>ああ、時枝記事（下記）？ あれ不成立って まだ理解できないのかな？？（＾＾；
> おサルは、大学教程の確率論＆確率過程論が 全然理解できないんだねｗ
じゃあ大学教程の確率論＆確率過程論使って不成立を証明してみ？
「勉強すれば分かる」じゃ証明になってないぞｗ
537:現代数学の系譜 雑談
20/06/04 07:41:25.46 f8QhyC0+.net
>>496
粋蕎さん、どうも
お元気そうでなによりです（＾＾
538:現代数学の系譜 雑談
20/06/04 07:48
539::32.91 ID:f8QhyC0+.net
540:１３２人目の素数さん
20/06/04 08:03:23.30 flKNrjNn.net
>>492
Taylor Dupuy says.
April 14 2020 at 8.37 pm
Yep, the theta pilot doesn’t map to the actual theta values *on the theta side*. On the q-side it does.
I will check your manuscript again in a bit.
Dinner then bedtime (I am barbecuing).
I want to check again to make sure
I didn’t miss something
2020.4.14.8.37
デュピュイは焼肉を食べて寝ると
言い残しブログから去る。
ショルツがいない時を見計らい
またブログへ戻ってきてワーワーと、、。
日本のドラマをなんとなく
思い出した。
水戸黄門で悪代官と悪徳商人の
手下がすけさんとかくさんに
やっつけられ「おぼえていやがれ」
と吠えながら逃亡、悪徳商人の親分
に「ばかやろう」と怒鳴られて
また舞い戻りる、、
541:１３２人目の素数さん
20/06/04 08:11:32.91 flKNrjNn.net
まあDupuyはこの事実を知っているの？
↓
>>114
542:１３２人目の素数さん
20/06/04 08:22:47.72 /zHwzs/n.net
>>499
ノイマンはちょっと毛色が違うかな。純粋数学っていう意味だと。
543:１３２人目の素数さん
20/06/04 09:17:09 cSociVKW.net
>>502
三位かはともかく純粋数学でも成果残しまくってるけどな
544:１３２人目の素数さん
20/06/04 09:55:38.39 6TO0kZat.net
ノイマンは物理や工学にも顔出してるから応用寄りと思われがちだが純粋数学としても強いでしょ
545:１３２人目の素数さん
20/06/04 10:01:56.10 sn6aONYf.net
>>496
>オリラジ藤村
スレちがい すまん（＾＾
もう一人の〇〇しんご： ”森しん” 広森 信吾（ひろもり しんご）、”森しん”つながり：森進一
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
藤森慎吾
藤森 慎吾 (ふじもり しんご、1983年（昭和58年）3月17日 - ) は、日本のお笑いタレント、歌手、俳優。お笑いコンビ・オリエンタルラジオのツッコミ担当。相方は中田敦彦。ダンス&ボーカルグループ・RADIO FISHのメンバーとしても活動している。
URLﾘﾝｸ(ja.wikipedia.org)
森しん
森 しん（もり しん、1953年4月11日[1] - ）は、日本の声優、俳優、ナレーター。鹿児島県出身。シグマ・セブン所属。血液型はA型。本名および旧芸名は広森 信吾（ひろもり しんご）、拡森 信吾。鹿児島県立指宿高等学校卒業[4]。
ラジオ番組
快適生活ラジオショッピング(bayfm)
URLﾘﾝｸ(ja.wikipedia.org)
森進一
森 進一（もり しんいち、1947年11月18日 - ）は、日本の歌手、作曲家、社会福祉活動家。本名・森内 一寛（もりうち かずひろ）。
山梨県甲府市生まれ鹿児島県育ち[1][2]。身長167cm、体重49kg、血液型はO型。 息子にONE OK ROCKのTakaとMY FIRST STORYのHiroを持つ。
昌子との間に誕生した3人の息子のうち、長男森内貴寛はロックバンド「ONE OK ROCK」のボーカリスト、次男はテレビ東京の社員[5]、三男森内寛樹はロックバンド「MY FIRST STORY」のボーカリストである。
546:１３２人目の素数さん
20/06/04 10:12:28 sn6aONYf.net
これもスレチだけど、専用ブラウザのJane Styleが 調子が悪くなって、Win10の再起動で治った話ご参考まで
「ログイン失敗」とか出て、読み書きが出来なくなった
いろいろ（Jane Styleの再インストール含め）やったけ、ダメだった
ほぼ一日放置で、ふと思いついたのが、Win10の再起動の話で、もしやと思ってやると、見事回復しました
Win10の再起動は、完全シャットダウンの効果があるのですね（下記）（＾＾；
（知っている人多いと思うが）
（参考）
URLﾘﾝｸ(www.techdevicetv.com)
Tech&Device TV
2019.05.23
Windows 10 完全シャットダウンの特徴やメリット、やり方を徹底解説
Windows 10 のパソコンを使っていて、調子がよくないことはないでしょうか。もしかしたら、シャットダウンが関係しているかもしれません。Windows 10 にはシャットダウンのほかに、完全シャットダウンという機能があります。
今回はこれらの2種類のシャットダウンの説明と方法について、わかりやすくご紹介していきます。
1.Windows 10 のシャットダウンは2種類ある
Windows 10 には、いわゆる通常のシャットダウンと完全シャットダウンの2つがあります。シャットダウンと完全シャットダウンは何が違うのでしょうか。
1-1.シャットダウン
高速スタートアップを目的としたシャットダウンは、Windows 8 から導入されています。
1-2.完全シャットダウン
USB機器なども含めて、電源を完全に落としている状態を指します。操作状況は保持されません。Windows 7 以前は、シャットダウンというとこの完全シャットダウンのことを指していました。
547:１３２人目の素数さん
20/06/04 10:26:06 sn6aONYf.net
>>502-503
ノイマンには、信じられないような逸話が沢山あるよね（下記）（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
ジョン・フォン・ノイマン
逸話
圧倒的な計算能力については数々の逸話が残っている。
・座ってぶつぶつ独り言を言いながら放心したように天井を見つめて暗算し、数分間目を泳がせた後おもむろに口を開き、それを解くことは不可能だと主張する研究者の目の前でスラスラと問題を解いてみせた。
・頭にめぼしい定数や方程式をどっさり覚えていて、それらを総動員して電光石火で問題を解き、(他人の)着想をみるみる膨らませていった。「誰かが一つ提案しようものなら、ひっつかんで、あっという間に五ブロック先まで行ってしまう」、「自転車で特急を追いかける気分でした」と言わしめた。[1]
・さる抜群の実験物理学者とエミリオ・セグレが、ある積分によって定まる問題のことで悪戦苦闘していたところ、部屋の開きっ放しになったドアからフォン・ノイマンが廊下を歩いてくるのが見えた。二人が助けを求めると、彼はドアのところまで来て黒板をチラリと眺めると、その場でいきなり答えを書き取らせて彼らを仰天させた。このような例が1ダースではきかなかったという。[37]
548:１３２人目の素数さん
20/06/04 10:46:35.64 sn6aONYf.net
>>507
ノイマンは、時期的にフィールズ賞とはちょっと年代にずれがあるのです
なお、余談だが 約200万円なので フィールズ賞 最高の権威は過去でしょう
アーベル賞や、京都賞の方が 賞金額上だよね
URLﾘﾝｸ(ja.wikipedia.org)
フィールズ賞
1936年に作られた賞
概要
数学に関する賞では最高の権威を有する
しかし、若い数学者の優れた業績を顕彰し、その後の研究を励ますことが目的であり、「4年に一度」「40歳以下」「2名以上4名以下」という制限がある
近年では、「年齢制限なし」「毎年授与」「高額賞金」などノーベル賞に近い性格を持つ国際的数学賞が次々と現れている
2002年には、ノーベル賞により性格の近いアーベル賞が設立された。フィールズ賞とアーベル賞の両方を受賞した人物も存在する
さらに2014年には、ノーベル賞をも超越する莫大な賞金額を誇る数学ブレイクスルー賞が創設された
比較項目 数学ブレイクスルー賞 ミレニアム懸賞問題 ノーベル賞 アーベル賞 フィールズ賞
第1回 2015年 (創設は2000年) 1901年 2003年 1936年
実施間隔 1年 不定 1年 1年 4
549:年 年齢制限 なし なし なし なし 40歳以下 賞金額 約3億円 約1億円 約1億円 約1億円 約200万円 授賞分野の制限 特になし 特定業績のみ 数学を対象としない 特になし 特になし https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%BC%E3%83%99%E3%83%AB%E8%B3%9E アーベル賞（アーベルしょう）は、顕著な業績をあげた数学者に対して贈られる賞である 賞金額はスウェーデンのノーベル賞に匹敵し、数学の賞としては最高額である。この賞の主な目的は、数学の分野における傑出した業績に国際的な賞を与えることであり、社会における数学の地位を上げることや、子供たちや若者の興味を刺激することも企図している[1]。 2003年4月、初めての受賞者が公表され、ジャン＝ピエール・セールに送られることに決まった（賞金は600万ノルウェークローネ[1]、約1億円）。 https://ja.wikipedia.org/wiki/%E4%BA%AC%E9%83%BD%E8%B3%9E 京都賞 副賞1億円(2017年までは5000万円）が贈られる
550:１３２人目の素数さん
20/06/04 11:34:02 sn6aONYf.net
>>501
>まあDupuyはこの事実を知っているの？
>↓
>>>114
さあ？知っているかどうかは、さておき
DUPUY先生の下記の論文で
”the present paper profited enormously from the generous support・・Next-Generation Geometry located at RIMS”
とあるので、お金貰っているのでは？（＾＾
なお、下記の論文でSS文書を
バッサリ斬っているいるね（下記）（＾＾；
URLﾘﾝｸ(arxiv.org)
PROBABILISTIC SZPIRO, BABY SZPIRO, AND EXPLICIT SZPIRO
FROM MOCHIZUKI’S COROLLARY 3.12
TAYLOR DUPUY AND ANTON HILADO Date: April 30, 2020.
P4
Acknowledgements. This article is very much indebted to many previous expositions of
IUT including (but not limited to) [Fes15, Hos18, Ked15, Hos15, Sti15, Mok15, Moc17,
Yam17, Hos17, Tan18, SS17].
The research discussed in the present paper profited enormously from the generous support
of the International Joint Usage/Research Center (iJU/RC) located at Kyoto Universities
Research Institute for Mathematical Sciences (RIMS) as well as the Preparatory Center for
Research in Next-Generation Geometry located at RIMS.
P14
Remark 3.8.3.
(1) The assertion of [SS17, pg 10] is that (3.3) is the only relation between
the q-pilot and Θ-pilot degrees. The assertion of [Moc18, C14] is that [SS17, pg 10] is
not what occurs in [Moc15a]. The reasoning of [SS17, pg 10] is something like what
follows:
(a) The Θ略～(g)
(2) We would like to point out that the diagram on page 10 of [SS17] is very similar to
the diagram on §8.4 part 7, page 76 of the unpublished manuscript [Tan18] which
Scholze and Stix were reading while preparing [SS17].
P36
References
[SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017. 1, 1, 1e, 2, 7.5.3
551:１３２人目の素数さん
20/06/04 12:16:32 lv1FMEAR.net
Dupuyは補題3.12を証明できず
トンデモ大賞が前田文彬
「量子ファイナンス工学入門」か。
確かに文系著者が量子力学.量子場の
素養があると思えない。
URLﾘﾝｸ(www.togakkai.com)
552:isyou_list/index.html 一応、経済へ物理手法を持ち込む 経済物理から見ると、 ・株価の日々の変動グラフは 確率過程のブラウン運動とみなさて きた。 ・ファイナンスでは確率微分方程式のブラックショールズ方程式が基礎方程式。 ・ノイマンは関数解析により量子力学 を定式化したが確率過程量子化も 経路積分量子化もある 結論 「宇宙と宇宙をつなぐ数学 IUT理論の衝撃 」(角川学芸出版）は トンデモ大賞の超有力候補だろう。
553:１３２人目の素数さん
20/06/04 12:30:07.48 lv1FMEAR.net
「ノストラダムス複合解釈」もある
IUT論文は超超有力候補だろ
554:１３２人目の素数さん
20/06/04 12:46:07.50 sn6aONYf.net
>>509
>なお、下記の論文でSS文書を
>バッサリ斬っているいるね（下記）（＾＾；
本来は
こういうのは
山下サーベイの中でも、何か書かれるべきことだと思うよ
山下 ぼーと 生きているじゃないよ！ （by チコちゃん）ｗ（＾＾；
555:１３２人目の素数さん
20/06/04 12:49:28.03 sn6aONYf.net
>>510
誤：Dupuyは補題3.12を証明できず
↓
正：Dupuyは補題3.12を 遠アーベル素人*相手に 証明できず
*) 遠アーベル知らない人には無理
まして、ミスター維新（＝おサル）には無理ですなｗww（＾＾
556:１３２人目の素数さん
20/06/04 12:52:50.77 sn6aONYf.net
>>513
(引用開始)
誤：Dupuyは補題3.12を証明できず
↓
正：Dupuyは補題3.12を 遠アーベル素人*相手に 証明できず
(引用終り)
実際、プロ数学者なら
もし、補題3.12の証明が不完全だと思うなら、そういう論文を書けば良い
そして、もし 証明が修正可能なら、それを修正すれば、あなたの手柄です
もし、修正不可能なら、「修正不可能を証明すれば」、それもあなたの仕事であり、手柄ですよｗw（＾＾；
557:１３２人目の素数さん
20/06/04 12:53:40.81 lv1FMEAR.net
あれ？
Dupuyは遠アーベル幾何学の素人だけど
STIXが専門だな
558:１３２人目の素数さん
20/06/04 12:53:41.21 lv1FMEAR.net
あれ？
Dupuyは遠アーベル幾何学の素人だけど
STIXが専門だな
559:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/04 12:55:28 sn6aONYf.net
あれ？
なんか変と思ったら
コテハン設定が抜けていたな
設定のため投稿する(゜ロ゜;
560:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/04 12:57:01 sn6aONYf.net
>>516
良いんじゃない？
本当にできる人は、分野を超えて、活躍するものだよ（＾＾
561:１３２人目の素数さん
20/06/04 12:58:39 lv1FMEAR.net
誤り活躍 正 暗躍
562:１３２人目の素数さん
20/06/04 13:02:59 +0NOf5ju.net
>>514
りんごは木から落ちる
よって不等式が成り立つ
こういう証明を不完全とする数学の論文は書けない
上の「証明」が認められずに終わるだけ
563:現代数学の系譜 雑談
20/06/04 16:30:52.31 sn6aONYf.net
>>520
IUTのCor3.12の証明を認める認めない
それは、貴方の決めることではないよね
プロ数学者、特に、遠アーベルなど望月数学に近い人たちがどう判断するかですよね
（ショルツ氏は別においといて）
それで、いま、4月3日の記者会見で明らかになった点は
１．玉川氏はIUT証明を是とした（柏原氏も同席をした）
２．査読はOKだった（多分２名以上の数学プロたち）
３．それ以外に、英国フェセンコ一派、米国にDupuy氏とJoshi氏とが、IUTを認めている
４．国内では、望月配下の星、山下が Cor3.12の証明を含めて認めている
５．今年国際会議が予定されていた。新型コロナで中止だが、今後なんらかの形でやられるはず
（∵ 国際会議に向けた論文を各人書いていてはず。その発表の場が必要でしょうから）
我々、素人のヤジウマは、あわてず騒がず、推移を見ましょうｗ（＾＾
564:現代数学の系譜 雑談
20/06/04 16:32:09.99 sn6aONYf.net
>>521 タイポ訂正
（∵ 国際会議に向けた論文を各人書いていてはず。その発表の場が必要でしょうから）
↓
（∵ 国際会議に向けた論文を各人書いていたはず。その発表の場が必要でしょうから）
565:１３２人目の素数さん
20/06/04 16:32:28.51 TYVwvduK.net
>>521
だから大多数の数学者に認められずにと言っ
566:ている 実際、現状RIMSの内輪以外で認めた人はいない
567:１３２人目の素数さん
20/06/04 16:53:39.56 ULwEdFIf.net
なんでこの素人はわけもわからず
望月は絶対正しい と発狂してるんだ
ニッポン最高！の愛国●違いなのか？
568:現代数学の系譜 雑談
20/06/04 17:09:37.93 sn6aONYf.net
メモ
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
京 都 大 学
数理解析研究所要覧
２０１９ 令和元年 8 月 1 日 発行
(抜粋)
P18
15 次世代幾何学研究センター
数論幾何学，特に宇宙際タイヒミューラー理論を中心に広く次世代の幾何学
の研究を推進するため，平成 31 年 4 月 1 日に設置された。
P19
16 予算概要
支出状況
（単位：千円）
区 分 平成 28 年度 平成 29 年度 平成 30 年度
運営費交付金 695,477 671,194 716,594
（内訳）
人 件 費 419,552 399,307 412,545
物 件 費 275,925 271,887 304,049
科学研究費
補 助 金 142,138 115,602 108,934
受 託 研 究・ 受
託 事 業 8,190 9,515 10,176
共 同 研 究 2,032 2,648 3,846
寄 附 金 1,000 553 27,913
合 計 848,837 799,512 867,463
※ 外部資金は間接経費を含めた受入額を計上している。
P21
次世代幾何学センター センター長 （併任） 望 月 新 一
特任教授 京大理博 柏 原 正 樹
特任教授 京大理博 森 重 文
特任助教 東大博（数理科学） 清 水 達 郎
教 授 （併任） 玉 川 安騎男
教 授 （併任） 望 月 拓 郎
569:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/04 17:14:38 sn6aONYf.net
>>523-524
話は逆だ
なんで、ド素人が ショルツの尻馬で、騒ぐのかな？
20200403の記者会見の後に、数論のプロ数学者で
ショルツ以外に実名で IUTを全否定した人皆無
（Woitは物理学者で、ロバーツ氏は数論専門じゃないよ。ケドラヤとか様子見でしょ。おそらく、多くの数論専門家は様子見と見ました）
様子見が普通と思う
ガリレオ 宗教裁判で 天動説を強いられるも
裁判の後で「それでも、地球は動く」と言った
ド素人は騒がずに、じっくり推移を見なさい
天動説か地動説かをｗｗw（＾＾；
570:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/04 17:16:58 sn6aONYf.net
>>526
補足
>様子見が普通と思う
>ガリレオ 宗教裁判で 天動説を強いられるも
>裁判の後で「それでも、地球は動く」と言った
いま、ド素人が 無理矢理
ショルツの尻馬で、騒ぐのは、無意味
「それでも、地球は動く」のかどうか？
推移を見るしかないのですｗｗ(゜ロ゜;
571:１３２人目の素数さん
20/06/04 17:33:47 iTcyiYWo.net
公平に言うと、タオ先生の意見に収束しそう：
多分、望月は正しい。
しかし、たいした仕事ではない。
572:１３２人目の素数さん
20/06/04 17:43:47.91 TYVwvduK.net
>>526
もしIUTが本当にABC予想を解いたなら様子見せず飛びつくだろう
そうはなっていないのは証明されたとは認められないということを意味する
573:１３２人目の素数さん
20/06/04 17:44:55.65 ULwEdFIf.net
>>526
様子見られてる時点でダメだね
RIMSは日本の恥
574:１３２人目の素数さん
20/06/04 19:59:40.59 IoyhZIIr.net
>次世代幾何学研究センター
センター長 （併任） 望 月 新 一
柏 原 正 樹 教授
玉 川安騎男 教授
柏原氏はPRIMS編集委員ではないね。
IUT中心の次世代幾何学研究センターの
玉川教授と柏原
575:特任教授がPRIMS アクセプトの記者会見をした。
576:現代数学の系譜 雑談
20/06/04 21:02:19.59 f8QhyC0+.net
>>528-531
おれは、様子見はありと思うがね
圏論が出てきたとき
１．アブストラクトナンセンスと言った人
２．圏論が、性に合った人 例 グロタンディーク
３．グロタンディークの成功を見て、ついて行った人
IUTもそうなるよ
IUTが性に合わない人は、無理にIUTやらなくてもいいでしょ
ショルツ氏のパーフェクトイドとかラングランズやれば良いでしょ
でも、整数論－ディオファントス近似は、ABCが定理を前提に考えざるを得ない（だれか本スレでが書いていたが、ディオファントス近似の革命です）
577:１３２人目の素数さん
20/06/04 21:12:28.76 IoyhZIIr.net
>グロタンデューク
スレ主はイデアル、ミンコフスキー
の定理ロスの補題どころか
同値関係類別も怪しかったのに、
専門がIUT応援とコピベ集めと大人の都合
だからか
578:１３２人目の素数さん
20/06/04 21:24:53.74 ULwEdFIf.net
望月＝グロタンディク と思ってるのは数学が全く分らん素人だけ
グロタンディクを様子見したヤツなんか皆無
◆yH25M02vWFhP 頭オカシイのか？
579:１３２人目の素数さん
20/06/05 00:15:41.22 9DYguyPqL
瀬田、>>497からまたも逃亡ｗ
580:１３２人目の素数さん
20/06/04 23:38:05 T+8ezTvV.net
>>525
こんなけ使ってたら叩かれても仕方ない
581:現代数学の系譜 雑談
20/06/05 07:19:32.28 s8RZ7bUI.net
＜メモ＞
星 裕一郎 続・宇宙際 Teichm¨uller 理論入門
IUT理解のためのキモは、「§ 3. 多輻的 Kummer 両立系」の部分だね
ようやく、分かってきたな～（＾＾
ここを中心にして 読んで行けば良いんだ！
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
RIMS K?oky?uroku Bessatsu
B72 (2018), 209?307 Received April 27, 2016. Revised June 16, 2017.
続・宇宙際 Teichm¨uller 理論入門
(Introduction to Inter-universal Teichm¨uller Theory,Continued)
By 星 裕一郎 (Yuichiro Hoshi)
(抜粋)
P10（P217）
§ 3. 多輻的 Kummer 両立系
[2] の §4 から §12 までで与えられた説明のとおり, Diophantus 幾何学的不等式 (§26
の冒頭の主張を参照) を得るために, 我々は,
・ (§1 で固定した) 楕円曲線 E に関連する正則的設定の, 2 つの独立した “コ
ピー” を用意して,
・ それら 2 つの正則的設定を
テータ関数の特殊値 {(q1^2v, q2^2v, . . . , q(l＊)^2v )}v∈Vbad (§4, (a), や §7, (b), を参照)
｜Θ→ q パラメータ (の 2l 乗根) {qv}v∈Vbad
という形で結び付けて,
・ この結び付き Θ の “左辺” と “右辺” がそれぞれ定める数論的直線束の次数
を比較
します. 楕円曲線 E に関連するそのような正則的設定に属する
(a) 各々の v ∈ V に対する局所的な対数殻 (つまり, 数論的直線束を定義する
ための局所的加法的整構造 “(OKv)+” の近似 ー [2], §8, を参照),
(b) テータ関数の特殊値 {(q1^2v, q2^2v, . . . , q(l*)^2v )}v∈Vbad (とその (a) への作用),
(c) 数体 Fmod (とその (a) への作用)
というデータからなる 3 つ組を
T
と書くことにしましょう.
�
582:ﾂづく
583:現代数学の系譜 雑談
20/06/05 07:20:41.63 s8RZ7bUI.net
>>537
つづき
Diophantus 幾何学的不等式を得るためにもっとも肝心となる
“数論的直線束の次数の比較” は, 結び付き Θ に対する, この 3 つ組 T の一種の両立性を
用いて実行されます ([9], Corollary 3.12, を参照). そして, この一種の両立性が, 宇宙際
Teichm¨uller 理論の主定理 ([9], Theorem 3.11, を参照) の基本的な内容です:
宇宙際 Teichm¨uller 理論の主定理, つまり, Θ に対する T の一種の両立性
=⇒ Θ の “左辺” と “右辺” の次数の比較 =⇒ Diophantus 幾何学的不等式.
一方, 上述の “Θ” や “T” の説明から,
結び付き Θ は, その “左辺” と “右辺” にそれぞれ対応する正則的設定の正則構
造とは両立的ではないにも関わらず, 3 つ組 T ー の少なくとも従来的な定義/
構成の方法 ー は, T が属する正則的設定の正則構造に強く依存している
という事実を簡単に確認することができます. つまり, (一種の) 両立性を主張したい対象
T は, 正則的な対象であるにも関わらず, 2 つの正則的設定の間の結び付き Θ は, 設定の
正則構造を放棄して単解的設定へ移行しなければ考察することはできないということで
す. この観察により, 所望の両立性を証明するためには,
従来的には正則的である 3 つ組 T を, 結び付き Θ の (その定義から単解的な) コ
ア的対象 (つまり, 結び付き Θ で両立/共有可能な対象 ー [2], §5, を参照) の
観点から記述する必要がある
ということになります. [2], §7, で解説された用語を用いるならば, 所望の両立性を証明す
るためには,
結び付き Θ で両立/共有可能な対象をコア的データとする, 3 つ組 T の多輻的な
表示を確立する必要がある
ということになります:
つづく
584:現代数学の系譜 雑談
20/06/05 07:21:19.66 s8RZ7bUI.net
>>538
つづき
T の多輻的な (＝コア的対象の観点からの) 表示 =⇒ Θ に対する T の一種の両立性.
§2 の冒頭で述べたとおり, 宇宙際 Teichm¨uller 理論では, T の多輻的な表示を確立す
るために, 関心のある様々な対象のエタール的な構造/側面と Frobenius 的な構造/側面を
区別して考察して, そして, それらを Kummer 同型で関連付けます. §2 で行った復習か
ら, 所望の “(Frobenius 的) T の多輻的な表示” を得るためには,
“T” をエタール的出力とする多輻的な単遠アーベル的アルゴリズムを与えて, そ
して, “T” に対する多輻的な Kummer 同型を確立
すれば充分であるということがわかります:
T に対する多輻的 Kummer 離脱
(= 多輻的エタール的 T の構成 + T に対する多輻的 Kummer 同型)
=⇒ T の多輻的な表示.
また, §2 での Kummer 同型の説明で触れたとおり, Kummer 同型は円分剛性同型から生
じます. したがって, T に対する多輻的な Kummer 同型を確立するためには, T に対する
多輻的な円分剛性を確立すれば充分です:
T に対する多輻的円分剛性 =⇒ T に対する多輻的 Kummer 同型.
[2], §6, や [2], §8, で説明されているとおり, T を構成する対象の 1 つである (a) (＝
対数殻) は, そもそも, コア的対象の 1 つです. それでは, (b) (＝テータ関数の特殊値) と
(c) (＝数体) に対する “多輻的エタール的表示” と “多輻的円分剛性” は, どのようにし
て得られるのでしょうか. [2], §11, で説明されているとおり, 我々は, それぞれ (b) と (c)
の多輻的な表示を得るために,
(b′) テータ関数,
(c′) κ コア的関数
の多輻的な表示を経由します. 結論としては,
(b′) の多輻的エタール的表示として, [2], §16, (e), で与えられている表示,
(c′) の多輻的エタール的表示として, [2], §24, (i), で与えられている表示
を用いて,
つづく
585:現代数学の系譜 雑談
20/06/05 07:21:39.93 s8RZ7bUI.net
>>539
つづき
(b′) のそのような表示の “コア的部分と輻的 ([2], §7, を参照) 部分との分離” を,
[2], §16, (h), で与えられている分解によって実現,
(c′) のそのような表示の “コア的部分と輻的部分との分離” を, E の非自明な 2 等
分点から定まる点に付随する分解群による Galois 代入から生じる分解 ([2], §24,
の冒頭の “κ コア的関数” の定義の 3 つ目の “・” を参照) によって実現
して, そして,
(b′) に対する多輻的円分剛性として, [2], §15, で説明された “単テータ環境の円
分剛性性質によって得られる円分剛性同型”,
(c′) の多輻的円分剛性として, [2], §24, で説明された “初等的な事実 Q>0 ∩ Zb× =
{1} から得られる円分剛性同型”
を用います.
我々に残された課題は, 上述の様々な “多輻的 Kummer 離脱に関連する対象たち” を
大域的に編成して, そのような対象たちのなす大きな両立的な系, つまり, “多輻的 Kummer
両立系” を構成することです:
([2] で説明された様々な対象による) “多輻的 Kummer 両立系” の編成
=⇒ T の多輻的な表示 =⇒ Θ に対する T の一種の両立性
=⇒ Θ の “左辺” と “右辺” の次数の比較 =⇒ Diophantus 幾何学的不等式.
§4 から §25 までの間で, そのような複雑な多輻的 Kummer 両立系の編成/設営の説明を行いましょう.
(引用終り)
以上
586:現代数学の系譜 雑談
20/06/05 07:40:52.24 s8RZ7bUI.net
>>534
>グロタンディクを様子見したヤツなんか皆無
そんなことないだろｗ（＾＾；
グロタンディクの通った後は、ぺんぺん草も生えないと言われたらしい
グロタンディクの通り道の前を歩く人は、蒸気機関車のような グロタンディク に轢かれる
だから、グロタンディクに教えて貰える人か、グロタンディクからちょっと離れた場所からつまみ食いする人か
成功したのはそういう人達だったろうね
グロタンディクに近い人は、洪水に溺れるか、バキュームクリナーに吸い込まれるか、機関車に轢かれるかだったろうよ（下記ご参照）
（参考）
URLﾘﾝｸ(twilog.org)
twilog
2019年05月28日(火)
(抜粋)
数学の歩みbot@Auf_Jugendtraum
グロタンディークは，まるで川のない所に洪水を起こすような，バキュームクリナーに大きな機関車をつけて数学の世界を走る回るような人物だった．（広中平祐）
posted at 23:06:40
数学の歩みbot@Auf_Jugendtraum
グロタンディークなどが展開している数学の世界というものは，一つの全体としてのユニバースであって，個々のもの，例えば，数とは何か，函数とは何か，あるいは空間とは何か，それら一つ一つが個別に定義されているのではないのです．全体との関連において相互が意味を持っているのです．（佐藤幹夫）
posted at 22:06:46
数学の歩みbot@Auf_Jugendtraum
問題が解けないのは，その仮定がまだ十分一般的でないために本当はより基本的で「やさしい」はずなのにそれが見えていないからだ，という精神です．この思想と実践の代表格は，かのグロタンディークでしょう．彼によると「大部分の数学者は最も基本的な所を十分考え抜くだけの忍耐力を持っていない」
posted at 21:06:40
数学の歩みbot@Auf_Jugendtraum
赤子のようにならなくては EGA は読めない．（飯高茂）
posted at 20:06:43
587:１３２人目の素数さん
20/06/05 08:03:40 DjuEYg2K.net
>>537-540
古典的な代数曲線論すら全く知らん素人が何ほざいてんだ？
文章も正しく読めない読字障害には無理 諦めろ
588:１３２人目の素数さん
20/06/05 08:10:24 DjuEYg2K.net
>>541
グロタンディクは望月とは全然違うよ
何年も理解されないまま放置されたことは
一度もなかった
589:１３２人目の素数さん
20/06/05 08:24:15.18 DjuEYg2K.net
>>509
DupuyがScholze＆Stixの解釈を否定するのは
望月の不等式（Cor 3.12）を前提したいから
Scholze&Stixのレポートでは、
IUTからCor 3.12は導けない
と断じてるからな
だからといって、Dupuyが望月を支持していると考えるのはアサハカ
Cor 3.12の証明が十分だと考えてるなら、そもそも独自解釈論文を書く必要がない
証明にギャップがある、と考えてるから、独自解釈論文を書いた
ABC予想の解決が、Dupuyにもっていかれる可能性はもちろんある
いや、Dupuyだけではない ScholzeもPerfectoidを使って
ABC予想の完璧な解決を目指してるかもしれんぞ
590:１３２人目の素数さん
20/06/05 08:32:31.33 DjuEYg2K.net
Dupuyであれ、Scholzeであれ、数学者たちが理解できる形で
ABC予想が解決するなら、そのほうが数学界にとって利益がある
日本人に拘る意味なんて全くない
数学はオリンピックじゃないから
表彰台なんかないし国旗の掲揚も国歌の演奏もない
URLﾘﾝｸ(www.youtube.com)
591:１３２人目の素数さん
20/06/05 08:42:14.08 DjuEYg2K.net
フィールズ賞によって表彰されるのは
数学者個人であって決して国家ではない
URLﾘﾝｸ(www.youtube.com)
いまだにこの基本的な事が理解できない人がいるのは大変残念である
592:１３２人目の素数さん
20/06/05 09:01:30 PX7m9wPy.net
>星裕一郎
不正確で本文を読めサーベイの星も
例のB本加藤文元もIUT研究者ではない
・科研費宇宙際幾何学のさらなる展開
山下剛 望月新一
科研費で布教活動.サーベイやパーフェクトイド.RHへ首の突っ込み、なぞの
不等式を振り回すなど活動する。
結果は
「おくれている」
「大きな展望では宇宙際幾何を
Riemannゼータの研究に応用することを最終的な目標にしているが、
そもそもの問題がやはり極めて
難しい問題であるということも
進捗が遅れている理由の１つである」
成果があるはずもなく
IUTの布教活動に使われている、
科研費の打ち切りが妥当だ
593:１３２人目の素数さん
20/06/05 09:24:38 PX7m9wPy.net
>DupuyがScholze＆Stixの解釈を否定
> 独自解釈論文を書いた
日本トンデモ本大賞には
「ノストラダムス複合解釈」がある
IUT論文はトンデモ大賞の超超有力候補だ
594:１３２人目の素数さん
20/06/05 10:15:42.28 AvqbfY18.net
星はIUTの改良版に取り組んでるけど
595:１３２人目の素数さん
20/06/05 10:29:56.18 PX7m9wPy.net
また expect expect expectですかw
596:１３２人目の素数さん
20/06/05 11:54:39.23 /mXSsm5o.net
>>549
本当かよ。
やっぱり不備があったんだな。
餅の立場がどうなるんだろ。
597:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/05 14:40:49 RXfoxQyV.net
>>549
同意
数学に完成はありません
前進あるのみです（＾＾；
598:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/05 15:08:53 RXfoxQyV.net
これ、ちょっと面白い
こういう真面目な動きも出つつあるってことですね（＾＾
URLﾘﾝｸ(www.youtube.com)
IUTを勉強する
903 回視聴?2020/04/04 にライブ配信
梅崎直也
チャンネル登録者数 955人
何かを解説するということではないです。詳しい方いればぜひコメントください。星さんのサーベイを読む予定。飽きたらやめます。
続・宇宙際 Teichm¨uller 理論入門 (Introduction to Inter-universal Teichm¨uller Theory, Continued) By 星 裕一郎 (Yuichiro Hoshi)
599:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/05 15:11:54 RXfoxQyV.net
ついでに（＾＾
URLﾘﾝｸ(www.youtube.com)
現代数学レクチャーシリーズ第3回「代数幾何学の空間概念」講義内容紹介
2,298 回視聴?2020/02/14
株すうがくぶんか
チャンネル登録者数 125人
すうがくぶんか主催東京工業大学理学院協力でお届けする現代数学レクチャーシリーズ第3回「代数幾何学の空間概念」の講義内容紹介です。【オンライン】で講座を開講いたします！
予習回:4月26日, 5月3日, 13:30-16:30
加藤先生の講義:5月10日, 5月17日, 13:30-16:00
お申し込みはこちらのページから！
URLﾘﾝｸ(sugakubunka.com)
講師:加藤文元先生（東京工業大学理学院教授）
講義内容:代数幾何学とはざっくり言って「多項式=0で定義される図形の幾何学」ですが、そこで扱う空間概念によって、その見方ややり方はさまざまです。
代数幾何学で扱う空間概念や点の概念とは、どういうものなのか。直観的に見やすい「平面曲線」から出発して、代数多様体やスキームの理論における空間の概念を概観します。
株式会社
600:すうがくぶんかでは「もっと社会に数学を」を理念に主に社会人に向けた数学や統計学の講座を開講しています。詳しくはこちら web site:https://sugakubunka.com/ twitter:https://twitter.com/sugakubunka facebook:https://www.facebook.com/sugakubunka/ (deleted an unsolicited ad)
601:１３２人目の素数さん
20/06/05 15:14:13 Hotb1Jb/.net
>星はIUTの改良版に取り組んでる
IUTの改良ならIUT論文に致命的な
欠陥があるから
・星は望月と共にショルツスティックス
ミーティングへ出席したがノーコメント
つまり全面的に望月レポへ同意した。
・星はRIMS2020IUTイヤーでIUTワークショップの責任者だった
星には重大な責任がある
602:１３２人目の素数さん
20/06/05 15:23:03.32 Hotb1Jb/.net
woit blog
Taylor Dupuy says.
April 14 2020 at 8.37 pm
Yep, the theta pilot doesn’t map to the
actual theta values *on the theta side*.
On the q-side it does.
I will check your manuscript again in a bit.
Dinner then bedtime (I am barbecuing).
I want to check again to make sure
I didn’t miss something
Dupuyは逃亡したな
603:１３２人目の素数さん
20/06/05 15:33:32.14 nu+Fr9fz.net
>>536
黒板とチョークさえあればできる仕事で七億引っ張れるとかな
604:１３２人目の素数さん
20/06/05 15:58:47 GgR3JoK8.net
男性ホルモン濃そう
剥げてはないけど
605:１３２人目の素数さん
20/06/05 16:00:51 Hn9N6xjf.net
数学掲示板群 URLﾘﾝｸ(x0000.net)
学術の巨大掲示板群 - アルファ・ラボ URLﾘﾝｸ(x0000.net)<)
微分幾何学入門
URLﾘﾝｸ(x0000.net)
606:１３２人目の素数さん
20/06/05 16:16:27 nu+Fr9fz.net
１．高名で年配の数学者が自明であると言った場合、その主張はほぼ間違いない。
またギャップがあると言った場合には、その主張はまず間違っている。
２．査読の限界を測る唯一の方法は、墓場まで持っていくと言われることまでやってみることである。
３．十分に発達した数学は、妄想と見分けがつかない。
607:現代数学の系譜 雑談
20/06/05 16:56:24.86 RXfoxQyV.net
>>557
>黒板とチョークさえあればできる仕事で七億引っ張れるとかな
まあ、そういう時代なのでしょう
＜Proof＞w
１．江戸時代まで、お金とは小判であり、金（”きん”＝黄金のことｗ）
２．明治ころから、紙幣が主になった。お金とは”紙幣”なり
３．21世紀では、お金とは銀行のコンピュータ内の数字なりｗ（＾＾；
４．これからは、”デジタル通貨”の時代と言われる。小銭は、なんとかペイで払う。給料は、銀行振込。紙幣も使わなくなるかもね（＾＾；
５．そういう時代は、東大数学科出身者が社長になる
６．そもそも、21世紀 2020年以降のお金とは 「コンピュータ内の数字」なのですからｗ（＾＾；
QED
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
デジタル通貨
URLﾘﾝｸ(www.nikkei.com)
日経
三菱UFJ、社長兼CEOに亀沢氏 メガ銀で初の理系出身
【イブニングスクープ】
2020/1/15 18:00
608:亀沢氏は指名・ガバナンス委員会の承認を受けて4月に就任する。東京大学の理学部数学科の出身で、1986年に三菱銀行（現三菱UFJ銀）に入行した。為替や債券の売買を担う市場部門に長く在籍した。 融資管理の責任者などを経て、14年から米ニューヨークに駐在し、海外での管理能力も高めた。16年からは持ち株会社、銀行の両方でデジタル戦略の責任者を務める。 亀沢 宏規氏（かめざわ・ひろのり）86年（昭61年）東大院修了、三菱銀行（現三菱UFJ銀行）入行。10年執行役員。19年副頭取、三菱UFJフィナンシャル・グループ副社長。58歳
609:現代数学の系譜 雑談
20/06/05 17:21:25.91 RXfoxQyV.net
>>561
>三菱UFJ、社長兼CEOに亀沢氏 メガ銀で初の理系出身
三菱UFJ 社長の年俸が分からないが、仮に5千万円として
４年で、２億＋退職金が１億以上
あと、会長になるか、関係会社の社長か、顧問に退くかで違うが
個人で七億引っ張れるかもよ（＾＾
610:現代数学の系譜 雑談
20/06/05 17:26:41.37 RXfoxQyV.net
>>560
自分、そんなに疑うなら
Cor3.12のギャップを論文にして、ついでに 修正証明を書けよ
あんた 一躍有名になれるよ（＾＾；
611:１３２人目の素数さん
20/06/05 18:15:50 uR5cjjji.net
>疑う
だいぶ解明も進んできたが
疑うって疑獄事件ということか？
612:１３２人目の素数さん
20/06/05 18:23:41 uR5cjjji.net
>>564
応援団のスレ主が参考とし
>>525を貼った
613:１３２人目の素数さん
20/06/05 19:08:18 zyMsw8vK.net
ギャップを取り上げて論文にするって超めんどくさいし評価されにくいやつじゃん。
他人に勧める前に自分でやれば？
応援としてはこの上ないんじゃない？
614:１３２人目の素数さん
20/06/05 19:56:53 uR5cjjji.net
>>553
>>554
スレ主は参加しろ
>>553について多数の疑問を質問し
深く解明しろよ
615:１３２人目の素数さん
20/06/05 19:59:46 uR5cjjji.net
>>567
ていせい
>>553について→ >>525について
616:粋蕎 ◆C2UdlLHDRI
20/06/05 22:19:59 n7VSCHHP.net
KingOfUniverse ◆667la1PjK2
旧コテハン2003-2004 supermathmania ◆ViEu89Okng時代にて数学板で2ch時代から今も尚続く長寿の
質問スレで起こした回答ミスに対する指摘受け逆切れ問題により伝説にも成ったコテ
mixiにて相変わらず奇人ぶりを見せ付ける
KMの日記
20200512
KM
日本語で書け.
御前に何が分かるというか.
日本語で書け.
御前に何が分かるというか.
07:00
617:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/05 23:19:20 s8RZ7bUI.net
>>566
>ギャップを取り上げて論文にするって超めんどくさいし評価されにくいやつじゃん。
本庶語録「教科書を信じない」「常に疑いを持って本当はどうなんだろうという心を大切にする」「つまり、自分の目で物を見る。そして納得する。そこまで諦めない」
数学でも同じでしょ。でもそれは、ショルツの尻馬に乗る話とは、真逆だよ
そして、その一方で RIMSの記者会見：「査読は完了した」「証明は正しいと思ってもらって良い」と 玉川先生が言った。これもまた事実
ショルツの尻馬でなく、各人しっかり確認しましょうってことです（＾＾
URLﾘﾝｸ(togetter.com)
togetter.com.
2018年10月2日
「教科書を信じない」というノーベル賞 本庶佑先生の金言の真意について
URLﾘﾝｸ(pbs.twimg.com)
読売新聞 編集委員室 @y_seniorwriters
本庶佑さんの言葉～科学者をめざす小中学生へ：「一番重要なのは、不思議だな、という心を大切にすること。教科書に書いてあることを信じない。常に疑いを持って本当はどうなんだろうという心を大切にする」「つまり、自分の目で物を見る。そして納得する。そこまで諦めない」 (1日夜の記者会見より) pic.twitter.com/SKIxIR3oOA
2018-10-02 13:11:13
URLﾘﾝｸ(pbs.twimg.com)
URLﾘﾝｸ(pbs.twimg.com)
URLﾘﾝｸ(pbs.twimg.com)
(deleted an unsolicited ad)
618:１３２人目の素数さん
20/06/05 23:46:16.55 ugHvusjI.net
ほんしょさん、226億訴訟か
スケールがちがうな
IUTの経済価値どのくらいだろ
619:１３２人目の素数さん
20/06/05 23:57:55.22 ohUIRwdg.net
報道があって3か月ぐらいたつけど、いつ掲載されるの？
進捗どうなん。
620:１３２人目の素数さん
20/06/06 01:06:01 cg14T5Sp.net
瀬田、>>497からまたもや逃亡ｗ
621:１３２人目の素数さん
20/06/06 07:18:12.48 6i3R8dZd.net
ブンゲンが「数学とはお金のかかる学問である」と書いていたとき
こいつ何言ってんだ、と思った。
数学でかかるお金って人件費とか交通費くらいでしょ。
人件費は質素なもん食べてりゃそんなにかからない
交通費はテレビ会議などを利用すれば抑えられるはず
岡潔は「わたしは数学をやる喜びを食べて生きているようなもの」
と言ってたのに。
622:１３２人目の素数さん
20/06/06 07:25:37.00 FDjhvHjP.net
>>574
> 交通費はテレビ会議などを利用すれば抑えられるはず
じゃあ、例えば、世の中の営業職は全員、交通費いらないですね？
623:１３２人目の素数さん
20/06/06 07:33:51 FDjhvHjP.net
>>574
> 人件費は質素なもん食べてりゃそんなにかからない
これは、数学とほとんど関係ないですね。
肉体労働でなければ、人件費はほとんどかからないと。
その方針で会社経営でもしたらいかがですか？
624:現代数学の系譜 雑談
20/06/06 08:02:42.04 SrYikU2t.net
>>537 追加
星による Corollary 3.12の説明、下記（＾＾
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
RIMS Kokyuroku Bessatsu
B72 (2018), 209?307 Received April 27, 2016. Revised June 16, 2017.
続・宇宙際 Teichm¨uller 理論入門
(Introduction to Inter-universal Teichm¨uller Theory,Continued)
By 星 裕一郎 (Yuichiro Hoshi)
(抜粋)
P218
Diophantus 幾何学的不等式を得るためにもっとも肝心となる
“数論的直線束の次数の比較” は, 結び付き Θ に対する, この 3 つ組 T の一種の両立性を
用いて実行されます ([9], Corollary 3.12, を参照).
そして, この一種の両立性が, 宇宙際
Teichm¨uller 理論の主定理 ([9], Theorem 3.11, を参照) の基本的な内容です:
宇宙際 Teichm¨uller 理論の主定理, つまり, Θ に対する T の一種の両立性
=⇒ Θ の “左辺” と “右辺” の次数の比較 =⇒ Diophantus 幾何学的不等式.
一方, 上述の “Θ” や “T” の説明から,
結び付き Θ は, その “左辺” と “右辺” にそれぞれ対応する正則的設定の正則構
造とは両立的ではないにも関わらず, 3 つ組 T ? の少なくとも従来的な定義/
構成の方法 ? は, T が属する正則的設定の正則構造に強く依存している
という事実を簡単に確認することができます. つまり, (一種の) 両立性を主張したい対象
T は, 正則的な対象であるにも関わらず, 2 つの正則的設定の間の結び付き Θ は, 設定の
正則構造を放棄して単解的設定へ移行しなければ考察することはできないということで
す. この観察により, 所望の両立性を証明するためには,
従来的には正則的である 3 つ組 T を, 結び付き Θ の (その定義から単解的な) コ
ア的対象 (つまり, 結び付き Θ で両立/共有可能な対象 ? [2], §5, を参照) の
観点から記述する必要がある
ということになります. [2], §7, で解説された用語を用いるならば, 所望の両立性を証明す
るためには,
結び付き Θ で両立/共有可能な対象をコア的データとする, 3 つ組 T の多輻的な
表示を確立する必要がある
つづく
625:現代数学の系譜 雑談
20/06/06 08:04:29.11 SrYikU2t.net
>>577
つづき
ということになります:
T の多輻的な (＝コア的対象の観点からの) 表示 =⇒ Θ に対する T の一種の両立性.
§2 の冒頭で述べたとおり, 宇宙際 Teichm¨uller 理論では, T の多輻的な表示を確立す
るために, 関心のある様々な対象のエタール的な構造/側面と Frobenius 的な構造/側面を
区別して考察して, そして, それらを Kummer 同型で関連付けます. §2 で行った復習か
ら, 所望の “(Frobenius 的) T の多輻的な表示” を得るためには,
“T” をエタール的出力とする多輻的な単遠アーベル的アルゴリズムを与えて, そ
して, “T” に対する多輻的な Kummer 同型を確立
すれば充分であるということがわかります:
T に対する多輻的 Kummer 離脱
(= 多輻的エタール的 T の構成 + T に対する多輻的 Kummer 同型)
=⇒ T の多輻的な表示.
また, §2 での Kummer 同型の説明で触れたとおり, Kummer 同型は円分剛性同型から生
じます. したがって, T に対する多輻的な Kummer 同型を確立するためには, T に対する
多輻的な円分剛性を確立すれば充分です:
T に対する多輻的円分剛性 =⇒ T に対する多輻的 Kummer 同型.
[2], §6, や [2], §8, で説明されているとおり, T を構成する対象の 1 つである (a) (＝
対数殻) は, そもそも, コア的対象の 1 つです. それでは, (b) (＝テータ関数の特殊値) と
(c) (＝数体) に対する “多輻的エタール的表示” と “多輻的円分剛性” は, どのようにし
て得られるのでしょうか. [2], §11, で説明されているとおり, 我々は, それぞれ (b) と (c)
の多輻的な表示を得るために,
(b′) テータ関数,
(c′) κ コア的関数
の多輻的な表示を経由します. 結論としては,
(b′) の多輻的エタール的表示として, [2], §16, (e), で与えられている表示,
(c′) の多輻的エタール的表示として, [2], §24, (i), で与えられている表示
を用いて,
つづく
626:現代数学の系譜 雑談
20/06/06 08:04:58.12 SrYikU2t.net
>>578
つづき
(b′) のそのような表示の “コア的部分と輻的 ([2], §7, を参照) 部分との分離” を,
[2], §16, (h), で与えられている分解によって実現,
(c′) のそのような表示の “コア的部分と輻的部分との分離” を, E の非自明な 2 等
分点から定まる点に付随する分解群による Galois 代入から生じる分解 ([2], §24,
の冒頭の “κ コア的関数” の定義の 3 つ目の “?” を参照) によって実現
して,
そして,
(b′) に対する多輻的円分剛性として, [2], §15, で説明された “単テータ環境の円
分剛性性質によって得られる円分剛性同型”,
(c′) の多輻的円分剛性として, [2], §24, で説明された “初等的な事実 Q>0 ∩ Zb× =
{1} から得られる円分剛性同型”
を用います.
我々に残された課題は, 上述の様々な “多輻的 Kummer 離脱に関連する対象たち” を
大域的に編成して, そのような対象たちのなす大きな両立的な系, つまり, “多輻的 Kummer
両立系” を構成することです:
([2] で説明された様々な対象による) “多輻的 Kummer 両立系” の編成
=⇒ T の多輻的な表示 =⇒ Θ に対する T の一種の両立性
=⇒ Θ の “左辺” と “右辺” の次数の比較 =⇒ Diophantus 幾何学的不等式.
§4 から §25 までの間で, そのような複雑な多輻的 Kummer 両立系の編成/設営の説明を
行いましょう.
P301
この §25 の最後に, 上述の多輻的 Kummer 離脱を用いた q 標対象の次数の計算に
ついて, 簡単に説明しましょう. (詳しくは, [9], Corollary 3.12, の証明を参照ください.)
不定性 (Ind1), (Ind2), (Ind3) の作用による ‡ 0Θ 標対象の軌道の和集合の (“‡ の側”
の正則構造による) 正則包 (holomorphic hull ? cf. [9], Remark 3.9.5) ([2], §12, の
後半の議論を参照) の行進正規化対数体積として定義しましょう. すると, 両立的同型
† 0RFrob?→ ‡ 0RFrob の存在から,
† 0Θ 標対象の対数体積は, vol(‡ 0Θ) 以下とならざるを得
ません. したがって, 結論として, 不等式
vol(‡ 0Θ) >= deg(‡ 0q 標対象)
が得られます
(引用終り)
以上
627:現代数学の系譜 雑談
20/06/06 08:16:04.57 SrYikU2t.net
>>573
おサルさー、そろそろ気付けよｗ（＾＾
時枝記事（>>485ご参照）
ここの人達は、大学レベルの確率論・確率過程論を 学んだ人が大半なんだよ
だから、時枝先生の数学セミナーの記事（>>485）は 、そのままは成立たないってこと
彼ら（大学レベルの確率論・確率過程論を 学んだ人）には、”それは、一目で分かること”だよ
時枝記事やりたければ、下記のスレ使え！
このスレはIUTスレだよｗｗ
現代数学の系譜 カントル 超限集合論2
ｽﾚﾘﾝｸ(math板:856番)
628:１３２人目の素数さん
20/06/06 08:23:49.44 MlYkEfP9.net
応援団スレ主コピベ乙
5周おくれのトップランナーだけど
専門がコピベ集めだし、
はやくmath jinの秘密の部屋へ行き
情報公開しろよ
629:１３２人目の素数さん
20/06/06 08:26:47.89 MlYkEfP9.net
>詳しくは, [9], Corollary 3.12, の証明を.参照ください
630:１３２人目の素数さん
20/06/06 09:27:40.89 cg14T5Sp.net
>>580
一目で分かるのになぜかいつまで経っても証明は示さない瀬田ｗ
>時枝記事やりたければ、下記のスレ使え！
なんでおまえはそっちに不成立の証明書かんの？
主張してるのはおまえなのに
631:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/06 09:46:06 SrYikU2t.net
>>583
>>時枝記事やりたければ、下記のスレ使え！
>なんでおまえはそっちに不成立の証明書かんの？
うるせー サルだなｗ
じゃ、一言だけなｗｗ（＾＾
(参考：>>370より)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
ｽﾚﾘﾝｸ(math板:50番)-51
(抜粋)
時枝問題（数学セミナー201511月号の記事）
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
(引用終り)
＜証明＞
勝つ戦略はありません！
一目ですｗ（＾＾；
QED！！
あと
時枝記事やりたければ、下記のスレ使え！
このスレはIUTスレだよｗｗ
現代数学の系譜 カントル 超限集合論2
ｽﾚﾘﾝｸ(math板:856番)
632:１３２人目の素数さん
20/06/06 09:52:14.71 cg14T5Sp.net
>>584
>＜証明＞
>勝つ戦略はありません！
>一目ですｗ（＾＾；
証明にギャップがありますよ？
>時枝記事やりたければ、下記のスレ使え！
だからおまえがそっちに不成立の証明を書けばいい
不成立を主張してるのはおまえなんだから
633:１３２人目の素数さん
20/06/06 10:59:33 6i3R8dZd.net
ブンゲンが「数学とはお金がかかる」とあえて本に書いたの見て
このひとお金大好きなんだなと思った
634:１３２人目の素数さん
20/06/06 11:01:03 6i3R8dZd.net
宗教にはお金がかかる
教祖はいいもん食べないとやる気が起きないし
信者集めてハイにならないと、信仰が続かないもんねｗｗ
635:１３２人目の素数さん
20/06/06 11:16:56 D0vIqk2k.net
>>586
数学ならば、一億円ぐらいあれば御の字。
１００億ぐらいが普通に動く学問でないと、優秀な学生は入ってこない。
636:１３２人目の素数さん
20/06/06 11:18:21.37 fDRShCP8.net
>>580
そもそも集合論の初歩の∈と⊂すら間違う君に、
確率論も確率過程論も全く分かるわけないがね
選択公理のステートメントを全く読まずに
「全ての集合が整列可能」という整列定理を
選択公理そのものだと誤解する君に数学が分かるわけはない
君は「同じ」と同値が全く区別できない
以前も、正規部分群の定義の中の
（集合として）「同じ」という記述を
（群として）同型写像があるという意味だと取り違えた
それは数学を学ぶ人間としては致命的な誤りだよ
PとQが同値だからといって、
637: 論理式として同じだということにはならない 君は、「箱入り無数目」の記事中の、 箱の中身を自分勝手に確率変数だと誤解し しかも無限個の箱全体が独立だと自分勝手に誤解した 独善的な誤解をやらかし続ける君は数学は一字たりとも理解できない 諦めたまえ
638:１３２人目の素数さん
20/06/06 11:19:06.84 an2/Uu+L.net
Bの奥さんが好きなアニメについて人に話したら「ああ、それってモテない男性が好きなのですよね(笑)」って言われてショック受けた話好き
稼いだお金でBDを買ってあげてほしい
639:１３２人目の素数さん
20/06/06 11:19:56.97 fDRShCP8.net
>>584
「箱入り無数目」の記事こそ勝てる戦略であることを
理解できない人には数学など無理 諦めたまえ
640:１３２人目の素数さん
20/06/06 11:27:50.92 fDRShCP8.net
>>577-579
君のコピペ芸はつまらんね
望月はオリンピック選手ではないんだがね
君のような人がいるから、ドーピングがなくならないんだろうな
ドーピング禁止理由
１．スポーツの価値を損うため
ドーピングは、競技の楽しみや厳しさを奪い、結果としてスポーツの価値を損なうことになる。
２．フェアプレイの精神に反するため
ドーピングは経済的な理由などで使える人が限られるため公平では無い。スポーツは統一したルールのもと、公平に競い合うことが前提である。
３．健康を害するため
ドーピングは、使用者の心身に悪影響を与える副作用が確認されており[7]、競技者等の安全や健康を守るためにもドーピングは禁止されている。
４．反社会的行為であるため、社会や青少年に悪影響を及ぼすため
選手がドーピングに手を染めていれば、ドーピングをよしとする風潮が蔓延してしまう。
望月論文のアクセプトは、数学の価値を損うのみならず
数学における公正（fairness）の精神に反する
641:１３２人目の素数さん
20/06/06 11:34:46.65 fDRShCP8.net
>>574
＞「数学とはお金のかかる学問である」
旅費程度のことでお金がかかるっていっちゃう数学者って
ビル・ゲイツやスティーブ・ジョブズとかからみたら
鼻クソレベルの存在なんだろうな
642:１３２人目の素数さん
20/06/06 11:46:21.98 fDRShCP8.net
>>588
数学ってそもそも金勘定の学問だったんだけどね
ビル・ゲイツは数学専攻の学生だったらしいが
数学どころか情報科学でも何の成果も出してない
（BASICのインタプリタのプログラムを書くなんて
命題論理の充足可能性問題がNP完全だと証明した
なんてのに比べたらまさにハエのフンレベル）
世界一のお金持ちになるのに世界一の頭脳は必要ない
某島国のイケメン気取りの数学者が、たかが旅費程度で
「数学とはお金のかかる学問である」とほざくのは
世間知らずなだけで全く罪もない可愛い話であるが
アメリカの数学で落ちこぼれたマイコンヲタク野郎が
世界一の金持ちになるとかいうのは、実に有害である
643:１３２人目の素数さん
20/06/06 11:56:20.60 fDRShCP8.net
>>590
URLﾘﾝｸ(twitter.com)
「Zoom飲み会で、最近ウチの奥さんがネフリで観まくっているアニメの話を、
とあるその手の業界にも詳しいお方に話したら
「あぁ、あのオタクの男が大好きなヤツですね」と返された。
奥さんはまだ寝込んでいる。」
そもそもBの奥チャンはアニメがどうこういう前に
数学者と結婚した時点で立派な変態(pervert
644:) であることに気づくべきだろう（マジ） (deleted an unsolicited ad)
645:１３２人目の素数さん
20/06/06 12:10:48.32 fDRShCP8.net
余談
仮に、乃木坂の推しメンは久保史緒里！と答えて
「ああ、あのネガティブ思考の乃木坂ヲタクで
ブログにひたすら長文を書くコでしょう？」
と返されたら
「それこそが正しい乃木坂メンバーというものです！
はふーんとかずっきゅん！とかやっちゃうのは俗物！」
と言い返したい
参考
URLﾘﾝｸ(nogiradi.com)
646:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/06 13:18:13 SrYikU2t.net
>>596
今日のミスター維新＝あほサルは、 ID:fDRShCP8 か
自称数学科修士の落ちこぼれさんよ！ｗ（＾＾
647:１３２人目の素数さん
20/06/06 13:18:23 X0vDHMkX.net
Bと奥さんのなれそめ知りたい
648:１３２人目の素数さん
20/06/06 13:19:03 X0vDHMkX.net
てかBは数学者っていってもイケメン寄りだし話も普通だし物腰も柔らかいからモテたんだろうな
649:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/06 13:28:12 SrYikU2t.net
>>594
(引用開始)
ビル・ゲイツは数学専攻の学生だったらしいが
数学どころか情報科学でも何の成果も出してない
（BASICのインタプリタのプログラムを書くなんて
命題論理の充足可能性問題がNP完全だと証明した
なんてのに比べたらまさにハエのフンレベル）
世界一のお金持ちになるのに世界一の頭脳は必要ない
(引用終り)
１．世界一のお金持 vs 世界一の頭脳
の比較の話をしているのかな？
ゴキブリのフン以下の ”オトコ” がよ ｗ （情けないやつ）
２．”アメリカの数学で落ちこぼれたマイコンヲタク野郎が
世界一の金持ちになるとかいうのは、実に有害である”
かｗｗ 数学の落ちこぼれにして 人生の落伍者のおサルさんの嫉妬以外のなにものでもない 語りだなｗ（＾＾
３．いまどき、数学者だって 職業の1つ アカデミックなポストが得られなければ、高校数学教師でも、小学校教員でもなれよ
あるいは、稼ぐ女のヒモとかもあるぜ
だが、おサルは どれも無理だったんだ。それで、 人生の落伍者かなｗ
650:１３２人目の素数さん
20/06/06 13:28:56 6i3R8dZd.net
奥さんがどんなひとか知らないけど、ちょっとだけツイート見た感じだと
虚栄心旺盛な、いかにも大学教授に寄って来そうな
ミーハー女だな、という印象。あくまで印象ねｗ
世間一般ではそういう女をハズレと言う。
651:１３２人目の素数さん
20/06/06 13:29:40 QGciaLcI.net
BGの布教動画を見て最初に受けた印象はIUT教の上祐だったことを告解せねばなるまい
652:１３２人目の素数さん
20/06/06 13:38:37.64 6i3R8dZd.net
>Bと奥さんのなれそめ知りたい
こういう発想は数学板住人にはない。
全然興味ないしどうでもいい話。
メンヘラおばさんは自分に近いものを感じるんだろうなｗ
貴様も当然ハズレだよ、キモがられてるだろｗ
653:１３２人目の素数さん
20/06/06 13:55:28.12 X0vDHMkX.net
>>603
そういう無駄に攻撃的なところが数学板っぽいよね
細かいとこにこだわらず暇潰し会話を楽しむと人生豊かになると思うよ
もっちーさんだってアイドル好きなわけだし
654:１３２人目の素数さん
20/06/06 14:05:24.83 6i3R8dZd.net
数学者の理想の嫁は、鶴の恩返しに出てくる鶴女房みたいな子ｗ
加藤和也が語っていた。
素朴で飾り気のない子がいい。
655:１３２人目の素数さん
20/06/06 14:21:11.61 fDRShCP8.net
>>598-599
Bの奥チャンはヲタク属性満載の人だと思う
>>601
URLﾘﾝｸ(twitter.com)
＞妻「私はあなたに数学を広めるためにいろいろアドバイスするのに、
＞ あなたは何一つやってくれない！
＞ VTuberにもならないし、小説も書く気ないようだし！」
＞私「…」
この発言を見る限り・・・やっぱりヲタク属性満載ですね
フツーの奥様はそもそもVTuberを知りません
（注：Youtuberのことではないですよ 検索しましょうね）
(deleted an unsolicited ad)
656:現代数学の系譜 雑談
20/06/06 14:25:52.35 SrYikU2t.net
>>603
おれも、Bと奥さんのなれそめ知りたい ｗ （＾＾；
657:１３２人目の素数さん
20/06/06 14:31:11.63 fDRShCP8.net
>>604
Bの奥チャンが数学科出身者でなさそうなことはわかる
アニヲタかつツッコミキャラ、という特性からするとこんな感じか
URLﾘﾝｸ(www.youtube.com)
ちなみに上記の彼女が乃木坂に入った真の動機は
アイドルをネタにした同人作品が描きたかったから
だと勝手に想像している（ヤバイ）
>>605
いまどきそんな都合のいい女はいませんｗ
658:粋蕎
20/06/06 14:40:50.86 ero6ji90.net
今時でも探せば居るがポーッとし過ぎて詐欺に引っ掛かった経験が有りそうな
おっかなびっくり系な上にトロい雰囲気な上に格好にも疎い不出来系が多い
659:１３２人目の素数さん
20/06/06 14:42:14.66 fDRShCP8.net
理系っぽいアイドル候補生
URLﾘﾝｸ(www.youtube.com)
>>596で名前が出たドルヲタ久保や、
>>608のアニヲタ賀喜と同じ齢
岩手県の出身で高専生だったらしい
ちなみに、さすがに数オリメダリストで
アイドル目指そうってヤツは見ない
660:１３２人目の素数さん
20/06/06 15:05:06.37 fDRShCP8.net
>>609
＞ポーッとし過ぎて・・・トロい雰囲気な上に格好にも疎い不出来系
天才にありがちですね
天然エピソード
URLﾘﾝｸ(www.youtube.com)
ジミエピソード
URLﾘﾝｸ(babymetal-rock.com)
661:１３２人目の素数さん
20/06/06 17:36:47 EWpFkq/J.net
>このスレはIUTスレだよｗｗ
だからこのスレはスレ主のおうち
【閲覧注意】妄想コピベ集【隔離スレ】
自宅療養もあるし
662:１３２人目の素数さん
20/06/06 17:53:58.90 cg14T5Sp.net
>>597
サルでも落ちこぼれでも何でもいけど
不成立の証明からは逃げないでね
663:現代数学の系譜 雑談
20/06/06 19:23:27.44 SrYikU2t.net
>>584
じゃ、もう一言ｗ
「反例の存在証明」
＜まず確認＞
１．箱への数の入れ方は、「どんな実数を入れるかはまったく自由」である
２．したがって、”独立同分布である i.i.d. IID”（下記）で、箱に数を入れることは可能
３．時枝記事の”勝つ戦略”なるものは
「ある1つの箱を残して、他の箱を全て開けることを許せば、
その1つの箱の実数を 確率99％（あるいは確率1-ε（εは任意に小さく取れる））で的中できる」
ということだった
＜反例証明＞
１．”独立同分布 i.i.d. IID”で、箱に数を入れるとする
（可算無限個の確率変数を扱うことは、大学レベルの確率論＆確率過程論の射程内である）
２．IIDとして、サイコロで箱に数を入れれば、的中確率は1/6である
どの箱も例外無し。どの1つの箱も 確率99％にならないので、反例となる
３．区間[0,1]の一様分布から、任意の実数を選んで IIDで 数を入れる
ルベーグ測度では区間[0,1]の１点ｒ( 0 =< r =< 1 ) の測度は0（∵零集合）で、的中確率0
これも、反例となる
QED
（補足：”独立”だから、問題の箱以外を開けても、問題の箱の確率には 何ら影響しない。サイコロなら1/6、区間[0,1]の一様分布内の１点ｒなら的中確率0）
ｗ（＾＾；
この「反例証明」が分からないのは、小学生レベルの”数学落ちこぼれ”ｗｗ
（参考）
URLﾘﾝｸ(www.practmath.com)
実用的な数学を
2019年6月20日 投稿者: TAKAN
独立同分布である i.i.d. IID
(抜粋)
|| 同じ分布のデータは互いに不干渉だよ
これは「確率変数を別々に扱えるよ」という『仮定』です。
これが仮定されていると、非常に計算がしやすくなります。
相関を考えなくて良いので、共分散などを使う必要がありません。
なにせ条件付き確率の発想から分かる通り、独立性は特別なものです。
といっても、そうそうおかしなことにはならないわけですけど。
(引用終り)
あとは
時枝記事やりたければ、下記のスレ使え！
このスレはIUTスレだよｗｗ
現代数学の系譜 カントル 超限集合論2
ｽﾚﾘﾝｸ(math板:856番)
664:現代数学の系譜 雑談
20/06/06 19:30:22.85 SrYikU2t.net
>>609
粋蕎 さん、どうも
まあ、数学科を選んだ時点で、彼女に贅沢言えるのは、ショルツくらいの天才だけですよね
佐藤幹夫先生は、天才度が過ぎたのか、足りなかったのかは知らないが、結婚が非常に遅れた
（数学を考えながら寝て、起きたら即数学なんてやっていると、女を考える時間が無かったか。その点、ショルツは大天才ですな（＾＾）
数学科なら、彼女が出来ただけで
”おんの字”でしょｗ（＾＾；
665:１３２人目の素数さん
20/06/06 19:32:21.55 lkKVc4BQ.net
>>611
該当しないから引き合いに出すな
17歳にしてイギリスのミュージックアワードの授賞式で英語でスピーチしたり、アンチで有名なコワモテ女性評論家をシンパに転向させたり
超有能そのものだよ
Dragonforceのハーマン・リーはSU-METALは通訳より英語が上手いと言ったくらいだしな
凄まじいほどの集中力でものにしてしまうのが彼女の特徴でボーとしてるのは真逆だから
さくら学院当時のは千葉プロデューサーが武藤彩未を推すために中元下げを意図した演出だからね
本気にしないようにな
666:１３２人目の素数さん
20/06/06 20:23:58 fDRShCP8.net
>>616
SU-METALは高校卒業後、NYに住んでるといわれてるので
そりゃ英語も上手くなる
しかし、根本的には天然かつ地味
ちなみにカッコイイ曲でカリスマ感を出してるのに
好きな曲はメタ太郎とOh!Majinai
どっちもカワイイ感じ
URLﾘﾝｸ(www.youtube.com)
ま、でも乃木坂の連中には無理だろうな
久保と賀喜には悪いが、SU-METALは天才だからな
667:１３２人目の素数さん
20/06/06 20:54:01 1ScDVGED.net
ショルツェは結婚はやそ
668:１３２人目の素数さん
20/06/06 23:19:45 N9hPIowj.net
維新がオタ知識披露か
669:１３２人目の素数さん
20/06/07 01:01:44 ll40Vh7Z.net
>>614
不正解。
「サイコロで箱の中身を決めたら確率1/6で当てられる」という主張は「当てずっぽうで当てようとしたら」という前提があって初めて成立する。
時枝戦略には存在しない前提を勝手に置いている時点で不正解。
実際時枝戦略は同値類から情報をもらう戦略であり、当てずっぽうで当てようとする戦略ではないから、時枝戦略に対する反例になっていない。
670:１３２人目の素数さん
20/06/07 09:14:40.21 pdmWlwPF.net
>>614
誤り
【第１の誤り】
「１．「どんな実数を入れるかはまったく自由」」から
「２．”独立同分布である i.i.d. IID”」が云えると思ったこと
箱入り無数目の記事では箱の中身の分布に全く言及してない
なぜなら、箱は確率変数ではないからである
【第２の誤り】
「「ある1つの箱を残して、他の箱を全て開けることを許せば、
その1つの箱の実数を 確率99％で的中できる」を
「ある１つの箱を決めたら、その箱の中身を何度入れ替えても
中身を確率99％で的中できる」と読み違えたこと」
箱入り無数目の記事では実は箱の中身は一切入れ替えない
「選べる箱１００個のうち、１個を選んだ場合
代表元の対応する項と、中身が一致する箱が９９箱ある」
というのが正しい読解
確率変数が分かってないから、読み違える
箱入り無数目の記事における確率変数は
選んだ箱の中身ではなく選べる箱の番号１～１００
671:１３２人目の素数さん
20/06/07 09:31:51 pdmWlwPF.net
>>621
＞区間[0,1]の一様分布から、任意の実数を選んで IIDで 数を入れる
＞ルベーグ測度では区間[0,1]の１点ｒ( 0 =< r =< 1 ) の測度は0（∵零集合）で、
＞的中確率0
＞どの箱も例外無し。どの1つの箱も 確率99％にならないので、反例となる
記事を全く読まずに、自分勝手な理解だけで考えるから間違う
記事の方法で選べる箱は１００個である
そしてその１００個のうち、９９個は代表元の項と中身が一致してしまう
中身が不一致となる箱を２個以上にすることは不可能である
なぜなら、ｎ＞ｍかつｍ＞ｎとなる自然数の組ｎ，ｍは存在し得ないからである
672:１３２人目の素数さん
20/06/07 11:33:40.27 ll40Vh7Z.net
「サイコロで箱の中身を決めたら確率1/6で当てられる」という主張は「当てずっぽうで当てようとしたら」という前提があって初めて成立する。
は
「サイコロで箱の中身を決めたら確率1/6でしか当てられない」という主張は「当てずっぽうで当てようとしたら」という前提があって初めて成立する。
の方が分かり易いかな
673:１３２人目の素数さん
20/06/07 13:40:58.38 pdmWlwPF.net
>>623
サイコロで箱の中身を決めても、
サイコロの目を知ることができれば
確率１で当てられる
逆に箱の中身が必ず１だとしても
箱の中身の情報を１から６のいずれかだと言って
その中身を予想するのにサイコロを用いるなら
当たる確率は１／６
つまり
箱の中身の分布確率＝箱の中身の的中確率
とはいえない
674:現代数学の系譜 雑談
20/06/07 14:42:00.65 Q0Rzcycw.net
>>620-624
ID:ll40Vh7Z ね
ID:ll40Vh7Z がおサルか（下記）
”純粋・応用数学”
ｽﾚﾘﾝｸ(math板:400番)
400 名前：哀れな素人[] 投稿日：2020/06/07(日) 12:49:39.25 ID:0G5Peiut [5/5]
ID:ll40Vh7Z
スレ主よ、こいつは質問少年の真似をしているが、サル石だ(笑
だまされないように(笑
(引用終り)
なるほど
で、もう一人
ID:pdmWlwPFは
”High level people”（下記）の一人 か（＾＾
スレ28 ｽﾚﾘﾝｸ(math板) (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
High level peopleの一人が、時枝記事（数学セミナー2015年11月号の記事『箱入り無数目』）を紹介してくれたなのだが（下記見るとこの人が、スレ28を立てたみたい。この人は、昔Tさんと私が呼んでいた人だと思う）
675:現代数学の系譜 雑談
20/06/07 14:46:35.49 Q0Rzcycw.net
>>620-624
要するに
１．大学教程の「確率論＆確率過程論」が、からっきし理解できていない
２．”箱”？ 大学教程の抽象化された数学では、”箱”でも”袋”でも、あるいは、”目隠し”でも同じですよ
「”箱”だから、うんぬん かんぬん」なんて、小学生ですな、ご両人ｗ（＾＾
あとは
時枝記事やりたければ、下記のスレ使え！
このスレはIUTスレだよｗｗ
現代数学の系譜 カントル 超限集合論2
ｽﾚﾘﾝｸ(math板:856番)
676:１３２人目の素数さん
20/06/07 15:03:48.63 evLjG7tO.net
B本買うか迷ってやめた
677:１３２人目の素数さん
20/06/07 15:15:02.09 pdmWlwPF.net
>>626
無限個の確率変数もIIDも、確率過程論じゃないな
たまたま見つけたページが確率過程について書かれてただけで
「確率過程とは無限個の確率変数だ！ IIDだ！」
と思ったんなら、全然見当違い
＞大学教程の抽象化された数学では、
＞”箱”でも”袋”でも、あるいは、”目隠し”でも同じですよ
これまた、全然見当違い
箱入り無数目の記事で、何を確率事象として扱ってるか分かれば
確率変数が箱の中身ではなく、箱の番号だと分かる
だって、選んでるのは箱であって、中身ではないから
箱の中身を当てる＝確率変数は箱の中身 と脊髄反射するのは考えてない証拠
678:現代数学の系譜 雑談
20/06/07 15:20:53.64 Q0Rzcycw.net
>>626 補足
> １．大学教程の「確率論＆確率過程論」が、からっきし理解できていない
要するに
大学教程の「確率論＆確率過程論」
に無知ってことですね（＾＾；
時枝記事の”勝つ戦略”なるものも
十分、大学教程の「確率論＆確率過程論」の射程内
なのですｗ（＾＾；
679:１３２人目の素数さん
20/06/07 15:31:06.54 pdmWlwPF.net
>>626
＞このスレはIUTスレだよ
君にはIUTどころか、楕円関数論も代数曲線論も無理だよ
680:１３２人目の素数さん
20/06/07 15:34:42 pdmWlwPF.net
>>629
時枝記事の”勝つ戦略”は、同値関係、同値類の定義と
選択公理の使用を除けば、小学生レベルの確率だけどね
１００個中、外れがたかだか１個なら、当たる確率は９９／１００
無限個の箱＝無限個の確率変数 という誤りに気づけないようじゃ、数学は無理
681:１３２人目の素数さん
20/06/07 15:37:20 pdmWlwPF.net
∈と⊂の違いも分からず、公理と公理図式の違いも分からない
そんな素人に、大学数学が分かるわけないよ
682:１３２人目の素数さん
20/06/07 15:50:22 pdmWlwPF.net
>>625
High level people が
数学科学部卒～修士修了 程度
なら そうだろうな
で
Very High 博士
Ultra High 講師
Super High 教授
Extremely High フィールズ賞級
とすると、IUTは、Extremely High Levelだから
君のような Medium Level (一般の理工系）にはとても無理
応援団？理解もできずに？そんなんつまんないでしょ？
やめときなって 別の趣味見つけなよ
例えばアイドルとかｗ
683:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/07 15:59:33 Q0Rzcycw.net
>>627
>B本買うか迷ってやめた
おれは、図書館で借りたよ
近くに図書館ないのか？
684:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/07 16:08:55 Q0Rzcycw.net
>>633
言いたいことは、それだけか？
お疲れさまでした
あんたに賛同する人皆無だよ
おサル？ あれは人外だな
言いたいことを言ったら
お引き取りください
あとは
時枝記事やりたければ、下記のスレ使え！
このスレはIUTスレだよｗｗ
現代数学の系譜 カントル 超限集合論2
ｽﾚﾘﾝｸ(math板:856番)
685:１３２人目の素数さん
20/06/07 16:18:46 ll40Vh7Z.net
>>629
>時枝記事の”勝つ戦略”なるものも
>十分、大学教程の「確率論＆確率過程論」の射程内
>なのですｗ（＾＾；
それ、妄想ですよ？
時枝記事の確率は100枚のくじから99枚以上のアタリを引く確率に過ぎませんから
そんなのは小学校の確率です
あなたThe Rddleも不成立の立場なんですよね？
The Riddleは確率を一切使ってません。大学どころか小学校の確率も不要です。
妄想で語るのやめませんか？