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

**１３２人目の素数さん** · 2025/12/17(水) 20:59:24.41

前スレ：Inter-universal geometry と ABC予想 (応援スレ) 79
https://rio2016.5ch.net/test/read.cgi/math/1764578260/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
＜IUT最新文書＞
About the study of IUT by Ivan Fesenko http://ivanfesenko.org/wp-content/uploads/rapg.pdf https://ivanfesenko.org/?page_id=80
望月新一＠数理研 https://www.kurims.kyoto-u.ac.jp/~motizuki/
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
宇宙際タイヒミュラー理論＜新展開＞ 2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
＜Grokipedia＞
Inter-universal Teichmüller theory https://grokipedia.com/page/Inter-universal_Teichm%C3%BCller_theory
遠アーベル幾何学 https://grokipedia.com/page/Anabelian_geometry

https://zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介 2023年7月
審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたもの

://www.sankei.com/article/20240402-WNUUSYIAO5PRVNCBQSEEUETGMU/
産経 2024/4/2
宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金１０万ドル
同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「ＩＵＴｉｎｎｏｖａｔｏｒ賞」の最初の受賞者として望月氏ら５人が選ばれ

://ahgt.math.cnrs.fr/activities/
Anabelian Geometry and Representations of Fundamental Groups. Oberwolfach workshop MFO-RIMS Sep. 29-Oct. 4, 2024
Org.: A. Cadoret, F. Pop, J. Stix, A.. Topaz
（J. Stixさん、IUT支持側へ）

://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
“ANABELIAN ARITHMETIC GEOMETRY - A NEW GEOMETRY OF FORMS AND NUMBERS: Inter-universal Teichmüller theory or “beyond Grothendieck’s vision” Benjamin Collas Version 11/15/2023”

このスレの番号は前スレ43を継いでNo.44からの連番としています
（なお、このスレは本体IUTスレの43からの分裂スレですが、分裂したNo43スレの中ではこのスレ立ては最初だったのです！）
(余談)
Langlands program Geometric conjectures https://en.wikipedia.org/wiki/Langlands_program
In 2024, a 9-person collaborative project led by Dennis Gaitsgory announced a proof of the (categorical, unramified) geometric Langlands conjecture leveraging Hecke eigensheaves as part of the proof.[3][4][5][6]
つづく

**１３２人目の素数さん** · 2025/12/20(土) 19:06:24.60

そもそも論として完全に数学についてトーシローなのにフィールズ賞受賞者の間違いを指摘できると思ってるところがまともな人間の知能を持ってると思えない

**１３２人目の素数さん** · 2025/12/20(土) 19:25:57.79

>>160
そもそも、自国の人間だというだけで
無条件で全面礼賛する人間が
正常な精神を有しているわけがない

明らかに完全な●違い

**１３２人目の素数さん** · 2025/12/20(土) 19:26:04.74

>>160
そもそも、自国の人間だというだけで
無条件で全面礼賛する人間が
正常な精神を有しているわけがない

明らかに完全な●違い

**１３２人目の素数さん** · 2025/12/20(土) 19:51:08.40

>>155-160
アンチが必死で笑えるｗｗｗ

>博士の学位は持ってないが
>学士と修士の学位は持ってるよ

・数学では、博士の学位がなければ一人前扱いされないと君は言ったね
　DRの学位のない君は数学科出身内では一人前扱いされない
・私大ｗ大ではオチコボレ学部生は早く押し出したいんだよ、大学経営上ね
・そして、君は修士は情報系（コンピューター）へ逃げたと言ったね。そこで、基礎論をやったんだねｗ（＾＾

>「おちつけ　ショルツェにもギャップがあるって指摘されたろ？

・simplification = ストローマンつまりディベート論法を使った
・その点については Kirti Joshi が >>17の文献で対照表を作って指摘している
（そもそも ”simplification = ストローマン”が無理筋だ）

>そもそも彼は大学は出たらしいが数学科ではなく

数学史上 19世紀までの数学者は数学科出身でない数学者が多い
オイラーやラグランジュとかニュートンもかな
（当時、いまの数学科のような”厳密主義”ではなかった）
ガロアは、受験に失敗している
要するに
命題「数学科出身でなければ、数学的思考ができない」
には、歴史的な反例多数ｗ

余談だが
京大数学同窓会の報告で、女性の卒業生で NECでAI研究している人の報告を読んだ
周りに優秀な人が多く修士には進学せず一般企業に就職した
が、京大数学科で学んだ”徹底的に考え抜く”という訓練が AI研究で役に立っていると書かれていました
（5ｃｈを徘徊するオチコボレさんとは大違いだと思ったのは私だけかな？ｗ）

>>2）内容に関わらず形式的な誤りがショルツエ氏側に存在する
>>　それが、simplification = ストローマン
>それはあなたに判断できません

Kirti Joshiの文献 >>17を読みなよ
ショルツエ氏の文書は、一刀両断にされている

>そもそも論として完全に数学についてトーシローなのにフィールズ賞受賞者の間違いを指摘できると思ってるところがまともな人間の知能を持ってると思えない

きみたちアンチIUT派がショルツエ氏の文書を援用すると同じく
私も、Kirti Joshiの文献 >>17を援用する
それで、ショルツエ氏の論は無効化される

**１３２人目の素数さん** · 2025/12/20(土) 19:54:18.61

イヤ、文章の意味わからんか？
どこまで頭悪いんや？

**１３２人目の素数さん** · 2025/12/20(土) 19:55:28.97

>>163
>Kirti Joshiの文献 >>17を読みなよ
>ショルツエ氏の文書は、一刀両断にされている
あなたではありませんよ？
あなたはその人の文章も理解していません
どこまでも卑怯な人だと言うことを白状したのです

**１３２人目の素数さん** · 2025/12/20(土) 19:58:21.14

>>163
>きみたちアンチIUT派がショルツエ氏の文書を援用すると同じく
あなたは他人の意見を盲目的に信じ込んでいるだけです
全く理解していないのに他人を非難している卑怯な人です

**１３２人目の素数さん** · 2025/12/20(土) 20:03:51.71

数件の掲示板にペタペタ赤日のバカ記事貼り付けてんのってご本人？
誰にも相手にしてもらえないからって惨めやな・・・

**１３２人目の素数さん** · 2025/12/20(土) 20:39:23.63

>>163
>博士の学位がなければ一人前扱いされない
>と君は言ったね

君って誰？　妄想？　

学位って言葉の意味知ってる？

学位
https://ja.wikipedia.org/wiki/%E5%AD%A6%E4%BD%8D

博士だけじゃなく修士も学士も学位だよ

はい、論破

**１３２人目の素数さん** · 2025/12/20(土) 20:43:37.56

>>163
>そして、君は修士は情報系へ逃げたと言ったね。

君って誰？　妄想？

情報系は数学ではないな
東大なら情報科学科

ついでにいうと、東大の数学科では数理論理学の講義はゼロ
日本の数学界には、数理論理学の居場所はないらしい

ざんね～ん

**１３２人目の素数さん** · 2025/12/20(土) 20:51:52.84

>simplification については Kirti Joshi が文献で対照表を作って指摘している
>（そもそも ”simplification が無理筋だ）

そもそも望月新一のIUが無理筋
Kirty Joshiの説明でも救いきれない

ざんね～ん

**１３２人目の素数さん** · 2025/12/20(土) 20:54:52.99

>数学史上 19世紀までの数学者は数学科出身でない数学者が多い

今　21世紀

数、勘定できる？

>オイラーやラグランジュとかニュートンもかな

ラグランジュはかろうじて19世紀も生きてたけど
あとの二人は19世紀にはいないな

数、勘定できる？

**１３２人目の素数さん** · 2025/12/20(土) 20:57:20.95

>（当時、いまの数学科のような”厳密主義”ではなかった）

正方行列＝正則行列とかいう粗雑主義はいつの時代でもNG

>ガロアは、受験に失敗している

君はガロアじゃないだろ？
ちなみにガロアは共和主義者
君は王党派のウルトラ反動だろ？
数学なんかやめて神でも信仰したら？

アーメン

