Inter-universal geometry と ABC予想 (応援スレ) 63

**１３２人目の素数さん** · 2021/12/28(火) 23:28:06.67

（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 62
https://rio2016.5ch.net/test/read.cgi/math/1638933969/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
https://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13

（参考）
https://twitter.com/math_jin
math_jin 出版序文リンク Andrew Putman 2021年3月6日
https://drive.google.com/file/d/1n1XMCNyQxswQGrxPIZnCCMx6wJka0ybh/view

望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。
査読が終り出版されました。また、“Explicit”版が公開され、査読は完了したようです。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加したようです。
IUTが正しいことは、99％確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は分裂したNo43スレの中ではこのスレ立ては最初だったのです！（＾＾；）

つづく
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2021/12/28(火) 23:30:23.39

つづき

https://mainichi.jp/articles/20200403/k00/00m/040/295000c
望月教授「ABC予想」証明　斬新理論で数学界に「革命」　京大数理研「完全な論文」【松本光樹、福富智】毎日新聞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プライムオンライン

つづく

**１３２人目の素数さん** · 2021/12/28(火) 23:30:53.63

つづき

＜IUT国際会議 2つのシリーズ＞
1．
http://www.kurims.kyoto-u.ac.jp/~bcollas/IUT/IUT-schedule.html
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. http://www.kurims.kyoto-u.ac.jp/~bcollas/IUT/documents/RIMS-Lille%20-%20Promenade%20in%20Inter-Universal%20Teichm%C3%BCller%20Theory.pdf

**１３２人目の素数さん** · 2021/12/28(火) 23:31:23.68

https://www.kurims.kyoto-u.ac.jp/~motizuki/project-2021-japanese.html
宇宙際タイヒミューラー理論の拡がり
（４回とも無事終了です）
なお、東大の重鎮 Atsushi Shiho (Univ. Tokyo, Japan)先生
8月末～9月初めの二つのIUT会議に出席したようです

参考
https://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut1.html
宇宙際タイヒミューラー理論への誘い（いざない）2021-08-31?2021-09-03
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),

https://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut2.html
宇宙際タイヒミューラー理論サミット２０２１ 2021-09-07?2021-09-10
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),

https://www.kurims.kyoto-u.ac.jp/~motizuki/research-japanese.html
望月過去と現在の研究
https://www.kurims.kyoto-u.ac.jp/~motizuki/Invitation%20to%20view%20IUT%20workshop%20videos.pdf
20211117
世界の数学者に向けた、今年度の宇宙際タイヒミューラー理論関連集会のビデオ閲覧の招待状を掲載。

つづく

**１３２人目の素数さん** · 2021/12/28(火) 23:31:56.46

つづき

＜過去スレより再録＞
スレ46 https://rio2016.5ch.net/test/read.cgi/math/1589677271/273
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレがアンチでお願いしますよ
ここでは、大人の議論をしましょうね

１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
　（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレがアンチへ）
３．数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」です
　あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です
４．査読者や、柏原・玉川がグルだとか、小学生はいう
　しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」です

ワケワカ小学生は、どうぞ相応しいスレへお願いしますｗｗ（＾＾；

スレ46 https://rio2016.5ch.net/test/read.cgi/math/1589677271/883
１．RIMSをまず普通の論文と見れば良いと思うのだが？　つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる拡張あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ

そういう普通の視点で考えれば宜しいのではないですかね？
応援スレだが、この普通のことしか言ってないけどねｗ（＾＾

アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか

笑える幼稚な議論
それは、別スレでやれよｗ（＾＾；

**１３２人目の素数さん** · 2021/12/28(火) 23:32:14.94

なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新～！”と絶叫したりするからです（＾＾；　）
( https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊）（Yahoo!でのあだ名が、「一石」）
（＊＊）注；https://en.wikipedia.org/wiki/Hyperboloid Hyperboloid
Hyperboloid of two sheets ：https://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png
https://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面
二葉双曲面：https://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png
おサル、あいつは双曲幾何の修論でも書いたみたいだなｗ（＾＾）

＜＊）サイコパスの特徴＞
（参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
http://kotowaza-allguide.com/to/torinakisatonokoumori.html#:~:text=%E9%B3%A5%E3%81%AA%E3%81%8D%E9%87%8C%E3%81%AE%E8%9D%99%E8%9D%A0%E3%81%A8%E3%81%AF%E3%80%81%E3%81%99%E3%81%90%E3%82%8C%E3%81%9F%E8%80%85,%E3%81%A6%E3%81%84%E3%82%8B%E3%81%93%E3%81%A8%E3%81%AE%E3%81%9F%E3%81%A8%E3%81%88%E3%80%82
鳥なき里の蝙蝠故事ことわざ辞典
【読み】とりなきさとのこうもり
【意味】鳥なき里の蝙蝠とは、すぐれた者がいないところでは、つまらぬ者が威張っていることのたとえ。
つづく

**１３２人目の素数さん** · 2021/12/28(火) 23:32:36.24

つづき
＜サイコパスのおサルのバカ発言＞
過去スレ55 https://rio2016.5ch.net/test/read.cgi/math/1623558298/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 https://rio2016.5ch.net/test/read.cgi/math/1623558298/158より）
　＜上昇列　０＜・・・＜ω　が有限列にしかなり得ない
　ことも分からん「考えなしの素人」に数学はムリ”
　これじゃ。三歳児レベルの知能じゃんかｗ
　このおサルには、IUTは百年早いぜｗ（＾＾；
(引用終り) 以上

なお、
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ

上記は、お断りです！！
小学生がいますので、18金（禁）よろしくね！（＾＾

つづく

**１３２人目の素数さん** · 2021/12/28(火) 23:38:06.58

つづき
（参考）
関連：望月新一（数理研） http://www.kurims.kyoto-u.ac.jp/~motizuki/
News - Ivan Fesenko https://www.maths.nottingham.ac.uk/plp/pmzibf/nov.html
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
https://ivanfesenko.org/wp-content/uploads/2021/11/Explicit-estimates-in-IUT.pdf NEW!! (2020-11-30) いわゆる南出論文
より
P4
Theorem A. (Effective versions of ABC/Szpiro inequalities over mono-complex number fields)
Theorem B. (Effective version of a conjecture of Szpiro)
Corollary C. (Application to “Fermat’s Last Theorem”)
P56
Corollary 5.9. (Application to a generalized version of “Fermat’s Last Theorem”)
Let l, m, n be positive integers such that
min{l, m, n} > max{2.453 ・ 10^30, log2 ||rst||C, 10 + 5 log2(rad(rst))}.
Then there does not exist any triple (x, y, z) ∈ S of coprime [i.e., the set of
prime numbers which divide x, y, and z is empty] integers that satisfies the equation

つまり、元祖フェルマー x^l + y^m + z^n = 0→拡張フェルマー rx^l + sy^m + tz^n = 0 もIUTで解けたんだ

Theorem Bで、Effective ”Szpiro”も出る
但し、”effective versions of the Vojta”への言及がないので、Vojtaは未だみたい
ここ、一山当てる狙い目かもねｗ
他に、IUT関連
・[R8] Higher adelic theory, talk at the Como School, September 2021 https://ivanfesenko.org/wp-content/uploads/2021/10/hat.pdf
・[R7] IUT and modern number theory, talk at the RIMS workshop on IUT Summit, September 2021 https://ivanfesenko.org/wp-content/uploads/2021/10/mntiut.pdf
? [R5] Class field theory, its three main generalisations, and applications, May 2021, EMS Surveys 8(2021) 107-133 https://ivanfesenko.org/wp-content/uploads/2021/10/232.pdf

つづく

**１３２人目の素数さん** · 2021/12/28(火) 23:39:57.55

つづき

? [R4] On asymptotic equivalence of classes of elliptic curves over Q , November 2020 https://ivanfesenko.org/wp-content/uploads/2021/10/asym2-1.pdf

http://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
＜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が通らないので検索たのむ）

https://twitter.com/hoshiyuichiro
星裕一郎ツイッター
http://www.kurims.kyoto-u.ac.jp/~yuichiro/papers.html
星裕一郎の論文
(抜粋)
宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり）https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/244783
続・宇宙際 Teichmuller 理論入門 PDF (2018) （Indexあり） https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/244746

http://www.kurims.kyoto-u.ac.jp/~gokun/
Go YAMASHITA （gokun）
http://www.kurims.kyoto-u.ac.jp/~gokun/myworks.html
山下剛サーベイ http://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/abc2019Jul5.pdf （Indexが充実しているので、IUT辞書として使える）
A proof of the abc conjecture after Mochizuki.preprint. Go Yamashita last updated on 8/July/2019.

つづく
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2021/12/28(火) 23:41:44.16

つづき

Yourpedia 宇宙際タイヒミュラー理論（URLが通らないので検索たのむ）
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96　宇宙際タイヒミュラー理論 Wikipedia
https://en.wikipedia.org/wiki/Inter-universal_Teichm%C3%BCller_theory 英Inter-universal Teichmuller theory 英 Wikipedia
https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3 ABC予想
https://en.wikipedia.org/wiki/Abc_conjecture 英abc conjecture

https://www.math.arizona.edu/~kirti/ から Recent Research へ入る
Kirti Joshi Recent Research論文集
新論文（IUTに着想を得た新理論） https://arxiv.org/pdf/2106.11452.pdf
Construction of Arithmetic Teichmuller Spaces and some applications
Preliminary version for comments Kirti Joshi June 23, 2021

https://www.uvm.edu/~tdupuy/papers.html
[ Taylor Dupuy's Homepage] 論文集
なお、（メモ）TAYLOR DUPUYは、arxiv投稿で [SS17]を潰した（下記）
https://arxiv.org/pdf/2004.13108.pdf
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:

つづく

**１３２人目の素数さん** · 2021/12/28(火) 23:43:00.42

つづき

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 ( https://www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf Date: July 16, 2018.
https://ncatlab.org/nlab/files/why_abc_is_still_a_conjecture.pdf Date: August 23, 2018. )
[Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2

なお
"[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以降かも）

つづく

**１３２人目の素数さん** · 2021/12/28(火) 23:43:45.27

つづき

http://www.kurims.kyoto-u.ac.jp/~motizuki/Tan%20---%20Introduction%20to%20inter-universal%20Teichmuller%20theory%20(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.

http://www.kurims.kyoto-u.ac.jp/daigakuin/Tan.pdf
教員名: 譚福成（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.

つづく

**１３２人目の素数さん** · 2021/12/28(火) 23:44:06.31

つづき

＜IUTと類体論＞
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96#cite_note-3
宇宙際タイヒミュラー理論
数論的 log Scheme 圏論的表示の構成等に続いた研究であり、「一点抜き楕円曲線付き数体」の「数論的タイヒミューラー変形」を遠アーベル幾何等を用いて「計算」する数論幾何学の理論である。イヴァン・フェセンコはIU幾何を遠アーベル幾何から派生した新たな類体論に位置付けている

https://www.maths.nottingham.ac.uk/plp/pmzibf/mp.html
Ivan Fesenko - Research in texts
https://www.maths.nottingham.ac.uk/plp/pmzibf/232.pdf
[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.")
https://www.kurims.kyoto-u.ac.jp/~motizuki/ExpHorizIUT21/WS4/documents/Fesenko%20-%20IUT%20and%20modern%20number%20theory.pdf
Fesenko IUT and modern number theory
つづく

**１３２人目の素数さん** · 2021/12/28(火) 23:45:16.76

つづき

（IUTに対する批判的レビュー）
https://zbmath.org/07317908
https://zbmath.org/pdf/07317908.pdf
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)

BuzzardのICM22講演原稿
Inter-universal geometry とABC 予想47
https://rio2016.5ch.net/test/read.cgi/math/1635332056/84
84 名前：38[] 投稿日：2021/12/23(木) 19:42:33.42 ID:iz9G4jw+ [1/2]
Buzzardの原稿が出たヨ！
https://arxiv.org/abs/2112.11598
>A great example is Mochizuki’s claimed proof of the ABC conjecture [Moc21].
>This proof has now been published in a serious research journal, however
>it is clear that it is not accepted by the mathematical community in general.

86 名前：１３２人目の素数さん[] 投稿日：2021/12/23(木) 20:46:56.21 ID:a0F2ZqKI
>>84
ホントに出ていたね。その引用部分の少し後に次のことが書かれている。
Furthermore, the key sticking point right now is that the unbelievers argue that more details are needed in the proof of Corollary 3.12 in the main paper,
and the state of the art right now is simply that one cannot begin to formalise this corollary without access to these details in some form
(for example a paper proof containing far more information about the argument)
(引用終り)

”Comments: 28 pages, companion paper to ICM 2022 talk”と明記もあるね
思うに、その意図は、「反論あるなら言ってきてね。反論の機会を与える。反論なき場合はこのまま総会発表とする」ってことか
（西洋流で、「黙っていたから認めたってことじゃん」みたいなｗ）
普通は、こんな形でプレプリ出さない気がするな
さあ、面白くなってきたかも
ドンパチ派手にやってほしい

取り敢えずこんなところで（＾＾

**１３２人目の素数さん** · 2021/12/28(火) 23:56:17.08

極左アナーキストはおサルだったのか
極左アナーキストの時点で知的変質者なわけだから実生活も推して知るべしだなw
どこで足を踏み違えたのか？
学生時代に女にもてなかったから鬱屈したんだろう
その分、オナニーは激しかっただろうなw

**１３２人目の素数さん** · 2021/12/29(水) 07:38:53.41

>>15
レスありがとうございます
ご理解頂ければ、幸いです

**１３２人目の素数さん** · 2021/12/29(水) 11:09:58.51

IUT応援スレがIUTと無関係のID無し小物の発狂連投で埋まる珍事発生中

Inter-universal geometry と ABC予想 (応援スレ) 62
https://rio2016.5ch.net/test/read.cgi/math/1638933969/981-

**１３２人目の素数さん** · 2021/12/29(水) 11:15:28.69

このスレで暴れている人は
・非線形非平衡統計物理の未科学問題(当時)
https://en.wikipedia.org/wiki/Mpemba_effect
　を古典熱力学と矛盾する「ニセ科学」だと主張し
　雑誌パリティ編集長大槻義彦氏を巻き込もうとする
　も失敗、2017年に解明論文が出て以降ダンマリ
・CERN反物質実験プロジェクトリーダー
https://ja.wikipedia.org/wiki/%E6%97%A9%E9%87%8E%E9%BE%8D%E4%BA%94
　が311福一原発事故の放射線被害論文で
　データ無断使用とデータ捏造問題を起こすと
　擁護を試み、
　英語論文誌の論文撤回手続きに関し虚言を弄し
・上記問題に対し一貫した指摘を行なっている
　ゴードン・ベル賞7回受賞の物理学者
https://ja.wikipedia.org/wiki/%E7%89%A7%E9%87%8E%E6%B7%B3%E4%B8%80%E9%83%8E
　に対しても
　「脱原発派の指摘はバイアスが掛かっているから
　一切信用できない」という印象操作発言をして
その長年にわたる「ニセ科学批判」が科学ではなく世論扇動活動に過ぎなかった事を露呈してしまった

「己には学問的成果が無いので
　大物への批判と擁護を通じて
　己が大物であるかのように振る舞う」

小物に過ぎない
https://ja.wikipedia.org/wiki/%E5%A4%A9%E7%BE%BD%E5%84%AA%E5%AD%90
小物の虚勢連投は一切お気になさらぬよう

**１３２人目の素数さん** · 2021/12/29(水) 11:41:15.96

**１３２人目の素数さん** · 2021/12/29(水) 11:44:34.83

>>18
2020年の解明論文
Kumar, A., Bechhoefer, J. Exponentially faster cooling in a colloidal system. Nature 584, 64–68 (2020). https://doi.org/10.1038/s41586-020-2560-x https://arxiv.org/pdf/2008.02373.pdf

**１３２人目の素数さん** · 2021/12/29(水) 12:01:00.07

>>19
下記URLを気に病んで執拗にNG指定を求める理由は何故ですか

2000年ネットニュースfj.soc.lawスレッド https://groups.google.com/g/fj.soc.law/c/oEr_UCdvnTg/m/IerWI2I7OREJ
2007年科教協ちばニセ科学フォーラム２００７　http://blog-imgs-17.fc2.com/k/a/k/kakyoukyoutiba/CIMG8681.jpg
2008年 https://b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com/site/researchfrontierofwater/photo-gallery/day1-post-meridiem/DSC_0021.JPG
2008年メンタルサロン板スレッド http://itest.5ch.net/life9/test/read.cgi/mental/1212628738/
2008年学外移転ホームページ http://cml-office.org/
2017年ラジオ番組板スレッド https://itest.5ch.net/test/read.cgi/am/1503813609/912 https://itest.5ch.net/test/read.cgi/am/1503813609/925 https://itest.5ch.net/test/read.cgi/am/1503813609/948

**１３２人目の素数さん** · 2021/12/29(水) 12:01:10.91

>>18
ムペンバ効果・・・なんか面白そう

https://ja.wikipedia.org/wiki/%E3%83%A0%E3%83%9A%E3%83%B3%E3%83%90%E5%8A%B9%E6%9E%9C

一見荒唐無稽と思える話を真面目に検証したオズボーン博士はさすが

**１３２人目の素数さん** · 2021/12/29(水) 12:10:40.34

> サイモンフレーザー大学の物理学者、アビナッシュ・クマールとジョン・ベックホーファーの研究

>>22
オズボーン博士とは？

この件は液体分子運動量の統計的分布が非平衡状態では崩れる事から、統計物理の問題として解明されるべき事は2008年の国内騒動発生当時から明らかであり

未解明未研究の未科学問題をニセ科学として扱おうとした小物の責任が問われる

**１３２人目の素数さん** · 2021/12/29(水) 12:21:23.36

>>1
テンプレに無限重シングルトンは間違いでしたって入れとけや

**１３２人目の素数さん** · 2021/12/29(水) 12:35:11.76

>>13 補足
https://ivanfesenko.org/wp-content/uploads/2021/11/232.pdf
CLASS FIELD THEORY, ITS THREE MAIN GENERALISATIONS, AND APPLICATIONS
IVAN FESENKO
This text was published in EMS Surveys, 8(2021) 107?133.

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
(引用終り)

下記のProblemがいいね
(FESENKO)
Problem 1. Develop fuller LC analogues of Parts II-IV of CFT.
Problem 2. Find a version of enhanced arithmetic LC parallel to GCFT.
Problem 3. Find a version of enhanced LC parallel to SCFT but which works over all number fields.
Problem 4. Find a version of enhanced LC parallel to some of post-cohomological CFT, thus circumventing the problem of using non-abelian cohomology.
Problem 5. Develop a general ramification theory for surfaces compatible with 2dCFT and taking into careful account ramification theory at the one-dimensional residue level.
Problem 6. Develop a special higher CFT which uses torsion structures, to provide new insights into 2dCFT.
Problem 7. Find more direct relations between the generalisations of CFT. Use them to produce a single unified generalisation of CFT.

**１３２人目の素数さん** · 2021/12/29(水) 12:36:03.50

このスレは無限重シングルトンのスレ
IUTの話題はスレ違い

**１３２人目の素数さん** · 2021/12/29(水) 12:58:29.96

>>21
あグロ

**１３２人目の素数さん** · 2021/12/29(水) 13:00:46.85

>>19
サンクス

**１３２人目の素数さん** · 2021/12/29(水) 13:04:56.17

>>18>>22
2017年論文は2つ
・Lu, Zhiyue; Raz, Oren (16 May 2017). "Nonequilibrium thermodynamics of the Markovian Mpemba effect and its inverse". Proceedings of the National Academy of Sciences. 114 (20): 5083–5088. arXiv:1609.05271. Bibcode:2017PNAS..114.5083L. doi:10.1073/pnas.1701264114. ISSN 0027-8424. PMC 5441807. PMID 28461467.

・Lasanta, Antonio; Vega Reyes, Francisco; Prados, Antonio; Santos, Andrés (2017). "When the Hotter Cools More Quickly: Mpemba Effect in Granular Fluids". Physical Review Letters. 119 (14): 148001. arXiv:1611.04948. Bibcode:2017PhRvL.119n8001L. doi:10.1103/physrevlett.119.148001. hdl:10016/25838. PMID 29053323. S2CID 197471205.

>>22
オズボーン博士とは？

**１３２人目の素数さん** · 2021/12/29(水) 13:05:33.85

>>21
a_watcherがイライラする事が見込まれるからです

**１３２人目の素数さん** · 2021/12/29(水) 13:06:37.55

オズボーン博士も知らんモグリw
こっちが恥ずかしくなる( ´,_ゝ｀)ﾌﾟｯ

**１３２人目の素数さん** · 2021/12/29(水) 13:07:14.70

やっぱりこのスレで暴れている人は
英語記事を示されても即座に内容把握ができずに
空想上の答えを書いて誤魔化す癖が特徴的だね

だから自身の身元に関するURLをNGしろと言い出す

そういう事だね

**１３２人目の素数さん** · 2021/12/29(水) 13:09:53.30

a_watcherの学歴コンプレックスは異常

**１３２人目の素数さん** · 2021/12/29(水) 13:10:56.31

関連論文を3つ示されて(>>20,29)もなお
空想上の人物の功績を称えたり(>>18,31)
空想上の敵と戦う(>>30)のは
このスレで自演連投をする人物の異常性の証だね

**１３２人目の素数さん** · 2021/12/29(水) 13:35:35.74

>>25 補足

IVAN FESENKO先生さすがと思う
CLASS FIELD THEORY（類体論）の視点から
全体まとめと、解決すべき課題を抽出した

これと類似のことを、RIMS IUT側が行うべきだろう
１）現状まとめ（従来の数学理論（楕円曲線論、圏論などから見たIUTの位置づけ）
２）今後の課題の整理

これを、RIMS IUT側が行うべきだろう

**１３２人目の素数さん** · 2021/12/29(水) 13:39:07.35

本日もa_watcherのIDを真っ赤にする事に成功

**１３２人目の素数さん** · 2021/12/29(水) 13:48:03.55

このスレでIUTと無関係な話を引っ張っては暴れている人物は
■非線形非平衡統計物理の未科学問題(当時)
https://en.wikipedia.org/wiki/Mpemba_effect
　を古典熱力学と矛盾する「ニセ科学」だと主張し
　雑誌パリティ編集長大槻義彦氏を巻き込もうと
　するも失敗、2017～2020年解明論文が出て以降ダンマリ
・Lu, Zhiyue; Raz, Oren (16 May 2017). "Nonequilibrium thermodynamics of the Markovian Mpemba effect and its inverse". Proceedings of the National Academy of Sciences. 114 (20): 5083–5088. arXiv:1609.05271. Bibcode:2017PNAS..114.5083L. doi:10.1073/pnas.1701264114. ISSN 0027-8424. PMC 5441807. PMID 28461467.
・Lasanta, Antonio; et al. (2017). "When the Hotter Cools More Quickly: Mpemba Effect in Granular Fluids". Physical Review Letters. 119 (14): 148001. arXiv:1611.04948. Bibcode:2017PhRvL.119n8001L. doi:10.1103/physrevlett.119.148001. hdl:10016/25838. PMID 29053323. S2CID 197471205.
・Kumar, A., Bechhoefer, J. Exponentially faster cooling in a colloidal system. Nature 584, 64–68 (2020). https://doi.org/10.1038/s41586-020-2560-x https://arxiv.org/pdf/2008.02373.pdf
■CERN反物質実験プロジェクトリーダー https://ja.wikipedia.org/wiki/%E6%97%A9%E9%87%8E%E9%BE%8D%E4%BA%94
　が311福一原発事故の放射線被害論文で
　データ無断使用とデータ捏造問題を起こすと
　擁護を試み、
　英語論文誌の論文撤回手続きに関し虚言を弄し
■上記問題に対し一貫した指摘を行なっている
　ゴードン・ベル賞7回受賞の物理学者 https://ja.wikipedia.org/wiki/%E7%89%A7%E9%87%8E%E6%B7%B3%E4%B8%80%E9%83%8E
　に対しても
　「脱原発派の指摘はバイアスが掛かっているから
　一切信用できない」という印象操作発言をして https://twitter.com/apj/status/1083283354173100032
その長年にわたる「ニセ科学批判」が科学ではなく世論扇動活動に過ぎなかった事を露呈してしまった

「己には学問的成果が無いので
　大物への批判と擁護を通じて
　己が大物であるかのように振る舞う」

小物に過ぎない

小物の虚勢連投は一切お気になさらぬよう
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2021/12/29(水) 13:51:18.55

おい、やったろお前

https://asahi.5ch.net/test/read.cgi/newsplus/1640722681/694 【IT】スパコンのバックアップ機能に不具合　約77TBのデータが消失　京都大学 [凜★]

流石にやり過ぎだぞ、お前

**１３２人目の素数さん** · 2021/12/29(水) 13:54:11.11

文献すら挙げられない架空の人物の業績を称えたり
架空の敵と戦ったり、質の低い自演だね

**１３２人目の素数さん** · 2021/12/29(水) 13:57:11.92

ω{の右隣りのカッコが有るか無いかすら答えられないんじゃ妄想の産物と言われても言い返せんわな

**１３２人目の素数さん** · 2021/12/29(水) 14:05:22.05

>>19
有能

**１３２人目の素数さん** · 2021/12/29(水) 14:21:29.70

小物の発狂連投しかないスレタイ違いスレ

**１３２人目の素数さん** · 2021/12/29(水) 14:35:29.43

>>25 >>35
もう諦めなよ
中卒素人には無理だから

**１３２人目の素数さん** · 2021/12/29(水) 14:43:03.67

医学研究科専攻学位論文未提出の人が毎日必死に絡む「中卒」って何なんだろうね

頭のおかしな人の罵倒文句は常軌を逸しているから
健常者向け翻訳が必要

**１３２人目の素数さん** · 2021/12/29(水) 14:51:06.80

中卒、または中卒出ないにも関わらずそれと同等の知性と認められる存在の事を指します

(例)a_watcher

**１３２人目の素数さん** · 2021/12/29(水) 15:34:09.02

>>3-4
IUT国際会議参加者日本人
コネクションある人は、IUTについて聞いてみれば良い

https://www.kurims.kyoto-u.ac.jp/~bcollas/IUT/IUT-participants.html
Promenade in Inter-Universal Teichmuller Theory 2020 09/24～2021 04/22
List of Participants
Yuta Hatasa, Tokyo Institute of Technology, JP
Watanabe Hiroyuki, RIMS - Kyoto University, JP
Shun Ishii, RIMS - Kyoto University, JP
Koichiro Sawada, Osaka University, JP
Ryoji Shimizu, RIMS - Kyoto University, JP
Masatoshi Suzuki, Tokyo Institute of Technology, JP
Shota Tsujimura, RIMS - Kyoto University, JP
Yasuhiro Wakabayashi, Tokyo Institute of Technology, JP
Naganori Yamaguchi, RIMS - Kyoto University, JP
Seidai Yasuda, Osaka University, JP （今北大）
Yu Yasufuku, Nihon University, JP
Shigetoshi Yokoyama, Gunma University, JP
Harumichi Yoshiura, Tokyo Institute of Technology, JP
Takao Yuyama, Tokyo Institute of Technology, JP

https://www.kurims.kyoto-u.ac.jp/~motizuki/RIMS-workshop-homepages-2016-2021/w4/iut2.html
Inter-universal Teichmuller Theory (IUT) Summit 2021
RIMS workshop, September 7 - September 10 2021
Confirmed participants include:
Kazumi Higashiyama (RIMS, Kyoto Univ., Japan),
Yu Iijima (Hiroshima Univ., Japan),
Kazuki Masugi (RIMS, Kyoto Univ., Japan)
Yoshiaki Mizoguchi (Osaka Univ., Japan),
Takahiro Murotani (RIMS, Kyoto Univ., Japan),
Hiroshi Naruse (Univ. Yamanashi, Japan),
Atsushi Shiho (Univ. Tokyo, Japan),
Ryoji Shimizu (RIMS, Kyoto Univ., Japan),
Densuke Shiraishi (Univ. Osaka, Japan),
Reiya Tachihara (RIMS, Kyoto Univ., Japan),
Naotake Takao (RIMS, Kyoto Univ., Japan),
Akio Tamagawa (RIMS, Kyoto Univ., Japan),
Hiroyuki Watanabe (RIMS, Kyoto Univ., Japan),
Tadayuki Watanabe (Kyoto Univ., Japan),

**１３２人目の素数さん** · 2021/12/29(水) 15:43:00.28

>>46
これを見れば、日本国内のIUT理解者は、相当の数だよね
IUTを疑問視する人は、もし>>46の参加者で知り合いが居れば、聞いてみればいい
「IUT どうよ」って

**１３２人目の素数さん** · 2021/12/29(水) 16:04:42.44

こういうとこがセタがアホたる所以なんだよな
ホントに無限に頭悪い

**１３２人目の素数さん** · 2021/12/29(水) 16:05:22.02

自称理解者なんでしょ？

**基礎論好き** · 2021/12/29(水) 16:07:04.58

>>47
IUTがテーマの研究集会であっても講演者がIUTを理解してるとは限りませんし、講演内容もテーマからかけ離れてることも多いですよ
研究集会はそういうものです
さすがに望月研の方々は理解していると言っていたそうですが、望月研出身てない方々はどうでしょうね

**１３２人目の素数さん** · 2021/12/29(水) 16:17:57.91

余談ですが

前スレで、基礎の公理が話題になったが
数理論理君らしき人は、議論に入ってこれなかった
彼は、アンチIUTの二大巨頭の一人で

自分だけが数学の勉強をしていて（基礎論を勉強したという）、IUT派は数学不勉強、
「IUT論文が、一般の数学者に読めないというが、如何に異常事態か分かってない」旨の主張を繰り返す
でも、いままでに、基礎論が話題になったことがあるが、常に議論の内側には入れなかった人なのです

なんだかね

**１３２人目の素数さん** · 2021/12/29(水) 16:22:23.71

>>50
これは、お久しぶり
基礎論好きさんか
どうもです

>IUTがテーマの研究集会であっても講演者がIUTを理解してるとは限りませんし、講演内容もテーマからかけ離れてることも多いですよ

でも、他の講演も聴いたろうし
そもそも、ショルツェ氏か望月氏かという、aかbかの二択問題とすれば
話聞けるならば、聞いてみれば良い

１．ショルツェ氏の勝ち
２．どっちもどっち（現状判定不可）
３．望月氏の勝ち

ご意見聞けるでしょ？

**１３２人目の素数さん** · 2021/12/29(水) 16:34:37.08

>>50
>IUTがテーマの研究集会であっても講演者がIUTを理解してるとは限りませんし、講演内容もテーマからかけ離れてることも多いですよ
>研究集会はそういうものです

ああ、あと>>14 のReviewer: Peter Scholze (Bonn)のzbmathレビューは、IUTの全面否定で、これ確か記憶では春頃には公開されていた
9月の研究集会には、Peter Scholzeは見て参加しているわけですよね
まあ、ご意見を聞く価値はあると思いますよ

**１３２人目の素数さん** · 2021/12/29(水) 16:37:32.08

現役数学者ならば、分かるだろうが、研究集会に参加するならば
自分にとってプラスがあるのが前提で
秋の地方大会ならば、旅行を兼ねることが多いとしても
ウェブならば、価値がないなら、時間の無駄でしょ
それに、参加するんだから、なにがしかの価値を見ているはずです

**１３２人目の素数さん** · 2021/12/29(水) 16:42:17.43

>>54
イヤ、それ以前にキミ数学の世界に全く関わった事ないよね？
そのキミの口からどうして

>現役数学者ならば、分かるだろうが、研究集会に参加するならば
自分にとってプラスがあるのが前提で

というセリフが吐けるの？
その事を恥ずかしくと思わないの？

**基礎論好き** · 2021/12/29(水) 16:43:00.41

僕は数論の専門家じゃないですし全く詳しくないですが、「望月さんが正しい！」と断言してる人は現状
望月研の人々、望月さんの共同研究者、PRIMSの編集者しかいないんじゃないですか？
他の研究者からIUTの理解者が増えるといいですね

**１３２人目の素数さん** · 2021/12/29(水) 16:46:20.37

S氏の目的が分からない
数学にも興味ないしなんでこんなことを一日やっているのか

**１３２人目の素数さん** · 2021/12/29(水) 16:47:42.23

医学研究科の専攻分野学位論文未提出の落ちこぼれが
数学者に妄想設定「中卒」を押し付ける地獄絵図案件再発か

**１３２人目の素数さん** · 2021/12/29(水) 16:52:07.80

コピペ投稿してると頭良くなった気分になって数学コンプレックスから逃避できるからじゃないですかね

**１３２人目の素数さん** · 2021/12/29(水) 17:07:27.42

>>58
でオズボーン氏についての知識くらいは身に着けましたか？結構時間経ちましたが

ここは貴方の様な厚顔無恥な人間が来る所ではありません

**１３２人目の素数さん** · 2021/12/29(水) 17:28:46.09

出典もフルネームも書かずに架空の人物を褒め称える>>60はキチガイジ

**１３２人目の素数さん** · 2021/12/29(水) 17:29:06.20

え？
中卒ってセタのことでしょ？
数学者？いえいえセタは数学の入門を許されなかった落ちこぼれですよ

**１３２人目の素数さん** · 2021/12/29(水) 17:32:04.81

天羽優子のバカな書き込みを今日も大量に見たけど
カタカナ表記の架空の外人名を出して、

知ってて当然だ知らなきゃ厚顔無恥だ

などと虚言癖の幼稚園生のような戯言を繰り返すとは
数学板のひとも大変だよな
自分で出した話のソースを出せないのは、メンヘラか幼稚園生以下

**１３２人目の素数さん** · 2021/12/29(水) 17:38:26.23

あと
前スレで何度も繰り返された天羽優子の妄想繰り言順列組み合わせの大発狂大連投と
IUTにおける∈-ループ言及ソース提示と、それに対し的確な解説コメントを行なった人々と
どちらが数学者かと言えば数学板全員一致で後者一択だな

前者はただの狂人に過ぎない

**１３２人目の素数さん** · 2021/12/29(水) 17:40:23.73

a_watcherのブチギレを確認
今日は威勢がいいなw

**１３２人目の素数さん** · 2021/12/29(水) 17:43:13.29

とりあえずまともな話に軌道を戻さないと
数学板のまともな人々はだらも反応しないね
廃墟と化したパラドックススレがその好例

**１３２人目の素数さん** · 2021/12/29(水) 17:43:26.38

だらも→誰も

**１３２人目の素数さん** · 2021/12/29(水) 17:43:47.96

だらも

**１３２人目の素数さん** · 2021/12/29(水) 17:45:09.66

>>1
テンプレにこれも入れといて
file:///C:/Users/seta/Downloads/tujfersrs0401_37.pdf

**１３２人目の素数さん** · 2021/12/29(水) 17:47:49.61

新スレが山形の狂人の自演連投で埋まっているので

この辺で前スレ末の主要書き込みをコピーしておこう(繰り言除外)

**１３２人目の素数さん** · 2021/12/29(水) 17:48:03.47

>IUTにおける∈-ループ言及ソース提示と、
　>>1の人ですね
>それに対し的確な解説コメントを行なった人々と
　私ですね
>どちらが数学者かと言えば数学板全員一致で後者一択だな
　私は数学者ではありませんが数学科出身です
　>>1の人は数学科どころかそもそも理系ではないでしょう

**１３２人目の素数さん** · 2021/12/29(水) 17:48:29.58

906 名前:１３２人目の素数さん [sage] :2021/12/28(火) 20:55:56.10 ID:IQKnQwAx
>>886
>なお、∈の「ループ」については、望月氏の和文のIUT入門講義資料の中で言及していて
>”∈の「ループ」そのものではないが、∈の「ループ」類似を考える”みたいな記述があったよ
>（後で探してみる）
>だから、「”∈の「ループ」そのもの”は、基礎の公理に反す」までは、望月氏は自覚あるよ

「”∈の「ループ」そのもの”は、基礎の公理に反す」は、下記のIUT IVでした（和文ではなかった）
関連箇所を引用しておくよ

https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
INTER-UNIVERSAL TEICHMULLER THEORY IV:
LOG-VOLUME COMPUTATIONS AND
SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki
April 2020

P5
If, moreover, one thinks of Z as being constructed, in the usual way, via axiomatic set theory, then one may interpret the “absolute” - i.e., “tautologically
unrelativizable” - nature of conventional scheme theory over Z at a purely settheoretic level. Indeed, from the point of view of the “∈-structure” of axiomatic set
theory, there is no way to treat sets constructed at distinct levels of this ∈-structure
as being on a par with one another. On the other hand, if one focuses not on
the level of the ∈-structure to which a set belongs, but rather on species, then the
notion of a species allows one to relate - i.e., to treat on a par with one another -
objects belonging to the species that arise from sets constructed at distinct levels
of the ∈-structure. That is to say,
the notion of a species allows one to “simulate ∈-loops” without violating the axiom of foundation of axiomatic set theory
- cf. the discussion of Remark 3.3.1, (i).

P68
On the other hand, by the axiom of
foundation, there do not exist infinite descending chains of universes
V0 V1 V2 V3 ... Vn ...
- where n ranges over the natural numbers.

つづく

**１３２人目の素数さん** · 2021/12/29(水) 17:49:30.57

>>57
どうも
数学に興味がなくもない

けど、いまIUTのスレ主になっているのは、
フィギュアスケートの4回転半と類似（下記）

”4回転半”見ました。わたしゃ、スケート出来ないけどねｗ
でも、スケート出来ないけど、4回転半はすごいと思った

つーか、オリンピックのかかった大会で、チャレンジするかよと思った
北京でもやりそうだよね

https://the-ans.jp/news/yuzuru-hanyu/209545/
羽生結弦、全日本6度目V！　史上初の4回転半は両足着氷も圧巻322.36点、北京五輪も当確
2021.12.26
著者 : THE ANSWER編集部
誰も決めたことがない世界史上初の大技・4回転アクセル（4回転半）に挑み、両足ながら着氷。全日本選手権は2大会連続6度目の優勝となった。
(引用終り)

で、IUTも同じだよ
凄いじゃない、IUT

ABCの解決だけでも凄いけど
それが、高木CFT（類体論）の系譜であり、LC（ラングランズ）とも関連していて、

加藤和也氏の高次CFTとも関連しているというのが、IVAN FESENKO氏の予想 >>25 >>13
数学の大技・4回転アクセル（4回転半）＝IUT だと思ってみています

果たして、
うまく着地できるでしょうか？

**１３２人目の素数さん** · 2021/12/29(水) 17:49:33.09

923 名前:１３２人目の素数さん [sage] :2021/12/28(火) 22:17:39.06 ID:IQKnQwAx
>>906
>∈の「ループ」類似を考える

ここ多分
下記の”一種の「同義反復的解決」”に繋がる話だろうと思う

https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html
望月出張・講演

https://www.kurims.kyoto-u.ac.jp/~motizuki/Uchuusai%20Taihimyuuraa%20riron%20he%20no%20izanai%20(kakudaiban).pdf
[13] 宇宙際タイヒミューラー理論への誘（いざな）い　《拡大版》（東京大学 2013年06月） PDF

P4
もちろん、そのような数体の自己同型は実際には存在しない!!
しかし左辺の「{q^j^2}」と右辺の「g」を、それぞれ別々の
「(通常型の)環・スキーム論」=「数論的正則構造」に所属するものと見做し、
所望の対応=「HA 理論をディオファントス幾何に応用する上での障害」
に対する一種の「同義反復的解決」

**１３２人目の素数さん** · 2021/12/29(水) 17:49:57.01

同日に2度も真っ赤にさせることに成功

**１３２人目の素数さん** · 2021/12/29(水) 17:50:25.27

946 名前:１３２人目の素数さん :2021/12/29(水) 04:18:06.94 ID:EeC8ikNf
>>908
群論的ソフトウェアに基づく種ならできると、少なくとも本人は主張しているわけだ
ちょっとオブジェクト指向に影響受けてそうな気がする

**１３２人目の素数さん** · 2021/12/29(水) 17:50:43.88

947 名前:１３２人目の素数さん :2021/12/29(水) 04:26:31.59 ID:EeC8ikNf
要は抽象化された基礎圏の設定で、その上の対象を規則情報を通じて結びつければ、こうした集合論的な制約を
超えられるという思想だよね
「圏とアルゴリズムまたはプログラム」を使えばZFCの実在論にオルタナティブを作れると
数学的にIUTが正しいか否かはさておき、実在論としては一つの考えじゃないかな

**１３２人目の素数さん** · 2021/12/29(水) 17:51:03.27

あちゃー>>68が効いちゃったみたい

**１３２人目の素数さん** · 2021/12/29(水) 17:51:03.77

948 名前:１３２人目の素数さん :2021/12/29(水) 04:38:12.40 ID:EeC8ikNf
群には非線形な演算があるので、これで環論として同型でない宇宙とかエイリアンが色々考えられて、
それは基礎圏の同型な素材から構成できるのだと主張している
要点は、望月はショルツやロバーツとは違い、圏論的な問題だけを考えているわけではないこと
もっと別の情報的な文脈からディフェンスしているよね

**１３２人目の素数さん** · 2021/12/29(水) 17:51:40.36

>>81-90
一応置きあグロ

**１３２人目の素数さん** · 2021/12/29(水) 17:51:47.01

950 名前:１３２人目の素数さん [sage] :2021/12/29(水) 05:32:53.91 ID:EeC8ikNf
連投は悪しからずで遊びの話なので、個人的な考えだけ述べておくと
そういう実在論が洗練され将来的に何らかの意味を持つ可能性は否定できないが、そういうことをせずに
圏論やZFCに基づいたABC予想の証明は十分可能だと思っている
ただし「圏の幾何」という書き方は誤解を招くから如何なものかとは思う

確かにIUTのテータ因子なるものはフロベニオイドとかガロア圏とかそういうもので構成されてはいるが
今の数学から見れば特殊な実在論に言及していることを無視するわけにはいかないだろう

**１３２人目の素数さん** · 2021/12/29(水) 17:52:03.61

951 名前:１３２人目の素数さん [sage] :2021/12/29(水) 06:09:54.69 ID:EeC8ikNf
一つだけ雑感を追加しておくと、IUTの何が「望月にとって」ホッジ理論的なのか、という心理的推察は
有意義だと思われる。いくつか理由が考えられるが、ヒントしか書かない

そもそもホッジ理論は、言うまでもなくコホモロジーの理論である
コホモロジー論的な考えや構造は、IUTではかなり変わった形になっておりそのままでは存在しない
またlog-shellやtensor-packetのような変わった表現は、定義は勿論何故そう呼ばれるのかということだ
また、IUTらしさとは不定性の存在である。何故ならば不定性は大域理論らしさの反映だからである
※ちなみに数論的な大域ホッジ理論は既成の数学では未解決である

**１３２人目の素数さん** · 2021/12/29(水) 17:55:39.69

>>71
ID非表示は狂人と区別が付かないので特別扱いしない

一般論として浪人でID非表示オプションを使ったり
コテや1人キャップを使う人物は匿名掲示板に過剰な時間を費やす廃人なので相手にする価値がない

**１３２人目の素数さん** · 2021/12/29(水) 17:55:53.68

EeC8ikNf氏は∈ループについては何も述べていませんね
集合論は知らないのでしょう　
そういう数学者は珍しくありませんが

**１３２人目の素数さん** · 2021/12/29(水) 17:59:30.70

>>83
匿名掲示板でIDを表示する意味はありませんよ

>浪人でID非表示オプションを使ったり
>コテや1人キャップを使う人物は
>匿名掲示板に過剰な時間を費やす廃人
おっしゃる通りです

あなたもこんな匿名掲示板で
無断な時間を浪費する廃人に
ならないように書き込みを
一切やめることをお勧めします

私や中卒君>>1のような🐎🦌になりますよ
🐎🦌になりたいですか？

**１３２人目の素数さん** · 2021/12/29(水) 17:59:50.72

>>82
転記ありがとう

前スレの>>82 ID:EeC8ikNf氏の視点は重要と思うし
彼は、ショルツェ氏には全面的には賛成していないよね

つまり、ショルツェ氏には全面的には賛成していないが、望月氏側にも説明不足があって、数学者のコミュニティに受け入れられていないという意見と読みました
それは、妥当な見解だと思う

**１３２人目の素数さん** · 2021/12/29(水) 18:01:16.84

>>73
>数学に興味がなくもない
では高校の算数の教科書からやり直したら如何でしょうか？

**１３２人目の素数さん** · 2021/12/29(水) 18:01:25.15

>>84
彼はまさにその問題を述べているのだが
お前はIUTと無関係な話を一人で延々と主張しているだけなので自演以外で誰もまともに取り合わない

**１３２人目の素数さん** · 2021/12/29(水) 18:02:35.30

>>85
いまどき絵文字を書いて喜んでいる時点で
価値のない人間だと判るので相手にしない

**１３２人目の素数さん** · 2021/12/29(水) 18:03:40.58

>>73
>いまIUTのスレ主になっているのは、
>フィギュアスケートの4回転半と類似
日本語が不得意のようですね

数学はスポーツと違って見てわかるものではありません
諦めましょう

**１３２人目の素数さん** · 2021/12/29(水) 18:05:11.53

>>73
>”4回転半”見ました。わたしゃ、スケート出来ないけどね
>でも、スケート出来ないけど、4回転半はすごいと思った
>つーか、オリンピックのかかった大会で、チャレンジするかよと思った
>北京でもやりそうだよね

数学はきれいさっぱり諦めて
スポーツ観戦に専念されては如何ですか？

**１３２人目の素数さん** · 2021/12/29(水) 18:05:48.58

>>71
>>それに対し的確な解説コメントを行なった人々と
>　私ですね

おいおい、それ違うよね、明らかに
IDレスのあなた以外の人たちでしょ

そもそも、”人々”と複数をいっているのに、
「私ですね」と単数の答えを返すのはヘンだよ、数理に疎い人よｗ

**１３２人目の素数さん** · 2021/12/29(水) 18:06:36.43

>>73
>IUTも(4回転半ジャンプと)同じだよ
>凄いじゃない、IUT
理解できないことを凄いというのは🐎🦌だけですね

**１３２人目の素数さん** · 2021/12/29(水) 18:06:37.99

>>89
どんな業務用缶スープ飲んでるの？

**１３２人目の素数さん** · 2021/12/29(水) 18:07:25.64

>>89
でも偉大な教授に相手されていないのは現に貴方ではありませんか？

**１３２人目の素数さん** · 2021/12/29(水) 18:07:35.62

>>92 補足
>>それに対し的確な解説コメントを行なった人々と

なお、そこは私も同意
的確な解説コメントだと思ったよ

**１３２人目の素数さん** · 2021/12/29(水) 18:08:21.11

>>73
>ABCの解決だけでも凄いけど
解決していないことのどこが凄いのですが
妄想が凄いのですか？

それが、高木CFT（類体論）の系譜であり、LC（ラングランズ）とも関連していて、

加藤和也氏の高次CFTとも関連しているというのが、IVAN FESENKO氏の予想

**１３２人目の素数さん** · 2021/12/29(水) 18:09:27.70

>>73
>それが、高木CFT（類体論）の系譜であり、LC（ラングランズ）とも関連していて、
>加藤和也氏の高次CFTとも関連しているというのが、IVAN FESENKO氏の予想
妄想でしょう
FESENKO氏も焼きが回ったようです

**１３２人目の素数さん** · 2021/12/29(水) 18:10:55.89

>>93
>>IUTも(4回転半ジャンプと)同じだよ
>>凄いじゃない、IUT
>理解できないことを凄いというのは歷だけですね

そんなことを言い出せば
いまどきのノーベル賞や
拓郎先生のブレークスルー3億円も同じだよ

あんた、拓郎先生の論文読める？
読めないでしょ？おれ、当然読めないけど

「拓郎先生、すごい」と言って
何が悪い？

**１３２人目の素数さん** · 2021/12/29(水) 18:11:06.26

>>73
>数学の大技・4回転アクセル（4回転半）＝IUT だと思ってみています
そもそも「回ってない」んじゃないですか？
あなた見てないでしょう？
見えないものを見たと思うのは精神の病ですよ

**１３２人目の素数さん** · 2021/12/29(水) 18:12:19.94

ID非表示は一日中繰り言を書き続ける狂人なのでNG推奨

【Android・iOS・PC】ワッチョイ隠し、id隠しの書き込みをNGにする方法
https://hobby23.net/archives/wacchoi-ng/

**１３２人目の素数さん** · 2021/12/29(水) 18:12:50.89

>>73
>果たして、うまく着地できるでしょうか？
　はたして、あなたは生きている間に
　「任意無限回」と「無限回」の違いが
　理解できるでしょうか？

**１３２人目の素数さん** · 2021/12/29(水) 18:13:52.30

**１３２人目の素数さん** · 2021/12/29(水) 18:14:45.74

>>86
>前スレのID:EeC8ikNf氏の視点は重要と思うし
　数学の初歩も理解してない素人の妄想でしょう

**１３２人目の素数さん** · 2021/12/29(水) 18:15:53.90

>>95
統合失調なんだろうけど、おまえの書き込みは頻繁に個体識別がブレるのが特徴だな

とりあえず救急車を呼んで精神病院に緊急入院して、3が日明けに山形大学医学部附属病院精神科に転院した方がいい

**１３２人目の素数さん** · 2021/12/29(水) 18:16:54.81

>>98
>>それが、高木CFT（類体論）の系譜であり、LC（ラングランズ）とも関連していて、
>>加藤和也氏の高次CFTとも関連しているというのが、IVAN FESENKO氏の予想
>妄想でしょう
>FESENKO氏も焼きが回ったようです

現役数学者さんは分かると思うけど
書き物で発表するって、結構重い行為ですよね
つまり、”妄想”書いて、間違っていたら、”妄想”数学者になってしまうわけ

だから、不確かなことで、単なる予想ならば、「単なる予想」と書くし
確かで自信があることは、そのように書くよ
FESENKO氏の>>13を読めば、彼がこの件でどれくらい自信があるか、読めるだろう

**１３２人目の素数さん** · 2021/12/29(水) 18:19:02.89

>>86
>彼(ID:EeC8ikNf氏)は、
>ショルツェ氏には全面的には賛成していないが、
>望月氏側にも説明不足があって、
>数学者のコミュニティに受け入れられていない
>という意見と読みました

ショルツが間違ってる、と言ってる？
そう聞こえるなら妄想でしょう
望月はショルツが考えてないことを考えてる、といってるが
だから望月が正しい、とは言っていない

**１３２人目の素数さん** · 2021/12/29(水) 18:20:06.11

a_watcherの反応を確認

**１３２人目の素数さん** · 2021/12/29(水) 18:21:16.75

>>86
>それは、妥当な見解だと思う
「望月氏は数学者のコミュニティに受け入れられていない」
というのが妥当な見解なら、
「望月氏は4回転半ジャンプを飛べてない」
と認めたわけですね

**１３２人目の素数さん** · 2021/12/29(水) 18:22:18.74

>>104
数学板の誰が見ても、お前がIUTの前提を取り違えて一人で幼稚な繰り言を繰り返しているだけだと認識そるだろうな

非線形非平衡統計力学の未科学問題を
古典熱力学とは矛盾するからニセ科学だ
と断定した狂人と全く同じ繰り言を
今回も繰り返している

学習院大田崎晴明氏の名前を出して
「『この問題は非線形非平衡物理ではない』と田崎が言った」
などという虚言をしていた事もしっかり覚えているが
それは「田崎の扱う非線形非平衡物理の前提条件とは異なる」という意味だと解釈できなかったのは
お前の愚かさの表れだ

諦めロン

**１３２人目の素数さん** · 2021/12/29(水) 18:22:56.49

>>101 >>103
ありがとうございます
へー、なるほどね

自分では思いつかなかったな
なんか手はあると思ったが

この手（正規表現）は、スレの検索抽出に使えるかも
私も、idなし氏は出来るだけスルーしますです

**１３２人目の素数さん** · 2021/12/29(水) 18:23:29.58

>>92
中卒素人の貴方には死ぬまで分からないよ
考えられず見て動くだけの動物の貴方には

**１３２人目の素数さん** · 2021/12/29(水) 18:24:19.06

また一人、a_watcherの愚鈍な書き込みを非表示させる事に成功

**１３２人目の素数さん** · 2021/12/29(水) 18:25:42.78

>>96
素人氏はポストモダンに簡単にひっかかるおそれがあるから
気を付けたほうがいいですね

難しい術語を駆使しただけで中身があると錯覚すると失敗しますよ

**１３２人目の素数さん** · 2021/12/29(水) 18:27:26.98

【山形キチガイジおばさん55歳の妄想ポエム大連投スレ】

**１３２人目の素数さん** · 2021/12/29(水) 18:27:36.30

>>99
>あんた、拓郎先生の論文読める？
>読めないでしょ？
だから、望月拓郎氏についてコメントしませんよ
それが正常な人間というものです

>「拓郎先生、すごい」と言って何が悪い？
理解できないことをすごいというのは精神が悪いですね

**１３２人目の素数さん** · 2021/12/29(水) 18:30:31.77

>>106
>現役数学者さんは分かると思うけど
>書き物で発表するって、結構重い行為ですよね
だから発表したことが必ず正しい、といえるわけではないですよ

あなたはどうも「ニッポン最高！！！」といいたいために
黒いものも白く見えてしまうようだ　それでは失敗しますよ
冷静に発狂したら人間おしまいです

**１３２人目の素数さん** · 2021/12/29(水) 18:31:04.95

【山形キチガイジおばさんは年始年末セフレ大募集中…12/23アワビをご馳走になったお友達はどうなった？！】

キチガイ天羽の妄想書き込み内容の変遷 (2021年11月21日更新)　　　　　　　　　　　　
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
10月には総理大臣になりノーベル賞をとり学長になり衆院選で当選した(現在完了形)と言っていた人間が
2週間後には資産家と結婚して県議会議員になりたい
と妄想バブル大崩壊
妄想設定が毎日変わる誇大妄想末期状態

■2021/10/07(木) 11:38:58.78 ID:a47+vyZ4
>　いつの時代も総理大臣が批判されるようなもんだ
■2021/10/08(金) 19:53:26.26 ID:3GIXAUpq0
>　山形の大島優子は次の総選挙に立候補すれば
>　あれよあれよと女性初の総理大臣になるだろう
■2021/10/24(日) 17:50:54.16 ID:tdeJTnjr
>　天才だと思うノーベル賞も夢じゃないね
■2021/10/30(土) 18:29:54.51 ID:???
>　学長になるらしい
■2021/10/30(土) 18:35:23.99 ID:???
>　人望がある

■2021/10/31(日) 23:37:25.95 ID:???
>　・ノーベル賞を受賞する→来年をお楽しみに
>　・総理大臣になる→5年後をお楽しみに
>　・衆院選に出馬する→国民民主から立候補している
>　・天羽が当選した→選挙速報見ろ

■2021/11/01(月) 11:33:08.67 ID:???
>　今回の衆議院選挙とは言っていない
>　次の衆議院選挙に立候補している

■2021/11/13(土) 23:04:52.53 ID:???
> 　某女史は地元の資産家と結婚して
> 　県議会議員になろうかとしている
■2021/11/18(木) 20:08:00.04 ID:???
> 　旦那さんは代議士になったしあげまん
> 　だよなあ
■2021/11/19(金) 11:46:38.05 ID:???
> 　旦那さん弁護士たから訴えられるぞ
■2021/11/20(土) 18:53:45.95 ID:???
> 　立民の代表選に唯一女性候補として出たね
> 　勝ったらこのコピペ主は社会から抹殺されるだろう
■2021/11/21(日) 21:25:18.84 ID:???
> 　地元の有力者がパトロンだから笑いごとではなくなるぞ
■2021/12/26(日) 20:24:47.44
> 　年末年始にヤリまくれるセフレ募集中です

**１３２人目の素数さん** · 2021/12/29(水) 18:34:14.47

>>111
＞idなし氏は出来るだけスルーしますです
任意有限回と無限回の違いについての指摘に反論できずに
無視しつづけて恥を書くのはあなたですよ

**１３２人目の素数さん** · 2021/12/29(水) 18:37:58.45

a_watcher
なんにも出来ず
大発狂

**１３２人目の素数さん** · 2021/12/29(水) 18:38:08.71

狂人の繰り言をスルーするのは
健常者として当然の振る舞い

狂人の構って乞食に精神分析医のような職業意識を発揮するのは帯広畜産大のナベさんくらいな物だ

**１３２人目の素数さん** · 2021/12/29(水) 18:38:17.15

>>110
>非線形非平衡統計力学
　ムペンバ効果の数学について語るなら聞きますけど
　そうじゃないなら、他所にいってくれますか？
　ここは数学板ですよ

**１３２人目の素数さん** · 2021/12/29(水) 18:40:21.42

>>121
>狂人の繰り言をスルーするのは
>健常者として当然の振る舞い
　私を天羽優子氏と思ってるならそれ妄想ですから
　精神科で診てもらったほうがいいですよ
　統合失調症ですから

**１３２人目の素数さん** · 2021/12/29(水) 18:40:40.41

>>56
基礎論好きさん、どうもです

>僕は数論の専門家じゃないですし全く詳しくないですが、「望月さんが正しい！」と断言してる人は現状
>望月研の人々、望月さんの共同研究者、PRIMSの編集者しかいないんじゃないですか？

私は違うと思っています。>>46は国内の参加者をピックアップしましたが
海外の参加者も多数いますし、特筆すべきは、仏リール大の参加者が多数いることですね
（仏リール大とは共同研究ないと認識しています）

>他の研究者からIUTの理解者が増えるといいですね

同意です
Ivan Fesenko氏は、それを考えていると思います
下記の彼のホームページを見ると、多くの門下生を抱えて
何本もの研究を走らせているようです

Ivan Fesenko氏は、IUTは彼の幾つかの研究分野のネタとして使えると見ているようですね
それが、>>13の論説と見ましたよ

https://ivanfesenko.org/?page_id=126
Research ? Ivan Fesenko

L Anabelian geometry and IUT theory of Shinichi Mochizuki, and applications
K 2d adelic analysis and geometry, and applications
J Adelic structures on arithmetic and geometric surfaces, and applications
I Higher integration, harmonic analysis and zeta integrals

B Class field theories, one-dimensional and higher dimensional

**１３２人目の素数さん** · 2021/12/29(水) 18:42:56.02

>>72>>74の間が抜けていたので補足
908 名前:１３２人目の素数さん [sage] :2021/12/28(火) 20:56:41.90 ID:IQKnQwAx
>>906
つづき

P74
Remark 3.3.1.
(i) One well-known consequence of the axiom of foundation of axiomatic set
theory is the assertion that “∈-loops”
a ∈ b ∈ c ∈ ... ∈ a
can never occur in the set theory in which one works. On the other hand, there
are many situations in mathematics in which one wishes to somehow “identify”
mathematical objects that arise at higher levels of the ∈-structure of the set theory
under consideration with mathematical objects that arise at lower levels of this
∈-structure.

P75
That is to say, the mathematical objects at
both higher and lower levels of the ∈-structure constitute examples of the same
mathematical notion of a “set”, so that one may consider “bijections of sets” between those sets without violating the axiom of foundation. In some sense, the
notion of a species may be thought of as a natural extension of this observation.
That is to say,
the notion of a “species” allows one to consider, for instance, speciesisomorphisms between species-objects that occur at different levels of the
∈-structure of the set theory under consideration - i.e., roughly speaking,
to “simulate ∈-loops” - without violating the axiom of foundation.

**１３２人目の素数さん** · 2021/12/29(水) 18:43:03.66

That is to say, the mathematical objects at
both higher and lower levels of the ∈-structure constitute examples of the same
mathematical notion of a “set”, so that one may consider “bijections of sets” between those sets without violating the axiom of foundation. In some sense, the notion of a species may be thought of as a natural extension of this observation.
That is to say,
the notion of a “species” allows one to consider, for instance, speciesisomorphisms between species-objects that occur at different levels of the
∈-structure of the set theory under consideration - i.e., roughly speaking,
to “simulate ∈-loops” - without violating the axiom of foundation.
以上

**１３２人目の素数さん** · 2021/12/29(水) 18:44:07.76

> 　私を天羽優子氏と思ってるならそれ妄想ですから

一人称が女性代名詞になっているのが草

**１３２人目の素数さん** · 2021/12/29(水) 18:45:57.30

このひと普段の一人称は「俺」、通所先作業所での社会的性別もほぼ男なんだよね
わざわざ書かなくていい言い訳で、生物学的性別をコソッと漏らしてしまうのが狂人クオリティ

**１３２人目の素数さん** · 2021/12/29(水) 18:46:51.34

a_watcherの疑心暗鬼を確認

**１３２人目の素数さん** · 2021/12/29(水) 18:47:47.98

【山形キチガイジおばさん55歳の妄想ポエム大連投大発狂スレ】

**１３２人目の素数さん** · 2021/12/29(水) 18:48:02.06

愛国素人君の２つの誤り

１．無限に関する初歩的誤解
　「全ての自然数を要素とする集合」は無限順序数ωを要素として持つと思ってる
　「任意有限回実行可能」なら無限回実行可能と思ってる
　n<ωとなる任意のnについて性質Pが成り立つなら、ωについてPが成り立つと思ってる

２．日本人に対する妄想
　日本人が世界で最も優秀な民族であると思い込んでいる
　それ故望月新一氏のABC予想解決が当然のことだと思い込んでいる

もちろん、どちらも誤りです
「全ての自然数を要素する集合」は無限集合ですが、
　無限順序数ωは上記集合の要素ではありません
また望月新一氏のABC予想解決は誤報でしょう

**１３２人目の素数さん** · 2021/12/29(水) 18:49:41.47

【山形キチガイジおばさん55歳(年始年末セフレ大募集中)の欲求不満妄想ポエム大連投大発狂スレ】

**１３２人目の素数さん** · 2021/12/29(水) 18:52:46.06

>>131項番2のココロは下記★部参照

【悲報】山形キチガイジ俺おばさん55歳、数学板でまた発狂　　　　　　　　　　
【見どころ】
①ストーキングは女性対象の恋愛限定だとする俺様定義は天羽の屁理屈の典型
②フェルマーの最終定理を55歳にもなって初めて理解したと称する妄言が知恵遅れ
③謎の「朝鮮人」連呼(天羽優子の祖先が朝鮮半島出身という事なのかどうか意味不明)★
【該当スレ】
偶奇によるフェルマーの最終定理の証明.6
https://rio2016.5ch.net/test/read.cgi/math/1630195999/885-886
　865 名前:１３２人目の素数さん
　:2021/12/15(水) 23:00:30.90 ID:R5pJ8YRY
　　>>860
　　開幕のその人って日本語がおかしい。
　　思考能力が小中学生レベルの証明がない。
　　お前の思い込み。
　　ストーキングとは女性に恋愛感情で付きまとう行為。
　　どの話に絡みつけないのかレス版で教えろ
　　レッテル張りの朝鮮思考バカ。★
　　馬鹿な事を言って何が悪い？
　　馬鹿を馬鹿にするやつの方がはるかに悪い。
　　お前は犯罪思考の朝鮮人思考。★
　　専門スレのわりにフェルマーの最終定理の事
　　なんて書いてなかったし気違いがいただけじゃん。
　　>>842は俺のレスだが？
　　リンク先は俺のレスじゃない。
　　底辺大教員の

　866 名前:１３２人目の素数さん
　:2021/12/15(水) 23:02:20.46 ID:R5pJ8YRY
　　この、シフト押して改行すると書き込み設定いつからなんだ。

　　頭の悪いふるまいって何？日本語使えてないよ？

　　フェルマーの定理って大体わかったから用はないは。

**１３２人目の素数さん** · 2021/12/29(水) 18:53:13.18

>>124
>>「望月さんが正しい！」と断言してる人は現状
>>望月研の人々、望月さんの共同研究者、PRIMSの編集者
>>しかいないんじゃないですか？
>私は違うと思っています。
私も違うと思っています
望月新一氏本人を除けば、フェセンコ氏と加藤文元氏くらいのもんでしょう
山下氏は脱落したでしょう　星氏も仕方ないからつきあってるけど
内心は「もうだめだな」と思ってるでしょう　

>国内の参加者をピックアップしましたが
>海外の参加者も多数いますし、
>特筆すべきは、仏リール大の参加者が多数いることですね
>（仏リール大とは共同研究ないと認識しています）
参加したから賛同したと思うのは妄想ですね

**１３２人目の素数さん** · 2021/12/29(水) 18:56:09.49

>>124
>>他の研究者からIUTの理解者が増えるといいですね
>同意です
哀れですね

今年のICMで望月新一氏に関して賞どころか何の言及もなければ
IUTTは終わったということですよ　いくら待っても無駄でしょう

>Ivan Fesenko氏は、それを考えていると思います
>下記の彼のホームページを見ると、多くの門下生を抱えて
>何本もの研究を走らせているようです
>Ivan Fesenko氏は、IUTは彼の幾つかの研究分野のネタとして
>使えると見ているようですね
フェセンコ氏も望月新一氏と同様の精神的問題を抱えているようですね

**１３２人目の素数さん** · 2021/12/29(水) 18:56:28.33

【山形キチガイジおばさん55歳(年始年末セフレ大募集中)の欲求不満妄想ポエム大連投大発狂毒宴会スレ】

**１３２人目の素数さん** · 2021/12/29(水) 18:57:32.75

>>127
「私」は男性も使いますよ
むしろ最近の女性はあまり使いませんね

**１３２人目の素数さん** · 2021/12/29(水) 18:58:26.56

> フェセンコ氏も望月新一氏と同様の精神的問題を抱えているようですね

これ精神病患者が健常者に毒突く時の定番の台詞だね
担当医さんは、その手の発言は思い止まるように患者に言いくるめなかったのかな

**１３２人目の素数さん** · 2021/12/29(水) 19:00:39.71

BG85dKWg氏が
「だれもかれもが愛する天羽優子氏に見えてしまう恋愛妄想状態」
に陥ってることは明らかですね

ちなみに私の好みは乃木坂46の久保史緒里ですが何か？

**１３２人目の素数さん** · 2021/12/29(水) 19:02:13.98

>>124 追加
あと、注目しているのは、下記のComo Schoolです
ここで、Ivan Fesenko氏が>>13と同様の講演をして、Wojciech Porowskiも講演をした
Wojciech Porowskiの持ちネタは、言わずと知れた IUTの明示公式理論でしょう（多分）
他の錚々たるメンバーにまじって
こんな場所で、IUTについての講演が、まさかショルツェ氏の主張するようなデタラメだったら、講演ができるはずがないでしょ
ショルツェ氏の主張：「IUTはデタラメ千万」は極論すぎる（だからショルツェ氏の主張は不成立）と思っています

https://ivanfesenko.org/?page_id=146
IVAN FESENKO
Selected coorganised workshops since 2014

・Como School “Unifying themes in Geometry”, September 27-30 2021
https://utge.lakecomoschool.org/
Unifying Themes In Geometry
Lake Como School of Advanced Studies, 27 - 30 September 2021

Organizers and school lecturers
Olivia Caramello (University of Insubria and IHES)
Ivan Fesenko (University of Nottingham)
Laurent Lafforgue (Huawei)

Supporting lecturers
Wojciech Porowski (University of Nottingham)

Invited speakers
Alain Connes (IHES)
Misha Gromov (IHES and Courant Institute, N.Y.)
Maxim Kontsevich (IHES)
Barry Mazur (Harvard University)

Sponsors
We gratefully acknowledge the support of the Lake Como School of Advanced Studies, the University of Insubria and the EPSRC Programme Grant Symmetries and Correspondences.

**１３２人目の素数さん** · 2021/12/29(水) 19:02:39.02

キチガイジおばさんの症状
・朝鮮人連呼(>>133)と日本人批判(>>131)の両極端にブレる…境界性人格障害症状
・誰も興味を持たない狂人の素性や性別について言わなくていい言い訳をくどくどとする(>>123>>137)…自己愛性人格障害症状

**１３２人目の素数さん** · 2021/12/29(水) 19:04:24.04

キチガイジおばさんの症状2
・誰も興味のない狂人の同性愛の嗜好について余計な説明を試みる(>>139)…自己愛性人格障害症状

**１３２人目の素数さん** · 2021/12/29(水) 19:07:19.87

>>140
programmeの英文が全く読めなかったようですね

Wojciech Porowski: “Introduction to anabelian geometry” [slides available here; video available here]

Abstract:

After recalling the notion of the étale fundamental group of a scheme,
we will discuss how various properties of a hyperbolic curve can be reconstructed from its fundamental group.

**１３２人目の素数さん** · 2021/12/29(水) 19:08:52.69

今回のサンプル
a_watcher発狂の流れが面白過ぎる
これは永久保存決定w

https://i.imgur.com/eo8Cjd3.jpg

**１３２人目の素数さん** · 2021/12/29(水) 19:10:21.37

>>142
>同性愛の嗜好について
　久保史緒里がLではないかという疑惑は多々ありますね
　http://nogiviola.livedoor.biz/archives/21725196.html
　私は男ですが、男性に恋愛感情を抱いたことはないです

**１３２人目の素数さん** · 2021/12/29(水) 19:15:45.94

>>144
本当の病人をあんまりからかったらいけませんよ

**１３２人目の素数さん** · 2021/12/29(水) 19:22:00.28

英語が苦手なエイワッチャー

**１３２人目の素数さん** · 2021/12/29(水) 19:42:35.32

>>143
>Wojciech Porowski: “Introduction to anabelian geometry” [slides available here; video available here]

なるほど、ありがとう
slide見た
IUTは無かった
なので、Porowski氏はフェセンコ先生のプログラムに沿って、新しい研究を開始していると見ました
だけど、Wojciech Porowskiは優秀だよね
これ見ると、IUTの明示公式理論が正しそうだと思えるよ
（実際、2020年にIUTの明示公式理論関連でDRを取ったと理解している）

但し、フェセンコ先生の講演は、ほぼ>>13と類似で、IUTがしっかり入っていることを確認した
（IUTの国際会議での講演もほぼ同じ内容です）

https://utge.lakecomoschool.org/programme/
Ivan Fesenko: “Higher adelic theory” [slides available here; video available here]
Abstract:
This talk starts a series of lectures on higher adelic theory (HAT) in the case of arithmetic surfaces and its applications. 2D objects associated to the surfaces and two different adelic structures on the surfaces will be introduced. The use of analytic adelic structures in higher zeta integrals and applications will be presented. The talk will start with the origin of several key developments in modern number theory: class field theory and its generalisations.
https://www.dropbox.com/s/u4n8070t6s526ad/FesenkoSlides.pdf?dl=0
slides available here Ivan Fesenko: “Higher adelic theory”20210927

**１３２人目の素数さん** · 2021/12/29(水) 19:43:10.80

>>140
まさに語るに落ちるというやつだ
その研究集会でFesenkoはIUTの位置づけについて少々触れた程度で
abcについては一切何も語らず、
IUTの詳細はRIMS集会の記録と引き続くPorowski氏の講演に押し付けてる
それを受けたPorowskiの講演ではIUTガン無視で存在しないかのようだった
IUTのオワコン感ハンパない

**１３２人目の素数さん** · 2021/12/29(水) 20:25:46.43

>>72なんだけども、前スレでホッジ理論に注意すべきだと書いたのは、確かこのループの話の動機付けが
まさにホッジ理論の一般化にあると記憶していたからです
ですが、このスレにはその問題を気にするレスが見当たりませんでした

ドラームコホモロジーやその分解に起源を持つ話が、何故HTのIUTになってしまったのかは大変重要な論点です
まあ、別に術語を羅列したまやかしだと言われても個人的には気になりませんw　与太話は事実なので

**１３２人目の素数さん** · 2021/12/29(水) 20:37:21.73

>>21
ごめん
また君の奥さんでシコってしまった

**１３２人目の素数さん** · 2021/12/29(水) 20:52:56.49

「どういう数学的モチベーションからIUTが出来たのか」が一番学びに役立つ見方と言えると、そういうスタンス
「単なるデタラメだ」とか「何となく凄いから正しいに違いない」とか、それはあんまり実入りがないのかなと

例えば、K.Joshiの論文とかガウスーマニン接続の一般化とかの話が、一応この問題意識から適切に考えると
全て繋がる。しかしその上で正しいと判断するかどうかもあくまでも自分で行ったほうが良い

**１３２人目の素数さん** · 2021/12/29(水) 21:01:41.33

>>148 補足
>https://www.dropbox.com/s/u4n8070t6s526ad/FesenkoSlides.pdf?dl=0
>slides available here Ivan Fesenko: “Higher adelic theory”20210927

このスライドの最後に、下記がある

https://ivanfesenko.org/wp-content/uploads/2021/10/prad-1.html
Ivan Fesenko Higher adelic theory Como School, September 27 2021 36 / 37
List of open problems in HAT
Selected open problems in 2d adelic analysis and geometry (updated December 2018)
(D stands for ‘done’, P stands for ‘in progress’)
40 problems, 6 done, 9 partially done

へー、こんな未解決チャレンジ問題のリスト作っているんだ、フェセンコ先生は
”6 done, 9 partially done”
か
一流だね、フェセンコ先生

**１３２人目の素数さん** · 2021/12/29(水) 21:03:02.85

この勢いで正月突入して
明けおめかよ
しょーもな

日本人で難問解決するすごい数学者はいないの？

**１３２人目の素数さん** · 2021/12/29(水) 21:05:27.00

>>152
モチベーションとしては否定しませんよ

**１３２人目の素数さん** · 2021/12/29(水) 21:12:10.44

>>150 >>152
ありがとう

　>>72の話は面白いと思ったが、半分「ポカーン」です
”ああ、そういう見方あるんだ。殆ど単語を追うのが精一杯だ”が、私のレベルで

なお、ご所望のレスは、本格的な学会でないと無理では？　ここは場末の５ちゃんねる
来年、星先生が整数論サマースクールに呼ばれたらしいけど、参加できるなら、捕まえて小一時間問い詰めたらどうよ？ｗおっともしウェブなら捕まえるのは無理かｗ

**１３２人目の素数さん** · 2021/12/29(水) 21:29:26.61

>>154
(・ω・)ノ

**１３２人目の素数さん** · 2021/12/29(水) 21:33:19.92

【告知】ID無し書き込みは精神異常者と判明済みなのでスルーして下さい

**１３２人目の素数さん** · 2021/12/29(水) 21:57:06.55

a_watcherの「告知」の誤用を確認

**１３２人目の素数さん** · 2021/12/29(水) 21:58:06.77

ID付けても付けなくても反応の異常性やネガティヴ性で身元が即バレるのはこの人物特有だね

**１３２人目の素数さん** · 2021/12/29(水) 21:58:22.15

>>158
告知ありがとうございます
彼は、クスリは飲んでいるらしいけどね

**１３２人目の素数さん** · 2021/12/29(水) 22:02:52.37

飯田市のセフレ募集中の尻の穴舐めたがりおじさんのIDがサルの尻のように真っ赤だ

**１３２人目の素数さん** · 2021/12/29(水) 22:05:52.94

>>155
馬鹿にはできない心情だなと。というのは、望月の精神史というのがあって、IUTは他の数学者からしたら
その終着点の最適解ではないのかもしれないけども、精神史の中でそれなりの総決算を考えた痕跡があるので

モチベーションを汲み取っておいて、より広く受け入れられるものに昇華するのが一つの好ましい態度だろうと
つまり、単なるご臨終だとは思わないわけです

**１３２人目の素数さん** · 2021/12/29(水) 22:09:30.75

この人物のメンタル疾患特有の「反応の異常性」とは
己にとり受け入れられない現実を
■「日本語がおかしい」
■「専門用語の用法がおかしい」
■「数学の初歩を理解していない」
■「恋愛感情に違いない」
■「宇宙の法則が乱れる」(ビッグバン宇宙論からホログラフィック宇宙論への学問的世代交代に関して)
等々、自分に都合のよい曲解を駆使して
ネガティヴな言動をする現象

冗談として匿名掲示板界隈では
滋賀県出身者(滋賀作)と山形県在住者(マット民)とラマン散乱実験屋(ラマン民:天羽小波)に特有の風土病だと受け取られている

**１３２人目の素数さん** · 2021/12/29(水) 22:13:02.89

a_watcherの学歴コンプレックスは異常

**１３２人目の素数さん** · 2021/12/29(水) 22:24:30.82

まああまり病的な人の話ばかりしては何なので
個人的感想を述べると

前スレ末から>>72-82にコピーさせて頂いた内容を今朝4時過ぎにリアルタイムで拝見してとても感銘を受けた
自分自身80年代から定理証明系に興味を持ち、一度はそちら方面の専攻を考えた(一応誘われた)者なので
M氏の仕事を一般報道で初めて知った時、数学の形をとったモジュラー・プログラミング的な物(あるいは数学系のセンスではオブジェクト指向プログラミング的な物)なのだろうという我流の理解をした
そのあたりが徐々に解明されていくことを期待します

**１３２人目の素数さん** · 2021/12/29(水) 22:29:21.30

a_watcherが>>75,78,80に感銘を受けた事を確認

**１３２人目の素数さん** · 2021/12/29(水) 22:29:55.71

>>163
おっしゃる通りです

臨終を望む人は世の中全てが憎くて憎くて
エントロピー増大則に従って全てが無に帰すことを望む、ちょっと自分の人生に困っている人なのだと思います

**１３２人目の素数さん** · 2021/12/29(水) 23:15:32.27

フェセンコのHigher adelicて
せいぜい2次元なのかツマらんな

**１３２人目の素数さん** · 2021/12/30(木) 00:00:24.89

>>149
>その研究集会でFesenkoはIUTの位置づけについて少々触れた程度で
>abcについては一切何も語らず、
>IUTの詳細はRIMS集会の記録と引き続くPorowski氏の講演に押し付けてる
>それを受けたPorowskiの講演ではIUTガン無視で存在しないかのようだった
>IUTのオワコン感ハンパない

一つの見方として、否定はしない

ところで、上記のFesenko、Porowski氏の講演と
下記の同じ9月のIUT Summitとの差分を、とってみてよ

Fesenko氏は、ほぼ同じ内容だが、上記は下記を含んでさらに膨らませた感じだね

Porowski氏は、上記は https://www.dropbox.com/s/kuiz1n7sqdggj9x/PorowskiSlides.pdf?dl=0 で、
（ここのP19のBelyi cuspidalization (2)の図は、まさにIUTのアニメの図でしょ（ https://www.kurims.kyoto-u.ac.jp/~motizuki/project-2021-japanese.html 宇宙際タイヒミューラー理論の拡がり）
　それから、P30 References (2) で more detailed presentation として、Oxford IUT workshop, December 2015, slides by J. Stix, Kyoto IUT workshop, July 2016, slides by K. Higashiyama の二つを挙げている）
Porowski氏の下記 Overview of IUT theory 今読むと、絶品ですね。分かり易いわ。Porowski氏は優秀だね

（>>4より）
https://www.kurims.kyoto-u.ac.jp/~motizuki/ExpHorizIUT21/WS4/ExpHorizIUT21-IUTSummit-notes.html
Inter-universal Teichmuller Theory (IUT) Summit 2021,
RIMS workshop, September 7 - September 10 2021
Notes and recordings of the workshop

https://www.kurims.kyoto-u.ac.jp/~motizuki/ExpHorizIUT21/WS4/documents/Fesenko%20-%20IUT%20and%20modern%20number%20theory.pdf
van Fesenko IUT and modern number theory.

https://www.kurims.kyoto-u.ac.jp/~motizuki/ExpHorizIUT21/WS4/documents/Porowski%20-%20Overview%20of%20IUT.pdf
Wojciech Porowski Overview of IUT theory

因みに、南出明示公式は下記
https://www.kurims.kyoto-u.ac.jp/~motizuki/ExpHorizIUT21/WS4/documents/Minamide%20-%20Explicit%20Estimate.pdf
Arata Minamide Explicit Estimates in Inter-universal Teichmuller Theory I and II, Reference: [ExpEst].

**１３２人目の素数さん** · 2021/12/30(木) 00:10:35.66

>>169
>フェセンコのHigher adelicて
>せいぜい2次元なのかツマらんな

そういう見方もありだろうが下記
類体論には、三つの一般化の方向があって
フェセンコ氏は、2次元における三つの一般化を統合する一般化の類体論の理論はどうよ？って話と読んだけど

(参考)
https://en.wikipedia.org/wiki/Class_field_theory#Generalizations_of_class_field_theory
Class field theory
Generalizations of class field theory
There are three main generalizations, each of great interest. They are: the Langlands program, anabelian geometry, and higher class field theory.
Often, the Langlands correspondence is viewed as a nonabelian class field theory. If and when it is fully established, it would contain a certain theory of nonabelian Galois extensions of global fields. However, the Langlands correspondence does not include as much arithmetical information about finite Galois extensions as class field theory does in the abelian case. It also does not include an analog of the existence theorem in class field theory: the concept of class fields is absent in the Langlands correspondence. There are several other nonabelian theories, local and global, which provide alternatives to the Langlands correspondence point of view.

Another generalization of class field theory is anabelian geometry, which studies algorithms to restore the original object (e.g. a number field or a hyperbolic curve over it) from the knowledge of its full absolute Galois group or algebraic fundamental group.
Another natural generalization is higher class field theory, divided into higher local class field theory and higher global class field theory. It describes abelian extensions of higher local fields and higher global fields. The latter come as function fields of schemes of finite type over integers and their appropriate localizations and completions. It uses algebraic K-theory, and appropriate Milnor K-groups generalize the {\displaystyle K_{1}}K_{1} used in one-dimensional class field theory

**１３２人目の素数さん** · 2021/12/30(木) 07:45:26.44

>>171 追加

（google訳一部手直し）
類体論の一般化
3つの主要な一般化があり、それぞれが非常に興味深いものです。それらは、ラングランズプログラム、遠アーベル幾何学、および高次類体論です。

多くの場合、ラングランズ対応は非可換類体論と見なされます。それが完全に確立された場合、それは大域体の非アーベルガロア拡大の特定の理論を含むでしょう。ただし、ラングランズ対応には、アーベルの場合の類体論ほど多くの有限ガロア拡大に関する算術情報は含まれていません。また、類体論における存在定理の類似物も含まれていません。類体論の概念は、ラングランズ対応には存在しません。ラングランズ通信の観点に代わるものを提供する、ローカルおよびグローバルの他のいくつかの非アーベル理論があります。

類体論のもう1つの一般化は、完全な絶対ガロア群または代数基本群の知識から元のオブジェクト（たとえば、数体またはその上の双曲線）を復元するためのアルゴリズムを研究する遠アーベル幾何学です。[5]

もう1つの自然な一般化は、より高次局所類体論とより高次グローバル類体論に分けられる、より高次類体論です。高次局所体と高次大域体のアーベル拡大とを記述します。後者は、整数に対する有限型のスキームの関数フィールドと、それらの適切なローカリゼーションおよび補完として提供されます。代数的K理論を使用し、適切なミルナーKグループで一次元類体論で使用されているK1を一般化します。
(引用終り)

>類体論には、三つの一般化の方向があって
>フェセンコ氏は、2次元における三つの一般化を統合する一般化の類体論の理論はどうよ？って話と読んだけど

"ラングランズプログラム、遠アーベル幾何学、および高次類体論"の３つで
高次類体論の2次元は既にあって（加藤和也とか）
IUTが遠アーベルの2次元版だとフェセンコ先生は見ていて
で、ラングランズの2次元版作って
三つをぐっと眺めれば
三つを統一する二次元統一類体論できるだろう
って話と読んだ

**１３２人目の素数さん** · 2021/12/30(木) 07:56:55.51

>>172 関連追加

https://en.wikipedia.org/wiki/Anabelian_geometry
Anabelian geometry
More recently, Mochizuki introduced and developed a so called mono-anabelian geometry which restores, for a certain class of hyperbolic curves over number fields or some other fields, the curve from its algebraic fundamental group. Key results of mono-anabelian geometry were published in Mochizuki's "Topics in Absolute Anabelian Geometry."
Anabelian geometry can be viewed as one of generalizations of class field theory. Unlike two other generalizations ? abelian higher class field theory and representation theoretic Langlands program ? anabelian geometry is highly non-linear and non-abelian.

https://en.wikipedia.org/wiki/Langlands_program
Langlands program
4 Current status
4.1 Local Langlands conjectures
4.2 Fundamental lemma
4.3 Implications

https://en.wikipedia.org/wiki/Higher_local_field
Higher local class field theory
Higher local class field theory is compatible with class field theory at the residue field level, using the border map of Milnor K-theory to create a commutative diagram involving the reciprocity map on the level of the field and the residue field.[7]
General higher local class field theory was developed by Kazuya Kato[8] and by Ivan Fesenko.[9][10]
(引用終り)

Higher local class field theory
”General higher local class field theory was developed by Kazuya Kato[8] and by Ivan Fesenko.[9][10]”ね
Ivan Fesenko.出てくるね

おれ？おれは、高木類体論もあんまし分かってない
表面をなぜているだけだが
二次元統一類体論って、ジャンプの４回転半みたいな話で、すごいと思うな

**１３２人目の素数さん** · 2021/12/30(木) 08:01:17.29

>>166
>80年代から定理証明系に興味を持ち、
>一度はそちら方面の専攻を考えた(一応誘われた)者

なるほど　しかしそれは論理学もしくは情報科学であって
数論ではありませんね

>M氏の仕事を一般報道で初めて知った時、
>数学の形をとったモジュラー・プログラミング的な物
>(あるいは数学系のセンスではオブジェクト指向プログラミング的な物)
>なのだろうという我流の理解をした

一つ質問ですが、圏論ではそういう
モジュラー・プログラミング　ないしは
オブジェクト指向プログラミング
といった雰囲気は微塵も感じなかったのでしょうか？

あなたの実際の専攻を存じ上げないので
あなたがプログラミングをどれだけ
知っているのかわかりませんが

**１３２人目の素数さん** · 2021/12/30(木) 08:11:11.65

>>170-173
>おれ？おれは、高木類体論もあんまし分かってない

それどころか正則行列もコーシー列も無限も分かってないでしょう

任意の自然数で成り立つからって、
即、無限順序数ωで成り立つとは言えませんよ
任意の自然数をネストとする元があるからって、
即、無限順序数ωをネストとする元があるとは言えませんよ
任意の自然数ｎについてｎ回実現可能だからといって
即、無限順序数ωについてω回実現可能とはいえませんよ

あなたの再三の誤りはみな同じ根を持っている
それは「任意有限（可能無限）」と「実無限」を全く同値と混同する誤り

>二次元統一類体論って、ジャンプの４回転半みたいな話で、すごいと思うな
あなた自身が「2回転半」だなんていわれないように
https://oshiete.goo.ne.jp/qa/2664417.html

**１３２人目の素数さん** · 2021/12/30(木) 08:19:38.58

「アキレスと亀」は任意有限回と無限回が異なることを示す典型例

スタート（０回目）
アキレス　地点０
亀　　　　地点０．９

アキレス、亀が最初にいた位置に到達（１回目）
アキレス　地点０．９
亀　　　　地点０．９９

アキレス、亀が１回目にいた位置に到達（２回目）
アキレス　地点０．９９
亀　　　　地点０．９９９

・・・

アキレス、亀がｎ回目にいた位置に到達（ｎ＋１回目）
アキレス　地点０．９…（ｎ個）…９
亀　　　　地点０．９…（ｎ＋１個）…９

ここからゼノンが考えたこと
「任意の自然数ｎについて、ｎ回目では
　必ず亀はアキレスの前にいる
　だから、アキレスは亀に決して追い付かない」

しかし実際には任意のｎ回目を全て実行した直後（ω回目）

アキレス　地点０．９９…＝１
亀　　　　地点０．９９…＝１

両者の位置は等しい

つまり
「任意有限回終了で亀がアキレスの前にいるからといって
　無限回終了で亀がアキレスの前にいる、とはいえない」

**１３２人目の素数さん** · 2021/12/30(木) 08:24:25.70

>>168
>世の中全てが憎くて憎くて
>エントロピー増大則に従って全てが無に帰すことを望む、
>ちょっと自分の人生に困っている人

資本主義体制による格差の拡大が続けば
あなたもいずれそうなることでしょう

https://www.businessinsider.jp/post-244037

**１３２人目の素数さん** · 2021/12/30(木) 08:37:10.04

>>170 補足

つらつら考えると

Como Schoolの Porowskiの講演は、IUTの基礎の遠アーベルの部分で、講演自身ではIUTに触れてない>>148
だが、”P30 References (2) で more detailed presentation として、Oxford IUT workshop, December 2015, slides by J. Stix, Kyoto IUT workshop, July 2016, slides by K. Higashiyama の二つを挙げている”>>170
ことからすると

話の流れで、読む順は
Como Schoolの Porowskiの講演 → IUT Summit Overview of IUT theory >>170
かも

「Porowski氏はフェセンコ先生のプログラムに沿って、新しい研究を開始していると見ました」>>148
は、言い過ぎかもね（しかし、新しい研究をやっていないとも言い切れないので、判断保留）

一応追加訂正

**１３２人目の素数さん** · 2021/12/30(木) 08:43:21.54

>>178
素人君は
来年(2022年)、望月新一氏が
「金メダル」（IMUから授与される賞）
をとらなかったら負けを認めて
永遠に黙ってね

それから
「任意有限回（可能無限）」と
「無限回（実無限）」の
違いを理解してね
大人として恥ずかしいよ

**１３２人目の素数さん** · 2021/12/30(木) 08:48:03.96

2022年のICMは
ロシア　サンクト・ペテルスブルクにて
7/6-14　開催

ここで望月新一氏のABC予想解決に対して何の賞も出なかったら　
望月新一氏と彼を熱烈に応援するナニワの愛国素人君の惨敗決定！

https://icm2022.org/

**１３２人目の素数さん** · 2021/12/30(木) 09:01:29.69

>>174
ID無しキチガイジおばさんは世間知らずだから相手するのも馬鹿馬鹿しいんだけどな

リアルタイムを知らないからそういう屁理屈が出るんだろうけど
1980年代時点ではCAML(Category Abstract Machine Language)や型変数を導入したML方言が登場
1990年代に入ってSML NJやHaskelが登場してようやく圏論的プログラミングが専門課程のカリキュラムに組み込まれた状態だから
その当時の学生にとっては、80年代は定理証明系と型を命題と捉えたカリー=ハワード同型対応プログラミングがせいぜいの所

80年代国内ではcoq以前にMisarという処理系を先行導入している研究室があって、ハギャ先生一行がその研究室を訪問した記録には心を躍らせていた
そこら辺含めて、自分はどっちの方向に向かっても定理証明系、型=命題の証明的プログラミング、そして圏論的プログラミングに到達する状況だったのだけど

お前が今現在起こしているアカデミックハラスメントで憂慮すべき事態が起きていたので、誘われた研究室を断り専攻を変えて、アカデミックハラスメント問題を影の主専攻にした

**１３２人目の素数さん** · 2021/12/30(木) 09:04:21.01

正確に書いた方がいいな

お前が今現在起こしているアカデミックハラスメントと同様な問題が数年前から起きていて
お前と同様なメンヘラが次々と犠牲者を出す状況が目の前にあったので、誘われた研究室は断り専攻を変えて、アカデミックハラスメント問題を影の主専攻にした

**１３２人目の素数さん** · 2021/12/30(木) 09:09:23.67

ID無しの人は自分が愚かで世間知らずでルサンチマンを抱えていつもネガティヴな言動をしている自覚が無いから、
やたら他人にマウントを取ろうとして後知恵でものを言い出すのが幼稚極まりないね
こんな幼稚な妄言ばかりの50代准教を教員扱いしなければならない職場の同僚や学生はいい面の皮だ

**１３２人目の素数さん** · 2021/12/30(木) 09:14:48.13

>>176
それお前が愚言を連ねているパラドックススレでやれよ
IUTとは無関係、お前個人が抱えている問題に過ぎない

**１３２人目の素数さん** · 2021/12/30(木) 09:22:36.74

> 一つ質問ですが、圏論ではそういうモジュラー・プログラミング　ないしはオブジェクト指向プログラミングといった雰囲気は微塵も感じなかったのでしょうか？
>
> あなたの実際の専攻を存じ上げないのであなたがプログラミングをどれだけ知っているのかわかりませんが

それ30年前から俺が言ってる話で、匿名掲示板では20年前から何度も書いている話だから
いまさらなに幼稚な事を言い出したのって爆笑してしまった

お前が学位論文研究のプログラミングができずにdBase業務プログラミング開発バイトでドヤ顔していた当時から常識だろ
SML NJのオブジェクト指向はその話
時代感覚が30年ズレている

**１３２人目の素数さん** · 2021/12/30(木) 09:25:16.36

>>181
20世紀の情報科学か、なにもかもみな懐かしい…

>その当時の学生にとっては、
>80年代は定理証明系と型を命題と捉えた
>カリー=ハワード同型対応プログラミング
>がせいぜいの所

90年代だったと思いますが、当時龍谷大にいた小林聡氏が
「実は古典論理でもカリー・ハワード対応で
　プログラム抽出できる」
という話をして
「えっ、今まで排中律を使うと構成的じゃないから
　プログラム抽出できないっていってたのは
　いったいなんだったんですか？」
と驚いたのをおぼえてますね

ま、今では常識なんでしょうけど
（詳しいことは
　照井一成氏「コンピュータは数学者になれるのか？」
　第５章　5.3　２つの論理　とか読んでください
　これ、いい本ですよ）

**１３２人目の素数さん** · 2021/12/30(木) 09:28:09.97

>>184
結論としてID無し連投の人物は
IUT無関係な自分の疑問を誰にも教えてもらえず
自分より賢い人にぶつけて答えを貰おうとする
知恵乞食に過ぎないから
そのパラドックススレに帰ってもらった方がいいね

**１３２人目の素数さん** · 2021/12/30(木) 09:30:23.36

昔話、つづけますか

>>181
>80年代国内ではcoq以前にMisarという処理系を先行導入している研究室があって、
信州大学の中村八束さんでしたっけ？

>ハギャ先生一行がその研究室を訪問した記録には心を躍らせていた
萩谷昌己氏ならよく存じあげていますよ
7bitsのThemskyのm氏でしょ
「止まれ！」は実にいい解説文でしたね
巨大数愛好家の人はぜひ読んでほしいな
https://www.youtube.com/watch?v=M8KNbSKEH08&;ab_channel=12129momo

**１３２人目の素数さん** · 2021/12/30(木) 09:32:52.90

>>186
小林聡氏の構成的プログラミングは構成的型論理を使った話だから意外性を感じるだけであって
プログラミング手法としてのカリー=ハワード同型対応プログラミングは、構成的プログラミング以前から発想があるわけだから当たり前だよな

リアルタイムで追っかけずに歴史を未来から順番に追っかけているから意外性を感じるだけだろう

**１３２人目の素数さん** · 2021/12/30(木) 09:34:21.15

>>188
お前の話っておれが匿名掲示板で何度も出した話を繰り返し持ち出すだけで昔話でもなんでもなく全く意外性がないな

**１３２人目の素数さん** · 2021/12/30(木) 09:36:33.63

>>182
>アカデミックハラスメント問題が数年前から起きていて
>メンヘラが次々と犠牲者を出す状況が目の前にあったので、
>誘われた研究室は断り専攻を変えて、
>アカデミックハラスメント問題を影の主専攻にした

そうですか　
ま、結果的には情報科学を専攻しなくて
よかったんじゃないですか？
型理論とかもう古典芸能でしょう
数学関係ではHoTTとかリバイバルヒットしてるみたいですけど
正直どこまで研究進んでるのか知りません

**１３２人目の素数さん** · 2021/12/30(木) 09:38:37.17

IUT全く関係ない匿名掲示板知識を書き殴るID無し

**１３２人目の素数さん** · 2021/12/30(木) 09:40:58.16

>>191
まじツッコミすると
> 型理論

って何？造語症？

**１３２人目の素数さん** · 2021/12/30(木) 09:41:13.42

>>195
>> 一つ質問ですが、圏論では
>>そういうモジュラー・プログラミング　
>>ないしはオブジェクト指向プログラミング
>>といった雰囲気は微塵も感じなかったのでしょうか？
>それ30年前から俺が言ってる話で、
ということは、20世紀中ですか

>匿名掲示板では20年前から何度も書いている話だから
そうですか、いったいどの程度のことを書かれてたのですか？

>いまさらなに幼稚な事を言い出したのって爆笑してしまった
まあそう興奮しないで　
いまどき古典芸能を守る貴方のような存在は実に奇特ですから

**１３２人目の素数さん** · 2021/12/30(木) 09:42:03.24

>>194のアンカーは正しくは>>185

**１３２人目の素数さん** · 2021/12/30(木) 09:45:35.16

> ま、結果的には情報科学を専攻しなくて
> よかったんじゃないですか？
> 型理論とかもう古典芸能でしょう

この書き込みでコイツの程度がわかってしまうのが
匿名掲示板の面白いところだね

自分が不得意な分野はそれ以上追撃がないように
(相手は専攻していない！)という思い込みを滲ませ
自分が知らない話は古典の一言で片付け、おまけに用語を間違える

匿名掲示板でしか生きられない下層民の悲哀が滲む書き込みだね

**１３２人目の素数さん** · 2021/12/30(木) 09:48:14.02

> いまどき古典芸能を守る貴方のような存在は実に奇特ですから

健常者向け翻訳「その事はよく知らないのでこれ以上話を広げて私に恥をかかせないで下さいね、
そのカタリロンは古典、これは宇宙の真理ですから
カタリロンの話をする奴は時代遅れの古典芸能継承者だとレッテル貼りしておきますよ」

カタリロンって何だよw
パタリロンの親戚か

**１３２人目の素数さん** · 2021/12/30(木) 09:48:31.68

>>185
>お前が学位論文研究のプログラミングができずに
>dBase業務プログラミング開発バイトで
>ドヤ顔していた当時から常識だろ
>SML NJのオブジェクト指向はその話
>時代感覚が30年ズレている

dBASE業務プログラミング開発バイトされてたんですか　ふ~ん

私がオブジェクト指向なる言葉を聞いたのは
大学のゼミに入るときでしたね
教授がゼミで読む本の１つとしてあげたのが
GoldbergのSMALLTALKの本でしたね
結局その本は読まなかったんですけどね

**１３２人目の素数さん** · 2021/12/30(木) 09:50:36.51

この手の手合いは訳もわからずマウントしてくるだけで、マウントの下側がガラ空きの無防備状態だから笑えるね

**１３２人目の素数さん** · 2021/12/30(木) 09:53:09.51

>>189
>プログラミング手法としてのカリー=ハワード同型対応プログラミングは、
>構成的プログラミング以前から発想があるわけだから当たり前だよな
今となってはそう思いますが、
「大域脱出call/ccが実は排中律だった！」
と気づいたのは1990年らしいですから
（小林氏の話はその直後）
昭和時代に大学生＆院生だった私にとっては
リアルタイムの衝撃でしたけどね