21/10/02 21:10:18.80 X8Zxjdm/.net
つづき
URLﾘﾝｸ(mainichi.jp)
望月教授「ABC予想」証明 斬新理論
3:で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日 (抜粋) https://cdn.mainichi.jp/vol1/2020/04/03/20200403k0000m040296000p/6.jpg 会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。 2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。 玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。 https://www.youtube.com/watch?v=7BnxK_NMwaQ 数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン つづく
4:１３２人目の素数さん
21/10/02 21:11:24.55 X8Zxjdm/.net
つづき
＜IUT国際会議 2つのシリーズ＞
1．
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
RIMS
Promenade in Inter-Universal Teichmuller Theory
Org.: Collas (RIMS); Debes, Fresse (Lille).
The seminar takes place every two weeks on Thursday for 2 hours by Zoom 17:30-19:30, JP time (9:30-11:30, UK time; 10:30-12:30 FR time) ? we refer to the Programme for descriptions of the talks and associated references. URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
2．
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
宇宙際タイヒミューラー理論の拡がり
（４回とも無事終了です）
なお、東大の重鎮 Atsushi Shiho (Univ. Tokyo, Japan)先生
8月末～9月初めの二つのIUT会議に出席したようです
参考
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
宇宙際タイヒミューラー理論への誘い（いざない）2021-08-31?2021-09-03
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
宇宙際タイヒミューラー理論サミット２０２１ 2021-09-07?2021-09-10
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),
つづく
5:１３２人目の素数さん
21/10/02 21:12:08.62 X8Zxjdm/.net
つづき
＜過去スレより再録＞
スレ46 ｽﾚﾘﾝｸ(math板:273番)
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね
１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレが アンチへ）
３．数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」です
あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です
４．査読者や、柏原・玉川がグルだとか、小学生はいう
しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」です
ワケワカ小学生は、どうぞ相応しいスレへ お願いしますｗｗ（＾＾；
スレ46 ｽﾚﾘﾝｸ(math板:883番)
１．RIMSを まず 普通の論文と見れば良いと思うのだが？ つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ
そういう普通の視点で考えれば宜しいのではないですかね？
応援スレだが、この普通のことしか言ってないけどねｗ（＾＾
アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか
笑える幼稚な議論
それは、別スレでやれよｗ（＾＾；
6:１３２人目の素数さん
21/10/02 21:12:51.03 X8Zxjdm/.net
なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新～！”と絶叫したりするからです（＾＾； ）
( URLﾘﾝｸ(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
（＊＊）注；URLﾘﾝｸ(en.wikipedia.org) Hyperboloid
Hyperboloid of two sheets ：URLﾘﾝｸ(upload.wikimedia.org)
URLﾘﾝｸ(ja.wikipedia.org) 双曲面
二葉双曲面 ：URLﾘﾝｸ(upload.wikimedia.org)
おサル、あいつは 双曲幾何の修論でも書いたみたいだなｗ（＾＾）
＜＊）サイコパスの特徴＞
（参考）URLﾘﾝｸ(blog.goo.ne.jp) サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
URLﾘﾝｸ(kotowaza-allguide.com)
鳥なき里の蝙蝠 故事ことわざ辞典
【読み】 とりなきさとのこうもり
【意味】 鳥なき里の蝙蝠とは、すぐれた者がいないところでは、つまらぬ者が威張っていることのたとえ。
つづく
7:１３２人目の素数さん
21/10/02 21:13:38.36 X8Zxjdm/.net
つづき
＜サイコパスのおサルのバカ発言＞
過去スレ55 ｽﾚﾘﾝｸ(math板:813番)
813 名前：１３２人目の素数さん[sage] 投稿日：2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
>>789-790
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
＞"intellectual debt"
確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね
(引用終り)
1．「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜 オカ、シムラ、モチヅキ」
てめえ、何様のつもりだ？ 5ｃｈ数学板で便所の落書きしている数学落ちこぼれさんでしょ
何をえらそうに！
2．「確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね」
てめえ、何様のつもりだ？
論文書いて、査読してもらって、真摯に対応して査読を通してもらって出版してもらう
ここまでは、終わったのです（＾＾
3．そして、今年6月末から4回の国際会議で、
IUT普及の義務を果たします
4．おサルが理解できるように？
それは無理！
”（スレ55 ｽﾚﾘﾝｸ(math板:158番)より）
＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
ことも分からん「考えなしの素人」に数学はムリ”
これじゃ。三歳児レベルの知能じゃんかｗ
このおサルには、IUTは百年早いぜｗ（＾＾；
(引用終り) 以上
なお、
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ
上記は、お断りです！！
小学生がいますので、18金（禁）よろしくね！（＾＾
つづく
8:１３２人目の素数さん
21/10/02 21:17:24.87 X8Zxjdm/.net
つづき
＜サイコパスのおサルのバカ発言＞
過去スレ55 ｽﾚﾘﾝｸ(math板:813番)
813 名前：１３２人目の素数さん[sage] 投稿日：2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
>>789-790
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
＞"intellectual debt"
確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね
(引用終り)
1．「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜 オカ、シムラ、モチヅキ」
てめえ、何様のつもりだ？ 5ｃｈ数学板で便所の落書きしている数学落ちこぼれさんでしょ
何をえらそうに！
2．「確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね」
てめえ、何様のつもりだ？
論文書いて、査読してもらって、真摯に対応して査読を通してもらって出版してもらう
ここまでは、終わったのです（＾＾
3．そして、今年6月末から4回の国際会議で、
IUT普及の義務を果たします
4．おサルが理解できるように？
それは無理！
”（スレ55 ｽﾚﾘﾝｸ(math板:158番)より）
＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
ことも分からん「考えなしの素人」に数学はムリ”
これじゃ。三歳児レベルの知能じゃんかｗ
このおサルには、IUTは百年早いぜｗ（＾＾；
(引用終り) 以上
なお、
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ
上記は、お断りです！！
小学生がいますので、18金（禁）よろしくね！（＾＾
つづく
9:１３２人目の素数さん
21/10/02 21:19:30.84 X8Zxjdm/.net
つづき
（参考）
関連： 望月新一（数理研） URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
News - Ivan Fesenko URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Explicit estimates in inter-universal Teichmuller theory, by S. Mochizuki, I. Fesenko, Y. Hoshi, A. Minamide, W. Porowski, RIMS preprint in November 2020, updated in June 2021, accepted for publication in September 2021
URLﾘﾝｸ(www.maths.nottingham.ac.uk) NEW!! (2020-11-30) いわゆる南出論文
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
＜PRIMS出版記念論文＞
[9] On the Essential Logical Structure of Inter-universal Teichmuller Theory in Terms of Logical AND "∧"/ Logical OR "∨" Relations: Report on the Occasion of the Publication of the Four Main Papers on Inter-universal Teichmuller Theory. PDF NEW!! (2021-03-06)
新一の「心の一票」 - 楽天ブログ shinichi0329/ （URLが通らないので検索たのむ）
math jin：（IUTT情報サイト）ツイッター math_jin （URLが通らないので検索たのむ）
URLﾘﾝｸ(twitter.com)
星裕一郎 ツイッター
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
星裕一郎の論文
(抜粋)
宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり）URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
続・宇宙際 Teichmuller 理論入門 PDF (2018) （Indexあり） URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
つづく
(deleted an unsolicited ad)
10:１３２人目の素数さん
21/10/02 21:20:07.33 X8Zxjdm/.net
つづき
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Go YAMASHITA （gokun）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
山下剛サーベイ URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp) （Indexが充実しているので、IUT辞書として使える）
A proof of the abc conjecture after Mochizuki.preprint. Go Yamashita last updated on 8/July/2019.
Yourpedia 宇宙際タイヒミュラー理論 （URLが通らないので検索たのむ）
URLﾘﾝｸ(ja.wikipedia.org) 宇宙際タイヒミュラー理論 Wikipedia
URLﾘﾝｸ(en.wikipedia.org) 英Inter-universal Teichmuller theory 英 Wikipedia
URLﾘﾝｸ(ja.wikipedia.org) ABC予想
URLﾘﾝｸ(en.wikipedia.org) 英abc conjecture
URLﾘﾝｸ(www.math.arizona.edu) から Recent Research へ入る
Kirti Joshi Recent Research論文集
新論文（IUTに着想を得た新理論） URLﾘﾝｸ(arxiv.org)
Construction of Arithmetic Teichmuller Spaces and some applications
Preliminary version for comments Kirti Joshi June 23, 2021
つづく
11:１３２人目の素数さん
21/10/02 21:20:38.08 X8Zxjdm/.net
>>9
つづき
URLﾘﾝｸ(www.uvm.edu)
[ Taylor Dupuy's Homepage] 論文集
なお、（メモ）TAYLOR DUPUYは、arxiv投稿で [SS17]を潰した（下記）
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.
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:
P15
(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].
References
[SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017. 1, 1, 1e, 2, 7.5.3 ( URLﾘﾝｸ(www.math.uni-bonn.de) Date: July 16, 2018.
URLﾘﾝｸ(ncatlab.org) Date: August 23, 2018. )
[Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2
つづく
12:１３２人目の素数さん
21/10/02 21:21:02.67 X8Zxjdm/.net
つづき
なお
"[SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017."は、2018の気がする
”[Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2”が見つからない。”the unpublished manuscript [Tan18]”とはあるのだが（＾＾
代わりに、ヒットした下記でも、どぞ （2018の何月かが不明だが、2018.3のSS以降かも）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(slides).pdf
Introduction to Inter-universal Teichm¨uller theory
Fucheng Tan RIMS, Kyoto University 2018
To my limited experiences, the following seem to be an option for people who wish to get to
know IUT without spending too much time on all the details.
・ Regard the anabelian results and the general theory of Frobenioids as blackbox.
・ Proceed to read Sections 1, 2 of [EtTh], which is the basis of IUT.
・ Read [IUT-I] and [IUT-II] (briefly), so as to know the basic definitions.
・ Read [IUT-III] carefully. To make sense of the various definitions/constructions in the
second half of [IUT-III], one needs all the previous definitions/results.
・ The results in [IUT-IV] were in fact discovered first. Section 1 of [IUT-IV] allows one to
see the construction in [IUT-III] in a rather concrete way, hence can be read together with [IUT-III], or even before.
S. Mochizuki, The ´etale theta function and its Frobenioid-theoretic manifestations.
S. Mochizuki, Inter-universal Teichm¨uller Theory I, II, III, IV.
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
教員名: 譚 福成（Tan, Fucheng）
P-adic Hodge theory plays an essential role in Mochizuki's proof of Grothendieck's
Anabelian Conjecture. Recently, I have been studying anabeian geometry and
Mochizuki's Inter-universal Teichmuller theory, which is in certain sense a global
simulation of p-adic comparison theorem.
つづく
13:１３２人目の素数さん
21/10/02 21:21:32.65 X8Zxjdm/.net
つづき
＜IUTと類体論＞
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
数論的 log Scheme 圏論的表示の構成等に続いた研究であり、「一点抜き楕円曲線付き数体」の「数論的タイヒミューラー変形」を遠アーベル幾何等を用いて「計算」する数論幾何学の理論である。イヴァン・フェセンコはIU幾何を遠アーベル幾何から派生した新たな類体論に位置付けている
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Ivan Fesenko - Research in texts
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
[R5] Class field theory, its three main generalisations, and applications pdf, May 2021
P16の後半に面白い図がある
コピーペースト下記
Here are some relations between the three generalisations of CFT and their further developments:
2dLC?－－ 2dAAG－－－ IUT
l ／ ｜ ｜
l ／ ｜ ｜
l／ ｜ ｜
LC 2dCFT anabelian geometry
＼ ｜ ／
＼ ｜ ／
＼ ｜ ／
CFT
注）記号：
Class Field Theory (CFT), Langlands correspondences (LC), 2dAAG = 2d adelic analysis and geometry, two-dimensional (2d)
(P8 "These generalisations use fundamental groups: the etale fundamental group in anabelian geometry, representations of the etale fundamental group (thus, forgetting something very essential about the full fundamental group) in Langlands correspondences and the (abelian) motivic A1 fundamental group (i.e. Milnor K2) in two-dimensional (2d) higher class field theory.")
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Fesenko IUT and modern number theory
つづく
14:１３２人目の素数さん
21/10/02 21:22:06.24 X8Zxjdm/.net
つづき
（IUTに対する批判的レビュー）
URLﾘﾝｸ(zbmath.org)
URLﾘﾝｸ(zbmath.org)
Mochizuki, Shinichi
Inter-universal Teichmuller theory. I: Construction of Hodge theaters. (English) Zbl 07317908
Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021).
Reviewer: Peter Scholze (Bonn)
取り敢えずこんなところで（＾＾
15:Mara Papiyas
21/10/03 07:02:10.13 z3zwlfJp.net
雑談 ◆yH25M02vWFhP ここが分かってない
１．集合論について
・そもそも∈の意味が分かってない
ａ∈ｂ＆ｂ∈ｃ⇒ａ∈ｃ とのたまっていたｗ
・正則性公理（基礎の公理）がわかってない
上記公理は、いかなる集合ｓも、ｓの要素ｓ’、ｓ’の要素ｓ’’、･･･
と要素をとる操作を延々繰り返せば、必ず有限回で空集合{}に至る
というものだが、そもそもそのことが全然わかってないｗ
・選択公理がわかってない
選択公理＝整列定理、だと思ってるｗ
16:Mara Papiyas
21/10/03 07:07:42.69 z3zwlfJp.net
雑談 ◆yH25M02vWFhP ここが分かってない
２．確率論について
・確率変数が分かってない
未知のものなら変数だ、と勝手に誤解ｗ
・確率測度が分かってない
だから非可測も理解できず、「非正則分布」とかいう珍奇な用語にばかり頼るｗ
・conglomerabilityが分からない
conglomerabilityとは
「いかなる場合分けで確率計算しても同じ確率値が求まる」
という性質。この性質を満たさない問題について、
「俺様場合分けによる計算」に固執し
「俺様計算による俺様確率が正しい」と絶叫発狂
ああ、見苦しいｗ
17:Mara Papiyas
21/10/03 07:10:20.52 z3zwlfJp.net
雑談 ◆yH25M02vWFhP ここが分かってない
３．実数論について
・そもそも実数の定義が分かってない
0.999…＜１であってもよい、とかいう珍説を発表ｗ
デデキントの（有理数の）切断による構成も
カントールの（有理数の）コーシー列の同値類による構成も
まったく理解できないテイタラクｗｗｗ
18:Mara Papiyas
21/10/03 07:15:03.76 z3zwlfJp.net
雑談 ◆yH25M02vWFhP ここが分かってない
４．線型代数について
・正則行列を知らない
正方行列全体が成す群とかいう珍概念を披露ｗ
任意の正方行列について余因子による公式で逆行列が求まると早合点した模様ｗ
公式の丸暗記だけで試験を乗り切った田舎のガリ勉小僧かｗｗｗ
・行列式を知らない
行列式の定義式だけは丸暗記したらしいが
それが交代多重線型形式であることは全く知らなかった模様
いったい大学の線型代数で何学んできたんだ？
そもそもホントに大学入ったんか？学歴詐称じゃねえの？ｗｗｗ
19:Mara Papiyas
21/10/03 07:18:04.93 z3zwlfJp.net
>>14-17
こんな初歩的レベルで間違いだらけの
雑談 ◆yH25M02vWFhP クンが
正規部分群の定義すら誤解し
ガロア理論の基本定理も全く理解できなかった
としてもまったく驚かない
基礎ができてない人がいきなり数学書読んでも
そもそも正しく読めるわけがないのである
「集合と位相」から勉強しなおしたほうがいい
群とか圏とかいうのはその後ｗｗｗ
20:１３２人目の素数さん
21/10/04 21:12:26.25 EkDLfqvB.net
梅崎直也先生、「IUTを勉強する」
これちょっと良さそう
1回で終わってしまっているので、みんなで続編を要求しましょう！
”2017年東京大学数理科学研究科修了、博士（数理科学）”だって
すげー！
「2020/04/04 にライブ配信」ですから、梅崎直也先生はショルツェ氏 2018年SS文書にダメ出しですねｗ
URLﾘﾝｸ(www.youtube.com)
IUTを勉強する
1,775 回視聴2020/04/04 にライブ配信
梅崎直也
チャンネル登録者数 1740人
何かを解説するということではないです。詳しい方いればぜひコメントください。星さんのサーベイを読む予定。飽きたらやめます。
続・宇宙際 Teichm¨uller 理論入門 (Introduction to Inter-universal Teichm¨uller Theory, Continued) By 星 裕一郎 (Yuichiro Hoshi)
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.j...)<)
株式会社すうがくぶんか
梅崎直也
NAOYA UMEZAKI
すうがくぶんか講師
1987年生まれ。2017年東京大学数理科学研究科修了、博士（数理科学）。すうがくぶんかでは主に大人の方を対象に、数学や統計の講座を開講しています。
URLﾘﾝｸ(sugakubunka.com)
21:１３２人目の素数さん
21/10/04 23:56:20.88 EkDLfqvB.net
>>19
梅崎直也先生、面白いな
”若い時の方が迷った気がする。大学は数学できるか自信なかったから東大にしたし。”
というのが、私には意味が、かなり不明です
東大は、”進振り”で、教養から専門へ行くときに、数学科以外も選べるから？
”数学できる自信”があったら、東大以外の選択肢もあったの？
正直、雲の上ですねｗ
私らの時代は、というか私のレベルでは、数学科へ行ったら、
良くて高校か中学教師がせいぜいと思ったから、選択肢から外しました
昔は、数学やって
それで「飯が食える」のは、頂点の一握りと言われていました
URLﾘﾝｸ(twitter.com)
梅崎直也
10月1日
挑戦してうまくいったという話はもちろん大事だけど、うまくいかなかったとしてもそんなに悪いことはないという話も大事かなと思うんですよね。数学で博士とって大学以外で働く人ってこれから増えていくと思うけど、そういう事例の一つとして進学を迷っている人の参考になればいいなと思います。
梅崎直也
10月1日
僕も学生の時は数学者になれるだろうかみたいな心配とかはしたし、そして結果としてその時に思っていた意味では数学者にはなれなかったわけだけど、今のところ自分の好きな数学を学びながら生計を立てているわけだからその頃に思っていたことと形は違えどそれなりに希望が叶ったなとも思える。
梅崎直也
10月1日
進路を考えるタイミングって、大学入試、進振り、修士入学、博士入学とあったけど、若い時の方が迷った気がする。大学は数学できるか自信なかったから東大にしたし。逆に博士に行くときは、修論かけずに留年したにもかかわらずなぜか迷わなかった。
梅崎直也
10月1日
この仕事をするまで知らなかったけど、そこそこ専門的な数学を趣味としてお金を払って勉強したい人って結構いるんですよね。少し前の河東先生のどうでもよい記事URLﾘﾝｸ(ms.u-tokyo.ac.jp)にも専門書や雑誌が結構売れているという話があってそこから推測できることかもしれないけど。
梅崎直也
10月1日
特に博士課程の間は途中でやめようと思ったこともあったけど、先生には励ましてもらって続けることができたので本当によかったなと思います。
(引用終り)
以上
(deleted an unsolicited ad)
22:１３２人目の素数さん
21/10/05 00:12:11.64 cTfQRqTe.net
( ´,_ゝ｀)ﾌﾟｯ
( ﾟдﾟ)､ﾍﾟｯ
(笑)
23:１３２人目の素数さん
21/10/05 11:15:59.92 RYKBad/Q.net
>>21
梅崎直也先生 >>19
”2017年東京大学数理科学研究科修了、博士（数理科学）”だって
すげー！
あんたは？ｗ
( ´,_ゝ｀)ﾌﾟｯ
( ﾟдﾟ)､ﾍﾟｯ
(笑)
24:１３２人目の素数さん
21/10/05 11:26:25.62 RYKBad/Q.net
>>20 追加
梅崎 直也先生、へー
（参考）
URLﾘﾝｸ(kaken.nii.ac.jp)
kaken
代数多様体の退化とモノドロミーについて
研究課題
梅崎 直也 東京大学, 特別研究員(DC2)
2014-04-25 - 2016-03-31
研究実績の概要
とくに正標数の多様体の退化を調べる上でエタール層の分岐に関する理論が重要になる．とくに高次元の多様体上定義されたエタール構成可能層の分岐について，その特性サイクルが重要な不変量であり，それを調べるために剰余体が完全でない完備離散付置体の分岐について調べる必要がある．
本年度は昨年度に引き続き完備離散付置体の分岐群について研究した．A.Abbesと斎藤毅により定義された完備離散付置体の絶対Galois群の分岐フィルトレーションについて，体が等標数の場合にはその次数商がp倍で消えるabel群になることが示されており，このことは後述する特性サイクルの定義をするうえでも重要な性質である．分岐群の類似物であるlog付き分岐群というものも彼らにより定義されており，これについては体が等標数，混標数いずれの場合においても次数商に関する同様の性質を持つことが既に示されている．このことから通常の分岐群においても上の性質を持つことが期待されるが，この場合に特有の障害があり，既存の方法を応用するだけではうまくいかないことが分かった．
またA.Beilinsonと斎藤毅によりなめらかな代数多様体上の構成可能層にたいして特性サイクルが定義された．これについて本年度は研究をすすめた．特性サイクルが定義されたが実際にそれを計算する事はかならずしも容易ではない．特異点をもつ多様体と関連する場合について具体例の計算をすすめた．
研究成果 (3件)
[雑誌論文] A uniform bound for the order of monodromy2016
[学会発表] エタール層の分岐と特性サイクル2016
[学会発表] The characteristic cycle of an etale sheaf
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
東京大学大学院数理科学研究科理学部数学科
博士論文発表会 20170203
梅崎 直也 氏 (東京大学大学院数理科学研究科)
Characteristic class and the ε-factor of an etale sheaf (エタール層の特性類とε因子） (JAPANESE)
(引用終り)
以上
25:１３２人目の素数さん
21/10/05 11:46:54.59 RYKBad/Q.net
>>19 補足
東大数学科出身でDR持ちの梅崎直也先生が、「IUTを勉強する」の1回で終わったけど
彼は、IUTに対して「論文は学部生が読めるように書け」とか言っていないよね
「IUTは難解」とは思っているだろうが、論文の書き方には文句を言わない
かつ、東大数学科で、彼の情報ネットワークから、IUTについての情報も当然知っているはず
ショルツェ氏の2018年SS文書騒動も、ご存知だろう
その上での「IUTを勉強する」の動画投稿だ
ショルツェ氏の2018年SS文書に対する評価も
推して知るべしだ
26:１３２人目の素数さん
21/10/05 22:56:19.65 P+dFQfWp.net
ふーん
なるほど
URLﾘﾝｸ(unaoya.github.io)
梅崎直也のページ
URLﾘﾝｸ(www.youtube.com)
Youtube
URLﾘﾝｸ(unaoya.github.io)
数学のノート
これまでに公開した数学のノートをいくつかまとめました。
27:１３２人目の素数さん
21/10/05 23:19:25.83 P+dFQfWp.net
スレチですが
「ノーベル物理学賞に真鍋氏」
驚きです。おめ
URLﾘﾝｸ(www.nikkei.com)
ノーベル物理学賞に真鍋氏 温暖化予測、気候モデル開発
2021年10月5日 18:49 (2021年10月5日 19:09更新)
スウェーデン王立科学アカデミーは5日、2021年のノーベル物理学賞を日本出身で米国籍の真鍋淑郎・米プリンストン大学上席研究員（90）らに授与すると発表した。真鍋氏は1960年代、物理法則をもとに地球全体の気候をコンピューター上で再現して予測する数値モデルを開発した。大気中の二酸化炭素（CO2）濃度が気候に与える影響を初めて明らかにした。国際社会の目を温暖化に向けさせ、国連の気候変動に関する政府間パネル（IPCC）の発足などにつながった。
日本生まれの自然科学分野のノーベル賞受賞は19年に化学賞を受賞した旭化成の吉野彰名誉フェローに続き25人目。物理学賞の受賞は15年の梶田隆章・東京大学卓越教授に続き12人目となった。
授賞理由は「地球温暖化を確実に予測する気候モデルの開発」など。独マックス・プランク気象学研究所のクラウス・ハッセルマン氏とイタリアのローマ・サピエンツァ大学のジョルジオ・パリシ氏らと共同で受賞した。真鍋氏は気候研究を大きく進めただけでなく、CO2の増加に伴う気温上昇を予測して世界に衝撃を与えた温暖化予測の先駆者だ。
28:１３２人目の素数さん
21/10/06 10:07:15.11 6qp+V25O.net
>>26 追加
たかが賞、されど賞
IUTもｌ、まずは、国内の学会賞を
春の学会賞を期待しています
URLﾘﾝｸ(ja.wikipedia.org)
眞鍋 淑郎（まなべ しゅくろう、Syukuro Manabe、1931年9月21日 -）は、アメリカ合衆国の地球科学者（気象学[1]・気候学[1]）。学位は理学博士（東京大学・1958年）[2]。プリンストン大学客員研究員、国立研究開発法人海洋研究開発機構フェロー、米国科学アカデミー会員。
1953年東京大学理学部地球物理学科卒業後、正野重方に師事し[5]、1958年同大大学院博士課程修了、「凝結現象の綜観的研究」で理学博士。
気候モデルの研究者として知られ、大気大循環に海洋大循環を考慮した新しい大気・海洋結合モデルを開発、気候変動の研究に適用した。地球科学分野に数値シミュレーションを導入した�
29:諡�的存在であり、特に地球温暖化の研究では世界的に知られている第一人者である[8][9]。 1988年には北半球で温暖化が先行すると発表し、[要出典]1989年には数値モデルによる地球温暖化予測の研究が科学雑誌ネイチャーに掲載され[10]、その結果は第一回気候変動に関する政府間パネル報告書を通じて注目を集めた[11]。 1997年帰国、科学技術庁地球フロンティア研究システム地球温暖化予測研究領域長に就任したが、2001年に辞任・再渡米し、プリンストン大学研究員に転じた。当時のマスメディア報道によれば、地球シミュレータを利用しての他研究機関との共同研究が、所管元である科学技術庁の官僚から難色を示されたことが辞任のきっかけとされ[12]、日本の縦割り行政が学術研究を阻害していることへの不満による「頭脳流出」であると報じられた[12][13][14]。
30:１３２人目の素数さん
21/10/06 17:24:48.56 gpn/Cazh.net
>>27 ｌ？
31:１３２人目の素数さん
21/10/06 18:32:22.52 u+OX1ODY.net
>>26-27
気候モデルとか地球限定の理論でもノーベル賞取れるんか
ほんなら京都限定のIUTTにもワンチャンあるかもな
32:１３２人目の素数さん
21/10/06 18:37:17.57 6qp+V25O.net
>>28-29
レスありがとうございます。
眞鍋 淑郎さん、受賞歴下記ご参照
2021年：ノーベル物理学賞の前に、大小さまざまな受賞があるよ
だから、IUTもまずは、日本数学会の賞から始めよう！
URLﾘﾝｸ(ja.wikipedia.org)
眞鍋 淑郎（まなべ しゅくろう、Syukuro Manabe、1931年9月21日 -）
賞歴
1966年：藤原賞（日本気象学会）[22]
1967年：Clarence Leroy Meisinger賞（アメリカ気象学会）
1970年：米商務省ゴールド・メダル
1991年：カール＝グスタフ・ロスビー研究賞（アメリカ気象学会）
1992年：第1回ブループラネット賞[12]
1993年：Roger Revelle Medal（アメリカ地球物理学連合）
1995年：朝日賞
1997年：ボルボ環境賞
2007年：マギル大学より名誉博士号
2010年：ウィリアム・ボウイ・メダル（アメリカ地球物理学連合）
2015年：ベンジャミン・フランクリン・メダル
2016年：BBVA Foundation Frontiers of Knowledge Award
2018年：クラフォード賞[23]
2021年：ノーベル物理学賞
33:１３２人目の素数さん
21/10/06 18:40:52.53 6A58EkT6.net
京都・ノッチンガム・リール？
34:１３２人目の素数さん
21/10/06 19:21:11.71 w+ZMRt9c.net
ゴミ溜めスレ
35:１３２人目の素数さん
21/10/06 20:25:04.91 61F9tF9f.net
>>32
あっちのIUTスレと、どっちがどうだ？ｗｗｗ
36:１３２人目の素数さん
21/10/06 20:29:36.60 61F9tF9f.net
>>31
>京都・ノッチンガム・リール？
京都？ 関東の 東京大学と東工大は押えた
阪大と広大も押えた
北大には安田先生
だから、ほぼ日本全体でしょ。あとは、名大の藤原先生の支持を貰えば良いんじゃね？ｗ
海外は、英と仏は押えたから
独を攻めれば、良いっぺ
37:１３２人目の素数さん
21/10/06 22:46:24.12 EpkRb/9e.net
藤原先生が支持したら完全に信用できる
38:１３２人目の素数さん
21/10/07 00:27:06.98 A+e9LFAS.net
>>35
同意です
藤原先生、叩かれて、PTSD （トラウマ） になっているかも
早く元気になってほしいです
39:１３２人目の素数さん
21/10/07 00:31:40.67 HVRyNk+U.net
もう会話の内容がおよそ数学の世界では出てこないアナザーワールドの会話www
40:１３２人目の素数さん
21/10/07 00:32:25.52 0IhjXgvQ.net
何被害者みたいな言い方してんだよ 禿藁
41:１３２人目の素数さん
21/10/07 08:32:12.02 A+e9LFAS.net
>>38
木村 花事件と同じでしょ？
あることないこと、誹謗中傷の嵐でしょ？
URLﾘﾝｸ(ja.wikipedia.org)
木村 花（きむら はな、1997年〈平成9年〉9月3日 - 2020年〈令和2年〉5月23日）は、日本の女子プロレスラー。
3.4 追悼
4 テラスハウスにおけるコスチューム事件
4.1 事件以前
4.2 事件
4.3 その後
4.6 誹謗中傷への法的措置
4.6.1 刑事処分
4.6.2 損害賠償請求訴訟
死去
2020年5月23日未明、連絡が取れないことを不審に思った母の響子が江東区の自宅マンションを訪ねたところ、ベッドに心肺停止の状態で倒れているのを発見。午前3時過ぎに病院へ救急搬送されたが、死亡が確認された[18][19][20][21]。22歳没。自宅リビングに手書きの遺書と見られるものが見つかったことや硫化水素を発生させたとみられる薬剤の容器が見つかったことから自殺を図ったと見られている[21][22]。
経緯
以前から『テラスハウス』出演時の言動などをめぐりSNS上で誹謗中傷を受けていたとされており、「コスチューム事件」以後は批判が激化していた[23]。またプロレス関係者によると最近では精神状態が不安定でリストカットを繰り返していたとされ、自身のインスタグラムに「愛されたかった人生でした」の言葉とともにリストカットした血だらけの腕の写真も添えていたこともあった（その後削除されている）[19][24][25]。
42:１３２人目の素数さん
21/10/07 08:33:53.88 A+e9LFAS.net
>>37
>もう会話の内容がおよそ数学の世界では出てこないアナザーワールドの会話www
勘違いしていない？
1）ここは、便所で、5ｃｈは便所のらくがきです
2）ここ以上に数学の話が出ているスレがあれば、5つ挙げよｗｗｗ
43:１３２人目の素数さん
21/10/07 10:39:14.61 HVRyNk+U.net
いくら便所の落書きでも妄想だけのファンタジーワールドの話書き込む人は中々いないよww
コレがエコーチェンバー効果ってやつなんだなぁとwww
44:１３２人目の素数さん
21/10/07 14:32:16.24 rNlM058X.net
>>41
なんか勘違いしてない？
例えば、眞鍋 淑郎さんのノーベル賞の対象となった、地球物理のCO2ガスによる温暖化の計算モデルについて
眞鍋先生は、インタビュー慣れしているから
分かり易く説明しているけれど
インタビューで、突然気象モデルの流体偏微分方程式を説明しても、一般人にはチンブンカンプンでしょ
と同様に、本格的に、IUTの数理を語る人が、居たとして、それ聞いて何人分かる？
例えば、下記引用の加藤文元先生 Youtube 見て分かりますか？ｗｗｗ
おれは、分からなかったけど、雰囲気は分かったし、面白かった
けど、Youtube40分くらいで、図やスライドも使った説明だったよ
そんなん、便所の落書きでは無理。 40分トークを文字にしたら、いったい何字になる？ 図やスライドどうするの？
あんたたち、結局アカデミックなところに居場所がなくてさ
５ｃｈ便所の落書きをその代用としたいのか知れないけどさ
無理だよ、それはｗｗｗ
参考
Inter universal geometryとABC予想(応援スレ)
ｽﾚﾘﾝｸ(math板:502番)
加藤文元先生のIUTの数
45:学解説 ”下記、全体4：30もの IUT 加藤文元先生 3:15:02 ここらです https://youtu.be/RUNZB1XAQjY?t=11700 1.5倍速で見た。面白かった https://youtu.be/RUNZB1XAQjY 東工大理学院×すうがくぶんか「現代数学レクチャーシリーズ 2021」~数理ファイナンス＆タイヒミューラー祭り~ 1,713 回視聴2021/09/12 にライブ配信 株すうがくぶんか 先生方にさらに詳しく講義していただく機会を設けました。こちらのページをご覧下さい。 https://www.youtube.com/redirect （長いので略） 第4回目である今回は、コロナ禍のためオンラインで配信し、2部構成で開催されます。”
46:１３２人目の素数さん
21/10/07 15:56:50.17 HVRyNk+U.net
必死キターwwwww
47:１３２人目の素数さん
21/10/07 17:09:27.42 rNlM058X.net
>>43
＞必死キターwwwww
自分のことだろ？
下記の必死チェッカーもどき で
「3 位/68 ID中」ｗｗｗ
（参考）
URLﾘﾝｸ(hissi.org)
必死チェッカーもどき
トップページ > 数学 > 2021年10月07日 > HVRyNk+U
3 位/68 ID中
Total 16
使用した名前一覧
１３２人目の素数さん
書き込んだスレッド一覧
面白い問題おしえて～な 38問目
Inter-universal geometry と ABC予想 (応援スレ) 60
雑談はここに書け！【58】
48:１３２人目の素数さん
21/10/07 18:00:51.64 fBcdv4gN.net
>>44 某氏もついに鹿児島の統合失調症患者T氏と同類の扱いとなりましたか
49:１３２人目の素数さん
21/10/07 19:38:26.22 2KcQkSXg.net
いやぁ実にスレ主の老後は暗闇に満ちてますなぁ、常闇かも知れませんな
50:１３２人目の素数さん
21/10/07 23:03:20.09 A+e9LFAS.net
>>46
>いやぁ実にスレ主の老後は暗闇に満ちてますなぁ、常闇かも知れませんな
これはこれは、蕎麦屋さんかい？
IUTの議論は、着々と進んでいますよ。ご心配なくｗ
>>45
>>>44 某氏もついに鹿児島の統合失調症患者T氏と同類の扱いとなりましたか
申し訳ないが
意味が分からない
「鹿児島の統合失調症患者T氏」？ Who？
「某氏」？ Who？
51:１３２人目の素数さん
21/10/08 07:23:42.32 QzhqR+4s.net
Fesenko先生、On asymptotic equivalence of classes of elliptic curves over Q 下記
これ、結構読みやすい。
”asymptotic equivalence”とIUTが関係しているという話らしい（多分ｗ）
「November 2020」か。何かイベントありましたかね？
「[R6] Sh. Mochizuki, I. Fesenko, Yu. Hoshi, A. Minamide, W. Porowski, Explicit estimates in inter-universal Teichmuller theory, November 2020」
に合わせて、書かれたのかもね
(参考)
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Ivan Fesenko - Research in texts
R Recent
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
[R4] On asymptotic equivalence of classes of elliptic curves over Q pdf, November 2020
L Anabelian geometry and IUT theory of Shinichi Mochizuki (also known as arithmetic deformation theory), applications and topics in Diophantine geometry
Guides on IUT theory of Shinichi Mochizuki: reports,surveys, workshops, talks
[L4] On asymptotic equivalence of elliptic curves over Q pdf （URLは上記に同じ）
[R6] Sh. Mochizuki, I. Fesenko, Yu. Hoshi, A. Minamide, W. Porowski, Explicit estimates in inter-universal Teichmuller theory, November 2020, updated in June 2021
(引用終り)
以上
52:１３２人目の素数さん
21/10/08 07:43:35.52 dQ4HyrBF.net
>>47
>申し訳ないが意味が分からない
分かる必要ないから心配ない
「鹿児島の統合失調症患者T氏」
ｽﾚﾘﾝｸ(math板:675番)
53:１３２人目の素数さん
21/10/08 08:00:32.84 QzhqR+4s.net
>>49
どうも、スレ主です
レスありがとうございます。
なるほど、分かりました、「鹿児島の統合失調症患者T氏」ね
「某氏」＝おサルさん>>5-6ですね
彼は、この手の精神科系の薬にやたら詳しい
多分、日常接しているのでしょう
そして、”数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ”>>6 などと宣うのです
ちょっと、精神を病んでいますよね、彼は
54:１３２人目の素数さん
21/10/08 08:06:26.35 dQ4HyrBF.net
>>50
＞「某氏」＝おサルさん
ｽﾚﾘﾝｸ(math板:987番)
55:１３２人目の素数さん
21/10/08 11:03:19.61 bJyyOETa.net
>>51
>＞「某氏」＝おサルさん
>ｽﾚﾘﾝｸ(math板:987番)
そうそう、”「某氏」＝おサルさん”ですよねｗ
「もともと、5ｃｈなど便所だよ、便所、便所の落書きよ」（ｽﾚﾘﾝｸ(math板:987番)
なので、便所の落書き楽しめる人以外にはむかないよね
例えば、物理学スレの真鍋叔郎さんは下記で、ほぼ終わり（いまの最新は290で打ち止め）
5ｃｈは、その程度のものですよ
ノーベル物理学賞 Part 1
ｽﾚﾘﾝｸ(sci板:179番)
179 ご冗談でしょう？名無しさん 2021/10/05 00:55:24.84 ID:I3KZmRXH
大気物理学で真鍋叔郎さんという説もあるそうです。
187 ご冗談でしょう？名無しさん 2021/10/05 16:36:25.51 ID:eecVjDIK
スウェーデン王立科学アカデミーは5日午後6時45分ごろ（日本時間）、ノーベル物理学賞を発表する。
物理学賞は2019、20年と宇宙分野が続いたため、
今年は物質の性質を追求する「物性」か、極微の世界を解き明かす「量子」になりそうだ。
量子の中でも、従来のコンピューターとは原理が大きく異なる
次世代の高速計算機「量子コンピューター」の実現に道を開いた研究者が受賞する可能性が指摘されている。
海外の研究者が多いが、日本では中村泰信・理化学研究所量子コンピュータ研究センター長が候補に挙がる。
東京大の香取秀俊教授も期待を集める。
300億年に1秒しかずれない「光格子時計」を開発、科学界のアカデミー賞といわれるブレークスルー賞を9月に受賞した。
そのほかにも、物理法則をもとに地球全体の気候をコンピューター上で再現して
予想する数値モデルを開発した、真鍋淑郎・米プリンストン大学上席研究員も候補に挙がる。
URLﾘﾝｸ(www.nikkei.com)
209 ご冗談でしょう？名無しさん 2021/10/05 19:24:09.86 ID:KWsbzdt/
真鍋さん、ノーベル物理学賞おめでとう！！！超おめでとう！！！
話題性のある研究がのきなみ落選して、気候研究という死ぬほど地味な研究がノーベル賞になって、死ぬほど嬉しく思います！！！！！
以上
56:１３２人目の素数さん
21/10/08 19:55:56.00 dQ4HyrBF.net
>>52
>「5ｃｈなど便所だよ、便所、便所の落書きよ」
>便所の落書き楽しめる人以外にはむかないよね
悪戯で便器に詰め込まれた大量のトイレットペーパー
ｽﾚﾘﾝｸ(math板:973番)-974
57:１３２人目の素数さん
21/10/08 21:06:11.95 QzhqR+4s.net
>>53
どうも
おサルは、悪戯を超えているよね
狂気だよ
(>>6 より 引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
(引用終り)
なに？
日本とかいう野蛮な島 だって？
ジコチュウ●チガイの系譜 オカ、シムラ、モチヅキ だって？
こいつ、何を言っているんだ
ということです
58:１３２人目の素数さん
21/10/09 00:46:27.30 sA6LNTCO.net
便所の落書きと称せるほどローカルとは言え公共の場であるにも関わらず風説の流布。速やかに自首なさい
59:１３２人目の素数さん
21/10/09 00:47:40.46 EdTzuTjJ.net
私に馬鹿みたいな言葉を聞かせている連中がな
60:１３２人目の素数さん
21/10/09 06:49:55.61 JOKI/wgx.net
>>56
>私に馬鹿みたいな言葉を聞かせている連中がな
同意です
>>55
>便所の落書きと称せるほどローカルとは言え公共の場であるにも関わらず風説の流布。速やかに自首なさい
あんた、おサル>>5-6を擁護しようというのが無理
（あんた、おサル自身かもしらんが）
(>>6 より 引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
(引用終り)
こんなもの、擁護しようがないだろ？
かつ、おサル>>5-6の2021年になってからの発言の殆どは
彼の日本および日本人の存在に対する憎悪（上記）からくる
アンチIUT＆アンチ望月発言のみ。IUTの数学に踏み込んだ発言は皆無！
あんた、こんな おサル>>5-6を擁護しようというのが無理だよ <
61:Mara Papiyas
21/10/09 07:24:52.98 qQhss2MU.net
第六天魔王 数学板を荒らす「トンチン・カーン」を討伐
ｽﾚﾘﾝｸ(math板:265番)
62:Mara Papiyas
21/10/09 07:42:26.64 qQhss2MU.net
何から何まで逆コース
眞鍋淑郎氏
東大卒、東大大学院にて博士号取得後、アメリカ国立気象局に就職
そしてノーベル物理学賞
望月新一氏
プリンストン大卒、プリンストン大大学院でPh.D取得後、京都大学に採用
そして疑惑のABC予想解決論文の出版・・・
63:１３２人目の素数さん
21/10/09 08:01:08.34 JOKI/wgx.net
>>58-59
たまらず 飛び出す おサル>>5-6の図か？
(>>6 より 引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
(引用終り)
あなたの主張はこれに尽きる
かつ、他人への背乗り（せのり＝マウント）による優越感と
数学科で落ちこぼれた不遇な自分を慰めるストレス解消でしょ？
IUTの数学を論じる気なんか
これっぽっちも、ないじゃん
64:１３２人目の素数さん
21/10/09 08:11:46.87 JOKI/wgx.net
>>59
>何から何まで逆コース
それ、ショルツェ氏の藁人形と同じだよ
つまり、自分のアンチ 日本および日本人の視点で、それ（偏見）に合う事象のみを探して列記する
反例は、「北海道大特任教授のベンジャミン・リスト氏（５３）が２０２１年のノーベル化学賞を受賞した」ってこと（下記）
なお、眞鍋 淑郎先生と望月先生の共通点は、どちらも”プリンストン大学”だってことだね
(参考)
URLﾘﾝｸ(www.yomiuri.co.jp)
北大特任教授がノーベル化学賞の受賞決定、喜び分かち合う教え子ら「実は気さく」
2021/10/08 14:47 読売
北海道大特任教授のベンジャミン・リスト氏（５３）が２０２１年のノーベル化学賞を受賞した。北大在籍者でノーベル賞を受賞するのは、１０年に同じ化学賞を受賞した鈴木章・名誉教授以来、２人目となる。同氏が兼務で在籍する北大の「化学反応創成研究拠点（略称アイクレッド）」では７日、教え子らが記者会見し喜びを分かち合った。
URLﾘﾝｸ(ja.wikipedia.org)
眞鍋 淑郎（まなべ しゅくろう、英語: Syukuro Manabe、1931年9月21日 - ）
日本へ一時帰国
1997年には日本へ帰国し、同国の宇宙開発事業団と海洋科学技術センターによる共同プロジェクト「地球フロンティア研究システム」の地球温暖化予測研究領域の領域長に就任した。
しかし、2001年に辞任・再び渡米し、プリンストン大学研究員に転じた。
65:１３２人目の素数さん
21/10/09 09:35:57.04 JOKI/wgx.net
>>58
>ｽﾚﾘﾝｸ(math板:265番)
また、ボコボコにされたいのか？
それ、ｽﾚﾘﾝｸ(math板:944番) Inter universal geometryとABC予想(応援スレ)
で、ツェルメロの可算多重シングルトンの話だったよね
下記引用を使って、再度説明するよ
URLﾘﾝｸ(ja.wikipedia.org)
自然数
集合論において標準的となっている自然数の構成は以下の通りである。
・空集合を 0 と定義する。
0 := {}
・任意の集合 a の後者は a と {a} の合併集合として定義される。
suc(a):=a∪{a}
・0 を含み後者関数について閉じている集合のひとつを M とする。
・自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」として定義される。
無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。 このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }
等々である[3]。
以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
(引用終り)
つづく
66:１３２人目の素数さん
21/10/09 09:36:59.55 JOKI/wgx.net
>>62
つづき
1．前半が、有名なノイマンによる自然数の構成だ（例 3 :={ {}, {{}}, { {}, {{}} } }）
ノイマンでは、n := suc(n-1) = {0, 1, 2,・・, n-1} つまり、0～n-1（n未満）を全て集めた集合になる
2．後半が、ツェルメロの多重シングルトンによる自然数の構成
3．で、ノイマンで、”2 := {0, {0}} = { {}, {{}} }”から、余分の0= {}を抜いたら、 {{{}}}ができるよ
4．同様に、3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }で
余分の0, 1を抜いて、 {2}＝{{0, {0}}}。ここから、さらに余分の”0,”を抜くと{{{0}}}＝ {{{{}}}}となるよ
5．つまり、ノイマンのｎで、上記のように余分のn-1までを抜くと、{n-1}が出来て、n-1に上記を繰り返すと
ｎ重のシングルトン{{・・{{}}・・}}ができる。つまり、潜在的に、ｎ重のシングルトン{{・・{{}}・・}}を含んでいるってこと
6．いま、ノイマンの自然数構成で、出来た自然数を全部集めると、自然数の集合N
N :={0, 1, 2,・・, n,・・} ができる
Nは、上記1項の”0～n（N未満）を全て集めた集合”とみることができる
また、N＝ω（最小の極限順序数）でもあることに注意しよう
つまりは、lim n→∞ n＝ω と見ることができる
7．さて、ノイマンの自然数構成で、N＝ω（最小の極限順序数）が構成できたことを使って
上記5項の極限を考えると、ノイマンのｎが潜在的に、ｎ重のシングルトン{{・・{{}}・・}}を含んでいることから
極限lim n→∞ n＝ω を考えると、可算多重のシングルトン{{・・・{{}}・・・}}が、考えられるってこと（実に単純な話）
8．では、可算多重のシングルトン{{・・・{{}}・・・}}とは、何者か？ どういう性質を持つべきか？ 持たせるべきか？
それは、これからの話で、だれかが考えたら良いｗ
おれの言っていることは、
まず「上記1～7項による 可算多重のシングルトン{{・・・{{}}・・・}}が、考えうる！」
ということを認めろってこと！
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
極限順序数
(引用終り)
以上
67:１３２人目の素数さん
21/10/09 09:40:43.90 tQ4wAjVT.net
>>63
どんなに偉そうな言言っても所詮このレベルの戯言言ってるんだからな
どうしようもない
68:１３２人目の素数さん
21/10/09 10:34:22.44 JOKI/wgx.net
>>64
>どんなに偉そうな言言っても所詮このレベルの戯言言ってるんだからな
？ おサル>>5-6の成り済まし別IDかい？
おサルは、もっとレベルが高いよ、下記だけどｗ
（そもそも、この可算多重シングルトンの論争は、
おサルが「可算多重シングルトンには、一番外側の{}が存在しないから集合ではない」と主張したことから始まったんだが）
(参考)
現代数学の系譜 カントル 超限集合論他 3
ｽﾚﾘﾝｸ(math板:244番)
244 名前：１３２人目の素数さん[] 投稿日：2020/11/07(土) 18:15:29.42 ID:zpeR/n4w
ｽﾚﾘﾝｸ(math板:779番)
>Zermeloのシングルトン構成によるωは、
>”・・・{{・・{ 0 }・・}}・・・”
>ってことで、
・・・{{・・{ 0 }・・}}・・・
それ、集合ですか？
集合なら、一番外側の{}がある筈ですよね？
一番外側の{}を取り除いた中身が、要素の列ですから
Q1. ・・・{{・・{ 0 }・・}}・・・
の一番外側の{}の位置を具体的に示してください
Q2. ・・・{{・・{ 0 }・・}}・・・
の一番外側の{}を外した中身を具体的に示してください
(引用終り)
ID:tQ4wAjVTさんか
確かにレベル高いな
高校数学は終わっているようだ
(参考)
面白い問題おしえて～な 38問目
ｽﾚﾘﾝｸ(math板:908番)
908 ：１３２人目の素数さん[sage]：2021/10/09(土) 01:37:28.30 ID:tQ4wAjVT
>>858
備忘録がわりのまとめ
z=-yとおけば
x^3+z^3+xz = 61
となるから
(3x+3z-1)(9x^2+9z^2+1+3x+3z-9xz) = 1646
を得る
a = 3x+3z-1,
b = 9x^2+9z^2+1+3x+3z-9xz,
とおけば
x + z = ( a + 1 ) / 3,
xz = ( a^2 + 3a + 3 - b ) / 27
であり
( x- z )^2 = ( -a^2-6a-9+4b ) / 27 = (4b - ( a + 3 )^2 ) / 27
となる
919 ：１３２人目の素数さん[sage]：2021/10/09(土) 10:02:41.07 ID:tQ4wAjVT
4^n + 24^n + 2181^n が平方数となる自然数nを決定せよ
(引用終り)
以上
69:Mara Papiyas
21/10/09 11:01:57.03 qQhss2MU.net
>>60
>IUTの数学を論じる気なんかこれっぽっちも、ないじゃん
うん、工学部卒の大学数学オチコボレの君と全く同じだよｗ
君もIUTとかグロタンディクとかガロアとか
自分の能力の遥か上の難しい事柄への無駄な拘り
きれいさっぱり捨てて、ただの🐎🦌として
シアワセに生きられるといいねｗ
70:Mara Papiyas
21/10/09 11:04:37.07 qQhss2MU.net
>>62
>また、ボコボコにされたいのか？
また、池乃めだか師匠の芸ですか？ｗ
東京人には全然分からんから、もうやめときｗ
71:Mara Papiyas
21/10/09 11:06:25.65 qQhss2MU.net
>>62
>で、ツェルメロの可算多重シングルトンの話だったよね
それ、こっちでさせてもらうわ
現代数学の系譜 カントル 超限集合論他 3
ｽﾚﾘﾝｸ(math板)
72:Mara Papiyas
21/10/09 11:17:52.89 qQhss2MU.net
>>63
こちらで、お🐒のセタ、真っ白な灰になるまで焼かせてもらいましたんで
ｽﾚﾘﾝｸ(math板:277番)
御愁傷様ｗｗｗｗｗｗｗ
73:Mara Papiyas
21/10/09 11:21:39.61 qQhss2MU.net
>>64
>所詮このレベルの戯言言ってるんだからな
ε-δも正則行列も知らん、工学部卒の💩なんて、所詮そんなもんですｗ
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!
74:１３２人目の素数さん
21/10/09 11:50:26.02 JOKI/wgx.net
>>67-69
おサル、あんた現代数学の抽象的な思考が弱いみたいだな
>>62の空集合によるノイマンの自然数の構成にしろ、ツェルメロのシングルトンによる自然数の構成にしろ
現代数学の抽象的な思考の産物なんだよね
で、現代数学ではすべからく、そうなのよ。全ては、抽象的な思考の産物なんだよね
ツェルメロのシングルトンによる自然数の構成で
（>>62より）
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
・
・
として、全てを尽くせば
N＝{0,1,2,・・｝とできて、全ての有限順序数＝順序数としての自然数 が構成できる
では、可算多重シングルトン {{・・{{}}・・}}は、否定されるべき存在なのかね？ｗ
おサルが言っている根拠は、全て「私は、現代数学の抽象的な思考」が理解できない
一番外の{}が分からない
一番外の{}を外したらどうなるか分からない
という、まあ素朴だが、ある意味幼稚な思考でしかない
そんなのノイマンのN＝{0,1,2,・・｝だって、同じ話でしかないよね
現代数学の抽象的な思考を自得するコツは、
まずは、現代数学の抽象的な対象が、存在するとして考えを進めることだよ
おサルのように、理解できないからと、
思考停止すると先に進めないよ
IUTに同じだよ
（まあIUTは、それ以前にアンチ日本＆日本人の ”日本憎し”が先にあるようだがね
落ちこぼれの ひねくれ根性にも、困ったもんだｗ）
75:１３２人目の素数さん
21/10/09 12:47:50.61 tQ4wAjVT.net
>>71
結局ネットの文章コピペしてるだけで本質このレベル
なーんにもわかってない
76:１３２人目の素数さん
21/10/09 13:01:28.94 JOKI/wgx.net
>>71
>>71
レーヴェンハイム?スコーレムの定理（下記）
「いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない」
”a theory with arbitrarily large finite models must have an infinite model”
なので、ツェルメロのシングルトン、任意の
77:有限ｎに対して構成可能だから 可算無限のシングルトンも、存在すると考える方が 順当だろう (参考) https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%BC%E3%83%B4%E3%82%A7%E3%83%B3%E3%83%8F%E3%82%A4%E3%83%A0%E2%80%93%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0%E3%81%AE%E5%AE%9A%E7%90%86 レーヴェンハイム?スコーレムの定理（英: Lowenheim?Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。 正確な記述 定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。 https://en.wikipedia.org/wiki/L%C3%B6wenheim%E2%80%93Skolem_theorem Lowenheim?Skolem theorem Consequences The proof of the upward part of the theorem also shows that a theory with arbitrarily large finite models must have an infinite model; sometimes this is considered to be part of the theorem. (引用終り) 以上
78:１３２人目の素数さん
21/10/09 13:07:50.32 JOKI/wgx.net
>>72
>結局ネットの文章コピペしてるだけで本質このレベル
>なーんにもわかってない
へーへー
あんた、学歴は？ 東大数学科？
別に、学歴が全てとは思わないがね
ちょっと、聞いてみたんだｗｗ
いままでの5ｃｈの経験で、大言壮語するやつ
ろくな奴、いなかったな
あんたはどうかなと思っただけ
おれ？ おれはゴミだけど、
「結局ネットの文章コピペしてるだけで本質このレベル
なーんにもわかってない」と宣うあなた
これを超える何かを、あんた、このスレで示せるのかな？ｗｗｗ
79:１３２人目の素数さん
21/10/09 13:36:54.17 tQ4wAjVT.net
コレを超えるってどれをww
{{{{}}}}}
の話？
wwwwwwwwwwwwwww
80:１３２人目の素数さん
21/10/09 14:20:37.22 JOKI/wgx.net
>>75
なんでも良いよ
自分の好きなことを書いて
あんたのレベルを示してくれよｗｗ
できるだろｗｗｗ
81:１３２人目の素数さん
21/10/09 18:07:50.96 JOKI/wgx.net
>>76 追加
ID:tQ4wAjVT氏か・・
（引用開始）
>>64 返信：１３２人目の素数さん[sage] 投稿日：2021/10/09(土) 09:40:43.90 ID:tQ4wAjVT
>>63
どんなに偉そうな言言っても所詮このレベルの戯言言ってるんだからな
どうしようもない
>>72 名前：１３２人目の素数さん[sage] 投稿日：2021/10/09(土) 12:47:50.61 ID:tQ4wAjVT
>>71
結局ネットの文章コピペしてるだけで本質このレベル
なーんにもわかってない
(引用終り)
で、あなた、何をしたかったの？
この「Inter-universal geometry と ABC予想 (応援スレ) 60 」スレに来て？
おサルの救援かい？
それとも、アンチIUTかい？
どうでも良いが、
「どんなに偉そうな言言っても所詮このレベル」
「結局ネットの文章コピペしてるだけで本質このレベル なーんにもわかってない」
と宣うあなたｗ
ええ、ええ、
あなたは偉い
偉い 偉いよねぇ～ｗｗ
で、>>76”なんでも良いよ 自分の好きなことを書いて あんたのレベルを示してくれよ”
と書いたけど、あんた自分のレベルの高さを示すもの、何も書けないんだｗｗｗ
多分、そんなことだと思ったから、
最初に学歴を聞いたんだ。「東大数学科？」>>74ってね
東大数学科で無くとも、学歴でも書けば、納得するけど、どう？ｗｗｗ
82:１３２人目の素数さん
21/10/09 21:53:07.58 JOKI/wgx.net
>>77
>で、あなた、何をしたかったの？
>「どんなに偉そうな言言っても所詮このレベル」
>「結局ネットの文章コピペしてるだけで本質このレベル なーんにもわかってない」
えらそーに
言うだけなら、ガキでも言えるよね
だが、自分の理解のレベルの高さを、なんらかの形で示さないと、大人の主張にならない。格好悪いよね
大言壮語して、竜頭蛇尾か
おれが、>>71で「>>62の空集合によるノイマンの自然数の構成にしろ、ツェルメロのシングルトンによる自然数の構成にしろ
現代数学の抽象的な思考の産物なんだよね
で、現代数学ではすべからく、そうなのよ。全ては、抽象的な思考の産物なんだよね」
と発言したのは、望月IUTを意識してのことだ（下記Yourpediaご参照）
フロベニオイド、ホッジ舞台、初期テータ情報、テータ橋梁、素数ストリップ、アナベロイド
これらの”現代数学の抽象的な思考の産物”の理解
これ「ツェルメロのシングルトンの存在さえ、観念できないならば、IUTは無理でしょ！」ってことだよ
(参考)
Yourpedia 宇宙際タイヒミュラー理論 （URLが通らないので検索たのむ）
フロベニオイド
圏の一種で、2008年に望月により導入された。フロベニウスとモノイドに由来する。スキームのような幾何学的対象として扱われる。
ホッジ舞台
初期テータ情報
ことなる素数Lや体Fごとに初期テータ情報は無数に存在し、 特殊な添え字の理論によってラベルがつけられる。 テータ橋梁がこのラベルを参考にことなる初期テータ情報の関連付けを行う。 テータ橋梁が関連付けるのはテータ情報から出現する素数ストリップのいくつかの組で、 この射の集まりのことをホッジ舞台とよぶ。
核性
対象として有限次エタール被覆がひきおこすアナベロイド、射を有限次エタール射としてとった２圏を考える。この圏の自己同型を'id'へ制限すると１圏として扱える。この圏の終対象が核である。核は基点を1つしか持たないという特性をもつ。
(引用終り)
以上
83:１３２人目の素数さん
21/10/09 21:57:04.45 tQ4wAjVT.net
>>78
イヤ、順序数の話すら意味分かってないのにiutの話しとかしようとするのが滑稽なんだよ
84:１３２人目の素数さん
21/10/09 22:23:26.65 JOKI/wgx.net
>>79
＞イヤ、順序数の話すら意味分かってないのにiutの話しとかしようとするのが滑稽なんだよ
ふーん？
で？
それじゃ、あんたのレベルが分からないけど
高校生かい？
85:１３２人目の素数さん
21/10/09 23:17:31.21 JOKI/wgx.net
>>79
評論家？ 数学評論家？ （下記ｗ）
＞順序数の話すら意味分かってないのにiutの話しとかしようとするのが滑稽なんだよ
このスレで書いた範囲での順序数の話は正しいよ。分かってるのかな？
”iutの話”は、あんたも同じだろ？ 大して分かってないんでしょ？ｗ
それに、自分の数学レベルを示さないと、説得力ないし
そもそも、「順序数の話すら意味分かってない」という自分の順序数に対する理解（間違っていると思うよ）を示さないと、全く説得力ないよね
URLﾘﾝｸ(ja.uncyclopedia.info)
アンサイクロペディア
評論家
評論家（ひょうろんか、Commentator）とは、テレビや新聞・雑誌などマスコミ関係でよく見かける職業である。ただ自分の好き嫌いを言うだけでお金になる、日本有数のお気楽職業として有名である。
日本の一般的な評論家はただ「自分にとっての良いこと悪いこと」つまり「自分が好きなもの、嫌いなもの」等を言うことを職業としている。
評論家になるためには
専門知識
なにもいりません
テクニック
「自分の言うことはなんでも正しい」という身の程も知らない口ぶり
86:１３２人目の素数さん
21/10/09 23:54:16.09 JOKI/wgx.net
Kirti Joshi氏が、なかなか面白い仕事をしている
望月IUTをヒントに、さらに
望月IUTを、超えていこうとしているね
そして、自分の理論の楕円曲線論への応用を論じている
URLﾘﾝｸ(arxiv.org)
Construction of Arithmetic Teichmuller Spaces and
some applications
Preliminary version for comments
Kirti Joshi
June 23, 2021
1 Introduction
§ 1.1 In this note I construct some categories which can be called Arithmetic Teichmuller
Spaces. This construction is very broadly inspired by Shinichi Mochizuki’s ideas on Anabelian
Geometry, p-adic Teichmuller theory and his work on the abc-conjecture, but my approach is
based on a completely different set of ideas.
Starting with any geometrically connected, smooth, quasi-projective variety X/L over number field L,
I show that there is a natural category, with a very rich structure, which can be called
an Arithmetic Teichmuller Space which is a product of categories J(X, Lp) for each non-trivial
valuation p of L (properties of J(X, Lp) are summarized in § 1.4), associated to the variety. My
construction works in any dimension and the category I construct also comes equipped with
functors to Mochizuki’s anabelian landscape (here the dimension is one).
つづく
87:１３２人目の素数さん
21/10/09 23:54:36.00 JOKI/wgx.net
>>82
つづき
P32
9 Relationship to Mochizuki’s Anabelian Landscape
§ 9.1 This section will not be used in the rest of the paper but readers of [Mochizuki, 2021a,b,c,d]
may find it useful. Let me now show how Arithmetic Teichmuller Theory of preceding sections comes equipped with functors to the Anabelian Landscape considered in [Mochizuki,
2021a,b,c,d]. Theorem 8.29.1 and its corollaries. provides a concrete way of understanding
this relationship.
P36
§ 9.1 This section will not be used in the rest of the paper but readers of [Mochizuki, 2021a,b,c,d]
may find it useful. Let me now show how Arithmetic Teichmuller Theory of preceding sections comes equipped with functors to the Anabelian Landscape considered in [Mochizuki,
2021a,b,c,d]. Theorem 8.29.1 and its corollaries. provides a concrete way of understanding
this relationship.
10 Applications to Elliptic curves
§ 10.1 This section is based on Mochizuki’s ideas in [Mochizuki, 2021a,b,c,d] but from the
point of view of this paper. In this section the general strategy of § 1.2 will be applied in the
specific context of elliptic curves with a view to Diophantine applications along the lines of
[Mochizuki, 2021a,b,c,d] (beware that no Diophantine inequalities are claimed in this paper).
(引用終り)
以上
88:Mara Papiyas
21/10/10 06:02:01.48 WvyKzuhg.net
>>71
お🐒のSET Aは公理に基づく論理的思考ができないｗ
集合論に基づくのだから、集合論の公理を満たす必要がある
>可算多重シングルトン {{・・{{}}・・}}は、否定されるべき存在なのかね？ｗ
集合の公理を満たさないことがわからんかね？ｗ
>一番外の{}が分からない
「分からない」のは君だよ、お🐒のSET Aクンｗ
私は明確に言い切った
「君のいう可算多重シングルトンには一番外の{}が存在しない」
「存在しない」という言葉の意味が「分からない」とは頭が悪い
>一番外の{}を外したらどうなるか分からない
もし一番外側の{}がある、というなら外せばいい
無限回、外側の{}が外せるなら、正則性公理を満たさないから集合ではない
有限回、外側の{}を外したら、一番外側の{}がない元が出てくるなら、その元は集合ではない
しかしながら、集合論の公理で「集合でない元」の存在など定めてないｗ
>まあ素朴だが、ある意味幼稚な思考でしかない
１＝{{}}も２＝{{{}}}も３＝{{{{}}}}もシングルトンだから
ωもシングルトンに違いない！というお🐒のSET Aの思考こそ素朴
いかなる意味でも幼稚だよ さすが大学に入れなかった工業高校卒のDQN
大阪大学工学部卒？ みえすいた学歴詐称はやめとけ
日本語も読めない馬鹿が大学なんか入れるわけないだろｗ
>ノイマンのN＝{0,1,2,・・｝だって、同じ話でしかないよね
全然違うがｗ
ノイマンのＮの外側の｛｝を外しつづけても
・集合でない元はでてこない
・有限回の操作で必ず空集合｛｝に至る
なぜなら、Ｎの要素はみな自然数であるから
ツェルメロのＮも{0,1,2,・・｝とすればいいだけ
そうすれば、シングルトンだとして場合に発生する問題はすべて回避できる
要するに、お🐒のSET Aの「シングルトンに違いない！」という考えがダメなだけｗ
P.S.
>…に同じだよ
日本語、間違ってるよ
正しい日本語は以下の通り
「･･･と同じだよ」
君の祖国、北朝鮮のみんなにも教えてあげなｗｗｗ
89:Mara Papiyas
21/10/10 06:07:46.77 WvyKzuhg.net
>>73
>レーヴェンハイム?スコーレムの定理
>「いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない」
>なので、ツェルメロのシングルトン、任意の有限ｎに対して構成可能だから
>可算無限のシングルトンも、存在すると考える方が順当だろう
モデルの意味、全然わかってないだろｗ
ツェルメロのシングルトンは、お🐒のSET Aにとってモデルなのかね？ｗｗｗ
全然違うよｗ
有限重の{}によるシングルトンは集合として存在する
しかし、無限重の{}によるシングルトンは
「図形」としては存在し得るかもしれんが、
集合としては存在しない
集合の公理に反するから
お🐒のSET Aは論理学が全然分かってない
さすが人間になれない畜生ｗｗｗ
90:Mara Papiyas
21/10/10 06:11:36.21 WvyKzuhg.net
>>72
お🐒のSET Aの「本質」は正規部分群に関する初歩的誤解の露見の時点で明らか
まあ、そんなオツムじゃ実数の構成も正則行列の条件も分かるわけないわなｗ
>>74
91: お🐒のSET Aは東大どころか阪大も無理ｗ
92:Mara Papiyas
21/10/10 06:14:52.86 WvyKzuhg.net
>>75-77
お🐒のSET A、阪大工学部卒の学歴詐称が露見して、悔しさのあまり発狂ｗ
ま、高卒がはずかしいからって大卒だとウソつくから
そういうみっともないことになる
自業自得だねｗｗｗ
93:Mara Papiyas
21/10/10 06:17:13.25 WvyKzuhg.net
>>78
「現代数学の抽象的な思考の産物なんだよね
で、現代数学ではすべからく、そうなのよ。
全ては、抽象的な思考の産物なんだよね」
高卒のお🐒のSET Aには、抽象も論理も無理だから、
算数だけやってなさいｗｗｗ
94:Mara Papiyas
21/10/10 06:19:49.70 WvyKzuhg.net
>>79
お🐒のSET Aは順序数とかいう前に、そもそも集合の初歩すらわかってないｗ
>>80-81
公立工業高校卒のDQNが 国立大学工学部卒とか学歴詐称すんなよｗｗｗ
95:Mara Papiyas
21/10/10 06:22:31.71 WvyKzuhg.net
>>82
>…が、なかなか面白い仕事をしている
お🐒のSET Aは自分に理解できないことはみな「面白い」の一言で誤魔化すｗ
なんも仕事してないよな 貴様
ああ、頭蓋骨の中身カラッポの🐎🦌のハッタリはツマンネェｗｗｗ
96:１３２人目の素数さん
21/10/10 07:45:52.99 G5zMgjj5.net
>>57
サルよりお前の擁護のが難しいだろ…老後のな｡
年金受給額0
生活保護不受理
承継財産0
今さら働くにあたり超使えない、邪魔、他所へ行け
約束された地獄以上の苦しみ｡
97:１３２人目の素数さん
21/10/10 08:59:29.44 L2JS9lGy.net
>>84
>>可算多重シングルトン {{・・{{}}・・}}は、否定されるべき存在なのかね？ｗ
>集合の公理を満たさないことがわからんかね？ｗ
>>一番外の{}が分からない
おサル必死ｗ
1．可算多重シングルトン {{・・{{}}・・}}が、仮に正則性公理を満たさないとしても、
”non-well-founded set theory”（下記）もあるから、存在しうるよ
2．後者関数(>>62) f({{・・{{}}・・}}n)＝{{・・{{}}・・}}n+1 ここに、{{・・{{}}・・}}nは、n重シングルトンで、後者関数はn+1重を与える
lim n→∞ f({{・・{{}}・・}}n) ＝{{・・{{}}・・}}ω と出来るよ
（前提として、ノイマン構成などで自然数の集合 n∈N が出来上がっていればだが）
3．「一番外の{}」なんてのは、無限集合になると、殆ど無意味
実際、集合論のテキストで、「一番外の{}」を問題にしているものは皆無だよ
(参考)
URLﾘﾝｸ(en.wikipedia.org)
New Foundations has a universal set, so it is a non-well-founded set theory.[2]
URLﾘﾝｸ(en.wikipedia.org)
Non-well-founded set theories are variants of axiomatic set theory that allow sets to be elements of themselves and otherwise violate the rule of well-foundedness.
URLﾘﾝｸ(en.wikipedia.org)
Alternative set theory
URLﾘﾝｸ(en.wikipedia.org)
List of first-order theories
（特に”16 Set theories”）
Contents
1 Preliminaries
2 Pure identity theories
3 Unary relations
4 Equivalence relations
5 Orders
6 Lattices
7 Graphs
8 Boolean algebras
9 Groups
10 Rings and fields
11 Geometry
12 Differential algebra
13 Addition
14 Arithmetic
15 Second order arithmetic
16 Set theories
(引用終り)
以上
98:１３２人目の素数さん
21/10/10 09:07:00.51 L2JS9lGy.net
>>91
なんだ、蕎麦屋さんか？
おはよー
>年金受給額0
>生活保護不受理
>承継財産0
そりゃ、自分のことか？ｗ
99:１３２人目の素数さん
21/10/10 09:32:38.25 L2JS9lGy.net
>>81
>このスレで書いた範囲での順序数の話は正しいよ。分かってるのかな？
根拠を書いておく
1．>>63と>>78で書いた順序数は、基本有限の範囲で、せいぜいωに言及した程度
2．有限の範囲では、順序数＝基数（＝自然数）だよ。分かってる？
3．ωから、先は基本は、順序数≠基数だ。例えば、自然数の可算無限列X=(0,1,2,3,4,・・・)で
偶数列X0=(0,2,4,・・・)、奇数列X1=(1,3,5,・・・) これを直列に並べれば
X0+X1=(0,2,4,・・・,1,3,5,・・・) で、順序数としては、2ω。が、集合の基数としては、?0のままだよ
4，だから、有限の範囲＋ωまでしか書いていないから、実質自然数の範囲の話で、「順序数の理解」云々という話にはならないよ
それが分かっていないならば、「順序数の理解」が出来ていないのは、どっちだという話
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
順序数（じゅんじょすう、英: ordinal number）とは、整列集合同士の"長さ"を比較するために、自然数[1]を拡張させた概念である。
順序数に関して次が成り立つ：
2.(A, <) が有限整列集合のとき、ord(A, <) は A の要素の個数に等しい。
（余談だが、有限の範囲では、順序数＝基数 の関連記事）
URLﾘﾝｸ(ja.wikipedia.org)
序数詞（じょすうし）、順序数詞（じゅんじょすうし）とは物事の順序・順番（序数）を表す数詞である。これに対し、物事の数量を表す数詞は基数詞と呼ばれる。同音の助数詞との混同に注意。欧州の言語において序数詞は、日付（日）や世紀、分数の分母、また1世、2世、3世…といった同名の人物の世代数などにも用いられる。
序数詞の発達していない言語
中国語
中国語においては独立した序数詞体系は見られない。ただし2の場合、「二」が基数・序数両方に使われるに対し、「両」は基数のみで使われる。序数をあらわすときは「第-」や「-次」といった接語を用いる。
日本語
日本語は単独の序数詞を持たず、「-番目」「-回目」「-人目」「-位（順位）」といった接尾辞や、「第-」といった接頭辞を付けて順番・順序などの序数を表現する。
(引用終り)
以上
100:１３２人目の素数さん
21/10/10 09:34:59.11 L2JS9lGy.net
>>94 文字化け訂正
X0+X1=(0,2,4,・・・,1,3,5,・・・) で、順序数としては、2ω。が、集合の基数としては、?0のままだよ
↓
X0+X1=(0,2,4,・・・,1,3,5,・・・) で、順序数としては、2ω。が、集合の基数としては、ｱﾚﾌ0のままだよ
追加参考
URLﾘﾝｸ(ja.wikipedia.org)
アレフ数
101:１３２人目の素数さん
21/10/10 10:59:12.14 WvyKzuhg.net
>>93
ｽﾚﾘﾝｸ(math板:279番)
ま、お🐒のSET Aは、「無限重シングルトン」が
・そもそも要素を持つ
・しかも正則性公理を満たす
ということすら示せない時点で大惨敗！
さすが、工業高校卒の🐎🦌
Ｏsaka大学Ko学部卒とか学歴詐称してんじゃねぇよ このウソツキ野郎！
102:１３２人目の素数さん
21/10/10 11:11:00.77 WvyKzuhg.net
訂正 >>96は >>92に対するレスな
>>94
ｽﾚﾘﾝｸ(math板:280番)
ツェルメロの後者関数を使う場合も
ωは可算無限集合、ω1は非可算無限集合な
お🐒のSET Aがわけもわからずコピペした文章から
正しいツェルメロのω1も構成してやったぞwww
103:１３２人目の素数さん
21/10/10 11:21:19.72 WvyKzuhg.net
大阪府立某工業高校卒の🐎🦌のお🐒のSET Aクンへ
以下のようなコピペは無駄なので
今後一切おやめくださいｗｗｗｗｗｗｗ
＞(参考)
＞・・・
＞(引用終り)
＞以上
104:１３２人目の素数さん
21/10/10 11:43:47.79 L2JS9lGy.net
>>98
おサル必死だな
(引用開始)
以下のようなコピペは無駄なので
今後一切おやめくださいｗｗｗｗｗｗｗ
＞(参考)
＞・・・
＞(引用終り)
＞以上
(引用終り)
あんたにとっちゃ
そうなんだろうねｗ
105:１３２人目の素数さん
21/10/10 11:53:00.30 L2JS9lGy.net
>>99 追加
（参考）
楕円関数・テータ関数・モジュラー関数
ｽﾚﾘﾝｸ(math板:40番)
40 名前：１３２人目の素数さん[] 投稿日：2020/11/07(土) 11:42:30.68 ID:zpeR/n4w [5/7]
>>38
ま、素人ですから・・・
知ったところで、自己満足ですから、
数学者として結果を出すなんてことは
到底あり得ません
そこんとこ、ご理解いただいた上で
お付き合い願えれば幸いです
（ひたすら低姿勢）
52 名前：１３２人目の素数さん[] 投稿日：2020/11/14(土) 07:05:45.8
106:8 ID:D68Dfh0K [1/22] >>47 結局、梅村「楕円関数論」を読むことにした >>48 このスレッドでまとめを書いてみることにする (引用終り) で、数学科で落ちこぼれて30年後に、梅村楕円関数を世オムと称して その実、定理の写経で終わったおサルさんｗｗｗ
107:１３２人目の素数さん
21/10/10 11:53:08.63 SyvyeUW8.net
この無限シングルトンの件でセタが保存拡大が分かってないのは明らかだわな
何度も保存拡大って単語入ってる文章コピペしてるくせに
108:１３２人目の素数さん
21/10/10 11:54:16.79 L2JS9lGy.net
>>100 タイポ誤変換訂正
で、数学科で落ちこぼれて30年後に、梅村楕円関数を世オムと称して
↓
で、数学科で落ちこぼれて30年後に、梅村楕円関数を読むと称して
109:１３２人目の素数さん
21/10/10 11:54:18.69 WvyKzuhg.net
>>99
＞あんたにとっちゃ そうなんだろうねｗ
いや、お🐒のSET A、キミにとってだよｗｗｗ
110:Mara Papiyas
21/10/10 12:01:46.29 WvyKzuhg.net
>>100
＞定理の写経で終わったおサルさんｗｗｗ
お🐒のSET A、他人にモノマネされて完全発狂
🐎🦌にされてるって気づいたんだなｗｗｗｗｗｗｗ
111:１３２人目の素数さん
21/10/10 12:01:57.04 L2JS9lGy.net
>>101
>この無限シングルトンの件でセタが保存拡大が分かってないのは明らかだわな
>何度も保存拡大って単語入ってる文章コピペしてるくせに
ID:SyvyeUW8氏は、昨日の高校生>>80 か？
このスレでは、”保存拡大”の話は一切していないし、保存拡大って単語入ってる文章コピペもないよ
かつ、無限シングルトンと保存拡大が、どう関係しているのか？
そのロジックぐしゃぐしゃ頭じゃ、”「順序数の理解」が出来ていないのは、どっちだという話”だ>>94 よｗ
112:１３２人目の素数さん
21/10/10 12:04:05.42 SyvyeUW8.net
>>105
な？
やっぱり分かってないよな
まぁ説明したって理解できるレベルの学力ないから説明しないけどね
113:１３２人目の素数さん
21/10/10 12:05:30.09 L2JS9lGy.net
>>104
いやいや
梅村「楕円関数論」を読むことにした
とか言って
結局定理（だけ）の写経で終わったおサルさん
おれ、写経などしない
物まね？ おれがやっているのは、コピーコマンドが使える媒体が主でね
紙媒体のコピーは、極力しないけどね
定理（のみ）写経して、
分かった気になった
おサルさんでしたとさｗ
114:Mara Papiyas
21/10/10 12:05:47.88 WvyKzuhg.net
お🐒のSET Aが写経するんなら
まずは線型代数のテキストだろうな
ま、ガンバってｗｗｗｗｗｗｗ
115:１３２人目の素数さん
21/10/10 12:06:18.93 L2JS9lGy.net
>>106
いらねー
高校生レベルに説明されてもね
それに、スレ違いだよｗ
116:Mara Papiyas
21/10/10 12:10:38.50 WvyKzuhg.net
>>107
>おれがやっているのは、
>コピーコマンドが使える媒体
>紙媒体のコピーは、極力しない
そうやってサボってるから、
いつまでたっても数学の基礎すら
全然理解できないんだよｗ
線型代数のテキスト、読んで写経してみ？
自分が全然わかってなかったって気づくからｗ
117:１３２人目の素数さん
21/10/10 12:24:12.80 SyvyeUW8.net
>>109
だって相変わらず意味も分からず内容も読まず理解もできてない文章コピペしまくってるやん
118:Mara Papiyas
21/10/10 12:31:24.68 WvyKzuhg.net
>>111
お🐒のSET Aは工業高校時代のカンニングの癖が抜けないんだよｗｗｗ
119:１３２人目の素数さん
21/10/10 13:30:54.35 L2JS9lGy.net
>>105
>>この無限シングルトンの件でセタが保存拡大が分かってないのは明らかだわな
>>何度も保存拡大って単語入ってる文章コピペしてるくせに
>かつ、無限シングルトンと保存拡大が、どう関係しているのか？
>そのロジックぐしゃぐしゃ頭じゃ、”「順序数の理解」が出来ていないのは、どっちだという話”だ>>94 よｗ
保存拡大は、英語では、Conservative extension で、
主には下記”In mathematical logic, a conservative extension is a supertheory of a theory which is often convenient for proving theorems, but proves no new theorems about the language of the original theory.”
ということで、二つの論理系(mathematical logic)において、拡大した系で拡大前以上の新しい命題が証明できないことをいう
例えば、ZFC公理系で、von Neumann?Bernays?Godel set theory (NBG)は保存拡大だが
グロタンディーク宇宙は、基本的に保存拡大ではないと言われる（下記）
かように、保存拡大は、二つの論理系(mathematical logic)について言うもものだが
無限シングルトンの話は、一つの公理系中で完結するから、基本的に保存拡大とは無関係だよ
思いついた単語を並べれば、
ごまかせる