**１３２人目の素数さん** · 2025/12/20(土) 21:00:53.48

>命題「数学科出身でなければ、数学的思考ができない」には、歴史的な反例多数

でも君は反例じゃないだろ？
任意の正方行列は行列式が０でなく逆行列が存在すると
何の考えもなくウソ偽りを述べる君は
全然数学的思考ができてないよ

はい、論破

**１３２人目の素数さん** · 2025/12/20(土) 21:05:24.73

>数学同窓会の報告で、卒業生で企業でAI研究している人の報告を読んだ
>周りに優秀な人が多く修士には進学せず一般企業に就職したが、
>数学科で学んだ”徹底的に考え抜く”という訓練が
>AI研究で役に立っていると書かれていました

他の学科では徹底的に考え抜くことはしないのかい？
そんな学科、大学に要らないだろ？

ま、君が何も考えずにただ人の考えを盗むことだけで生きてきた
というなら日本はそんなコソ泥野郎ばっかりかよとつっこみたいねｗ

**１３２人目の素数さん** · 2025/12/20(土) 21:19:43.05

>Kirti Joshiの文献でScholzeの文書は、一刀両断にされている

でもKirti Joshiの論文、数学界で認められてないんだろ？　意味ないじゃん（嘲）

クソをミソだと思う●違い素人って惨めだな

**１３２人目の素数さん** · 2025/12/20(土) 21:21:11.63

だいたい日本人は無能なくせに全能だといいはる●違いばっかり
そんなことだから戦争で惨敗する　特攻？　●違いかよ（嘲）

**１３２人目の素数さん** · 2025/12/20(土) 21:52:10.02

>>164-176
面白いな IUTアンチはｗ

>>Kirti Joshiの文献 >>17を読みなよ
>>ショルツエ氏の文書は、一刀両断にされている
>あなたはその人の文章も理解していません

文章の理解でなく
　>>17より
https://arxiv.org/pdf/2505.10568
[Submitted on 29 Apr 2025]
Final Report on the Mochizuki-Scholze-Stix Controversy
Kirti Joshi
This report provides my mathematical findings regarding the Mochizuki-Scholze-Stix controversy surrounding Mochizuki's Inter-Universal Teichmüller Theory.
P4に
Table1 Comparison of claims of Mochizuki,Scholze-Stix and Joshi
があって比較対照表を作っている
例えば
・geom. base point： Scholze-Stix ignored、Joshi [Joshi, 2021a, 2022]
・log-Links： Scholze-Stix ignored、Joshi[Joshi, 2023a,c].
・Theta-Links： Scholze-Stix argue that suchobjects cannotexist、Joshi [Joshi, 2023a,c,2024a]
などなど
つまり、Scholze-Stixらが simplificationした部分は、”ignored”とかそれまずいとScholzeらにダメだしの一刀両断で
Joshi さんは、自分の理論で補えるといっているのです　（＾＾

>>博士の学位がなければ一人前扱いされない

これは、数学以外でも海外では研究者として一人前扱いされるためには博士の学位が必要だと
ノーベル物理学賞の中村修二も書いていたよ
数学界では大学以上の研究者は博士の学位持ちは当たり前だろ？ｗ

>情報系は数学ではないな
>東大なら情報科学科

それは2025年現在であって
君が数学科にいた 1980年代は情報系の研究室が数学科の中にあってもおかしくない
例えば圏論の米田信夫先生は日本では数学そのものでの処遇が難しくコンピュータサイエンスへ転向させられた

>>数学史上 19世紀までの数学者は数学科出身でない数学者が多い
>ラグランジュはかろうじて19世紀も生きてたけど
>あとの二人は19世紀にはいないな

"19世紀までの"とあるので 19世紀以前も含む

**１３２人目の素数さん** · 2025/12/20(土) 22:11:03.25

っていうかIUT擁護派とか弟子は勝手な発言許されたないのん？w
犬じゃんw

**１３２人目の素数さん** · 2025/12/20(土) 22:16:32.08

>>177
>文章の理解でなく
理解できてないんですね
ではそれを元に避難するのは全くダメですよ

**１３２人目の素数さん** · 2025/12/20(土) 23:27:47.73

>>178-179
>>文章の理解でなく
>理解できてないんですね
>ではそれを元に避難するのは全くダメですよ

わかってないね
そもそも論文では、筆者は必要だと思うことを書いているのだ
この原理原則を認めよう

さて、ドイツの若い数学者は他人の(望月)数学論文で
筆者が必要だとしているいくつかの要素を >>177に示したように”ignored”した
その結果、論文の証明で不具合が起きたという

それを見た Kirti Joshiは
あんた勝手に”ignored”とかそれまずくね？
私の論文でそこはきちんと補えるぜよという
（望月論文ではあいまいで分りにくいだけだと）

で、望月さんは
あんたら論文がきちんと読めてないだけだよ
ちゃんと書いてあるから、ちゃんと読んでくれ
とくに記号∧と∨の区別に注意してねと言った　（＾＾

**１３２人目の素数さん** · 2025/12/20(土) 23:57:28.62

日本語版wikipediaのアレクサンドル・グロタンディークの記事って結構間違ってるよね？
しかしwikipediaは出典を求められるが、グロタンディークの出典自体が入手性悪いのおおいからね...

**１３２人目の素数さん** · 2025/12/21(日) 00:40:03.39

>>180
ワラタ
まじで知恵遅れてんなこの朝鮮人

じゃあ今ここで解説してみろゴミ

**１３２人目の素数さん** · 2025/12/21(日) 00:40:47.28

