20/05/17 10:02:15 9UHEbX30.net
なお、
小学レベルとバカプロ固定
おサル＝サイコパスのピエロ（不遇な「一石」URLﾘﾝｸ(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」）
（参考）URLﾘﾝｸ(blog.goo.ne.jp) サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
低脳幼稚園児のAAお絵かき
上記は、お断りです！！
小学生がいますので、18金（禁）よろしくね！（＾＾
（旧スレが1000オーバー（又は間近）で、新スレを立てた）
つづく
3:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 10:03:47 9UHEbX30.net
つづき
（参考）
関連： 望月新一（数理研） URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
新一の「心の一票」 - 楽天ブログ URLﾘﾝｸ(plaza.rakuten.co.jp)
math jin：（IUTT情報サイト） URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
星裕一の論文
(抜粋)
宇宙際 Teichmuller 理論入門 PDF (November 2015) URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
続・宇宙際 Teichmuller 理論入門 PDF (April 2016) URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
(引用終り)
URLﾘﾝｸ(ja.yourpedia.org)
宇宙際タイヒミュラー理論 Yourpedia
(抜粋)
グロタンディーク宇宙
集合論は無限の階層を持つ。
公理から論理的演繹のみであらゆる数学を展開できるとされる公理的集合論ZFCのモデルとなる集合は、宇宙などと称されることが多い。
圏の一般理論はZFCだけでは展開できないが、ZFCに新たに別の公理を加えたZFCGにおいては展開できるようになる。
このモデルとなるのがグロタンディーク宇宙である。
(引用終り)
URLﾘﾝｸ(ja.wikipedia.org) 宇宙際タイヒミュラー理論 （>>1と重複するが）
URLﾘﾝｸ(en.wikipedia.org) 英Inter-universal Teichmuller theory
URLﾘﾝｸ(ja.wikipedia.org) ABC予想
URLﾘﾝｸ(en.wikipedia.org) 英abc conjecture
URLﾘﾝｸ(www.uvm.edu)
[ Taylor Dupuy's Homepage]論文集
URLﾘﾝｸ(www.math.arizona.edu) から Recent Research へ入る
Kirti Joshi Recent Research論文集
つづく
(deleted an unsolicited ad)
4:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 10:05:05 9UHEbX30.net
つづき
＜アンチIUTサイト＞
URLﾘﾝｸ(www.math.columbia.edu) （woitブログ）
Not Even Wrong Latest on abc Posted on April 3, 2020 by woit
URLﾘﾝｸ(taro-nishino.blogspot.com)（TARO-NISHINOの日記）
ABC予想の壮大な証明をめぐって数学の巨人達が衝突する URLﾘﾝｸ(taro-nishino.blogspot.com)
前スレ一覧
（含 本スレなど）
ABC予想が解かれたかもしれんぞ！
ｽﾚﾘﾝｸ(math板)
ABC予想が解かれたかもしれんぞ！ Part2
ｽﾚﾘﾝｸ(math板)
ABC予想が解かれたかもしれんぞ！ Part3
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想
URLﾘﾝｸ(uni.2ch.net)
Inter-universal geometry と ABC予想 2
URLﾘﾝｸ(uni.2ch.net)
Inter-universal geometry と ABC予想 3
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 4
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 5
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 6
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 7
ｽﾚﾘﾝｸ(math板)
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 8
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 9
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 10
ｽﾚﾘﾝｸ(math板)
つづく
5:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 10:05:23 9UHEbX30.net
つづき
Inter-universal geometry と ABC予想 11
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 12
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 13
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 14
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 15
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 16
ｽﾚﾘﾝｸ(math板)
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 17
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 18
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 19
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 20
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 21
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 22
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 23
ｽﾚﾘﾝｸ(math板)
つづく
6:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 10:05:41 9UHEbX30.net
つづき
Inter-universal geometry と ABC予想 24
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 25
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 26
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 27
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 28
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 29
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 30
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 31
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 32
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 33
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 34
ｽﾚﾘﾝｸ(math板)
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 35
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 36
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 37
ｽﾚﾘﾝｸ(math板)
つづく
7:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 10:06:02 9UHEbX30.net
つづき
Inter-universal geometry と ABC予想 38
URLﾘﾝｸ(rio2016.2ch.net)
Inter-universal geometry と ABC予想 39
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 40
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 41
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 42
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 43
ｽﾚﾘﾝｸ(math板) 当応援スレのスタートスレ
ｽﾚﾘﾝｸ(math板) IUT本体スレ
ｽﾚﾘﾝｸ(math板) 隔離スレ
Inter-universal geometry と ABC予想 (応援スレ) 44
ｽﾚﾘﾝｸ(math板)
つづく
8:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 10:06:16 9UHEbX30.net
つづき
Inter-universal geometry と ABC予想 (応援スレ) 45
ｽﾚﾘﾝｸ(math板)
なお IUT本体スレ最新
Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板)
テンプレは以上です
9:１３２人目の素数さん
20/05/17 10:14:26 weCKlE1s.net
0960 １３２人目の素数さん
2020/05/17 09:59:04
>柏原＆玉川両先生が 4月3日の記者会見をしたと言うことは、数学界に対する宣戦布告
ま、
IUT論文アクセプトまでの経緯について
PRIMS.RIMS.京大.日本学術振興会
文科省 、、を対象に
第3者による徹底的な公開の調査検証が
必要！
お墓に持って行くなんて
10:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 10:28:29 9UHEbX30.net
私見では
１．数学界では、査読過程など あまり議論されない
２．なぜなら、論文自身を検証すれば、それで済む話
３．よって、論文自身を徹底的に検証すれば良いのです
以上
11:１３２人目の素数さん
20/05/17 10:35:12.98 OxYJzrF1.net
こんなスレ立てたので案内します
算数障害(dyscalculia)について語るスレ
ｽﾚﾘﾝｸ(math板)
12:１３２人目の素数さん
20/05/17 10:59:52 JLETUn1P.net
記念に貼っとく。
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
13:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 11:39:21 9UHEbX30.net
ありがとう（＾＾
14:１３２人目の素数さん
20/05/17 12:54:15 OxYJzrF1.net
>>12
貼るんなら、こっちじゃね？
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
15:１３２人目の素数さん
20/05/17 13:31:09.70 q5uYogaH.net
やっぱり。。。
ガマンできなくなって。。。
ｱﾋﾟｯちゃったのね。。。
16:現代数学の系譜 雑談
20/05/17 13:36:52.14 9UHEbX30.net
メモ
URLﾘﾝｸ(twitter.com)
諸法無我
URLﾘﾝｸ(twitter.com)
math_jin
数学に関する話題をつぶやきます。
宇宙際タイヒミューラー理論に関するディープな話題は閉じられた別アカウント
@math_jin_secret
でつぶやきます。
Scholzeらが読めないと嘆いているIUT-IIIのCorollary 3.12に関する説明は、山下剛氏のサーベイでは358ページあたり、星裕一郎氏のサーベイでは10,87,92ページあたりにしっかりと説明されています。#IUTABC
(引用終り)
ここ
星裕一郎氏のサーベイ→続・宇宙際 Teichm¨uller 理論入門
最新版でのページズレ
10→11（P218）
87→88-89（P295-296）
92→94 (P301）
（参考）
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
RIMS K?oky?uroku Bessatsu
B72 (2018), 209?307
続・宇宙際 Teichm¨uller 理論入門
(Introduction to Inter-universal Teichm¨uller Theory,
Continued)
By
星 裕一郎 (Yuichiro Hoshi)
(deleted an unsolicited ad)
17:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 13:46:09 9UHEbX30.net
>>15
いらっしゃい
またーり していってください（＾＾；
18:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 13:48:17 9UHEbX30.net
>>14 >>12
ありがとう
見た
桜坂４６ Sakurazaka4649 って、TARO-NISHINO みたいなキャラですな（＾＾
（参考）
URLﾘﾝｸ(taro-nishino.blogspot.com)（TARO-NISHINOの日記）
19:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 13:53:32 9UHEbX30.net
>>18
補足
＜IUTが認められていくプロセスがいくつか考えられる＞
１．小数の理解者が出る
２．理解者が拡大していく
３．関連の専門論文が出る
４．IUT解説が出る
５．上記３、４が 内外の学会で議論される
６．IUT解説本が出版される
７．IUTが、何かの学会賞を受賞する
いまから、逆転オセロが始まります
私ヤジウマとしては、興味津々で眺めています（＾＾
20:１３２人目の素数さん
20/05/17 14:17:37 LmvEIhyw.net
１．数学界では、査読過程など あまり議論されない
２．なぜなら、論文自身を検証すれば、それで済む話
３．よって、論文自身を徹底的に検証すれば良いのです
IUT奇談
名探偵金田一耕助の登場か
21:１３２人目の素数さん
20/05/17 14:30:54.79 OxYJzrF1.net
>>19
＜IUTが崩壊するプロセスの一例＞
１．理解者が内輪の関係者のみ
２．理解者が拡大しない
３．矛盾もしくはギャップを指摘する論文が出る
４．上記３が 内外の学会で議論される
５．毎日新聞が「IUT理論－疑惑の真相－」という本を出す
６．査読について、RIMSが責任を追及され、MとTが大学教授の職を辞する
７．その後、別人が全く別の方法で、ABC予想を解く
いまから、逆転オセロが始まります
私ヤジウマとしては、興味津々で眺めています
22:１３２人目の素数さん
20/05/17 14:41:55 LmvEIhyw.net
平成27年5月13日
中央教育審議会大学分科会大学院部会
・資料5 独立行政法人日本学術振興会 グローバルCOEプログラム委員会
事務局
研究成果例 G08 京都大学 数学のトップリーダーの育成
宇宙際タイヒミュラー理論
-数論におけるブレークスルー
宇宙際タイヒミュラー理論を用いる
ことによってabc予想と呼ばれる
数論の難問が解決することが2012年
に発表 された。
日本の主な全国紙は言うに及ばず、New York Times などでも報道され、非専門家の間にも大きな話題 を提供
している。
宇宙際タイヒミュラー理論は数理解析研究所の望月新一教授(GCOE事業推進者)の独創によるものであるが、 その解説や応用には多くの若手研究者が関与している。
掲載論文等Shinichi Mochizuki, INTER‐UNIVERSAL TEICHMULLER THEORY I
(日本学術振興会課長はGCOEの
経過後をフォローしないと言明した
が、京大G08について事後評価結果になかったIUTを持ち出しG08事後評価結果を改変した)
URLﾘﾝｸ(warp.ndl.go.jp)
23:１３２人目の素数さん
20/05/17 14:44:23 LmvEIhyw.net
RIMSは平成28年6月の時点で、
IUT論文より査読中ながら
abc予想は解決した、と公式に
表明した
↓
京都大学数理解析研究所
第2期中期目標期間(平成22年～
平成27事業年度)について
1 現況調査表 平成28年6月
P28-3 資料 2. 発表論文数
所員の発表論文数 査読付き論文のみ
p28-10 事例4「数論幾何の研究」
「望月新一に よる「宇宙際タイヒミューラー理論」の構築とその結果としての
ABC 予想の解決は、特筆 すべき
出来事である。」 「
当該論文は現在査読中であるが、 」
「望月新一が同理論の概要を解説した
業績番号1― (2)(2014)が、講究録別冊
として刊行されている」
(RIMS現況調査表。
京都大学.数理解析研究所が文科省
所管の独立行政法人 大学改革支援・
学位授与機構へ提出)
URLﾘﾝｸ(www.niad.ac.jp)
2 現況分析結果 平成29年6月
注目すべき質の向上 p28-4
○「数論幾何の研究」の「宇宙際
タイヒミューラー理論」の構築と
その結果と しての ABC 予想に
関する論文は、国内外の主要メディアで取り上げられている
(現況分析結果。
文科省所管の独立行政法人 大学改革
支援・学位授与機構が京都大学数理
解析研究所の現況を分析、
RIMSの現況調査表「IUT理論の構築と
その結果abc予想が解決した」は削除された)
平成29年6月
URLﾘﾝｸ(www.niad.ac.jp)
24:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 14:52:09 9UHEbX30.net
>>20
グロタンディークの書いた 有名な EGAと SGAと
これは、彼の所属する IHES から出版された
では問う、EGAと SGA とは、だれがいつ査読したのか？
IHES から出版 され、おそらくは だれも査読していない！
それで、なにが おかしいのかな？
URLﾘﾝｸ(ja.wikipedia.org)
アレクサンドル・グロタンディーク（Alexander Grothendieck, 1928年3月28日 - 2014年11月13日[1]）は主にフランスで活躍した、ドイツ出身のユダヤ系フランス人の数学者である。
ヴェイユ予想の解決を目標と定め、そのために代数幾何を根底から書き直し、「代数幾何原論 (Elements de Geometrie Algebrique, EGA)」をエウクレイデスの「原論」と同様に13巻刊行しようとした。
しかし1巻から4巻まで約1500ページのみが書かれ、5巻以降は未完成。
13巻までの内容は弟子たちとともに行われた「マリーの森の代数幾何セミナー (SGA)」という書物となって刊行されている。
（1巻から7巻まであり、約6500ページである）。
Weil予想に最も貢献したのはGrothendieckの発見した新しいコホモロジー、「エタール・コホモロジー(Cohomologie etale)」であり、Cohomologie l-adique, Cohomologie cristallineなど新しいコホモロジー論を発見。
また、Faltings によるMordell予想の解決もGrothendieckのスキーム論を使ったものであった。
URLﾘﾝｸ(ja.wikipedia.org)
Institut des hautes etudes scientifiques (IHES) は、数学及び理論物理学の研究所。訳語として、フランス高等科学研究所、フランス高等科学研究院等が当てられている。
概要
1958年にレオン・モチャーンにより設立された。同年にグロタンディークとデュドネが教授として選任された。その後、グロタンディークは1970年に研究所に軍からの資金援助があることを知ったことから、研究所を去ることになった。
プリンストン高等研究所と並ぶ数学の研究所として有名で、現在までにI.H.E.S.に所属していたフィールズ賞受賞者はトム、グロタンディーク、ドリーニュ、コンヌ、ブルガン、コンツェビッチ、ラフォルグで合計7人いる。
25:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 14:54:10 9UHEbX30.net
>>24
補足
・EGAと SGA 使えるところを使えば良い
・使っていくうちに、正しさが検証されていく
それで良いんじゃ無いですか？
ＩＵＴに同じ（＾＾；
26:１３２人目の素数さん
20/05/17 14:55:41 LmvEIhyw.net
日本は法治国家です
念のため
27:１３２人目の素数さん
20/05/17 14:56:44 OxYJzrF1.net
>>24
「査読したから正しい」「査読しないから誤り」
というあなたの認識がおかしいだけ
査読したって他の人がひっくり返したらダメだし
査読しなくたって他の人がひっくり返さなかったらＯＫ
ペレルマンのプレプリントって査読論文じゃないじゃん
でも、関係者が読んで、理解できたわけじゃん
望月の論文は査読通ったくせに
関係者が読んでもなんかワケワカランとか
いわれてるわけじゃん
対象的だな
28:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 14:58:24 9UHEbX30.net
>>21
ぱちぱちぱち
それ面白いわ、ザブトン１枚（＾＾
29:１３２人目の素数さん
20/05/17 15:00:11 OxYJzrF1.net
>>26
具体的にどういう法律に抵触するかはともかくとして
IUTが周囲に理解されない状況が続いた場合、
そもそもIUT論文の受理が研究倫理上問題になるだろうな
30:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 15:02:39 9UHEbX30.net
>>27
おサル、そうあせらずに
じっくり 見てなさいよｗ（＾＾；
31:１３２人目の素数さん
20/05/17 15:03:20 OxYJzrF1.net
>>28
一点だけ追加コメント
IUT問題の真相追及の本が毎日新聞から出る、というのは
もちろんSTAP問題の追及本が毎日新聞から出たことを踏まえてますが、
同時に再三ABC予想解決の記事を書いてきた某新聞への当てつけ
の意味もあります（あいつらろくに取材してねぇだろ）
32:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 15:04:18 9UHEbX30.net
>>29
＞IUTが周囲に理解されない状況が続いた場合、
＞そもそもIUT論文の受理が研究倫理上問題になるだろうな
コメントありがとう
まあ、そんな状況続くわけないわな
心配するな
潰れるか あるいは 理解が広がるか 二択だよｗ（＾＾；
33:１３２人目の素数さん
20/05/17 15:06:52 OxYJzrF1.net
>>30
あなたこそIUTの崩壊をじっくり見届けてくださいね
誰彼なく他人をおサルさん呼ばわりするのは悪い趣味ですよ
34:１３２人目の素数さん
20/05/17 15:15:34 y4BiDiZT.net
すでに崩壊しているという見方があって、指摘されてるのに
直しきれていないようですからね
35:１３２人目の素数さん
20/05/17 15:35:10 wk/kAD13.net
IUT今年の研究会のせいかがたのしみだね。
36:１３２人目の素数さん
20/05/17 15:36:27 4Wd753iR.net
延期になったはずだけど、次の予定ってもう決まっているの？
37:現代数学の系譜 雑談
20/05/17 17:37:56.85 9UHEbX30.net
そう焦らずに
賽は投げられた
勝利か敗北か
じっくり楽しみましょう～！ｗ
38:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 17:43:13 9UHEbX30.net
>>23
なるほど
6月の現況調査表に、ＩＵＴの成果を書きたいから
4月3日に、査読ＯＫのプレス発表をしたと言いたいのかな？ｗ（＾＾；
39:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 17:52:56 9UHEbX30.net
前スレで、環と圏の話がありました
下記ご参考まで
一見の価値あり（＾＾
”William Lawvere”
”3 Rings of operators (Theories of categories of modules) . . . . 105”
前スレ ｽﾚﾘﾝｸ(math板:653番)
URLﾘﾝｸ(www.tac.mta.ca)
Functorial Semantics of Algebraic Theories and Some Algebraic Problems in the context of Functorial Semantics of Algebraic Theories
F. William Lawvere
Originally published as:
Ph.D. thesis, Columbia University, 1963
and
in Reports of the Midwest Category Seminar II, 1968, 41-61,
The authors comments are F. William Lawvere, 2004.
URLﾘﾝｸ(www.tac.mta.ca)
URLﾘﾝｸ(en.wikipedia.org)
Universal algebra (sometimes called general algebra) is the field of mathematics that studies algebraic structures themselves, not examples ("models") of algebraic structures. For instance, rather than take particular groups as the object of study, in universal algebra one takes the class of groups as an object of study.
History
Starting with William Lawvere's thesis in 1963, techniques from category theory have become important in universal algebra.[9]
Footnotes
9 Lawvere, William F. (1964), Functorial Semantics of Algebraic Theories (PhD Thesis)
40:１３２人目の素数さん
20/05/17 18:01:10 OxYJzrF1.net
>>38
＞6月の現況調査表に、ＩＵＴの成果を書きたいから
＞4月3日に、査読ＯＫのプレス発表をしたと・・・
そいつぁ、ひでぇ話だ
41:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 18:18:35 9UHEbX30.net
>>40
まあ、子供にはわからない
大人の事情でしょうね
おサルさんｗ（＾＾
42:１３２人目の素数さん
20/05/17 18:22:22 OxYJzrF1.net
>>41
どっかの国の首相みたいなこといってるね
URLﾘﾝｸ(ja.wikipedia.org)
43:１３２人目の素数さん
20/05/17 18:26:27 wk/kAD13.net
立憲に投票したと聞かれてもいないのに自白したミスター維新がまた荒らしに来ているようだな。
44:１３２人目の素数さん
20/05/17 18:30:20 OxYJzrF1.net
>>43
そういうあなたはミスター自民？ｗ
自由でも民主的でもない国を目指す政党
／(^o^)＼ﾅﾝﾃｺｯﾀｲ
45:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/17 18:31:23 9UHEbX30.net
>>43
ほんと、ミスター維新ね
ＩＵＴアンチスレがあるのにね～ｗ（＾＾
46:１３２人目の素数さん
20/05/17 18:40:59 OxYJzrF1.net
>>45
いや、天皇を担ぐ維新は目指しません 革命を目指します！
何の革命かは自分自身よくわかりませんが・・・
URLﾘﾝｸ(www.youtube.com)
47:粋蕎 ◆C2UdlLHDRI
20/05/17 18:48:38 LIJrZTQ0.net
既存政党一掃党
48:１３２人目の素数さん
20/05/17 19:14:41 wk/kAD13.net
>>46
過激派かw
49:１３２人目の素数さん
20/05/17 19:17:55 LmvEIhyw.net
>>38
痴呆は時間概念がなくなるな、
何か収集も始めるとか
お維新コピべ魔団長
ゴミ コピべ 次は雨合羽か
50:１３２人目の素数さん
20/05/17 19:46:36.65 OxYJzrF1.net
議会制度は民主主義を実現しない・・・なんちって
51:１３２人目の素数さん
20/05/17 20:41:59 0z0x305g.net
久しぶりに温泉行ってきた。
自粛解除最高！ｗ
52:１３２人目の素数さん
20/05/17 20:47:34.67 0z0x305g.net
ぶっちゃけサヨクが醜すぎる。
「アベ政治を許さない！」を流行語大賞に入れたり
モリカケ問題とか存在しない問題を作り出したり
しかしアベをいくら叩いても自民党は勝つし、安倍氏を支持するひとは多い。
わたしは別に安倍氏がそれほどいいとは思わないが
枝野なんかよりは100倍マシだと思うし、国民を教導しようとする
サヨク・マスコミが許せないから、自民党に入れ続ける。
同じように思ってる国民は多いと思う。
つまりブサヨクこそ安倍長期政権の最大の応援団になっているという皮肉。
53:１３２人目の素数さん
20/05/17 20:58:54.11 0z0x305g.net
「民主主義が実現されてない」というのは
要するに「おれの思い通りにならない」ってことなんだよね。
いや、お前らの思い通りになったらヤバイと思うひとが多いから
自民党に入れるひとが多いんだよ・・・。
54:１３２人目の素数さん
20/05/17 21:08:17.41 4Wd753iR.net
こわい
55:１３２人目の素数さん
20/05/17 21:17:28.41 0z0x305g.net
フランス革命の死者200万人。
安易に革命とか言うやつは、自分と違う考えの人間を
何百万殺してもいいと言ってるようなもの。
そっちの考えのが怖い。
56:１３２人目の素数さん
20/05/17 21:38:58.46 OxYJzrF1.net
>>52
あなたは高額所得者ですか？
もしそうなら自民党を支持するのは当然でしょうね
あなたの金を守るからね
でもそうでないなら自民党支持は自爆行為ですよ
あなたの生活を苦しめてるのは資本主義体制
自民党が維持したいのも資本主義体制
資本主義体制では金持ちがどんどん豊かになる
貧乏人がどんどん貧しくなる
あなたが資本主義体制の勝者でないなら
自民党を支持するのは愚か
あなたが勝つことは決してないから
57:１３２人目の素数さん
20/05/17 21:49:55.45 OxYJzrF1.net
URLﾘﾝｸ(www.stat.go.jp)
このグラフを見て自分が富裕層でなかったなら
自民党支持は止めたほうがいいですね
この先あなたが貧しくなることはあっても
豊かになることはありません 決して！
58:１３２人目の素数さん
20/05/17 21:52:48.20 LIJrZTQ0.net
野党を支持しても自民党の何倍以上もの売国をやる
全ての政党を駆逐すべし
59:１３２人目の素数さん
20/05/17 21:57:30.97 OxYJzrF1.net
URLﾘﾝｸ(ja.wikipedia.org)
所得分布も資産分布もだいたい対数正規分布になりますが
これは分散が大きくなればなるほど、
グラフが反比例の双曲線に近づきます
60:１３２人目の素数さん
20/05/17 21:58:50.08 OxYJzrF1.net
>>58
国家は国民を守るもの、というのは幻想
国家は国民を毟るもの、というのが現実
61:１３２人目の素数さん
20/05/17 22:18:23.74 wk/kAD13.net
宇宙の取り替えが行われてるのう
62:１３２人目の素数さん
20/05/17 22:59:34.74 LIJrZTQ0.net
>>60
大概の左翼運動家と同じ事を言っている
63:１３２人目の素数さん
20/05/17 23:21:47 LIJrZTQ0.net
国家の尻を引っ叩く気概で監視して来なかった国民が言える筋合いは無い
64:１３２人目の素数さん
20/05/17 23:44:25 OxYJzrF1.net
国家は国民のためにあるわけではない
国家は国民をこき使うためにある
65:１３２人目の素数さん
20/05/18 00:09:33 +oozQjBa.net
>>60
戦争が無くなったからおまえみたいな空想野郎が増えたな
実際 侵略されて蹂躙された国の国民はおまえみたいな妄言は言わない
息子や娘が殺されたり強姦されなきゃ理解できないような間抜けが増えた
おまえもその一人だ
66:１３２人目の素数さん
20/05/18 00:19:41 FE/+1pWB.net
自民党が「お金を守る」とは良く分からない。
国債の日銀引き受けってあるでしょう。
あれは最終的にはある時点でハイパーインフレを引き起こす
つまりお金が紙切れに近くなるわけで、そういう意味では平等に向かっているｗ
勿論、金持ちはあらゆる手段で資産を守ろうとするでしょうがね。
今回のコロナ騒動で商業用不動産の価値はかなり毀損したはず。
ある意味平等に近づいた。
地主は望んでないことでしょうがね。
東京の地価（家賃）が下がれば、地方から進学する学生は助かるかもしれない。
67:１３２人目の素数さん
20/05/18 00:23:37 DRtned0W.net
ドイツ人に見せたら国民総攻撃を受けそうな物書きしてるな
68:１３２人目の素数さん
20/05/18 00:33:38.24 FE/+1pWB.net
>いま社会科学と自然科学を横断して、大きな変化が起こっている。
>聖書に始まり、ルソーやマルクスやレヴィ＝ストロースに至るまで
>偉大な思想家が信じてきた「人類は太古には平和で平等だった」
>という神話が否定されつつあるのだ。
>40年前に人類学者が発見し、20年前に考古学者が提唱した
>「国家が戦争を生んだのではなく、その逆だ」という仮説は、
>本書で検証されたといってもいいだろう。この図は見にくい
>（クリックで拡大）が、最上段が先史時代の戦争によ
69:る死亡率で、 >人口の最大60％にのぼる。 >最下段が現代で、第2次大戦の死者でも世界の人口の2％程度だ。 >このように時代や文化圏によっても大きく違うが、近代以前の >人類は平均して15～20％ぐらいが戦争で殺されていたと推定される。 >この比率は成年男子ではもっと高く、半数近くが戦死した社会も珍しくない。 >つまり数百年前まで、人間の最大の死因は殺人であり、われわれは >史上もっとも平和な時代に生きていると著者は主張する。 >だから人類の最大の問題は戦争を防ぐことだった。 >国家はそのための制度だが、武器だけでは戦争を止められないので >ウェストファリア条約以後は、休戦ラインとしての国境ができた。 >しかし著者は、戦争を減らした決定的な要因は商取引だという。 >戦争はゼロサム・ゲームだが、取引では双方が利益を得ることができる。 >しかも植民地からの搾取より貿易による利益のほうが大きい―― >これを発見したことが20世紀後半の「長い平和」の原因だという。 スティーブンピンカー著 『暴力の人類史』の書評。 つまり国家などない時代から人類は不平等だったし 殺し合いを続けてきた。むしろ国家はそれを防ぐ制度 として生まれたのだという説。
70:１３２人目の素数さん
20/05/18 02:00:18 8MjVYuen.net
立憲に投票した革命家のミスター維新が桜坂46か。
査読報告書の開示から資本主義打倒まで
革命領域を拡大してるな。
71:粋蕎 ◆C2UdlLHDRI
20/05/18 02:01:39 DRtned0W.net
ハイパーインフレどころか未曾有のスタグフレスパイラルの開幕じゃな
インフレ 景気も物価も↑
デフレ 景気も物価も↓
スタグフレ 景気は↓なのに物価は↑
の、スパイラル
72:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/18 05:58:31 8lQUmKDl.net
5chらしくなってきたな（＾＾
ところで、本スレ立てないのかね？
それは、皆さんの勝手だが（＾＾；
73:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/18 06:05:22 8lQUmKDl.net
（転載）
応援スレ44 ｽﾚﾘﾝｸ(math板:174番)-177 より
山下先生の下記
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
A PROOF OF THE ABC CONJECTURE AFTER MOCHIZUKI By Go Yamashita preprint. last updated on 8/July/2019.
が、IUTの準備論文を含むし、用語集、数学記号集として使えることが分かった（＾＾
あと、Indexが最後についているので便利です
山下先生のサーベイを過小評価していたな、ごめん（＾＾；
なお、もう少し下のレベル”Θ±ell"などの解説からが欲しいけどな、私らには（＾＾
以上
これをIUTと比較すると
IUTをK2に例えて、仮に9000ｍ級の山登りとすると
IUT論文は、7合目 7000ｍくらいから始まっている感じ
山下先生サーベイは、学部1000～2000ｍくらいからのコンパクトなガイドになっている感じですね
後ろに、Appendix A～Cも付けてあって
C.4. On the Prime Number Theorem.
C.5. On the Residual Finiteness of Free Groups.
とか、基本的な知識の補足もある
C.6. Some Lists on Inter-universal Teichmuller Theory
とかは、IUTの重要な記号の一覧ですかね
P366
A.3. Hodge-Arakelov-theoretic Comparison Theorem.で
”Note that these can be considered as a discrete analogue of the calculation of Gaussian integral
is a Gaussian distribution (i.e., j → j^2) in the cartesian coordinate
is a calculation in the polar coordinate ・・・”
とか、望月先生の講演ネタで使っていた話の解説もあるな
Cor 3.12は P359
”Corollary 13.13. (Log-volume Estimates for -Pilot Objects, [IUTchIII, Corollary 3.12])
We write
-｜ log(θ)｜∈ R ∪{+∞}”
あと P360
”Then we obtain
-｜ log(q
74:)｜＜ -｜ log(θ)｜” で、IUT III Cor3.12 になるけどねｗ（＾＾； （Proof.は、その直後から4ページほどある） 山下サーベイ論文は、それなりに面白いわ（＾＾
75:現代数学の系譜 雑談
20/05/18 06:27:46.26 8lQUmKDl.net
>>72 補足
山下サーベイ、昨夜ざっと流し読みで眺めてみたが
１）”The exposition was designed to be as self-contained as possible.”に拘りすぎで、失敗していると思う
むしろ、加藤文元本か、星のIUT入門のように「ここの記述はIUT本体論文にゆずる」みたくしてページ数を圧縮した方が良かったかも
（いろいろ、記述に工夫していることは、読み取れたけど、”こんなの読めないだろう”という箇所が結構多い）
あるいは、（下記）Perelmanの証明に対する検証レポートのように、本論文よりもっとページ数が増えても良かったのでは？
２）望月先生のサイトから、この山下サーベイに対するリンクが張られていない
”Bx (201x), 000?000”がねー、もう2020年だからねー（＾＾；
３）望月先生もいかん、はっきり「ここを、こうしろ」って指示出さないと
山下サーベイは、フェセンコ先生とのバトルがあったんだよね。フェセンコ先生が酷評したんだ、たしか。おれんとこのM生レベルだと
サーベイの初版には、「お前こそ分かってない」とか書いてあった
そこは、水に流して、ちゃんと”Bx (202x)”で掲載になるようにしてやらないと。それも教授の仕事だろ（＾＾；
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
RIMS K?oky?uroku Bessatsu
Bx (201x), 000?000
A PROOF OF THE ABC CONJECTURE AFTER MOCHIZUKI By Go Yamashita last updated on 8/July/2019.
Abstract
We give a survey of S. Mochizuki’s ingenious inter-universal Teichm¨uller theory and explain how it gives rise to Diophantine inequalities.
The exposition was designed to be as self-contained as possible.
URLﾘﾝｸ(en.wikipedia.org)
List of long mathematical proofs
・2003 Poincare conjecture, Geometrization theorem, Geometrization conjecture. Perelman's original proofs of the Poincare conjecture and the Geometrization conjecture were not lengthy, but were rather sketchy. Several other mathematicians have published proofs with the details filled in, which come to several hundred pages.
76:１３２人目の素数さん
20/05/18 06:54:06.50 KPvg0/0K.net
>>66 >>68
デヴィッド・グレーバー「負債論」を読もう
君が信仰する説とは真逆の事が書いてある
トンデモ本ばかり読むと馬鹿になるよ
77:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/18 06:56:10 8lQUmKDl.net
メモ
Witt vectorって、なんか出てくるんだ
そういうことなの？（＾＾
URLﾘﾝｸ(en.wikipedia.org)
Witt vector
Schmid[3] generalized further to non-commutative cyclic algebras of degree pn.
In the process of doing so, certain polynomials related to addition of p-adic integers appeared. Witt seized on these polynomials.
By using them systematically, he was able to give simple and unified constructions of degree pn field extensions and cyclic algebras. Specifically, he introduced a ring now called Wn(k), the ring of n-truncated p-typical Witt vectors.
This ring has k as a quotient, and it comes with an operator F which is called the Frobenius operator because it reduces to the Frobenius operator on k.
URLﾘﾝｸ(en.wikipedia.org)
p-adic number
Notation
In fact any set of p integers which are in distinct residue classes modulo p may be used as p-adic digits. In number theory, Teichmuller representatives are sometimes used as digits.[8]
78:１３２人目の素数さん
20/05/18 06:58:57 KPvg0/0K.net
>>71
ワカランチンでトンデモのあんたが心配することじゃない
>>72-73
実数・連続＆線形空間・線形写像の定義すら理解できずに落ちこぼれた
海面下レベルのあんたが読んでも１行も理解できないだろ
79:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/18 07:03:01 8lQUmKDl.net
メモ
Etaleもよく出てくる（＾＾
URLﾘﾝｸ(en.wikipedia.org)
Etale cohomology
In mathematics, the etale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil conjectures.
Etale cohomology theory can be used to construct ｌ-adic cohomology, which is an example of a Weil cohomology theory in algebraic geometry.
This has many applications, such as the proof of the Weil conjectures and the construction of representations of finite groups of Lie type.
URLﾘﾝｸ(ja.wikipedia.org)
エタール・コホモロジー
80:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/18 07:04:53 8lQUmKDl.net
>>76
人をディスっても、数学科で落ちこぼれた 自分の救いにはならない
＜証明＞
定義より、自明！ｗ（＾＾；
QEDｗｗ
81:１３２人目の素数さん
20/05/18 07:06:56.97 KPvg0/0K.net
>>78
論理がまったく分らん工学部卒の真性馬鹿が発狂ｗｗｗｗｗｗｗ
82:１３２人目の素数さん
20/05/18 07:12:52.91 KPvg0/0K.net
いくら検索結果をコピペしても、数学は理解できるようにならない
文章を読まない 読んでも理解できない 発達障害にはな
Q!E!D! それな それな
URLﾘﾝｸ(www.youtube.com)
83:現代数学の系譜 雑談
20/05/18 07:25:01.11 8lQUmKDl.net
>>49
遠隔レス すまん
戻るけど、数学屋さんて、時間の観念が壊れてないか？
サーベイが非常に遅れるとか
2019年の仕事が、殆どないとか
まあ、望月先生くらいになると
10年くらい IUTの大風呂敷だけで やっていけるのかも知れないけどね
常人には耐えられないだろうね
だから、ショルツ先生やタオ先生のようにアウトプットをどんどん出せるか、耐えられるか 二択かも
昔、米国の大学教授が、毎年論文（ゴミでもなんでも）を書かないと行けないらしいとか 聞いたけど
日本も、そうなってきたんだね きっと（＾＾；
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
My Works
84:現代数学の系譜 雑談
20/05/18 07:33:24.67 8lQUmKDl.net
>>73 補足
> １）”The exposition was designed to be as self-contained as possible.”に拘りすぎで、失敗していると思う
加藤文元本が、良いお手本だと思うが
１．読み手のターゲットをどこに置くか？ 例えば、数学科M生の数論専門外の人とする
２．そのターゲットの人に分かるように書かないと、意味ない
３．書けたら、ターゲット レベルの人意見を聞いて、手直ししないと
（加藤文元本だと、出版社のチェックがあって、「先生、ここ表現が難しすぎる」とか言われて 直したところがあると思う。あれ読んで、ワカランなりに、分かったところもあったよｗ（＾＾； ）
85:現代数学の系譜 雑談
20/05/18 07:37:32.69 8lQUmKDl.net
>>81
＜余談の余談＞
試験答案なら、締め切りまでに出さないと、意味がない
卒論、修論も同じでしょ、締め切りまでに出さないと、意味がない
（DR論文は、どうか知らないが（＾＾； ）
そういうことって、世の中 けっこう普通なんだけどね
数学界では、そうでもないんだろうね
86:１３２人目の素数さん
20/05/18 07:52:54.07 KPvg0/0K.net
>>83
締め切りに合わせてABC予想が解けるんなら苦労しない
貴様、馬鹿か？
87:１３２人目の素数さん
20/05/18 08:00:03.67 KPvg0/0K.net
>>82
数学科M生だともう誤魔化しは効かない
そのレベルの人に論理的な穴なしに説明できない時点でアウト
数学科学部レベルの初歩も間違えるような
工学部卒の馬鹿は百遍死んでも分かるまい
悪いことはいわない 数学は諦めろ いいな！
88:現代数学の系譜 雑談
20/05/18 10:03:53.70 sWLLkQZr.net
>>85
>数学科M生だともう誤魔化しは効かない
じゃあ、なんで間違っているショルツのSSレポートに引っ掛かるんだ？
Woitとか David Robertsとか、バカですか？ｗ（＾＾；
89:１３２人目の素数さん
20/05/18 11:10:38.97 QiG/uw6E.net
>>82
ざっと読みましたが数学科M生はありえないですね
せいぜい中高生と文系大学生向け
望月氏の相対性理論と量子力学の見方も
変にバイアスがかかっているし
（なんかそれになぞらえているが）
加藤氏が解説した、おそらく肝の部分の、加法、乗法を別の宇宙にもって
いって通信しながら操作する話は
ショルツ達に数学的になりたっていないことが
指摘され、（エッシャーの階段）そこを除くと理論としてあたりまえのものしかのこらない
ということですね
あとでゴミになりそうなのでキンドル版にしました
90:現代数学の系譜 雑談
20/05/18 11:17:18.59 sWLLkQZr.net
>>76
線形空間・線形写像の定義を、お経のように覚える数学科生か？笑える（＾＾
小話その１
社員A「おい、この行列掛け算を計算してくれ」
数学科アルバイト「はい、まず～ぅ、線形空間・線形写像の定義を調べま～す・・」？ｗ(゜ロ゜;
社員B「おい、この行列掛け算を計算してくれ」
中高一貫アルバイト「はい、エクセル使います。自分エクセル得意です！」ｗ（＾＾
分かるよね
そりゃ、ポテンシャルは 数学科アルバイトの方が高いかもしれないけどねぇ～ｗ（＾＾；
（参考）
URLﾘﾝｸ(math-fun.net)
趣味の大学数学
なぜ教養数学として微積分学と線形代数学を学ぶのか ブルバキが現代数学に与えた影響 木村
2018年7月12日2019年10月25日
URLﾘﾝｸ(cdn.shortpixel.ai)
なぜこのようなカリキュラムになっているのでしょうか？ それには、ブルバキと呼ばれる数学者集団が大きく関係しています。
僕が大学に入り初めて図書館でブルバキの本を手にとったとき、驚きました。その衝撃は、今でも覚えています。
定義・定理・証明の連続で、直感に訴えるような図もなく、なぜその分野をするのかという説明もなく、ひたすら数学が展開されているのです。
このようなブルバキズム・数学原論のスタイルは、現代数学、また数学教育に大きな影響を与えました。
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp) （URLﾘﾝｸ(www.ms.u-tokyo.ac.jp) ）
「ブルバキと「数学原論」 ? 斎藤 毅」
によると、教養数学として微積分学とセットで線形代数学が教えられるようになったのは、ブルバキが線形代数の重要性を強調したからだらだそうです。
91:現代数学の系譜 雑談
20/05/18 11:26:32.00 sWLLkQZr.net
>>88
圏論的視点から解説する，「21世紀の『数学原論』」（下記）よさげ （＾＾
”おわりに―ブルバキ『数学原論』について”だけでも、読む価値がありそうだな
（参考）
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
斎藤 毅のホームページ 出版リスト
「 『数学原論』 」 URLﾘﾝｸ(www.utp.or.jp)
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
数学原論 新刊 斎藤 毅 著 発売日:2020年04月10日判型:A5ページ数：360頁
サンプルPDF公開
内容紹介
数学は1つである―線形代数と微積分を柱に，集合と位相のことばで書かれた現代数学の基礎の先にはどのような世界が広がるのだろう．代数・幾何・解析が有機的に結合，交差し，数学をつくりあげるようすを圏論的視点から解説する，「21世紀の『数学原論』」．
※試し読み用のPDFをこちらからダウンロードできます。→URLﾘﾝｸ(www.utp.or.jp)
主要目次
【詳細目次】
はじめに
この本の使い方
第1章 圏と関手
1.1 ファイバー積
1.2 圏
1.3 関手
1.4 圏の同値
1.5 表現可能関手
1.6 随伴関手
1.7 逆極限
第4章 ホモロジー
4.1 最大値の定理
4.2 位相空間と連続写像
4.3 へびの図式
4.4 複体
第5章 微分形式
5.1 微分形式
5.2 積分
5.3 グリーンの定理
5.4 ホモロジーの線形近似
第7章 層
7.1 前層と順像
7.2 層
7.3 はりあわせ
7.4 平方根
第8章 曲面と多様体
8.1 多様体と C∞〔斜体Cに上付き無限記号〕写像
8.2 コンパクト
8.3 ホモロジー
8.4 層の構成
第10章 楕円曲線
10.1 加群の長さ
10.2 環の有限射
10.3 素イデアル分解
おわりに―ブルバキ『数学原論』について
92:１３２人目の素数さん
20/05/18 11:35:00.50 QiG/uw6E.net
>>89
で、それ読んだんですか？
93:１３２人目の素数さん
20/05/18 11:45:06.06 QiG/uw6E.net
>>88
数学科M生なら
線形空間は写像、核、商空間、共役、射影などなど
一瞬でイメージできるように訓練されてるから
行列の計算も速いよ
あなたと違って
94:１３２人目の素数さん
20/05/18 12:00:55.60 KPvg0/0K.net
>>86
>間違っているショルツのSSレポート
◆e.a0E5TtKEの願望にすぎんね
>>87
>加法、乗法を別の宇宙にもっていって通信しながら操作する話は
>ショルツ達に数学的になりたっていないことが指摘され、（エッシャーの階段）
数学的にいえばmonodromy
ネットのもっちー支持者はこの言葉の意味を知らないのですっ飛ばす
>そこを除くと理論としてあたりまえのものしかのこらない
そういうことですね
95:１３２人目の素数さん
20/05/18 12:02:13.13 xqw7d81x.net
ブルばかって何？
96:１３２人目の素数さん
20/05/18 12:02:20.07 KPvg0/0K.net
>>88
>線形空間・線形写像の定義を、お経のように覚える
もちろん、線形空間と線形写像の定義だけじゃ
数ベクトルも行列も出てこないよ
そこで線形独立と基底が必要なんだな
有限次元（基底が有限個）なら、
線形空間の元は数ベクトルで表せ
線形写像も行列として表せる
証明してみ？ 簡単だから
ま、定義も理解できない工学部卒の馬鹿には無理か？
>>89-90
実数の定義も線形空間の定義も理解できん工学部卒には無理だろう
97:１３２人目の素数さん
20/05/18 12:14:46 KPvg0/0K.net
◆e.a0E5TtKEが「数学原論」を読んだら
・まず、第一章 圏を読んだところで
全然理解できず、呼吸困難に陥る
・「いやいや、圏だけ読んでも分かるわけないな
圏を実際に使うにはホモロジーがわからないと」
とつぶやいて今度は、第四章 ホモロジーを読むが
これまた全然理解できず、腹痛で悶絶
・「まだまだ・・・そうだ、層を理解しよう！」
とつぶやいて第七章 層を読むも
やっぱり全然理解できず、全身痙攣で泡吹いて失神
群とか位相とかもロクに分らん奴には到底無理だと悟れ
98:１３２人目の素数さん
20/05/18 12:21:11 xqw7d81x.net
ごめん。チンピんかんぴんじゃ
99:１３２人目の素数さん
20/05/18 12:26:44 8MjVYuen.net
数学の落ちこぼれってなんで工学にマウント取りたがるの？そうでもしないと死ぬの？
100:１３２人目の素数さん
20/05/18 12:31:57 WLHOEmOK.net
コピぺ魔では工学で役立たず
IUT信者がお似合いだろう
101:１３２人目の素数さん
20/05/18 12:40:07 KPvg0/0K.net
>>97
逆
ワカランチンのくせにコピペでマウントとろうとする工学馬鹿に
数学の恐ろしさを思い知らせてやったまで
身の程知らずの馬鹿こそ死ね
102:１３２人目の素数さん
20/05/18 12:41:03 8MjVYuen.net
>>99
数学の恐ろしさwww
革命家の桜坂46は語彙も豊富ですな。
103:１３２人目の素数さん
20/05/18 12:43:22 xqw7d81x.net
数学怖い、数学怖い、数学怖い、数学怖い、数学怖い、・・・
104:１３２人目の素数さん
20/05/18 12:47:25 b04VT8qc.net
>>90
ここのスレ主が読むわけないし、読めるわけがない
ノイキルヒ本だって持ってるだけで読んでないし
分離閉包が学部の範囲外とか言っちゃうレベルだぞ？
ｽﾚﾘﾝｸ(math板:92番)
105:１３２人目の素数さん
20/05/18 12:52:07 KPvg0/0K.net
>>102
そもそも◆e.a0E5TtKEがなぜノイキルヒに興味もったか謎
ヤツ、整数論は大嫌いだとほざいてなかったか
そういう意味でいえば、何で数論幾何に食いついたかも謎
数論幾何って・・・整数論だぞ
106:１３２人目の素数さん
20/05/18 12:59:04 suK+Xhi8.net
数学ができれば、数学や工学なんていかないよ。
医学部一択だな。
107:１３２人目の素数さん
20/05/18 13:14:54 wjp1vRub.net
モッチーも一回くらいは医学部、金融など別の道にすすむことを考えたことあるんだろうか
金儲けという意味で
108:１３２人目の素数さん
20/05/18 13:19:21 WLHOEmOK.net
医学なら
俺様の診断にケチをつけるのか？
人生は諸法無我だ、内部告発するぞ！
と罵倒する羽目に
109:１３２人目の素数さん
20/05/18 13:24:53 yKA2jJNv.net
>>105
あれだけ数学できたら無いだろうな
110:１３２人目の素数さん
20/05/18 13:37:46.53 JxrqGXbp.net
講演会で「数学でお金稼ぎできますか？」という質問をしたら「彼にお金を渡して帰ってもらいなさい。お金稼ぎにしか興味がないようだから」と言うんじゃないだろうか
111:儂
20/05/18 13:41:14.60 DRtned0W.net
>>104
それ日本だけじゃなくて世界的な話？
112:現代数学の系譜 雑談
20/05/18 13:41:19.15 sWLLkQZr.net
戻るよ（＾＾；
Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板:502番)
502 名前：１３２人目の素数さん[sage] 投稿日：2020/05/09(土) 08:56:49.59 ID:jgM/AhDP
(抜粋)
たとえば複素関数論だったら、複素変数を「x」で書き表すことは
まずなくて、普通は「z」とか「w」とかの文字を複素変数に割り当てる。
別にそこで「x」の文字を使っても間違いではないが、
しかしそういう人が実際にいたら
「この人、複素関数論なにも知らないのでは？」という
怪しい空気が絶対に流れるわけで。
(引用終り)
下記
”概型：複素係数の2変数多項式環 C[x, y] は C^2 上の多項式関数の代数系を表しており”
と書くと、「怪しい空気が絶対に流れる」？？ｗｗ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
概型
(抜粋)
古典的な代数幾何学との対応
古典的代数幾何学における主要な研究対象であった、多項式の零点集合として定義されるような図形（アフィン多様体）は次のようにして（アフィン）スキームの文脈に再現される。 例として複素二次元空間 C^2 上で定義される
f(x,y)=x^{2}
113:+y^{2}-1} という多項式関数の零点集合 S を考える。 複素係数の2変数多項式環 C[x, y] は C^2 上の多項式関数の代数系を表しており、この多項式環を f(x, y) で割ってできる剰余環 A = C[x, y]/(f) の元は C^2 上の関数について S 上で区別できない差を無視したものと見なすことができる。したがって、この商環は S 上の関数全体の代数系をあらわすと考えられる。 つづく
114:現代数学の系譜 雑談
20/05/18 13:41:54.17 sWLLkQZr.net
>>110
つづき
一方で A の極大イデアルは f (x, y) = 0 の点と一対一に対応している。たとえば、上で定義した A の極大イデアル m = (x ? 1, y) は S 上の点 (1, 0) という点に対応している。そこで A の極大イデアルの集合を Spm A と定義すれば、これを今まで我々が考えてきた S と同一視することができる。これが、古典的な意味での点集合としての代数多様体である。
しかし、数論への応用を視野に入れた圏論的な定式化のためには、既約部分多様体をも点と見なした方が都合が良いことが知られている。つまり、任意の環の準同型 B → C に対し必ずアフィンスキームの射 Spec C → Spec B が存在する一方で、Spm C と Spm B の間にはアプリオリな対応が存在しない。このように、スキーム論では多様体上の点は部分多様体と捉え、逆に（既約）部分多様体も点のようにみなされる。
また、各点 p における構造層の茎は p の近傍でのみ定義されているような正則関数を考えることに対応している。
アフィン多様体の張り合わせで得られる射影空間などがスキームとして表現される。
URLﾘﾝｸ(en.wikipedia.org)(mathematics)
Scheme (mathematics)
Examples
・A polynomial f over a field k, f ∈ k[x1,...,xn], determines a closed subscheme f = 0 in affine space An over k, called an affine hypersurface. Formally, it can be defined as
{Spec} k[x_{1},・・・,x_{n}]/(f).
For example, taking k to be the complex numbers, the equation x2 = y2(y+1) defines a singular curve in the affine plane A^2C, called a nodal cubic curve.
(引用終り)
以上（＾＾；
115:１３２人目の素数さん
20/05/18 14:12:01 b04VT8qc.net
初等的な複素関数 f(z) に対して、普通は複素変数 z に x という記号を割り当てることはないという話を
勝手に多項式環に拡大解釈してコピペとかマジ？
116:１３２人目の素数さん
20/05/18 14:37:22 c7RTguwP.net
リムスで修士の募集が出てるけど、モッチーのPDF、派手だな
117:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/18 14:43:40 sWLLkQZr.net
メモ
平坦加群：
ジャン＝ピエール・セールによって導入された[1]
ただし、彼はなぜ平坦（flat）という語を用いたか覚えていないと言っているｗ(゜ロ゜;
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
平坦加群
数学において、平坦加群（へいたんかぐん、英: flat module）とは、テンソル積をとる関手 M x ? が完全となる加群 M のことである。 ホモロジー代数学および代数幾何学における基本的な概念のひとつ。ジャン＝ピエール・セールによって導入された[1]。
脚注
1^ ただし、彼はなぜ平坦（flat）という語を用いたか覚えていないと言っている。
URLﾘﾝｸ(mathoverflow.net)
“Why are flat morphisms “flat?””. mathoverflow asked Nov 25 '09 at 11:41 Harrison Brown 2015年9月28日閲覧。
(抜粋)
55
@Mariano: A couple of weeks ago I asked Serre about this.
He didn't remember why the word flat was used, or if the word was due to him or possibly Cartan/Eilenberg.
One point he emphasized is that it was Grothendieck who deserves all credit for the discovery of the importance of flatness in geometry (fibral criteria, families, etc.).
For Serre it was a matter of isolating the "right" algebraic notion with which to discuss the various changes of rings (analytic vs. algebraic local rings, completions thereof, general localization) which came up in GAGA and FAC. ? BCnrd May 23 '10 at 6:11
URLﾘﾝｸ(ja.wikipedia.org)
エタール射
エタール射（エタールしゃ、etale morphism）とは、数学において有限型スキーム間の平坦かつ不分岐な射のこと。
URLﾘﾝｸ(en.wikipedia.org)
Etale morphism
Inverse function theorem
Etale morphisms
つづく
118:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/18 14:44:13 sWLLkQZr.net
>>114
つづき
f: X → Y
are the algebraic counterpart of local diffeomorphisms. More precisely, a morphism between smooth varieties is etale at a point iff the differential between the corresponding tangent spaces is an isomorphism.
This is in turn precisely the condition needed to ensure that a map between manifolds is a local diffeomorphism, i.e. for any point y ∈ Y, there is an open neighborhood U of x such that the restriction of f to U is a diffeomorphism. This conclusion does not hold in algebraic geometry, because the topology is too coarse. For example, consider the projection f of the parabola
y = x2
to the y-axis. This morphism is etale at every point except the origin (0, 0), because the differential is given by 2x, which does not vanish at these points.
However, there is no (Zariski-)local inverse of f, just because the square root is not an algebraic map, not being given by polynomials. However, there is a remedy for this situation, using the etale topology.
(引用終り)
以上
119:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/18 14:48:17 sWLLkQZr.net
>>112
どうも
コメントありがとう（＾＾
まあ、文脈によるって話だろう
代数幾何では、複素変数でも 普通にC^2で（x,y）
R^2と使い分ける意味が薄いってことでしょうね～ｗ
そう解釈しました（＾＾；
120:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/18 14:50:11 sWLLkQZr.net
>>113
コメントありがとう（＾＾
同意です
IUTが一段落で
ちょっと余裕が出て
（星先生もいるし）
マイルドになった気がするな～ｗ（＾＾；
121:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/18 14:52:57 sWLLkQZr.net
>>117
余談だけど、星先生とか南出先生は、ピカいちで 優秀なのでしょうね～ｗ（＾＾；
122:１３２人目の素数さん
20/05/18 14:55:47 zCuhpDVw.net
ついにIUTサロンスレ陥落か？
由々しき問題だな。
123:１３２人目の素数さん
20/05/18 15:01:54 KPvg0/0K.net
◆e.a0E5TtKE 狂ったようにコピペ
・・・というか狂ってるな
124:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/18 15:04:17 sWLLkQZr.net
>>118
南出 新先生のDR論文は16ページか（下記）
まあ、ページ数でいうものではないけれども
つーか、いまどき、コースDRと論文DRと、基準が違うのかもね
こんど、IUTの明示公式の論文が完成したら ホームラン論文でしょうね（＾＾；
はてさて、どうなることやら（＾＾
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
125:/students-japanese.html 望月研 希望する学生・受験生諸君へ 南出 新 （みなみで あらた） http://www.kurims.kyoto-u.ac.jp/~motizuki/2012-04-02-minamide-arata.jpg 略歴： 2011年03月 京都大学 理学部 数学科 卒業 2011年04月 京都大学大学院 理学研究科 修士課程 数学・数理解析専攻 入学 2013年03月 京都大学大学院 理学研究科 修士課程 数学・数理解析専攻 修了 2013年04月～09月 京都大学数理解析研究所 研究生 2013年10月 大阪大学 理学研究科 数学専攻 博士課程 入学 2014年03月 大阪大学 理学研究科 数学専攻 博士課程 中退 2014年04月 京都大学大学院 理学研究科 博士課程 数学・数理解析専攻 入学 2016年04月～2017年03月 日本学術振興会 特別研究員（DC2） 2017年03月 京都大学大学院 理学研究科 博士課程 数学・数理解析専攻 修了 学位論文： http://www.kurims.kyoto-u.ac.jp/~motizuki/2015-04-24%20Indecomposability%20of%20Various%20Profinite%20Groups%20Arising%20from%20Hyperbolic%20Curves.pdf Indecomposability of Various Profinite Groups Arising from Hyperbolic Curves PDF 2017年04月～2019年03月 京都大学数理解析研究所 研究員 2019年04月～ イギリス・ノッティンガム大学・オックスフォード大学 Invited Research Visito
126:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/18 15:06:11 sWLLkQZr.net
>>119
おれが立てても良いが
スレ立てなど、一瞬でできるが
まあ、遠慮しときますよ（＾＾
へんな分裂に、成りかねないからねｗ（＾＾；
127:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/18 15:07:26 sWLLkQZr.net
>>120
IUT応援スレで、政治や新左翼革命談義と、どっちがどうかだなｗ
いい勝負じゃないかなｗｗ(゜ロ゜;
128:１３２人目の素数さん
20/05/18 15:27:20.73 KPvg0/0K.net
分りもしない文章コピペするのは愚の骨頂
129:１３２人目の素数さん
20/05/18 15:29:26.82 DRtned0W.net
5ch反IUT論装戦線お猿の一石めーﾁﾞﾁﾞｯﾁｬﾏ ◆y7fKJ8VsjM の無政府主義は個である｡
5ch反IUT論装戦線お猿の一石めーﾁﾞﾁﾞｯﾁｬﾏ ◆y7fKJ8VsjM の無政府主義は大業を成すに連帯が必要｡
無政府主義は中共の格好の餌である上に個の連帯は幻想であり欠陥があるので余計に好都合な餌である｡
130:１３２人目の素数さん
20/05/18 15:34:34.39 KPvg0/0K.net
＞中共の格好の餌
国家の支配者はお互いに他国が敵だといって貧民をたぶらかす
貴様はどんだけ馬鹿なんだ
131:１３２人目の素数さん
20/05/18 15:36:13.48 KPvg0/0K.net
＞個の連帯は幻想であり欠陥がある
他者への不信こそ重大な欠陥であり自己の破滅
貴様はどんだけ馬鹿なんだ
132:粋蕎 ◆C2UdlLHDRI
20/05/18 15:53:18 DRtned0W.net
>>126
貧民をたぶらかすだけなら演出を遥かに凌駕した領海紛争は起きない
>>127
国家に不信を持つ者が言えた台詞ではない
133:１３２人目の素数さん
20/05/18 16:40:24 GR9tsY8R.net
>>121
何で南出は阪大に半年間仮面浪人みたいなことしてんのかね？
134:粋蕎 ◆C2UdlLHDRI
20/05/18 18:02:02 DRtned0W.net
カラスの勝手でしょー
135:１３２人目の素数さん
20/05/18 18:02:06 KPvg0/0K.net
>>129
なんかあったんじゃない？
136:１３２人目の素数さん
20/05/18 18:04:22 fBQs7NBx.net
仮面浪人
そのまんまじゃないの？
京大の院試に落ちて阪大にいって再チャレンジで受かった
137:１３２人目の素数さん
20/05/18 18:17:50 b04VT8qc.net
仮面浪人する余裕があるなんて
お金持ちの人は羨ましいなあ
138:１３２人目の素数さん
20/05/18 18:59:27.58 3DqFKB35.net
>>108
そこで100人くらいガタッと一斉に立ち上がって俺も俺もと言い出せば…
公務員は金は天から降ってくるものだとマジで思ってるからな
139:１３２人目の素数さん
20/05/18 19:10:29 KPvg0/0K.net
>>134
公務員は国民から金を盗む泥棒だからな
140:１３２人目の素数さん
20/05/18 20:00:31 x/KQ2SrG.net
>>113
見たけど志望者に期待することがリムスの教員の中で一番ハードル高くない？
他の先生は学部レベルをきちんと理解しておくことなのに
141:１３２人目の素数さん
20/05/18 20:12:37 KPvg0/0K.net
>>136
他人に厳しく 自分に甘く
自分はアメリカでポストが得られず日本に逃げてきたんだろ
欧米を憎悪してるのはそのせい ジコチュウの典型
142:１３２人目の素数さん
20/05/18 20:19:40.83 b04VT8qc.net
研究者を目指す人以外は来るなって感じかな
そもそも研究分野が専門的過ぎて、条件を満たす人でも志望する人は少なそう
RIMSって修士課程でも就職するような学生は取らない感じなのかな
143:１３２人目の素数さん
20/05/18 20:26:40.08 vXEwffiD.net
>>137
古都がはぐくむ数学？ていう本だったと思うけど、それによるとRImS宛に日本で就職したいって手紙を書いたらしい
ブログでもどうしても日本に帰りたかったと書いてたから、米国でポストが
なかったということはなんじゃない
144:１３２人目の素数さん
20/05/18 20:26:42.53 KPvg0/0K.net
>>138
RIMSに限らず、数学の大学院はそうでしょ
確率論なら企業の就職もあるだろうけどね
145:１３２人目の素数さん
20/05/18 20:27:56.81 vXEwffiD.net
日本では当時、誰もモッチさんのこと知らなかったけど逸材とみなされて採用されたということらしい
146:１３２人目の素数さん
20/05/18 20:28:33 KPvg0/0K.net
>>139
本人がいうことはあてにならない
先祖代々日本人で日本の大学を出た人ですら
アメリカの大学の先生になるこの時代に
逆コースはあり得んね
147:１３２人目の素数さん
20/05/18 20:32:52 KPvg0/0K.net
>>141
Faltingsは推薦状を書かなかったんだな
所詮、その程度の存在
だからインタビューでもそっけなかったな
148:１３２人目の素数さん
20/05/18 20:35:04 vXEwffiD.net
ようわからんけど、飛び級でプリンストン、フィールズ賞受賞者の門下で博士号とった優秀な人にポストないとかなら辛いなw
アメリカ暮らしの生活が長いモッチさんがどんな字で、どんな文面で手紙書いたかは気になる
149:１３２人目の素数さん
20/05/18 20:41:12 x/KQ2SrG.net
やっぱりファルティングスと仲悪いの？
プリンストン時代の知人で今そこそこ有名になってる数学者はファルティングス以外にはいないの？
150:１３２人目の素数さん
20/05/18 21:02:55 47MCuBTf.net
>>134
ユークリッドは金持ちだったんだろうなぁ
151:１３２人目の素数さん
20/05/18 21:13:26.57 x/KQ2SrG.net
今気づいたけどファルティングスもショルツもドイツ人で同じボン大学で働いてる
2人で餅のことを話題にしてるかな？
152:１３２人目の素数さん
20/05/18 21:25:22.78 vXEwffiD.net
ぼろくそいうてそう
アイツどーにもならんわ
まぁ昔からおかしかったわみたいな
153:１３２人目の素数さん
20/05/18 21:25:53.34 b04VT8qc.net
>>140
そうでもないと思うけどなあ
例えば、東大は実態として、修士課程では（年度によるが）半数近くの学生は就職しているし、
案内のページにも
>大学院修了者は、大学、研究所、官公庁、情報、金融保険、製造、教育等の多くの領域で活躍しています。
とあるから、RIMSほど研究者養成機関という印象は受けない
一方で、RIMSは修士課程と博士後期課程の在籍人数がほぼ同じなので、
修士課程の学生のほとんどが博士後期課程に進学しているかのように見える
これについては「卒業後の進路」が見当たらないので何とも言えんが
【東大】
卒業後の進路 | 東京大学大学院数理科学研究科理学部数学科・理学部数学科
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
大学院数理科学研究科について | 東京大学大学院数理科学研究科理学部数学科・理学部数学科
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
【RIMS】
教育｜京都大学数理解析研究所
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
154:１３２人目の素数さん
20/05/18 21:38:09 FpWXgqB
155:A.net
156:１３２人目の素数さん
20/05/18 22:28:22 hxVG1u3/.net
RIMSの修士でも就職する人はいるけど、基本的にはみんな博士課程に行くつもりで入学してそうな気はする
157:１３２人目の素数さん
20/05/18 22:41:36.31 Bk4kspVu.net
アスペ、○k扱いで悪口言われまくりだろうなw
158:１３２人目の素数さん
20/05/18 22:45:04.64 b04VT8qc.net
>>151
まあ国立大の大学院に行く人って大体そうだよね
でもここまで修士課程と博士後期課程の在籍人数が近いのは異常だと思う
もちろんみんなD進するために必死で研究しているんだろうけど、
それだけじゃなくて、単に教員が甘いだけなんじゃないの？という気がしてしまう
159:１３２人目の素数さん
20/05/18 23:02:13.04 hxVG1u3/.net
>>153
RIMSに限らず日本は博士進もうと思えばよほど適性がない限りは進ませてくれるしね
自分から諦める人がほとんどだとは思うけど
RIMSって日本の数学の頂点と言っても過言ではないし、博士に進んでもいいんじゃねとは思う
どちらかと言うと超優秀な人で博士行ってもいいと思う人が、RIMSの他の学生や教員と比べて進学諦めてる印象
160:１３２人目の素数さん
20/05/18 23:07:41.79 AV8oPYFI.net
単に教員が甘いだけなんじゃないの？という気がしてしまう
外部評価れる現在は京都でも学生はお客さん。いれなきゃなんない
出来なくてもRIMSに入れるし博士で研究ごっこが出来る
昔のRIMS修士は純粋数学２人くらい 博士に上がるのもその半数くらいじゃなかったか
数学教室も先端・旧Aコースは誰でも入れるようになった
161:１３２人目の素数さん
20/05/18 23:10:33.44 hxVG1u3/.net
数年前まで学生やってたけど、数学教室のAコースが誰でも入れるとか初めて聞いたぞ
少なくとも俺の知る限りはRIMSとかAコースの人間はみんな超優秀だった
162:１３２人目の素数さん
20/05/18 23:15:52.44 AV8oPYFI.net
>>156
それはAコースって名前の時代
いま昔のAコースは先端とかいわれていて１０数人はいれている
アンナ奴でも入れるとネタにされるような時代になっている
163:１３２人目の素数さん
20/05/18 23:20:41.26 hxVG1u3/.net
博士課程に進む人が少なくなってると言われてる今の時代にもっと減らした方がいいとはあまり思わんな
能力はあるのに経済的事情で進めない人の方が多いだろうに
164:１３２人目の素数さん
20/05/18 23:27:48.39 AV8oPYFI.net
京都の少数精鋭主義は実際いうほどうまくいってなかったし
Bコースの学生からのほうがいい研究者をだした学年すらある
お金があって挑戦したいならチャンスの芽をたくさんいかしている
ほうがいいかも
165:１３２人目の素数さん
20/05/18 23:44:34.01 13WCrwJX.net
基本的には天才が一人いれば成果が出るんだから数学界にとっては人が多いほうが良い。
ただ博士過程にポイポイ入れるのはむしろ本人を思えば甘くない決断だね。
数学だけやって博士課程に進み、結果研究者に向いてなかったとしたら、就職は厳しいだろう。
そんな人を増やすことになるだろうから。
166:現代数学の系譜 雑談
20/05/18 23:52:32.24 8lQUmKDl.net
みんな、レベル高杉
ちょっと、落としますね（＾＾；
ビデオ 21分30秒もの
URLﾘﾝｸ(news.nicovideo.jp)
35年間未解明だった「ABC予想」をやさしく解説してみた。証明されるメリットとは？ 謎に満ちた数学の宇宙を覗いてみませんか
2020/04/24 18:00ニコニコニュース オリジナル15
(抜粋)
今回紹介するのは、えりまきおじさんさんが投稿した
URLﾘﾝｸ(www.nicovideo.jp)
『【数学きりたん】きりたんと学ぶABC予想ってなんですか？？』という動画です。
VOICEROIDの東北きりたんが、35年間未解明だった超難問「ABC予想」についての解説を行いました。
東北きりたんが数学の「未解決っぽい問題」であるABC予想について解説してくれます。
東北きりたん：
素因数分解をもとに、その要素をひとつずつ掛けた数字を作っているのがわかりますか。これがある自然数に対応するradの定義です。ABC予想とは、このradの性質についての問題なのです。その性質とは何か。では次の計算を見ていきましょう。
ふたつの互いに素な自然数を用意して、その足し算と、3つの掛け算のradを計算します。
東北きりたん：
AもBも自然数ですので、A+Bとしたとき、A×B×CのほうがCより大きいのが当たり前ですよね。ではこれをrad(abc)に置き換えても、同様に成り立つのではないか。これがABC予想の元々の部分です。
例外の存在
東北きりたん：
ではなぜ、黒板では「ほとんどの場合」と但し書きをしているのでしょうか。そうです、成り立たない例外があるのです。それらの例外を見ていきましょう。
投稿日の2017年から3年の月日が経過し、2020年ついに日本の天才数学者・望月新一氏の歴史的快挙により証明された「ABC予想」。動画のコメント欄は「理論通りましたね おめでとう」「数学界の革命」「数学者って本当に凄いね」などと祝福と熱いコメントであふれかえっていました。
視聴者コメント
面白かった（理解できたとは言ってない）
日本語なのに理解が追い付かないぜ
数学は哲学とはよく言ったもんだ
なんで足し算と掛け算を比べる必要があるんですか（激怒）
役に立つか分からないけど好きだからやるんだよぉ！（数学専攻
わからんということがわかった、楽しかった
167:１３２人目の素数さん
20/05/19 00:04:58.21 p6uILVj+.net
コピペやめてくんないかな だれも読んでないよ
168:１３２人目の素数さん
20/05/19 00:09:38.25 ROEUDlbP.net
遠アーベル幾何による環の変形、タイヒミュラー理論の類似自体はうまく行ってるの？
うまくいってるなら無意味ということはないと思うんだけど。
169:１３２人目の素数さん
20/05/19 00:14:41.28 4bqopXLx.net
しつこく言いたくなるが、radは何の略？
170:１３２人目の素数さん
20/05/19 00:22:02.05 028457WR.net
>>163
そこまではうまく行ってること確認されてるんじゃないか。
171:１３２人目の素数さん
20/05/19 00:23:57.44 HnyGTIPw.net
>>164
それくらい自分で調べようよ…
wikiにも載っているぞ
>自然数 n に対して、n の互いに異なる素因数の積を n の根基 (radical) と呼び、rad n と書く。
172:１３２人目の素数さん
20/05/19 06:56:30 6J5B37r3.net
@MugaShohou 沈黙したね
なんか全然数学者っぽくなかったし
173:現代数学の系譜 雑談
20/05/19 07:35:45.13 4vAnFYcr.net
>>162
>コピペやめてくんないかな だれも読んでないよ
いやいや、ここは、コピペが特徴のスレなのですよ（＾＾
コピペでない ハイレベルの議論は、下記本スレで
次スレ立ったよ！
Inter-universal geometry と ABC予想 53
ｽﾚﾘﾝｸ(math板)
174:１３２人目の素数さん
20/05/19 07:43:03.11 ZWfU/tHt.net
諸法無我より桜坂46とかいうみるからにレスバ仕掛けにいってるやつのほうがヤバかった
175:１３２人目の素数さん
20/05/19 08:00:26.34 6J5B37r3.net
>>168
感情的に脊髄反射せずに、落ち着いて反省しようよ
君、人の文章まったく読まずにコピペして、何がしたいの？
数学理解したいんなら、ます読もう！ コピペは無用
176:１３２人目の素数さん
20/05/19 08:13:47.98 gUajbeaU.net
諸法無G
177:１３２人目の素数さん
20/05/19 08:14:17.44 6J5B37r3.net
>>161
どうせなら、
178:身の丈にあった内容のリンクはった方がイイよ ほれ https://www.youtube.com/watch?v=SIR4eQFFKps
179:１３２人目の素数さん
20/05/19 08:52:01 6J5B37r3.net
>>172に関連した質問
x^2+y^2=n (n∈N）
が有理点を持つ条件を答えよ
180:１３２人目の素数さん
20/05/19 09:15:32.01 t7nozl3h.net
諸法無我氏は「バイアスは論理を歪めますね。」と言っていたが、
そもそもSSレポートはIUT Cor3.12の証明にギャップがあるため、最大限好意的に解釈して数学の世界に落とし込んだら意味のない不等式が導かれた、というものだろう？
様々な状況証拠も含め帰結されるのは「そもそもIUTのギャップが問題」になる
181:１３２人目の素数さん
20/05/19 09:25:18.48 OLprzCYm.net
>>156
モッチ： 君たちはなんで数学ができないのだ。
学生： 数学ができれば、医学部にいってますよ。
モッチ； 確かに。 河野・水上が弟子ならば、半年でIUTを世界に認めさすだろうに。
182:１３２人目の素数さん
20/05/19 09:30:14.25 GZc4IbcM.net
>>174
全然違う。ギャップがあるとは証明されていないしな
ギャップがあるなら査読を通ってない
183:１３２人目の素数さん
20/05/19 09:35:08.71 6J5B37r3.net
>>174
>意味のない不等式が導かれた
ポイントはその前なんだけどなぁ
１．どういう変更をやったら意味のない不等式が導かれた？
２．何でそのような変更をする必要があった？
３．ＩＵＴで回避できないの？
１と２はＳＳレポートに書いてある 読んでみ？
その上で・・・３は望月が回答することだな
184:１３２人目の素数さん
20/05/19 09:35:35.99 t7nozl3h.net
>>176
証明というのは数学の世界での話でギャップがあるというのはそもそも数学の世界に落とし込めないということなので、
ギャップがあるということを証明するというのはカテゴリーミステイクだ
185:１３２人目の素数さん
20/05/19 09:50:01.89 028457WR.net
>>169
ここにいるアンチだろ。
186:１３２人目の素数さん
20/05/19 09:52:40.62 gUajbeaU.net
もうそろそろアンチって言葉やめませんか?
187:１３２人目の素数さん
20/05/19 10:19:43.12 t7nozl3h.net
>>177
2.1(3)、つまり
ホッジ劇場の選択をXと抽象群としての同型な曲線の選択と同一視する、あるいは恒等性に沿って恒等的な対象を分類することに関して、望月は何故それが許されないのか説明することができなかったという記述？
ポイントが違うというよりも、IUTにギャップがある理由がこれな可能性はある
つまり望月は抽象的、形式的に見ることに長けていない可能性
188:１３２人目の素数さん
20/05/19 10:23:03.45 t7nozl3h.net
SSは単純化し過ぎ、とか2-圏のくだりとか、望月の過去の発言を鑑みても、
抽象的な議論で導かれることは「全ての」具体的な対象で成り立つということをあまり理解していないのではないのか、という疑問が浮かぶ
189:１３２人目の素数さん
20/05/19 10:34:52.85 6J5B37r3.net
>>181
そこではない
以下で述べることと関係があるかどうかは不明だが
私が読み取ったのは以下の通り
１．
1.3 How IUTT derives the inequality. でスカラーj^2を抜くという変更
p4 (1.6)で変更後の計算を行っている
２．
2.2 Proof of [IUTT-3, Corollary 3.12]. p10の以下の箇所
"Mochizuki wanted to introduce scalars of j^2 somewhere on the left part of this diagram
(which strictly speaking leads to inconsistencies, i.e. monodromy, on the left part of the diagram alone, which arguably can be overcome by using averages).
However, it is clear that this will result in the whole diagram having monodromy j^2, i.e., being inconsistent."
要するに「図式全体がモノドロミー j^2を持つから矛盾」と云ってる
だから「スカラーj^2を消去したら、無意味な不等式が導かれるだけ」と云ってる
"The conclusion of this discussion is that with consistent identifications of copies of real numbers,
one must in (1.5) omit the scalars j^2 that appear, which leads to an empty inequality."
３．
Dupuyが「ＳＳレポートの最後の図式は全然ダメ、特に左側がダメ」と
モノドロミー発生原因を全否定してるのは確か
しかし、代わりに何すればいいかまでは、Dupuyは示せていない
Scholzeがモノドロミーを持ち出したのは、
彼の研究に関わるからだろうと思われるが如何？
190:粋蕎
20/05/19 10:55:53.36 7g3VTWLw.net
>>180
デマ専アンチもアンチ専も実在する以上は無理
一方でデマ専シンパもシンパ専も実在する
絶対に正しい事なら嘘だった場合に全財産で保障する事を誓約できる
誓約できなければ絶対に正しい主張ではなく出任せ張ったりである
立件され難いだけであって、該当するかと言えば風説の流布にも該当すると言えるじゃろう
191:１３２人目の素数さん
20/05/19 11:14:20.15 t7nozl3h.net
>>183
これだけ見るとdupuyが最後の図式の何が誤りなのかを説明していないから実際どうなのか分からないが、SSレポートが数学的な定式化に失敗している可能性はある
ただSSレポートが失敗していたとしても、IUTにギャップがなければそうはならなかったのだから、結局IUTのギャップが原因ではないだろうか
192:１３２人目の素数さん
20/05/19 11:16:23.99 5K7ZsrKn.net
餅の論文が発表されてからショルツが反論してくるまで6年あるけどその間ショルツは何してたの？
193:１３２人目の素数さん
20/05/19 11:26:01.21 6J5B37r3.net
>>185
Dupuyのtweetしか見てないから 細かいことは分からないな
SSレポートがIUTに関する誤解によるというなら、その誤解を示せばいいが
望月の反論はSSから見て「見当違い」と受け取られているようだ
>SSレポートが失敗していたとしても
もし、失敗だとして、どう失敗したかによるが
IUTに書いてあるのに理解してなかったのか？
それとも書いていなかったのか？
前者ならSSの理解不足、後者ならギャップ
論文には根本的な加筆修正がないらしいから
望月等IUT関係者は前者だと認識したいらしい
一方Scholze等は望月の反論を認めていないから
（容易に修復可能でない）ギャップだと考えている
>>186
Scholzeがいつ望月論文の問題点に気づいたかは定かでないが
こんなことは誰でも気づくだろうと思っていわなかったようだ
2018に森重文の紹介で望月との議論が行われたので、
その際はじめて指摘したと思われる
194:１３２人目の素数さん
20/05/19 12:04:11.20 jK+gpRxa.net
>>144
学歴を異様に評価する文化が日本にはあるけど、
アメリカでは最終的に実績が出なかったら終了になる。
195:１３２人目の素数さん
20/05/19 12:36:06 HnyGTIPw.net
full poly-isomorphism定期
196:現代数学の系譜 雑談
20/05/19 13:15:53.64 a8Dbjf7f.net
>>187
ちゃんと議論できるじゃない（＾＾；
>望月の反論はSSから見て「見当違い」と受け取られているようだ
双対だな
SSの反論は望月から見て「見当違い」と受け取られているようだ
>論文には根本的な加筆修正がないらしいから
>望月等IUT関係者は前者だと認識したいらしい
関係者全員な
望月御大を初めとして、査読者や 4月3日の柏原・玉川、WoitブログのDupuy などなど
単なる二択問題で、SSをとるか or IUTを是とするか
197:？ ２年もかけて 全員が 間違うはずがないでしょｗ（＾＾； >一方Scholze等は望月の反論を認めていないから >（容易に修復可能でない）ギャップだと考えている つーか、「自分が正しいことは ほぼ自明で IUTはリジェクトだ」と考えていたみたい そのことは、Woitブログにショルツ先生が登場したときの、冒頭のコメントにそれらしいことが書いてあるよ なお、RIMS側に説明責任があるということには、全く同意 モチ先生は、説明へたｗ（＾＾； 天才すぎて、「こんなことも分からんのか～！」と 上から目線で来るからなー 玉川先生あたりに、期待したいね
198:１３２人目の素数さん
20/05/19 13:25:53.69 6J5B37r3.net
>>190
＞ちゃんと議論できるじゃない
URLﾘﾝｸ(www.youtube.com)
199:１３２人目の素数さん
20/05/19 13:28:57.55 6J5B37r3.net
>>190
＞モチ先生は、説明へた
＞上から目線で来るからなー
そっくりですね・・・あなたと
200:１３２人目の素数さん
20/05/19 13:29:10.81 HnyGTIPw.net
多分コピペを読む人はいないが、youtubeのリンクを踏む人もいないぞ
201:１３２人目の素数さん
20/05/19 13:34:10.59 6J5B37r3.net
>>190
＞玉川先生あたりに、期待したいね
説明できるんなら、とっくにしてるんじゃね？
いくらでも機会はあったよ
202:１３２人目の素数さん
20/05/19 13:38:43 6J5B37r3.net
>>191は F元首相の辞任会見の動画
「私は自分自身を客観的に見ることができるんです。あなたと違うんです」
別に支持しないが、A現首相に比べたら全然マシだと思う
なんで史上最低の首相が史上最長の在任期間なんだろう・・・ワケワカラン
203:１３２人目の素数さん
20/05/19 13:40:43 jK+gpRxa.net
柏原はIUTが正しいともSSがまちがっているとも言っていない。
DupuyはそもそもIUTを理解してない。
204:１３２人目の素数さん
20/05/19 13:46:01 6J5B37r3.net
◆e.a0E5TtKE へ
わけもわからず、モノドロミーという言葉の検索結果を
ドヤ顔でコピペするのはおやめください
共感性羞恥
URLﾘﾝｸ(note.com)
さて、自分が怒られたり恥をかくような場面なのに
まるで他人事のように感じてしまうなら
共感性が欠如してるってことです
URLﾘﾝｸ(president.jp)
205:１３２人目の素数さん
20/05/19 13:54:34 HnyGTIPw.net
>>196
理解していなくても論文が書けるって、素晴らしいことだよな
206:１３２人目の素数さん
20/05/19 13:56:23 6J5B37r3.net
>>196
Dupuyの言い分
「IUTはともかく、Scholzeの勝手な設定だけで
系3.12の不等式を否定できないでしょ」
つまり論文を支持しているのではなく
その中にある中間結果である系3.12に
興味を持ってるだけ
系3.12が別の方法で証明できるなら
メシウマ状態だと思ってるかもしれない
Scholzeが「後はメールで」といった真意は定かでないが
Dupuyの意図を察したからだろう
Scholzeも系3.12を否定したいのではなく、
望月の方法ではあの不等式は導けない
といいたいだけなので
207:１３２人目の素数さん
20/05/19 13:57:33 MYh56BRj.net
Cor3.12を理解してないって言ってるんだからSSの批判が正しいか間違ってるかも判断できるわけないじゃん。
208:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/19 14:27:04 a8Dbjf7f.net
>>190
補足
（外しているかもしれないが）
１．SSの望月に対する指摘は、例えば
ビタリ先生が
ルベーグ先生の積分論に対して
「こうやったら非可測集合ができるから、あなたの測度論は間違い！」
と言ったみたいことかと
２．つまり、 ビタリの非可測集合ができるからといって
ルベーグ測度論が全部否定される訳ではないのです
３．非可測集合の存在と、ルベーグ測度論とは、併存できる
４．と、同じように、SSがある前提から IUTもどきに矛盾が出ることを示したことと
真のIUTが成立することと
両立できる可能性があると思うよ
５．そして、RIMSの4月3日のプレス発表になったと思うし
Woitブログの ショルツ ｖｓ Dupuy 論争も似た展開だったと思う
なお、Dupuy
209: のIUT関連の論文は、Hilado氏との共著で、彼はDupuy 先生のところのDR生だ だとすれば、彼らのCor3.12に関する論文は、彼のDR論文なので、「私は、Cor3.12はワケワカだが、これでDR論文書きました」では、通らないよ 多分な（＾＾； （Dupuy氏が Cor3.12がワケワカ と言ったとか、そういうガセ系ネタは、本スレかアンチスレで頼むよ Cor3.12の証明は IUT IIIで 12ページに渡って グダグダ書いてある あれを Woitブログとかで他人に分かるように説明しろってのが無理ゲーだろ そういう趣旨の発言じゃないの？ｗ（＾＾； ）
210:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/19 14:30:24 a8Dbjf7f.net
>>201
なお、ここらの 納得できる説明が、RIMSに求められているといのは、繰り返すが、全面同意ですよ（＾＾；
211:１３２人目の素数さん
20/05/19 14:32:30 HnyGTIPw.net
つまり、Dupuyが「Cor 3.12の証明はフォローできない」という趣旨の発言をしたことは、
ただのジョークだと信じている人だけが書き込むスレということでおｋ？
212:１３２人目の素数さん
20/05/19 14:37:28 6J5B37r3.net
>>201
＞（外しているかもしれないが）
「かもしれない」は要りません
特に１～３．全然、外してます
213:１３２人目の素数さん
20/05/19 14:51:13 6J5B37r3.net
>>201
DupuyのTwitterでの発言
URLﾘﾝｸ(twitter.com)
”The manuscript with Stix has problems.
The worst being the diagram in section 2.2.
That does not appear in Mochizuki’s manuscript.
I think people should stop citing it."
午後9:02 · 2020年5月3日
URLﾘﾝｸ(twitter.com)
Simply put: proving corollary 3.12 is harder (or impossible).
Trust me, if I could either prove or disprove it I would tell you.
午前9:16 · 2020年4月30日
(deleted an unsolicited ad)
214:１３２人目の素数さん
20/05/19 14:55:48 6J5B37r3.net
>>201
Hiradoが望月論文の系3.12を前提とした論文を書いたとして
前提から結論を導く証明に瑕疵がなければ何の問題もないが
君は、頭おかしいのか？
215:１３２人目の素数さん
20/05/19 15:00:19 6J5B37r3.net
>>205 の続き
URLﾘﾝｸ(twitter.com)
We didn’t say anything about the validity of Corollary 3.12.
We just assumed it, explained how to use it/set it up,
then showed how to derive very strong inequalities from it.
午後11:20 · 2020年4月29日
これは冗談ぬきの真面目なトーンで言ってるね
(deleted an unsolicited ad)
216:１３２人目の素数さん
20/05/19 15:20:43 HnyGTIPw.net
>>207
逆に言えば、"very strong inequalities"のどれか1つでも反例が見つかれば、
Corollary 3.12は主張も間違っているということになる
Dupuyの言うところの"very strong"は、
「そんなに万能な不等式ってちょっとおかしいんじゃないの？」といった指摘にも見える
217:１３２人目の素数さん
20/05/19 15:28:08.03 6J5B37r3.net
>>208
そりゃもちろんそういうこともある
ラッセルはフレーゲの考えに賛同していたが
意に反してパラドックスを見つけてしまった
ゲーデルはヒルベルト・プログラムが実現できればいいと思ってたが
無矛盾性証明の思索中に実現不可能だと気付いてしまった
直感の通りに物事が進むとは限らない
218:粋蕎
20/05/19 15:31:10.24 7g3VTWLw.net
5ch反IUT論装戦線お猿の一石めーﾁﾞﾁﾞｯﾁｬﾏ ◆y7fKJ8VsjM も等しくヤバい
219:１３２人目の素数さん
20/05/19 16:09:07 12pcLV95.net
>>210
数学的なギャップを指摘されないなら「数板では問題無い」みたいですね。。。
※「ﾁﾞﾁﾞｨｯﾁｬﾏ」は不適切表現でした。
ご迷惑をおかけ致しました方には、提唱者から、慎んで心よりお詫びを申し上げます。
更にこの場をお借り致しまして、不適切表現の訂正をお願いを申し上げます。。。
(。。。「ﾁﾞﾁﾞｯﾁｬﾏ」はなんだか違うみたいですから、、、
粋蕎様独自の別称でしょうか？)