>>180
理解者、弟子(失笑がコソコソしてる理由になんねーんだよ低学歴在日w

**１３２人目の素数さん** · 2025/12/21(日) 00:56:40.27

天然無能の長文コピペ基地外、ブログでも作ってそこで思う存分やればいいのに
他人に不快感を与えるのが快感になってんのかな
露出狂みたいだね

**１３２人目の素数さん** · 2025/12/21(日) 01:14:32.22

承認欲求の病的段階らしい。最初は他人から「すごい」と思われる何かを身に着けて承認欲求を満足しようとするらしい。この段階でもあまりいいことではないが、さらに承認欲求が暴走すると他人を不愉快にさせることで、そのことを「誰も自分を止められない、おれは他人から恐れられている」と脳内変換して暴走した承認欲求を満足させようとする段階にはいるらしい。
この段階に進んでしまうともはやカウンセリングとかでは引き戻せないらしく精神科医が関わって薬物療法とかもしないといけない段階らしい。
by アルフレッド・アドラー

もう人間として壊れてしまってる

**１３２人目の素数さん** · 2025/12/21(日) 06:25:52.21

>>114
>また、1+2=３は ”{{ }}＋{{ }, {{ }}}＝{{ }, {{ }}, {{ }, {{ }}}}”となるが
>これだと圧倒的に視認性が悪い
>なので、数学者の「ZFCだ ZFCGだ」は、基礎論屋さんの受け売りにすぎないことが多い
「基礎論屋さんの受け売り」とはその上の「1+2=３は ”{{ }}＋{{ }, {{ }}}＝{{ }, {{ }}, {{ }, {{ }}}}”となる」ことでないのなら
何のことですか？
「なので」は「視認性が悪い」ことが「数学者の「ZFCだ ZFCGだ」は、基礎論屋さんの受け売りにすぎないことが多い」の理由であるとあなたは言いたいのだと受け取ったのですが
違いますか？
何を言いたいのか意味不明ですよ
>>129
>真逆だよ
何が何の真逆だと言いたいのでしょう
>基礎論屋は常に{{ }}＋{{ }, {{ }}}＝{{ }, {{ }}, {{ }, {{ }}}}と見てなくてはいけないと思い込んでますか？
そうは思い込んでいないというだけでなく「真逆」ということは
基礎論屋は{{ }}＋{{ }, {{ }}}＝{{ }, {{ }}, {{ }, {{ }}}}と見て居るわけでは無いと言いたいのだと思って>>138
>>真逆だよ
>ならば基礎論屋と普通の数学者は1+2=3を1+2=3と見ているわけですから何の問題も無いのでは？
と書きましたが
そうでは無い別の意味かもしれないと思い直したのでお尋ねしています
総じて意味不明ですよ

**１３２人目の素数さん** · 2025/12/21(日) 06:26:36.50

>>180
内容を理解して居ないのに
その人が間違ったことをしていると断定しているので
あなたは卑怯な人です

**１３２人目の素数さん** · 2025/12/21(日) 06:37:05.54

>>181
たとえばどの部分？英語版フランス語版には無いってことだよね？それとも英語版フランス語版でも間違ってる？

**１３２人目の素数さん** · 2025/12/21(日) 06:37:56.73

>>185
承認欲求がある時点で病んでますね
健全な人はそういう病んだ欲求ないですから

他人から「すごい」と思われたい時点で病んでいる
健全な人は他人と対等なことが当たり前だと思ってる
上下の順序をつけて自分が上になりたがるのは病気

何が原因かは多種多様だが、治したほうがいいのは確か
この病気　予後不良なんだよね
他人から嫌われるから　社会生活が営めなくなる

健全な人はわかってるからならない

**１３２人目の素数さん** · 2025/12/21(日) 07:02:23.95

>>177
高卒は論理が分からない

だからScholze-Stixがなぜignoreしたか理解できない
論理で正当化できないからignoreした

Joshiが「自分は望月が説明できなかったことを説明した」というのは勝手だが
ScholzeとStixがそれを認めるかどうかは別
実際、Scholzeの反応は「まあがんばったけどまだまだだね」なので
相変わらずignoreのままだね　ごくろうさん

あとはくだらないので全部ignore（笑）

**１３２人目の素数さん** · 2025/12/21(日) 08:31:04.87

>>182-190
1）まず、聞いておきたいが
あなたたちは数学の研究論文で投稿査読されて掲載された論文が1本でもありますか？
見るところないよね。完全にあきらかにパーフェクトにねｗ（＾＾
もちろん、私も無いがｗｗ（＾＾
2）さらに、聞いておきたいが
あなたたちは数学DRの学位がありますか？
見るところないよね。完全にあきらかにパーフェクトにねｗ（＾＾
もちろん、私も無いがｗ（＾＾

さて
a）数学の証明を論じるとき、意味論と統語論と二つあり（下記）
　統語論は、『数理論理学では証明論に対応する』と言われる
b）下記の証明論で『形式的証明と非形式的証明』にあるごとく
　一般的には数学で日常的に行われているのは「非形式的」証明で
『比喩的に言えば、・・完全な形式的証明を書くことは、機械語でプログラミングをするようなものである』
　しかしながら、数学証明の正否を論じるには、まずは（意味論は問わず）統語論的に
　形式的証明の観点で、不具合がないかを見るの
　i)ギャップ、ii)反例、iii)矛盾が無いかを見る
c）君たちの議論は、意味論と統語論（証明論）とがグシャグシャだよ
　ドイツの若僧ショルツェ氏がやった simplification とは
　望月氏のプログラミングを、いくつかの要素を省いてしまって
「ほら、プログラミングがうまく動かないよ」という
　対して、Kirty Joshi氏は「ショルツェさん、あなたはプログラミングが読めないからと言って
　simplificationしたけど、その部分はこうプログラミングしたと思えば良いよ」
　と指摘したのです

<まとめ>
・ドイツの若僧ショルツェ氏がやった simplificationは、形式的に統語論（証明論）から見るとムチャクチャな話です
・Kirty Joshiは、そこに気付いて ”ショルツェさんあなたおかしいよ”と言っている

簡単な話で
中高一貫校生なら理解できるだろう

(参考)
https://ja.wikipedia.org/wiki/%E6%84%8F%E5%91%B3%E8%AB%96_(%E8%AB%96%E7%90%86%E5%AD%A6)
意味論 (論理学)
数理論理学における意味論
言語学における統語論は、数理論理学では証明論に対応する
同様にして言語学における意味論に対応するのが数理論理学における意味論である
証明論では対象を単なる記号として扱い、その記号の操作のみによるものとして証明をおこなう
たとえば「点A」というものがあっても、それが図形的な点である必然性などといったことは扱わず
与えられる公理に現れる単なる記号として扱われる
それに対し、もっぱらモデル理論と呼ばれる分野であるが
たとえば幾何学にあっては実際の図形といったような具体を扱うのが意味論である

https://ja.wikipedia.org/wiki/%E8%A8%BC%E6%98%8E%E8%AB%96
証明論
形式的証明と非形式的証明
数学で日常的に行われている「非形式的」証明は、証明論で言う「形式的」証明とは異なる。しかしながら、それは形式的証明の高度に抽象化されたスケッチのようなもので、専門家が十分な時間と忍耐を持っていれば、非形式的証明から形式的証明を適切に再構築できるようなものである場合が多い。比喩的に言えば、そのような場合に完全な形式的証明を書くことは、機械語でプログラミングをするようなものである

**１３２人目の素数さん** · 2025/12/21(日) 08:35:53.21

>>191 タイポ訂正

形式的証明の観点で、不具合がないかを見るの
　↓
形式的証明の観点で、不具合がないかを見る

**１３２人目の素数さん** · 2025/12/21(日) 08:39:12.85

>>191
>　と指摘したのです
その人の指摘はその人が理解したことを元にしているでしょうが
あなたはデタラメで卑怯極まりありませんよ

**１３２人目の素数さん** · 2025/12/21(日) 09:17:45.06

>>181
>日本語版wikipediaのアレクサンドル・グロタンディークの記事って結構間違ってるよね？
>しかしwikipediaは出典を求められるが、グロタンディークの出典自体が入手性悪いのおおいからね...

ありがとうございます
同意です
日本語版wikipediaの後、必ず英語版は見る方がいい
いまは、仏語版もね

(参考)
https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AC%E3%82%AF%E3%82%B5%E3%83%B3%E3%83%89%E3%83%AB%E3%83%BB%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF
アレクサンドル・グロタンディーク

https://fr.wikipedia.org/wiki/Alexandre_Grothendieck
仏語版 Alexandre Grothendieck
(google訳)
学生
エリー・カルタンの息子アンリ・カルタン教授は彼を高等師範学校（ENS）のセミナーに受け入れ、当時関数解析学の分野で数学の「砦」の一つであったナンシー大学のジャン・ディドゥネとローラン・シュワルツに紹介し、彼の論文を準備させた。

グロタンディークの能力を試すため、彼らは彼に最近発表された論文[ 27 ]を託した。その論文には14個の未解決問題（それぞれが論文のテーマになり得る[ 28 ]）が列挙されていた。彼の指導教官たちは、分野に慣れるためにそれらの問題のうち1つか2つに目を通すことを勧めた。グロタンディークは数ヶ月のうちにそれらをすべて解き[ 29 ]、[ f ]、そのうち6つの問題を書き上げた。これが彼の数学者としてのキャリアの始まりとなった。

数学のキャリア
関数解析学における輝かしい業績の後、彼は代数幾何学へと転向した。ジャン＝ピエール・セールとの共同研究において、新たな基礎を確立し、図式の概念を導入することで、この分野に革命をもたらした。二人の研究者は頻繁に文通し、非常に異なるスタイル[要出典 ]が互いに補完し合い、共同研究は実を結んだ。

彼は1956年にCNRS研究員としてパリに戻り、位相幾何学と代数幾何学を研究しました。その後、リーマン・ロッホの定理の新たなバージョンを提示し、多様体の解析的性質と位相的性質の間に隠された関連性を浮き彫りにしました。

https://en.wikipedia.org/wiki/Alexander_Grothendieck
英語版 Alexander Grothendieck

**１３２人目の素数さん** · 2025/12/21(日) 09:38:41.24

>>193
>>　と指摘したのです
>その人の指摘はその人が理解したことを元にしているでしょうが
>あなたはデタラメで卑怯極まりありませんよ

むかし、2ｃｈ時代にある人が
「相手が大人だと思って会話していたら小学生だった」と
書いてあるのを読んだ

Kirty Joshiが、ドイツの若僧ショルツェ氏がやった simplification について
ショルツェ氏は望月IUTの真意が理解できていない
私 Kirty Joshiが、独自の理論を考えて望月IUTの真意を解き明かしたという
（望月IUTは分りにくくて曖昧だと Kirty Joshiはいう）

ここまでの話は、形式論かつ客観的な議論
その上で、私は
1）ある一人の数学者（Kirty Joshi）が
　ドイツの若僧ショルツェ氏のSS文書の simplification を批判していること
2）従って、ショルツェ氏のSS文書の simplification を鵜呑みにできないこと
3）さらに、私は Kirty Joshi氏の指摘に十分理由があることと
　よって、Kirty Joshi氏の主張の一部と望月氏の主張の一部を認め
　ドイツの若僧ショルツェ氏のSS文書の simplificationを却下すべきと
　思った
ということ

この最後の3）項のみが、私の主張であって
1）2）項は、客観的な事実です

**１３２人目の素数さん** · 2025/12/21(日) 10:13:22.22

>>195
結局
理解せず非難しているということを白状しただけ
あなたは卑怯な人です

**１３２人目の素数さん** · 2025/12/21(日) 10:14:15.05

しかも
非難している理由として使っているまさにそのことを自分が行っている
卑怯極まりない人です

**１３２人目の素数さん** · 2025/12/21(日) 10:16:31.35

>>186
これに答えないのも
自分で自分の書いたことが理解できていないからでしょう
何を言いたいのか全く理解不能ですよ

**１３２人目の素数さん** · 2025/12/21(日) 10:48:15.17

国語が壊滅してるセタは意味不明なことを口走る
数学どころか日常生活に支障きたすレベル

**１３２人目の素数さん** · 2025/12/21(日) 12:36:54.38

math_jin さん、情報早いな

https://x.com/math_jin/
2025年12月21日
Xポスト
math_jin
数理解析研究所も解体？
国際卓越研究大学認定で京大がデパートメント制度を導入、研究組織を再構築。
理学の数学系とくっついちゃうとか？
ひっそりととんでもないことが起こっている？
国際卓越研究大学
https://pbs.twimg.com/media/G8pZQvSaAAEAzFo?format=jpg&name=large

**１３２人目の素数さん** · 2025/12/21(日) 12:57:20.36

>>196-199
>結局
>理解せず非難しているということを白状しただけ
>あなたは卑怯な人です

意味分らん

（再録）
むかし、2ｃｈ時代にある人が
「相手が大人だと思って会話していたら小学生だった」と
書いてあるのを読んだ

まず (再録)
https://ja.wikipedia.org/wiki/%E6%84%8F%E5%91%B3%E8%AB%96_(%E8%AB%96%E7%90%86%E5%AD%A6)
意味論 (論理学)
証明論では対象を単なる記号として扱い、その記号の操作のみによるものとして証明をおこなう
たとえば「点A」というものがあっても、それが図形的な点である必然性などといったことは扱わず
与えられる公理に現れる単なる記号として扱われる
それに対し、もっぱらモデル理論と呼ばれる分野であるが
たとえば幾何学にあっては実際の図形といったような具体を扱うのが意味論である
(引用終り)

さて
コンピューターによる数学の証明検証がまさにこれだね
『証明論では対象を単なる記号として扱い、その記号の操作のみによるものとして証明をおこなう
たとえば「点A」というものがあっても、それが図形的な点である必然性などといったことは扱わず
与えられる公理に現れる単なる記号として扱われる』

コンピューターによる数学の証明検証とは
コンピューターがその数学証明を ”理解”して行うのではなく
コンピューターのロジックとして証明を
『単なる記号として扱い、その記号の操作のみによるものとして検証をおこなう』
ということだね

私も、こちらに力点がある
つまり、私のショルツェ氏の文書の理解とか
あるいは望月IUTの理解とか
はたまた Kirty Joshiに対する理解とかそれとは別に

単純なコンピューターのロジックの視点でショルツェ氏の文書のsimplificationを見ると
望月IUTプログラムの一部を simplificationしておいて「プログラムがうまく動かない」という

それを見た Kirty Joshi氏は
「望月IUTプログラムのその部分は、分りにくいので、私はこう書き直してすっきりさせましたよ」という

そして、少し冷静に考えると
ショルツェ氏の望月IUTプログラムを simplificationしたら「プログラムがうまく動かない」
は、数学的にはちょっと頭がおかしい主張になっている
つまり、プログラムを simplificationしたら「プログラムがうまく動かない」は、あたりまえであって
プログラム＝証明の検証としてこれは無意味ですよね

ショルツェ氏は、この単純な事実に気付いてない
若いからｗ

**１３２人目の素数さん** · 2025/12/21(日) 14:52:16.51

>>200 追加

https://www.mext.go.jp/content/20251219-mxt_gakkikan-000046272_5.pdf
文科省サイトより
＜2025 年5 月16 日提出資料＞
国際卓越研究大学研究等体制強化計画　第一次案（概要）京都大学

**１３２人目の素数さん** · 2025/12/21(日) 16:07:38.02

IUT派はさあ
理解者(失笑wにも
年初のキチガイ日記書く許可くらい出してやれよw

**１３２人目の素数さん** · 2025/12/21(日) 16:16:49.67

>>201
あなたがやっていること自体が
何も理解せずに他人の指摘が間違いであると断定してその人を非難する
藁人形論法だからですよ
卑怯極まりない人です

**１３２人目の素数さん** · 2025/12/21(日) 16:19:04.54

>>201
そこに書かれていることが実際にどういうことかを理解するには
IUTへの理解とscholzeさんの指摘への理解の両方が必要です
あなたはある人が否定しているということだけでその否定されている人を否定しているという
卑怯なことをしているのです

**１３２人目の素数さん** · 2025/12/21(日) 16:20:47.08

>>201
>>186に答えないのも
自分で自分の書いたことが理解できていないからでしょう
>>114は何を言いたいのか全く理解不能ですよ

**１３２人目の素数さん** · 2025/12/21(日) 16:29:01.53

IUT論文を読んだことも無ければ数論幾何学の基本的な知識も無い人が「誰々が正しくて誰々が間違っている」と言う意味が分からない
己の数学的信念からそう言っているのではなく、愛国心、数学者への英雄視、己の立場への固執から言っているだけではないか

**１３２人目の素数さん** · 2025/12/21(日) 16:47:15.14

>>194 追加

http://pantodon.jp/index.rb?body=Grothendieck
Algebraic Topology: A guide to literature 信州大学

Grothendieck のアイデアから発展した分野

代数幾何を近代化したのは, もちろん Grothendieck の業績である。代数幾何にとどまらず, 1970年に IHES を辞めてからも, Grothendieck の数学は様々な分野に影響を与え続けている。

Grothendieck については, 山下純一氏による伝記 [山下純03] を読むのがよいだろう。独自の調査により, 非常に詳しい情報が書いてある。Cartier による Bulletin of A.M.S. の記事 [Car01] もある。やはり Grothendieck の数学のファンは多いようで, Grothendieck Circle という website もある。未出版のものも含めた Grothendieck の著作などのPDFファイルを download できる。 Mateo Carmona による site もある。

Grothendieck に関する website は, 他にも色々あり, この nLab のページからリンクが張られている。

略す

Riemann 面の moduli などに関係したこととして, dessins d’enfant という概念がある。曲面上に描かれた (埋め込まれた) quiver のことであるが。

dessins d’enfant
これは, 素朴な概念なので, 様々な分野で独立に登場し使われている。

**１３２人目の素数さん** · 2025/12/21(日) 17:03:06.50

>>201
コンピュータの視点で望月新一のIUによる証明をみると
プログラムのステートメントになってない（笑）

Scholzeはまさにコンピュータになった結果
「IU？ただのコメント文か　無視(ignore)しとこ」
何も間違ってない　IU言語の処理系がないから

Kirty JoshiはIUから
「これがプログラムじゃね？知らんけど」
というものを抽出してみた

でもScholzeからは
「いやぁ、まだまだそれじゃダメじゃね？」
といわれてる

処理系が存在しないプログラム言語を書く望月新一こそ、数学的にマジで頭オカシイ
意味論ゼロのプログラム言語なんて無意味

望月新一は、この単純な事実を認めたがらない
自分の失敗を認めることになるから

やれやれ・・・

**１３２人目の素数さん** · 2025/12/21(日) 17:07:55.35

>>203-207
>IUT論文を読んだことも無ければ数論幾何学の基本的な知識も無い人が「誰々が正しくて誰々が間違っている」と言う意味が分からない
>己の数学的信念からそう言っているのではなく、愛国心、数学者への英雄視、己の立場への固執から言っているだけではないか

ご苦労さまです
1）まず、こことは別に IUTアンチのスレがありますよね（下記）
　https://rio2016.5ch.net/test/read.cgi/math/1762886294/l50
2）で、このスレは比較的公平に望月IUTを応援しようというスレでして
　これから IUT論文を読む人もいるだろうからその助けになるかもです
3）ところで、今年日本ノーベル賞が二人
　坂口さんと北川さん
4）あなた坂口さん北川さんのノーベル賞論文読んでますか？ないでしょｗ
　それと同じです。ところで IUT論文もきっと何かの賞を取るでしょうね。正しければね
5）私？坂口さん北川さんの論文は読んでないが解説は見ました
　IUT論文？斜め読みしましたよ。ほとんどお経ですね
　（加藤本はみたが赤い燻製ニシン(red herring)>>14-15 ですね）
6）ところで、あきらかに間違っている議論があります
　ショルツェ氏のSS文書の simplification 論です

”simplification”手法は、ディベート論法です
あきらかにストローマン（藁人形論法）です

(参考)
https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%88%E3%83%AD%E3%83%BC%E3%83%9E%E3%83%B3
ストローマンは、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと

**１３２人目の素数さん** · 2025/12/21(日) 17:08:57.80

プログラム検証になぞらえて考えると、
系3.12はあくまで要求仕様でしかない
で、系3.12を満たすプログラムはまだ書けてない
これが現状

ちなみに選択公理も実は要求仕様
「こういう選択関数が存在しますよ」というだけ

で、公理だから別に選択関数を実現する必要はない

系3.12も公理だというなら、別にプログラムはなくてもいい
ただし、系3.12から矛盾が導かれないなら、という但し書きつき

系3.12から矛盾が導かれたら、The END
これまた現状

選択公理に関しては
「選択公理ありの集合論で矛盾するなら、なしでも矛盾する」
ということまでは分かってる

系3.12で同様の証明は・・・いまのところできそうもない
強制法で扱えるレベルを超えてるらしいので

**１３２人目の素数さん** · 2025/12/21(日) 17:13:49.16

>>210
書かれていることから判断しても
あなたにscholzeさんの指摘を評価する資格はありません
卑怯極まりない人です

**１３２人目の素数さん** · 2025/12/21(日) 17:14:26.95

>>210
>ストローマンは、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと
これを行っているのがあなたです

**１３２人目の素数さん** · 2025/12/21(日) 17:17:45.25

＞比較的公平に望月IUTを応援しよう

そもそも「IUを応援する」という態度が公平性を欠いてる（笑）

＞今年日本ノーベル賞が二人

そもそも日本人が賞をとったとかそんなことで喜ぶのがマジ狂ってる
自分と全然関係ない他人のことじゃん（笑）

＞あきらかに間違っている議論があります
＞ショルツェ氏のSS文書・・・

誤　あきらかに間違っている議論
正　間違いであってほしい議論

SS文書を読めば
「定理3.11から系3.12を導く証明　マジでわけわかんね
　わけわかんない場所を無視すると　自明な不等式しか出てこねえ
　系3.12を導ける、今の数学で正当化できる証明あんの？ないんじゃね？」
という否定的な問いかけと分かる

これに対して望月新一は
系3.12を導ける、今の数学で正当化できる証明を示せたか？
答えはNO

この時点で、IUは終わった
いまだに「まだだ、まだ終わらんよ」とかいってるのは
自己愛的自国愛に狂う人だけ

精神科で診てもらったほうがいいよ
マジ病んでるから　みんなもそう思うだろ？

**１３２人目の素数さん** · 2025/12/21(日) 17:21:41.60

望月新一は系3.12という「予想」を提案しただけで
その予想については有用性を認める人が多々いるが
予想自体が数学的に正当化できると認められたわけではない

IUは残念ながら完全に失敗
別に失敗自体は構わんが
失敗を失敗と認めないのは残念

IU論文をPRIMSで無理矢理アクセプトしたのは日本数学界の黒歴史
こんなことを素晴らしいと誇るのは狂人だけ

**１３２人目の素数さん** · 2025/12/21(日) 17:24:12.30

IUを誇るのは特攻を誇るのと同じくらい狂ってる

特攻を自慢する人は、特攻が完全な自発的行為だと言い張るが、全くのウソ
完全に強制であり、軍によるパワーハラスメント

パワハラを賞賛するとかマジやべぇ　そういう話よ

**１３２人目の素数さん** · 2025/12/21(日) 17:38:54.27

>>210
>”simplification”手法は、ディベート論法です
>あきらかにストローマン（藁人形論法）です
問題は系3.12の証明が証明になってないことであって、simplificationはどうでもよい。それをあげつらってるセタこそがストローマン。

**１３２人目の素数さん** · 2025/12/21(日) 17:40:00.32

>>69
>>３）つまりは、命題：leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆IUT論文が読める筈
>>　の反例が Dennis Gaitsgoryの論文であってこの論文に対してドリンフェルドがギブアップ宣言だよと
ドリンフェルドが読めないと言ったことがこの命題の反例だと言いたいようです

>>72
>　命題：leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
>　と言い換えてみようね
>　この命題ですぐ気づく二つの瑕疵がある
>　一つは、”数学者は皆”の部分だ。皆＝∀ の意味なら当然この部分に反例が出るだろう（数学者だって皆人間だもの）
>　もう一つは、時間について触れていない。つまり、ある時点で読めない数学者がいるからと言って
>　さらに十分時間を掛けたときに、それまで読めない数学者が IUT論文が読めるようになるかもね
>　そうすると、時間の点でもこの命題は成り立たないよね
いずれ理解できる数学者が出たとしてそれはその命題の反例にもなりません

p→qの形式の命題の反例とは何かを理解していないから
>>69,72のような呆れる他ないことを真顔で書いてしまうのです

**１３２人目の素数さん** · 2025/12/21(日) 17:55:00.86

>>217
自己愛的自国愛者は「自国民を誇りたい」という（●った）欲求が先にあって
その欲求を妨げるものをとにかく否定するという発想でしか思考できないので
まあ、●ってますね　

まず、自国民を誇っても意味ないと気付く必要がある
さらに、（ウソをついてまで）自分を誇るという行為は
自分に何の利益をもたらさないどころか
損害を与えると気づく必要がある

これは病気であって正常な行動ではない

**１３２人目の素数さん** · 2025/12/21(日) 18:42:03.42

>>218
含意も分からない高卒ど素人ですから

**１３２人目の素数さん** · 2025/12/21(日) 18:51:52.79

>>211-219

面白いやつらだ　（＾＾

>そもそも日本人が賞をとったとかそんなことで喜ぶのがマジ狂ってる
>自分と全然関係ない他人のことじゃん（笑）

しかし
今年のノーベル賞ダブル受賞を喜ぶ日本人は多いだろう
今年の10大ニュースに入ると思うぞ

>>　命題：leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
>>　と言い換えてみようね

命題：leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
　↓
命題：コンピューター証明で形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
と言い換えてみよう

そもそも「数学者」の数学的定義がないｗ　（＾＾
もし「コンピューター証明で形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める」
が成立するならば、コンピューター証明なぞ必要性は薄いな

が話は真逆で、現代数学の論文は長大化していて
かつ IUT論文など本体だけで700ページで
準備論文を入れると数千ページだという
こんなものを数学者といえどだれでもかれでも「読め！」と言われても実行できなよね

例えば下記のフェイト・トンプソンの定理が有名で、1960年代初頭に出されて後 2012年9月に
完全に形式化された証明は、Rocq証明支援システムによって検証されという　（＾＾

https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%82%A4%E3%83%88%E3%83%BB%E3%83%88%E3%83%B3%E3%83%97%E3%82%BD%E3%83%B3%E3%81%AE%E5%AE%9A%E7%90%86
フェイト・トンプソンの定理（奇数位数定理とも呼ばれる）は、奇数位数の有限群はすべて可解群であることを述べている。この定理は1960年代初頭にウォルター・フェイト（英語版）とジョン・グリッグス・トンプソンによって証明された[1]。
証明はCA定理やCN定理と同じ概要に従っているが、詳細ははるかに複雑である。最終的な論文は255ページで、パシフィック・ジャーナル・オブ・マスマティクスの第13巻第3号全体を占めた[7][8]。
証明の重要性
この証明の最も革新的な側面はその長さであった。フェイト・トンプソンの論文以前は、群論における議論は数ページを超えるものはほとんどなく、ほとんどが1日で読むことができた。群論の研究者たちがそのような長い議論が可能であることを認識すると、数百ページに及ぶ一連の論文が発表されるようになった。
証明の改訂
完全に形式化された証明は、Rocq証明支援システムによって検証され、2012年9月にジョルジュ・ゴンティエ（英語版）とマイクロソフトリサーチおよびINRIAの研究者によって発表された

**１３２人目の素数さん** · 2025/12/21(日) 18:59:51.10

>>221
あなたは恥の上塗りが得意ですね

**１３２人目の素数さん** · 2025/12/21(日) 19:01:16.74

>>220
彼の人には論理的な思考とりわけ数学の理解は無理のようです

**１３２人目の素数さん** · 2025/12/21(日) 19:44:46.23

>>210
>IUT論文？斜め読みしましたよ。ほとんどお経ですね
おそらくそれは単に眺めただけでは？
もし斜め読みしているなら
https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
>[9]
の冒頭の論理積と論理和（XOR？）の所の
A∧B=A∧(B1∀B2∀…)
　＝＞A∧(B1∀B2∀…∀B'1∀B'2∀…)
　＝＞A∧(B1∀B2∀…∀B'1∀B'2∀…∀B''1∀B''2∀…)
（∀はホントは∨に・でXORの記号らしい）
てのがとても重要なように書かれてるけれど
意味分かります？

**１３２人目の素数さん** · 2025/12/21(日) 20:01:33.04

>>221
＞今年のノーベル賞ダブル受賞を喜ぶ日本人は多いだろう

●違いの妄想

＞「コンピューター証明で形式化できるほど曖昧さなく記述されているなら、
＞　数学者は皆その論文が読める」
＞が成立するならば、コンピューター証明なぞ必要性は薄いな

逆は真ではないので、コンピュータ証明があっても悪くない

**１３２人目の素数さん** · 2025/12/21(日) 20:04:45.66

>>224
元数学者でも今は●違いのいうことなど誰にもわからんね

**１３２人目の素数さん** · 2025/12/21(日) 22:53:27.06

>>224
>もし斜め読みしているなら
>https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
>>[9]
>の冒頭の論理積と論理和（XOR？）の所の
>意味分かります？

斜め読みしているが、正確な意味は分らない
が下記”ブログ読者向け解説”が、参考になるでしょう

(参考)
https://plaza.rakuten.co.jp/shinichi0329/diary/202001050000/
新一心の一票 2020.01.05
宇宙際タイヒミューラー理論（IUTeich）の論文を巡る現状報告：「数学界に出現している悲惨なブラックホールの物語」
以下では、この大元誤解の内容について詳しく解説してみたいと思います。より詳細な技術的な説明は私が書いたIUTeichの解説原稿[Alien] §3.11 (iv) に書いてあります。
http://www.kurims.kyoto-u.ac.jp/~motizuki/Alien%20Copies,%20Gaussians,%20and%20Inter-universal%20Teichmuller%20Theory.pdf
以下の説明は、まさにこの[Alien]のExample 3.11.4の内容の、ブログ読者向け解説ということになります。

一言で言ってしまいますと、「大元誤解」の本質は、よく知られている論理演算子

　　　「∧」（＝「AND」＝「かつ」）と　
　　　「∨」（＝「OR」＝「または」）

の混乱によるものです。

IUTeichでは、以前のブログ記事（＝2017.01.06, 2017.05.06, 2017.11.14付けの記事を参照）でも解説した通り、「Θ（テータ）リンク」という数学的対象は中心的な役割を果たします。実際のΘリンクの定義は非常に高度な数学の知識を必要とするものですが、ここでは上述の「大元誤解」の本質的な論理構造を解説するため、先ほどの4つの整数しか出てこない、高校数学レベルの議論で説明することにしたいと思います。そのようにしますと、Θリンクの定義に対応するものは

　　　　　　　　(N=-2B) ∧ (N=-A)

理論では、Θリンクから出発して様々な操作を行ない、（Θパイロットと呼ばれる数学的対象の）「マルチラディアル表示」というものを構成します。その「マルチラディアル表示」に対応する内容をこちらの議論の整数で表現しますと、

　　　　　　 (N=-2A+ε) ∧ (N=-A)

という式になります。つまり、「ε」という、比較的小さい「誤差」を認めてあげますと、本来一致するかどうか分からない整数 A と B を、まるで一致するものかのように扱うことができるということです。

元々のΘリンクの定義における「∧」は、一致するとは限らない整数 A と B を用いたからこそ、整合性（＝「無矛盾性」）をもって定義することができました。

**１３２人目の素数さん** · 2025/12/21(日) 23:03:38.61

>>227
>https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf

蛇足だが
P7 the “redundant copies school” (RCS) は、「大元誤解」の人でショルツェ氏です
多分、「∧」「∨」は望月IUTのラベルに関することです

IUTのラベルは、「∧」と解するべきところを
ショルツェ氏は、勘違いして「∨」と思って例のSS文書を書いていると
望月氏は主張しているようです

**１３２人目の素数さん** · 2025/12/21(日) 23:11:40.87

斜め読みしているが、正確な意味は分らない
が下記”ブログ読者向け解説”が、参考になるでしょう

この一文なんか完全に知能がこわれてしまってる査証
知性の部分が「わからない」と判断したなら、なんかの判断はふつうの精神をもってれば下さないのに
感情の部分が「ここでは引き下がれない」とネットで単語単位でヒットした文章を「参考になるでしょう」と意味もわからず貼り付ける
もちろん全然関係ない文章を張ったことも、それで赤っ恥かいたことも数え切れず、それでも「知性」よりも「感情」を優先してふつうの人間がおこなえる「知性に基づく判断」ができていない
完全に壊れてる

**１３２人目の素数さん** · 2025/12/21(日) 23:28:07.70

>>229
面白いね
IUTアンチの人かな？

で？あなたの望月氏「∧」「∨」論について
何か書けますか？

書けないんでしょ？
だったら、すっこんでなよおっさん

**１３２人目の素数さん** · 2025/12/21(日) 23:30:09.30

>>230

で？あなたの望月氏「∧」「∨」論について
　↓
で？あなたは望月氏「∧」「∨」論について

かな　（＾＾

**１３２人目の素数さん** · 2025/12/21(日) 23:42:35.12

完全に知能の障害持ってる人間と議論するほど意味ないことはない
もうお前に人間らしい判断ができる能力はのこっていない

**１３２人目の素数さん** · 2025/12/21(日) 23:44:12.85

>>229
余談ですが

(引用開始)
斜め読みしているが、正確な意味は分らない
が下記”ブログ読者向け解説”が、参考になるでしょう
この一文なんか完全に知能がこわれてしまってる査証
知性の部分が「わからない」と判断したなら、なんかの判断はふつうの精神をもってれば下さないのに
感情の部分が「ここでは引き下がれない」とネットで単語単位でヒットした文章を「参考になるでしょう」と意味もわからず貼り付ける
もちろん全然関係ない文章を張ったことも、それで赤っ恥かいたことも数え切れず、それでも「知性」よりも「感情」を優先してふつうの人間がおこなえる「知性に基づく判断」ができていない
完全に壊れてる
(引用終り)

1）一文でなく文は二つ
2）”正確な意味は分らない”→全く意味が分らないとねじ曲げている
3）”感情の部分が「ここでは引き下がれない」”→ 必死のエスパーさんか？超能力きどりｗ
4）”ネットで単語単位でヒットした文章”→ 望月氏がブログに書いていた有名な文でそれを覚えていたから紹介しただけ
5）”全然関係ない文章を張ったことも、それで赤っ恥かいたことも数え切れず”→ 赤っ恥かいたことはあるが、全然関係ない文章を張ったことは殆ど無いね
6）”「知性に基づく判断」ができていない”→ それあなた
7）”完全に壊れてる”→それあなた

5ｃｈの”名無しさん”になんか人違いの決め付けされてもね
おっさんだれ？ 5ｃｈは ”名無しさん”が書く場所だから
玉石混交で玉と石との見分けが付かない人は向かないよ
”完全に壊れてる”→それあなた

**１３２人目の素数さん** · 2025/12/21(日) 23:46:45.87

エスパーなどしない
お前の書いてる文章から理詰めでかいてる
もうお前が失ってしまった理性による判断だよ
お前は書きたい単語が最優先、文章全体がメチャクチャになっててももう自分でそうとわからない状態
完全にこわれてるよ

**１３２人目の素数さん** · 2025/12/21(日) 23:49:30.27

>>232
>完全に知能の障害持ってる人間と議論するほど意味ないことはない
>もうお前に人間らしい判断ができる能力はのこっていない

ああ、おっさんの正体がわかったよ
”ヒキコモリ数学基礎論くん”か
ご苦労さまですｗ　（＾＾

**１３２人目の素数さん** · 2025/12/21(日) 23:53:50.81

お前自分の書いた文章読み返してみろや
さっき俺が引用した部分だけじゃない
もう支離滅裂で全然理屈が通ってないやろ？
まぁそれも自分では分からなくなってるんやろけどな
その不自由になった知性で誰からも認められず、他人に迷惑掛け続けてそれで承認欲求満足させるだけのボロボロの余生を送れポンコツ

**１３２人目の素数さん** · 2025/12/22(月) 07:13:34.39

>>236
(引用開始)
お前自分の書いた文章読み返してみろや
さっき俺が引用した部分だけじゃない
もう支離滅裂で全然理屈が通ってないやろ？
まぁそれも自分では分からなくなってるんやろけどな
その不自由になった知性で誰からも認められず、他人に迷惑掛け続けてそれで承認欲求満足させるだけのボロボロの余生を送れポンコツ
(引用終り)

ふっ
”ヒキコモリ数学基礎論くん”か

1）”お前自分の書いた文章読み返してみろや
　さっき俺が引用した部分だけじゃない”
　　↓（反論）
　君の書いた>>229からすると私の >>227だね
　それでこれを引用すると
”>もし斜め読みしているなら
　>https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
　>>[9]
　>の冒頭の論理積と論理和（XOR？）の所の
　>意味分かります？
　斜め読みしているが、正確な意味は分らない
　が下記”ブログ読者向け解説”が、参考になるでしょう
　(参考)”
　だ
　私の文章はたった2行
”斜め読みしているが、正確な意味は分らない
　が下記”ブログ読者向け解説”が、参考になるでしょう”
　だね。君が 229で引用しているとおりさ
　で、「斜め読みしているが」は彼の人の「もし斜め読みしているなら」を受けたもの
　そして望月氏の”ブログ読者向け解説”を彼の人の参考に提供した
2）君の 229への反論は 233で細かく反論している
3）要するに、”ヒキコモリ数学基礎論くん”は
　アンチIUTで、望月氏のIUTは基礎論から見て支離滅裂だと
　それを擁護する私も”支離滅裂”だと言いたいだけなんだ

ご苦労さまですｗ　（＾＾

**１３２人目の素数さん** · 2025/12/22(月) 07:15:57.09

>>237 タイポ訂正

2）君の 229への反論は 233で細かく反論している
　　↓
2）君の 229への反論は 233で細かく記載している

かな

**１３２人目の素数さん** · 2025/12/22(月) 08:02:48.67

数学者でもないお前が数学の世界のことなどわかるはずもない
この掲示板には数学の世界で身を立ててる人間も何人かはいる
お前がゴミなのはそんな人間の判断より自分の判断の方が上だと思ってる事だよ能無し
お前の口からでてくるのは「アホっていうやつがアホ」とかいう小学生レベルのセリフだけ、数学の議論ができる最低限の知能もない。学部の１回生はおろか高校生レベルの知能すらないポンコツ
自分がそのレベルのポンコツである事すらわからないゴミ

**１３２人目の素数さん** · 2025/12/22(月) 08:40:05.29

>斜め読みしているが、正確な意味は分らない
>が下記”ブログ読者向け解説”が、参考になるでしょう
政治家や営業職などのように
君が有するその種の詭弁の技能が役立つ職種が現実にあるから
実際にストローマン君が知能の障害を持っているかどうかは分からないが、
ストローマン君、ここはね、理詰めでは
>斜め読みしているが、正確な意味は分らない
>下記”ブログ読者向け解説”が、参考になるかどうかも分からない
のように書くのがよいんだよ
そうすれば、国語として文章の意味が通っているだろ？

理詰めでは
>(ストローマン君)斜め読みしているが、正確な意味は分らない
>(>>229)何故、お前に下記”ブログ読者向け解説”が参考になるのが分かるんや？
のように会話は進んで行くだろ？

**１３２人目の素数さん** · 2025/12/22(月) 09:05:41.97

お前の文章は文法的に読めなくはないだけで意味がとおらない
そのレベルのことがわからない
もうそのレベルの機能がなくなってる
自分は病気じゃないといってる高木と一緒
お前の知能レベルはそのレベルに落ち込んでる
もうまともな人間の知能にはもどれないんやろ
数学以前に自分の書いてる文章の支離滅裂さすら理解できないレベルで壊れてる

**１３２人目の素数さん** · 2025/12/22(月) 09:16:33.90

どうも数学における成果の承認を
企業間の契約もしくは国家間の条約の締結と
全く同様の「戦争」だと考える野蛮人がいるようだが・・・
一遍、●んでくれ

数学は戦争じゃねえ

**１３２人目の素数さん** · 2025/12/22(月) 09:16:57.66

数学に国家はねえ

国家とか持ち込むな　●違い

**１３２人目の素数さん** · 2025/12/22(月) 09:21:53.60

そもそも自分が理解できないことに
口を出したがるのは●ってる

分かりもせんことは自分に関係がない

0.999…と1が等しいことが分からない奴に微分積分なんて関係ない
逆行列が存在しない正方行列の存在が分からない奴に線形代数なんて関係ない
計算方法の暗記しかできない奴に数学の理論なんて関係ない

数学と無関係の一般人が数学板に書き込む必要はない
囲碁将棋の話は専用の板で書いてくれ

数学は囲碁将棋のような勝負を競う遊戯ではない

**１３２人目の素数さん** · 2025/12/22(月) 09:28:16.69

>数学と無関係の一般人が数学板に書き込む必要はない
出張旅費を使って観光をするのとは違う

**１３２人目の素数さん** · 2025/12/22(月) 09:38:52.84

>>241-243
テレビの政治討論の中継を見ていれば分かる筈だが、
日本の政治家の討論は詭弁がよう使われる
営業職の商品の売り込みをしている人は
売り込む商品のことを知らずに売り込みしている
仮に理詰めで
>(ストローマン君)斜め読みしているが、正確な意味は分らない
>(>>229)何故、お前に下記”ブログ読者向け解説”が参考になるのが分かるんや？
のように会話は進んで行くのが正しければ、
>斜め読みしているが、正確な意味は分らない
>(それだから)下記”ブログ読者向け解説”が、参考になるかどうかも分からない
のように書くのがよいといえる
必ずしも意味が通らない訳ではない

**１３２人目の素数さん** · 2025/12/22(月) 09:48:13.46

記者の質問はほとんどがくだらない

**１３２人目の素数さん** · 2025/12/22(月) 09:49:21.90

>>246
数学者は政治家ではない
論文の公表は商品のセールスではない
とにかく相手を納得させさえすればいいとかいう
「暴力行為」を容赦すべきでない

すべては暴力だと思ってる野蛮人は
数学板に一切書き込まないでいただきたい
と思うばかりである

**１３２人目の素数さん** · 2025/12/22(月) 09:59:47.72

>>248
>すべては暴力だと思ってる野蛮人
そもそも、ストローマン君の文章を訂正しただけなのに、
一体どこでその趣旨のことを書いたと結論出来るのだ？

**１３２人目の素数さん** · 2025/12/22(月) 10:00:14.86

>>248
>すべては暴力だと思ってる野蛮人
そもそも、ストローマン君の文章を訂正しただけなのに、
一体どこでその趣旨のことを書いたと結論出来るのだ？

**１３２人目の素数さん** · 2025/12/22(月) 10:04:22.49

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/22(月) 10:04:30.86

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/22(月) 10:04:39.97

/i/|ii!//|!/!i/´i/ 　 .|i |/ﾉ　　　　　　　　i＼i!ﾞ､:iヽ|:::|　ヽ 'i　 !　ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿!　　 | │　　　　　　　　川　ヽﾞ:ii ﾞ'∨ 　　 |　　　ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ　　　　　　　　ﾙ |ﾉﾉヽヾノ　　､,,,ﾉ,､　　　　 iヽ:::||:::::i'::::::::::::::::::::::::::::
　/　　￣ ´~~ﾞ''''　　　ﾞ''‐- ..,,　　　　　　　　 ,, ‐'　　　 `ﾞヾミｯ､,,　　　ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ|　　　　　　　　　　　　 i'　　　　　　　　i"　　　　　　　　 `'‐＝'　　 `'|/i!:::::i::::::::::::::::::::::::
　i |　:::::::ヽ::::ヽ::::::ヾ::　　　　ﾞ､　　　　　　　 l　　　　　　　〃:::::　　　　　　 i//::::ﾊ::::::::::::::::::i:::
　 i i　＼＼＼＼＼ヽ　　　　）　　　　　　　ヽ　　　　　　　′′′　　 / /:::::/:::::::::::::::::::|::::
!　 | i　　　　　　　　　　　　,,ｨﾉ　　　　　　　　<　　　　　　　　　::::　:　　 /:::::/:::::::::::::::::::/::::
i!　 i i!　　　　　　　　　　 /i/　　 ,r''''‐y'''.;､　　＼　　　　　　　　　　　　 /:::::/:::::/::::::::::::/:::::
ﾞi!　 | i　　　　　　　　　　/⌒' ､　Y:::::::::''::;;;;'.;.Y'⌒ﾞi　　　　　　　　　　　/::::::/::::::/::::::::::::/::::/i
　i　 i ﾞ!　　　　　　　　　ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r''　　　　　　　　　　/:::::::/::::::/::::::::::::/:::://
ﾞ､ii!　ﾞ| i　　　　　　　　　　　ﾉ　ゝ;;;:::::::::::::::::::;ﾉ。 `i　　　　　　　　　 //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl　ﾞi￤　　　　　　　　　　i 　｡ｌ '゛..　 ‐ｰ:::::i　　　 |　　　　　　　　 //::::::/::::::/::::::/:::/:::::i!::::::
　iiミ!　ハ　　　　　　　　 i　　l　,,,,::: :::;;;;;...{　°　ﾞ､　　　　　　／/::::://::::/::::::/:::::/::::i::::ii::
　i!ヾ!i　ﾞ､!　　　　　　　　　, '　　|:::　::::ヽ　 ..}　　　　 |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
　!ヽヾi　 iﾞ､　＿＿＿,,,／　　　}:: : 　;;;::: ::::::::}　　　ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::

**１３２人目の素数さん** · 2025/12/22(月) 10:44:58.52

納得しない者を
無理やり排除するのは
暴力によってではないか

**１３２人目の素数さん** · 2025/12/22(月) 11:23:00.05

>>239-250
>記者の質問はほとんどがくだらない

ID:Vlu4+111 は、御大か
巡回ご苦労様です
ご多忙ですね。ご健勝なによりです
普通は、記者さんは文系ですからね
ホ・ジュニさん、サイエンスのライターを目指していたとか
実現していたら、良い質問してくれたかもです　（＾＾

https://ja.wikipedia.org/wiki/%E8%A8%B1%E5%9F%88%E7%8F%A5
許埈珥（ホ・ジュニ、韓国語: 허 준이, 英語: June Huh, 1983年6月9日 - ）は韓国出身のアメリカの数学者。プリンストン大学教授、プリンストン高等研究所Fernholz冠特別招聘教授。元スタンフォード大学教授。
フィールズ賞受賞受賞年： 2022年
受賞理由：『ホッジ理論の枠組みを組合せ論へ導入し、幾何格子に対するダウリング–ウィルソン予想の証明、マトロイドに関するヘロン–ロタ–ウェルシュ予想の証明、ローレンツ多項式理論の構築、および強形式メイソン予想の証明を通じた、離散構造に対する深い幾何的・代数的理解の促進。』
許の研究対象は、ある種の離散構造と連続構造の関係に関するものであり、代数幾何学と組み合わせ論の接点における第一人者として知られる。

https://dept.tus.ac.jp/st-ma/2025/10/07/2025-10-22-%E8%AB%87%E8%A9%B1%E4%BC%9A/
数理科学科東京理科大学創域理工学部
2025.10.22 談話会
講演者大沢健夫氏（名古屋大学）
題目関数論の妙所と最近の展開について
日時 2025年10月22日（水）16:30–17:30
場所東京理科大学野田キャンパス4号館3階数理科学科セミナー室
概要複素数の導入によって数学の世界は大きく広がり、１９世紀には数と図形の間に成立する対称性の関係が複素数を用いることによって明確に記述できるようになった。コーシーが拓いた複素関数論の中で、アーベルは楕円関数を発見した。リーマンにより1851年に導入されたリーマン面の概念により複素一変数代数関数論が基礎付けられ、整数論の大問題であったフェルマー予想の解決もその延長上にある。リーマン面の概念を一般化した高次元の図形が複素多様体である。その理論の重要性は２０世紀初頭には認識され、基本的な問題が岡潔によって解決されたあと、２０世紀後半には小平邦彦たちによって完成度の高い理論へとまとめられた。その展開の中で、岡潔が著書「紫の火花」の中で「解けなかった二題」と記した問題がある。それに関連する今世紀に入ってからの展開について述べたい。

https://www.gensu.jp/product/%E7%AD%89%E8%A7%92%E4%B8%8D%E5%A4%89%E9%87%8F%E3%80%80%E5%B9%BE%E4%BD%95%E5%AD%A6%E7%9A%84%E9%96%A2%E6%95%B0%E8%AB%96%E3%81%AE%E8%A9%B1%E9%A1%8C/
等角不変量　幾何学的関数論の話題
\3,190 （税込）
L.V. アールフォルス著訳
A5判（並製）／200ページ 2020/7/22

◆pObFevaelafK · 2025/12/22(月) 11:25:08.87

>>241
「数学世界一だ。」と言われ、「〇〇賞(世界的数学賞)だ。」と40回以上言われている私
を馬鹿にするな。

**１３２人目の素数さん** · 2025/12/22(月) 11:36:56.84

>>255 余談
>リーマンにより1851年に導入されたリーマン面の概念により複素一変数代数関数論が基礎付けられ、整数論の大問題であったフェルマー予想の解決もその延長上にある

なるほど
あと５年経つと
『整数論の大問題であったフェルマー予想と”abc予想”の解決もその延長上にある』となりますので
準備をよろしくお願いいたします　（＾＾

**１３２人目の素数さん** · 2025/12/22(月) 11:39:43.15

>>255
> ID:Vlu4+111 は、御大か
　誰が誰とかどうでもいい
> 巡回ご苦労様です
　今後一切こういう文章書くな　変態

**１３２人目の素数さん** · 2025/12/22(月) 11:42:25.46

>>255
> 普通は、記者さんは文系ですからね
　工学部は理系らしいが、数学の理解度は文系と大して変わらん
　大学１年の微積と線形代数の理屈も理解できない素人