前スレ：Inter-universal geometryとABC予想(シン応援スレ) 91
https://rio2016.5ch.io/test/read.cgi/math/1777882286/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
（2030 ICM 日本開催に向け 力をためようということか）
https://www.mathunion.org/icm/icm-2026
ICM 2026
https://www.icm2026.org/event/ac193975-5d24-4628-8c30-ddb23de19a8b/catalog
Titles & Abstracts
https://ahgt.math.cnrs.fr/news/index.html
News of the AHGT project [Special year]2027-2028
Special year ``Arithmetic Homotopy Geometry'' at RIMS Kyoto, April 2027-March 2028.
Three Seasons: with main conferences, introductory lectures, and workshops
＜2026年は 数学でもAIの時代になるかもです。そういう兆候が2025年から顕著になっていますですｗ （＾＾； ＞
＜IUT最新文書＞
・News – Ivan Fesenko 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
アーベル圏 abelian category Grokipedia https://grokipedia.com/page/Abelian_category
https://zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介 2023年7月
審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたもの
://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
つづく
Inter-universal geometryとABC予想(シン応援スレ) 92
■ このスレッドは過去ログ倉庫に格納されています
1１３２人目の素数さん
2026/06/13(土) 08:51:57.81ID:TTzQJf42329１３２人目の素数さん
2026/07/19(日) 17:42:37.69ID:dIige2Ai330１３２人目の素数さん
2026/07/19(日) 17:43:13.09ID:PUqsP0tr >>319
LANAは解決できないと断言したわけではないが
LANAは解決できないと断言したわけではないが
331１３２人目の素数さん
2026/07/19(日) 17:44:34.75ID:PUqsP0tr332１３２人目の素数さん
2026/07/19(日) 17:54:40.59ID:S1PMNEss333１３２人目の素数さん
2026/07/19(日) 17:55:15.12ID:S1PMNEss ID:nUKgsSja
すぐ自己矛盾するキチガイ哀れ
すぐ自己矛盾するキチガイ哀れ
334１３２人目の素数さん
2026/07/19(日) 18:15:58.11ID:nUKgsSja >>327 補足
>報告書全文 ▶
>https://github.com/katobungen/LANA_report_202607/blob/pdf/LANA_report_202607.pdf
>8. On the logic from theorem 3.11 to corollary 3.12
>9. Points to be clarified
いま、ざっと斜め読みしてみた
P44 Figure 6. The η algorithm
が、キモだろうね
その解説が
直後の 9.1. The η algorithm. で
Step 1〜9まで
9.2. The main goal
9.3. Minimal structure of the η-algorithm.
がまとめか
まさに 乞うご期待
ですね
>報告書全文 ▶
>https://github.com/katobungen/LANA_report_202607/blob/pdf/LANA_report_202607.pdf
>8. On the logic from theorem 3.11 to corollary 3.12
>9. Points to be clarified
いま、ざっと斜め読みしてみた
P44 Figure 6. The η algorithm
が、キモだろうね
その解説が
直後の 9.1. The η algorithm. で
Step 1〜9まで
9.2. The main goal
9.3. Minimal structure of the η-algorithm.
がまとめか
まさに 乞うご期待
ですね
335１３２人目の素数さん
2026/07/19(日) 18:46:21.15ID:tZJSVLSb >>330
誰もそんなこと言ってないけど君、幻覚でも見えるの？
誰もそんなこと言ってないけど君、幻覚でも見えるの？
336１３２人目の素数さん
2026/07/19(日) 18:47:11.52ID:dIige2Ai >>334
手順がないものをalgorithmと呼ぶ時点で狂ってたな
手順がないものをalgorithmと呼ぶ時点で狂ってたな
337１３２人目の素数さん
2026/07/19(日) 18:47:56.42ID:dIige2Ai >>331
えー
えー
338１３２人目の素数さん
2026/07/19(日) 18:51:11.36ID:tZJSVLSb >>334
読めないのに無理しなくていいよ
読めないのに無理しなくていいよ
339１３２人目の素数さん
2026/07/19(日) 18:52:06.21ID:nUKgsSja 転載：ID:dythpcIC さん、ありがと
https://rio2016.5ch.io/test/read.cgi/math/1783860274/104-106
2026/07/17(金) 14:18:47.39 ID:dythpcIC
LANAプロジェクトに一定の敬意を払いつつも
逃げ腰でLEANの公開なしってのは流石にどうかと思ったから俺のOpus4.8とFable5で作った
プロトタイプ、スケルトン、未完成、言い方は何でも良いが公開しとくわ
コメントはほぼ日本語なんで海外勢向けではないがな
まぁAIに読み込ませてコメント英語化するとか容易だろうし許せ
https://github.com/Takkun-kohinata/IUT_LEAN
Opus4.8とFable5で作ったIUTの形式化
https://rio2016.5ch.io/test/read.cgi/math/1783860274/104-106
2026/07/17(金) 14:18:47.39 ID:dythpcIC
LANAプロジェクトに一定の敬意を払いつつも
逃げ腰でLEANの公開なしってのは流石にどうかと思ったから俺のOpus4.8とFable5で作った
プロトタイプ、スケルトン、未完成、言い方は何でも良いが公開しとくわ
コメントはほぼ日本語なんで海外勢向けではないがな
まぁAIに読み込ませてコメント英語化するとか容易だろうし許せ
https://github.com/Takkun-kohinata/IUT_LEAN
Opus4.8とFable5で作ったIUTの形式化
340１３２人目の素数さん
2026/07/19(日) 19:03:51.70ID:S1PMNEss まーたコピペIUT仕草でクソ漏らし始めたw
論破されるとすぐこれだからなあIUT擁護派って
論破されるとすぐこれだからなあIUT擁護派って
341１３２人目の素数さん
2026/07/19(日) 19:19:24.90ID:/OKcu5l/ Set Aは四年前は
”2026年のICMでは、望月新一がABC予想解決で招待講演する”
とかフカしてたが、今はとてもそんな状況ではないと観念したはず
もう負け犬の遠吠えはやめとけ
工学部卒の数学素人が何を言っても無駄
”2026年のICMでは、望月新一がABC予想解決で招待講演する”
とかフカしてたが、今はとてもそんな状況ではないと観念したはず
もう負け犬の遠吠えはやめとけ
工学部卒の数学素人が何を言っても無駄
342１３２人目の素数さん
2026/07/19(日) 19:21:44.36ID:/OKcu5l/ ＞問題点は、q-pilot対数的体積の二つの計算が「tautologicalに同値」とされている点
これを望月新一予想と名付けると、まだ誰にも証明されてない、ということか
これを望月新一予想と名付けると、まだ誰にも証明されてない、ということか
343１３２人目の素数さん
2026/07/19(日) 19:24:25.52ID:mRLH3SpR 沖のカモメにふかしイモ取られて、ツイてね～♪
344１３２人目の素数さん
2026/07/19(日) 19:35:34.21ID:dIige2Ai345１３２人目の素数さん
2026/07/19(日) 19:35:49.14ID:SacczO1f ■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■□■■■■■■■■■■□■■■□■■■■■■■■■■■■■■■■■■■■■■■□■■■■■■
■□□□□□□□□□□□■■□□□□□□□□□□□■■■□□□□□□□□□■■■■■■■■□■■■■■■
■■■■□■■■□■■■■■■■■□■■■□■■■■■■■■■■■■■■■■■■□□□□□□□□□□□■
■■■■■□□□■■■■■■□□□□■□■□■□■■■■■■■■■■■■■■■■■■■□■■■□■■■■
■■■■□□□□□■■■■■□■■□■□■□□□■■■■■■■■■■■■■■■■■□□□□□□□□□□■
■□□□■■■■■□□□■■□■■□□□□□□□□■■□□□□□□□□□□□■■■□■■■■■□■■■■
■■□□□□□□□□□■■■□□□□■■□■□■■■■■■■□■■□■■■■■■■□■■□□□■■■■■
■■■□□□□□□□□■■■□■■□□□□□□□□■■■■■□■■□■■■■■■■□■□■■■□□■■■
■■□□■■□■■■□■■■□□□□■□■□■□□■■■■■□■■□■■■■■■■□■■□□□■■□□■
■■□■□■□■□■□■■■□■■□□□■□■■■■■■■■□■■□■■■□■■□□■□■■■■□□■■
■■□■□■□■□□□■■■□■■□■□□□■□■■■■■□■■■□□■■□■■□■■■■□□□■■■■
■□□■■□□■■■□■■■□■□□□■□□■■□■■□□■■■■■□□□□■■□■■□□■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■□■■■■■■■■■■□■■■□■■■■■■■■■■■■■■■■■■■■■■■□■■■■■■
■□□□□□□□□□□□■■□□□□□□□□□□□■■■□□□□□□□□□■■■■■■■■□■■■■■■
■■■■□■■■□■■■■■■■■□■■■□■■■■■■■■■■■■■■■■■■□□□□□□□□□□□■
■■■■■□□□■■■■■■□□□□■□■□■□■■■■■■■■■■■■■■■■■■■□■■■□■■■■
■■■■□□□□□■■■■■□■■□■□■□□□■■■■■■■■■■■■■■■■■□□□□□□□□□□■
■□□□■■■■■□□□■■□■■□□□□□□□□■■□□□□□□□□□□□■■■□■■■■■□■■■■
■■□□□□□□□□□■■■□□□□■■□■□■■■■■■■□■■□■■■■■■■□■■□□□■■■■■
■■■□□□□□□□□■■■□■■□□□□□□□□■■■■■□■■□■■■■■■■□■□■■■□□■■■
■■□□■■□■■■□■■■□□□□■□■□■□□■■■■■□■■□■■■■■■■□■■□□□■■□□■
■■□■□■□■□■□■■■□■■□□□■□■■■■■■■■□■■□■■■□■■□□■□■■■■□□■■
■■□■□■□■□□□■■■□■■□■□□□■□■■■■■□■■■□□■■□■■□■■■■□□□■■■■
■□□■■□□■■■□■■■□■□□□■□□■■□■■□□■■■■■□□□□■■□■■□□■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
346１３２人目の素数さん
2026/07/19(日) 19:36:11.55ID:SacczO1f ■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■■■■□■■□□□■■■■■■■□■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■■□□□■■□■□■■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■■□□□■■□■□■□■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■□□■■■□■■□□□■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■□□□■■■■■■■■□■■■■■■■■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■□■□■■■■■■□□□□□□□□□□■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■□■■□■■■■■■■□■■■□■■□■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■□■■■□□■■■■■□□□■■□□□■■■■■■□□■■■■■□■■■■■■■■
■■■■■■■■■■□■■■■■□□■■■□■□■□■■□□■■■■■■■□■■■□□■■■■■■■■■
■■■■■■■■□□■■■■■■■□□■■□■□■■■□□□□■■■■■■□□□□□■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■□■□□■■■■□■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■■■■□■■□□□■■■■■■■□■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■■□□□■■□■□■■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■■□□□■■□■□■□■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■□□■■■□■■□□□■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■□□□■■■■■■■■□■■■■■■■■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■□■□■■■■■■□□□□□□□□□□■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■□■■□■■■■■■■□■■■□■■□■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■□■■■□□■■■■■□□□■■□□□■■■■■■□□■■■■■□■■■■■■■■
■■■■■■■■■■□■■■■■□□■■■□■□■□■■□□■■■■■■■□■■■□□■■■■■■■■■
■■■■■■■■□□■■■■■■■□□■■□■□■■■□□□□■■■■■■□□□□□■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■□■□□■■■■□■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
347１３２人目の素数さん
2026/07/19(日) 20:17:39.80ID:S1PMNEss348１３２人目の素数さん
2026/07/19(日) 20:27:31.97ID:dIige2Ai349１３２人目の素数さん
2026/07/19(日) 20:39:35.57ID:nUKgsSja >>341
>Set Aは四年前は
>”2026年のICMでは、望月新一がABC予想解決で招待講演する”
>とかフカしてたが、今はとてもそんな状況ではないと観念したはず
まあ、そう慌てるな
慌てる乞食は貰いが少ない
たしかに、2026年望月新一がABC予想解決で招待講演が無いことは
半年以上前に分っていたことだ
が、今後(2030)がどうなるか？ 神のみぞ知る
要するに いまのLean 証明に乗せればいいだけでしょ
頑張れ 望月一派！ｗ
おっと、2030は日本かもねｗ
はてさて、どうなるか？（＾＾
(参考)
https://www.mathsoc.jp/section/icm2030bid/
一般社団法人 日本数学会
ICM2030招致委員会
>Set Aは四年前は
>”2026年のICMでは、望月新一がABC予想解決で招待講演する”
>とかフカしてたが、今はとてもそんな状況ではないと観念したはず
まあ、そう慌てるな
慌てる乞食は貰いが少ない
たしかに、2026年望月新一がABC予想解決で招待講演が無いことは
半年以上前に分っていたことだ
が、今後(2030)がどうなるか？ 神のみぞ知る
要するに いまのLean 証明に乗せればいいだけでしょ
頑張れ 望月一派！ｗ
おっと、2030は日本かもねｗ
はてさて、どうなるか？（＾＾
(参考)
https://www.mathsoc.jp/section/icm2030bid/
一般社団法人 日本数学会
ICM2030招致委員会
350１３２人目の素数さん
2026/07/19(日) 20:56:52.61ID:vLR4xaTQ 遠アーベル自体がなんか変な分野なんだよな
そこにさらにF1の絶対数学とか眉唾なものが
そこにさらにF1の絶対数学とか眉唾なものが
351１３２人目の素数さん
2026/07/19(日) 21:17:08.81ID:/UFaYt6V352１３２人目の素数さん
2026/07/19(日) 21:17:29.94ID:/UFaYt6V コピペ爺さんまじやべえな
文盲じゃね
文盲じゃね
353１３２人目の素数さん
2026/07/19(日) 21:33:22.82ID:nUKgsSja >>334 追加
望月一派に捧ぐ
下記”チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ』”
頑張ってください
ICM2030日本開催をめざして
https://www.gravityofdivine.com/ja/quotes/ijin3800/
The Gravity of Divine
チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ。』
20260511
目次
運営者の考察
補助的分析（AIによる語彙・背景・正確性の中立整理）
一般的な解釈
翻訳注意・文化的留意点
出典・原典情報
関連する黄金律
同じ人物の名言一覧
私はかつて、『掃除が出来ない人』だったが、今は『掃除の人』である。掃除を甘く見てはいけない。理路整然とした思慮を持つためには、整理整頓された部屋が望ましい。部屋が汚れた人間の思慮は甘く、物事に未練がましく、先延ばしにする傾向があり、射幸的で、主体性を失いがちになる。つまり、『放っておいても誰かが何とかしてくれる』という甘えが、骨の髄にまで浸透してしまう可能性があるのだ。私がそうだった。そして、私の部下が現在進行形でそうだ。
掃除をしたり、計画を立てて旅行したり、仕事を企画して進めたり。これらは全て、建設的な人生の役に立つ『修行（トレーニング）』だと思った方が良い。企画し、計画し、どこから手を付ければいいかを理解するようになれば、もう、歩くべき道への『はじめの一歩』を踏み出したのと同じだ。
このように、『計画』を立てることさえできれば、後は『それを遂行するだけ』になる。チャールズ・ケタリングの言う様に、それだけでもう、半分が解決するのだ。
名言提示（再掲）
チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ。』
この言葉は、「問題の本質を正確に定義することこそ、解決への第一歩であり、実際の解決作業の半分に相当するほど重要である」という意味を持っています。
望月一派に捧ぐ
下記”チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ』”
頑張ってください
ICM2030日本開催をめざして
https://www.gravityofdivine.com/ja/quotes/ijin3800/
The Gravity of Divine
チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ。』
20260511
目次
運営者の考察
補助的分析（AIによる語彙・背景・正確性の中立整理）
一般的な解釈
翻訳注意・文化的留意点
出典・原典情報
関連する黄金律
同じ人物の名言一覧
私はかつて、『掃除が出来ない人』だったが、今は『掃除の人』である。掃除を甘く見てはいけない。理路整然とした思慮を持つためには、整理整頓された部屋が望ましい。部屋が汚れた人間の思慮は甘く、物事に未練がましく、先延ばしにする傾向があり、射幸的で、主体性を失いがちになる。つまり、『放っておいても誰かが何とかしてくれる』という甘えが、骨の髄にまで浸透してしまう可能性があるのだ。私がそうだった。そして、私の部下が現在進行形でそうだ。
掃除をしたり、計画を立てて旅行したり、仕事を企画して進めたり。これらは全て、建設的な人生の役に立つ『修行（トレーニング）』だと思った方が良い。企画し、計画し、どこから手を付ければいいかを理解するようになれば、もう、歩くべき道への『はじめの一歩』を踏み出したのと同じだ。
このように、『計画』を立てることさえできれば、後は『それを遂行するだけ』になる。チャールズ・ケタリングの言う様に、それだけでもう、半分が解決するのだ。
名言提示（再掲）
チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ。』
この言葉は、「問題の本質を正確に定義することこそ、解決への第一歩であり、実際の解決作業の半分に相当するほど重要である」という意味を持っています。
354１３２人目の素数さん
2026/07/19(日) 21:45:52.69ID:vLR4xaTQ （正確に定義できてないから検証に乗せられないのにね）
355１３２人目の素数さん
2026/07/19(日) 22:02:33.12ID:/UFaYt6V 半分w
356１３２人目の素数さん
2026/07/19(日) 23:07:35.05ID:nUKgsSja >>354
ですね人？
今回のLEAN プロジェクト >>264
プロジェクトメンバーの
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）
アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）
それに
加藤文元氏を加えた4人の数学者が
かなり論点整理をしてくれている>>334
その解説が
9.1. The η algorithm. で
Step 1〜9まで
9.2. The main goal
9.3. Minimal structure of the η-algorithm.
3.11→3.12 のルートで
ここの 9.1.〜3 をクリアにできれば
3.12の証明が 完成ってことだ
さて どうなるか楽しみ
ですね人？
今回のLEAN プロジェクト >>264
プロジェクトメンバーの
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）
アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）
それに
加藤文元氏を加えた4人の数学者が
かなり論点整理をしてくれている>>334
その解説が
9.1. The η algorithm. で
Step 1〜9まで
9.2. The main goal
9.3. Minimal structure of the η-algorithm.
3.11→3.12 のルートで
ここの 9.1.〜3 をクリアにできれば
3.12の証明が 完成ってことだ
さて どうなるか楽しみ
357１３２人目の素数さん
2026/07/19(日) 23:13:44.71ID:vLR4xaTQ （つまり証明にはなってないってことね）
358１３２人目の素数さん
2026/07/20(月) 00:40:19.84ID:AtZID/Oc IUT擁護派はバカしかいねーからな
まず精神分裂病みたいなまとまりのない文しか書けない
集合も論理もわかってないから一投稿の内部でも矛盾する
まず精神分裂病みたいなまとまりのない文しか書けない
集合も論理もわかってないから一投稿の内部でも矛盾する
359１３２人目の素数さん
2026/07/20(月) 04:34:10.07ID:taEbqJD/ 人格攻撃は不要
大事なのは証明の成否
大事なのは証明の成否
360１３２人目の素数さん
2026/07/20(月) 04:57:43.20ID:nz34QvDF 今更何周遅れの話してんだこいつら
> 日本経済新聞
数学難問ABC予想、望月教授の証明の問題点「絞り込めた」 ZEN大学
> 日本経済新聞
数学難問ABC予想、望月教授の証明の問題点「絞り込めた」 ZEN大学
361１３２人目の素数さん
2026/07/20(月) 05:52:39.33ID:yfXAOadu □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□■□□□□□□□□□□■□□□■□□□□□□□□□□□□□□□□□□□□□□□■□□□□□□
□■■■■■■■■■■■□□■■■■■■■■■■■□□□■■■■■■■■■□□□□□□□□■□□□□□□
□□□□■□□□■□□□□□□□□■□□□■□□□□□□□□□□□□□□□□□□■■■■■■■■■■■□
□□□□□■■■□□□□□□■■■■□■□■□■□□□□□□□□□□□□□□□□□□□■□□□■□□□□
□□□□■■■■■□□□□□■□□■□■□■■■□□□□□□□□□□□□□□□□□■■■■■■■■■■□
□■■■□□□□□■■■□□■□□■■■■■■■■□□■■■■■■■■■■■□□□■□□□□□■□□□□
□□■■■■■■■■■□□□■■■■□□■□■□□□□□□□■□□■□□□□□□□■□□■■■□□□□□
□□□■■■■■■■■□□□■□□■■■■■■■■□□□□□■□□■□□□□□□□■□■□□□■■□□□
□□■■□□■□□□■□□□■■■■□■□■□■■□□□□□■□□■□□□□□□□■□□■■■□□■■□
□□■□■□■□■□■□□□■□□■■■□■□□□□□□□□■□□■□□□■□□■■□■□□□□■■□□
□□■□■□■□■■■□□□■□□■□■■■□■□□□□□■□□□■■□□■□□■□□□□■■■□□□□
□■■□□■■□□□■□□□■□■■■□■■□□■□□■■□□□□□■■■■□□■□□■■□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□■□□□□□□□□□□■□□□■□□□□□□□□□□□□□□□□□□□□□□□■□□□□□□
□■■■■■■■■■■■□□■■■■■■■■■■■□□□■■■■■■■■■□□□□□□□□■□□□□□□
□□□□■□□□■□□□□□□□□■□□□■□□□□□□□□□□□□□□□□□□■■■■■■■■■■■□
□□□□□■■■□□□□□□■■■■□■□■□■□□□□□□□□□□□□□□□□□□□■□□□■□□□□
□□□□■■■■■□□□□□■□□■□■□■■■□□□□□□□□□□□□□□□□□■■■■■■■■■■□
□■■■□□□□□■■■□□■□□■■■■■■■■□□■■■■■■■■■■■□□□■□□□□□■□□□□
□□■■■■■■■■■□□□■■■■□□■□■□□□□□□□■□□■□□□□□□□■□□■■■□□□□□
□□□■■■■■■■■□□□■□□■■■■■■■■□□□□□■□□■□□□□□□□■□■□□□■■□□□
□□■■□□■□□□■□□□■■■■□■□■□■■□□□□□■□□■□□□□□□□■□□■■■□□■■□
□□■□■□■□■□■□□□■□□■■■□■□□□□□□□□■□□■□□□■□□■■□■□□□□■■□□
□□■□■□■□■■■□□□■□□■□■■■□■□□□□□■□□□■■□□■□□■□□□□■■■□□□□
□■■□□■■□□□■□□□■□■■■□■■□□■□□■■□□□□□■■■■□□■□□■■□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
362１３２人目の素数さん
2026/07/20(月) 05:52:54.08ID:yfXAOadu □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□□□■□□■■■□□□□□□□■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□■■■□□■□■□□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□■■■□□■□■□■□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□■■□□□■□□■■■□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■■■□□□□□□□□■□□□□□□□□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■□■□□□□□□■■■■■■■■■■□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■□□■□□□□□□□■□□□■□□■□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□■□□□■■□□□□□■■■□□■■■□□□□□□■■□□□□□■□□□□□□□□
□□□□□□□□□□■□□□□□■■□□□■□■□■□□■■□□□□□□□■□□□■■□□□□□□□□□
□□□□□□□□■■□□□□□□□■■□□■□■□□□■■■■□□□□□□■■■■■□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□■□■■□□□□■□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□□□■□□■■■□□□□□□□■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□■■■□□■□■□□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□■■■□□■□■□■□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□■■□□□■□□■■■□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■■■□□□□□□□□■□□□□□□□□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■□■□□□□□□■■■■■■■■■■□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■□□■□□□□□□□■□□□■□□■□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□■□□□■■□□□□□■■■□□■■■□□□□□□■■□□□□□■□□□□□□□□
□□□□□□□□□□■□□□□□■■□□□■□■□■□□■■□□□□□□□■□□□■■□□□□□□□□□
□□□□□□□□■■□□□□□□□■■□□■□■□□□■■■■□□□□□□■■■■■□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□■□■■□□□□■□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
363１３２人目の素数さん
2026/07/20(月) 08:28:59.50ID:OURAIP0F 『POPOPO』開発8年、川上量生が私財30億円突っ込み4ヶ月でサ終！ひろゆき 庵野秀明 GACKTが参画 [977790669]
https://hayabusa9.5ch.io/test/read.cgi/news/1784245161/
https://hayabusa9.5ch.io/test/read.cgi/news/1784245161/
364１３２人目の素数さん
2026/07/20(月) 08:29:09.81ID:OURAIP0F ひろゆき「POPOPOのサ終の真因は『川上さんの心が折れた』こと。川上さんにとって30億円は端金なんで金が原因ではないです」 [153736977]
https://greta.5ch.io/test/read.cgi/poverty/1784421344/
https://greta.5ch.io/test/read.cgi/poverty/1784421344/
365１３２人目の素数さん
2026/07/20(月) 08:29:18.00ID:OURAIP0F 【高市】川上「POPOPOは100億かけたけ足りなかった。1000億なら成功してた」アンチ「3兆でも無理だろ」川上「あなたがやればね」 [856698234]
https://greta.5ch.io/test/read.cgi/poverty/1784435831/
https://greta.5ch.io/test/read.cgi/poverty/1784435831/
366１３２人目の素数さん
2026/07/20(月) 08:29:26.19ID:OURAIP0F 【高市】川上「POPOPOは30億かけたけ足りなかった。1000億なら成功してた」 [856698234]
https://hayabusa9.5ch.io/test/read.cgi/news/1784439417/
https://hayabusa9.5ch.io/test/read.cgi/news/1784439417/
367１３２人目の素数さん
2026/07/20(月) 08:40:57.28ID:a0+1odGL >>334 補足
https://zen.ac.jp/news/zmcpostevent0717
LANAプロジェクト
現時点での評価、残された課題、Scholze–Stix報告書との関係を報告
https://github.com/katobungen/LANA_report_202607/blob/pdf/LANA_report_202607.pdf
公開文書「Project LANA Interim Report on IUT Theory」報告書全文 2026/07/17
抜粋
P44
https://i.imgur.com/oX6BZ1A.jpeg
Figure 6. The η algorithm
が、キモだろう
P45
https://i.imgur.com/wXTwfgA.jpeg
直後の 9.1. The η algorithm. で
Step 1〜9まで
9.2. The main goal
9.3. Minimal structure of the η-algorithm.
がまとめか
要するに
Figure 6. The η algorithm の破線部分が
Leanの形式化で 未達成 と読みました
望月さん、星さん、山下さん・・ 他
IUTで頑張ってきた数学者の皆さん
頑張って下さい
そして、是非 Leanの形式化を達成してください！
https://zen.ac.jp/news/zmcpostevent0717
LANAプロジェクト
現時点での評価、残された課題、Scholze–Stix報告書との関係を報告
https://github.com/katobungen/LANA_report_202607/blob/pdf/LANA_report_202607.pdf
公開文書「Project LANA Interim Report on IUT Theory」報告書全文 2026/07/17
抜粋
P44
https://i.imgur.com/oX6BZ1A.jpeg
Figure 6. The η algorithm
が、キモだろう
P45
https://i.imgur.com/wXTwfgA.jpeg
直後の 9.1. The η algorithm. で
Step 1〜9まで
9.2. The main goal
9.3. Minimal structure of the η-algorithm.
がまとめか
要するに
Figure 6. The η algorithm の破線部分が
Leanの形式化で 未達成 と読みました
望月さん、星さん、山下さん・・ 他
IUTで頑張ってきた数学者の皆さん
頑張って下さい
そして、是非 Leanの形式化を達成してください！
368１３２人目の素数さん
2026/07/20(月) 09:18:23.64ID:tXBgWMjQ 昔は日本では認められなかった理論が
外国で評価されて話題になったものだったが
外国で評価されて話題になったものだったが
369１３２人目の素数さん
2026/07/20(月) 15:41:06.72ID:a0+1odGL sage
370１３２人目の素数さん
2026/07/20(月) 16:07:32.54ID:4Gvstadc371１３２人目の素数さん
2026/07/20(月) 16:31:57.36ID:a0+1odGL >>368
>昔は日本では認められなかった理論が
>外国で評価されて話題になったものだったが
ID:tXBgWMjQ は、御大か
巡回とレスありがとうございます
企業では、SONYが有名ですね
江崎 玲於奈さんは、ノーベル賞
>昔は日本では認められなかった理論が
>外国で評価されて話題になったものだったが
ID:tXBgWMjQ は、御大か
巡回とレスありがとうございます
企業では、SONYが有名ですね
江崎 玲於奈さんは、ノーベル賞
372１３２人目の素数さん
2026/07/20(月) 16:33:38.50ID:a0+1odGL >>371
追加
(参考)
ja.wikipedia.org
SONYの歴史
ja.wikipedia.org
江崎 玲於奈（1925年〈大正14年〉3月12日[1] - ）
1973年（昭和48年）、トンネル効果の研究に関連して、ジョゼフソンとともにノーベル物理学賞を受賞
1956年、東京通信工業株式会社（現在のSONY）に移籍する
追加
(参考)
ja.wikipedia.org
SONYの歴史
ja.wikipedia.org
江崎 玲於奈（1925年〈大正14年〉3月12日[1] - ）
1973年（昭和48年）、トンネル効果の研究に関連して、ジョゼフソンとともにノーベル物理学賞を受賞
1956年、東京通信工業株式会社（現在のSONY）に移籍する
373１３２人目の素数さん
2026/07/20(月) 16:38:59.65ID:mnKr1/Da 江崎グリコ
374１３２人目の素数さん
2026/07/20(月) 17:16:39.97ID:a0+1odGL 星裕一郎先生
元気ですね
頑張ってください
下記
Makoto Matsumoto AMAGAERU Institute of Free Mathematics
は、松本眞先生か
(参考)
https://www.kurims.kyoto-u.ac.jp/~yuichiro/talks.html
星 裕一郎 の ホームページ
講演
予定
・ZMC Conference 2026,
ドワンゴセミナールーム,
2026.7.21-2026.7.23.
https://zen.ac.jp/zmc/activities/d5ov5qajb
・代数的整数論とその周辺 2026,
東京大学,
2026.12.7-2026.12.11.
https://sites.google.com/view/rims-ant-2026/
https://www.kurims.kyoto-u.ac.jp/~yuichiro/papers.html
論文
・Tangential morphisms via log arithmetic geometry (with Makoto Matsumoto and Chikara Nakayama)
RIMS Preprint 1995 (June 2026): (PDF).
https://www.kurims.kyoto-u.ac.jp/preprint/file/RIMS1995.pdf
Makoto Matsumoto AMAGAERU Institute of Free Mathematics 2-37-6 Narita-Higashi, Suginami-ku, Tokyo 166-0015 Japan
元気ですね
頑張ってください
下記
Makoto Matsumoto AMAGAERU Institute of Free Mathematics
は、松本眞先生か
(参考)
https://www.kurims.kyoto-u.ac.jp/~yuichiro/talks.html
星 裕一郎 の ホームページ
講演
予定
・ZMC Conference 2026,
ドワンゴセミナールーム,
2026.7.21-2026.7.23.
https://zen.ac.jp/zmc/activities/d5ov5qajb
・代数的整数論とその周辺 2026,
東京大学,
2026.12.7-2026.12.11.
https://sites.google.com/view/rims-ant-2026/
https://www.kurims.kyoto-u.ac.jp/~yuichiro/papers.html
論文
・Tangential morphisms via log arithmetic geometry (with Makoto Matsumoto and Chikara Nakayama)
RIMS Preprint 1995 (June 2026): (PDF).
https://www.kurims.kyoto-u.ac.jp/preprint/file/RIMS1995.pdf
Makoto Matsumoto AMAGAERU Institute of Free Mathematics 2-37-6 Narita-Higashi, Suginami-ku, Tokyo 166-0015 Japan
375１３２人目の素数さん
2026/07/20(月) 17:31:24.80ID:4Gvstadc 発●するSet A
おだいじに
おだいじに
376１３２人目の素数さん
2026/07/20(月) 18:19:13.89ID:AtZID/Oc IUT擁護派おじさんが発狂コピペしててワラタw
【数学】「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告 [すらいむ★]
https://egg.5ch.io/test/read.cgi/scienceplus/1784298129/
【数学】「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告 [すらいむ★]
https://egg.5ch.io/test/read.cgi/scienceplus/1784298129/
377１３２人目の素数さん
2026/07/20(月) 20:07:06.13ID:a0+1odGL >>375-376
つまらん
それよか 下記
ID:13yLpBZq さん >>242-245 & ID:dythpcIC さん>>339
(同一人物だが)
”Claude Opus4.8とFable5使ってIUTを1から地道に検証するプロジェクトを個人的にこの一ヶ月やってみたがFable5の言い分は以下だった
IUT理解者に対する要請部分のみを書く”
と ”LEANの公開”
いまどきのAI使った 世間のアマ数学者個人の仕事が
すごいねと思ったよ
IUTの専門家でもなく たった一人でもって
しかも、たった 一ヶ月で こんなことがやれるんだと
それに 感心した次第だ
あと、>>367にあるが
https://zen.ac.jp/news/zmcpostevent0717
LANAプロジェクト
現時点での評価、残された課題、Scholze–Stix報告書との関係を報告
https://github.com/katobungen/LANA_report_202607/blob/pdf/LANA_report_202607.pdf
公開文書「Project LANA Interim Report on IUT Theory」報告書全文 2026/07/17
ここは
数学史上 しばしばあるが
”自明”とされていたことが、その実 要証明とされることは ある
すでに例示したが >>264 ジョルダン曲線定理
ガウスが 彼の学位論文 代数学の基本定理証明で使った
学位論文だから、当然 これを審査した数学者も”自明”で流したのだろうが
後に 要証明だとされた
が、これも しばしばあるが、
”自明”されたことが 結局後世に キチンと証明されることは多い
（勿論、反例が見つかることもあるが、それはそれ）
今回も、望月IUT論文について 今回のLean形式化出来なかった部分を自明視して
IUT論文を肯定した数学者多数いた
その代表格が 玉川安騎男先生だろう
それ以外にも >>374 Makoto Matsumoto 先生、安田成大先生、山下剛先生、田口雄一郎先生
これら多数の遠アーベル専門家が 自明視・当然視 してきた事項がある
それを キチンとLean形式に乗るように証明することだ
それが、課題として浮かび上がったってことだろ？ｗ （＾＾
(参考)
https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/244783
宇宙際 Teichmüller 理論入門
RIMS Kôkyûroku Bessatsu B76 (2019), 79-183.
謝辞
本稿執筆時に限らずこれまで宇宙際Teichm¨ uller 理論に関する無数の議論にお
付き合いくださった望月新一先生に感謝申し上げます. また, 2013 年度に合計100 時間
以上にも及ぶセミナーで宇宙際Teichm¨ uller 理論について説明してくださった山下剛先生
に, そして, そのセミナーを共に乗り切りそこでの数々の議論にお付き合いくださった玉
川安騎男先生, 松本眞先生に感謝申し上げます. そして, 本稿に対していくつもの有益な
指摘をくださった安田正大先生と査読者の方に感謝申し上げます.
田口雄一郎先生にお礼申し上げます.
つまらん
それよか 下記
ID:13yLpBZq さん >>242-245 & ID:dythpcIC さん>>339
(同一人物だが)
”Claude Opus4.8とFable5使ってIUTを1から地道に検証するプロジェクトを個人的にこの一ヶ月やってみたがFable5の言い分は以下だった
IUT理解者に対する要請部分のみを書く”
と ”LEANの公開”
いまどきのAI使った 世間のアマ数学者個人の仕事が
すごいねと思ったよ
IUTの専門家でもなく たった一人でもって
しかも、たった 一ヶ月で こんなことがやれるんだと
それに 感心した次第だ
あと、>>367にあるが
https://zen.ac.jp/news/zmcpostevent0717
LANAプロジェクト
現時点での評価、残された課題、Scholze–Stix報告書との関係を報告
https://github.com/katobungen/LANA_report_202607/blob/pdf/LANA_report_202607.pdf
公開文書「Project LANA Interim Report on IUT Theory」報告書全文 2026/07/17
ここは
数学史上 しばしばあるが
”自明”とされていたことが、その実 要証明とされることは ある
すでに例示したが >>264 ジョルダン曲線定理
ガウスが 彼の学位論文 代数学の基本定理証明で使った
学位論文だから、当然 これを審査した数学者も”自明”で流したのだろうが
後に 要証明だとされた
が、これも しばしばあるが、
”自明”されたことが 結局後世に キチンと証明されることは多い
（勿論、反例が見つかることもあるが、それはそれ）
今回も、望月IUT論文について 今回のLean形式化出来なかった部分を自明視して
IUT論文を肯定した数学者多数いた
その代表格が 玉川安騎男先生だろう
それ以外にも >>374 Makoto Matsumoto 先生、安田成大先生、山下剛先生、田口雄一郎先生
これら多数の遠アーベル専門家が 自明視・当然視 してきた事項がある
それを キチンとLean形式に乗るように証明することだ
それが、課題として浮かび上がったってことだろ？ｗ （＾＾
(参考)
https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/244783
宇宙際 Teichmüller 理論入門
RIMS Kôkyûroku Bessatsu B76 (2019), 79-183.
謝辞
本稿執筆時に限らずこれまで宇宙際Teichm¨ uller 理論に関する無数の議論にお
付き合いくださった望月新一先生に感謝申し上げます. また, 2013 年度に合計100 時間
以上にも及ぶセミナーで宇宙際Teichm¨ uller 理論について説明してくださった山下剛先生
に, そして, そのセミナーを共に乗り切りそこでの数々の議論にお付き合いくださった玉
川安騎男先生, 松本眞先生に感謝申し上げます. そして, 本稿に対していくつもの有益な
指摘をくださった安田正大先生と査読者の方に感謝申し上げます.
田口雄一郎先生にお礼申し上げます.
378１３２人目の素数さん
2026/07/20(月) 20:19:02.92ID:a0+1odGL >>377 追加
>が、これも しばしばあるが、
>”自明”されたことが 結局後世に キチンと数学的に証明されることは多い
実例を挙げておくと
ポアンカレ予想の証明において、ペレルマンは 体積崩壊定理を 証明せずに用いた
それを証明したのが 塩谷・山口氏です
(google検索)
ポアンカレ予想証明 塩谷・山口 定理
AI による概要
ポアンカレ予想の証明において、日本の数学者である塩谷隆氏（東北大学教授）と山口孝男氏（京都大学名誉教授）の共同研究による「体積崩壊理論（崩壊定理）」は決定的な役割を果たしました。これは、多様体が潰れていく極限構造を明らかにした幾何学の定理です
体積崩壊定理：塩谷・山口両氏は、断面曲率に下限がある状態で多様体の体積が非常に小さくなる極限（崩壊）を研究し、極限空間の構造を完全に解明しました
証明への応用：この崩壊理論（および独立したペレルマンの研究）により、リッチフローで生じる特異点周辺の極限が「アレクサンドロフ空間」と呼ばれる幾何学的空間に収束することが保証されました。これにより、特異点を手術して先へ進める「特異点の局所構造」の証明が可能になりました
日本数学会公式サイトの日本数学会幾何学分科会（塩谷氏の幾何学賞受賞業績）では、塩谷氏の一連の業績がペレルマンによる証明において極めて重要な役割を果たしたことが詳しく解説されています
(参考)
https://www.mathsoc.jp/section/geometry/prize/citation_dir/citation_shioya.html
日本数学会幾何学分科会（幾何学賞・受賞者の業績・塩谷隆氏）
日本数学会
Perelmanによる3次元多様体の幾何化予想の証明（ポアンカレ予想の解決を含む）においても重要な役割を果たしています． 塩谷隆氏のこれら一連の研究は，アレクサンド ...
https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H27-yokota.pdf
ポアンカレ予想とリッチフロー - RIMS, Kyoto University
Research Institute for Mathematical Sciences (RIMS), Kyoto University
PDF
Perelman による定理 36 の証明は未だ発表されていないが，塩谷・山口が同時期に. 独立に証明した．定理 36 の証明は背理法による．つまり，そのような正の数 v0 が存. 在 ...
16 ページ
>が、これも しばしばあるが、
>”自明”されたことが 結局後世に キチンと数学的に証明されることは多い
実例を挙げておくと
ポアンカレ予想の証明において、ペレルマンは 体積崩壊定理を 証明せずに用いた
それを証明したのが 塩谷・山口氏です
(google検索)
ポアンカレ予想証明 塩谷・山口 定理
AI による概要
ポアンカレ予想の証明において、日本の数学者である塩谷隆氏（東北大学教授）と山口孝男氏（京都大学名誉教授）の共同研究による「体積崩壊理論（崩壊定理）」は決定的な役割を果たしました。これは、多様体が潰れていく極限構造を明らかにした幾何学の定理です
体積崩壊定理：塩谷・山口両氏は、断面曲率に下限がある状態で多様体の体積が非常に小さくなる極限（崩壊）を研究し、極限空間の構造を完全に解明しました
証明への応用：この崩壊理論（および独立したペレルマンの研究）により、リッチフローで生じる特異点周辺の極限が「アレクサンドロフ空間」と呼ばれる幾何学的空間に収束することが保証されました。これにより、特異点を手術して先へ進める「特異点の局所構造」の証明が可能になりました
日本数学会公式サイトの日本数学会幾何学分科会（塩谷氏の幾何学賞受賞業績）では、塩谷氏の一連の業績がペレルマンによる証明において極めて重要な役割を果たしたことが詳しく解説されています
(参考)
https://www.mathsoc.jp/section/geometry/prize/citation_dir/citation_shioya.html
日本数学会幾何学分科会（幾何学賞・受賞者の業績・塩谷隆氏）
日本数学会
Perelmanによる3次元多様体の幾何化予想の証明（ポアンカレ予想の解決を含む）においても重要な役割を果たしています． 塩谷隆氏のこれら一連の研究は，アレクサンド ...
https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H27-yokota.pdf
ポアンカレ予想とリッチフロー - RIMS, Kyoto University
Research Institute for Mathematical Sciences (RIMS), Kyoto University
Perelman による定理 36 の証明は未だ発表されていないが，塩谷・山口が同時期に. 独立に証明した．定理 36 の証明は背理法による．つまり，そのような正の数 v0 が存. 在 ...
16 ページ
379１３２人目の素数さん
2026/07/20(月) 20:49:13.16ID:uqomNNcQ Q.まったく価値のない持論を何度も繰り返すのは病気ですか？
A.何度も同じ持論を繰り返されると、聞く方も疲れてしまい、「何か病気なのだろうか」と疑問に思うのは当然のことです。結論から言うと、単に本人の性格やコミュニケーションの癖である場合が多いですが、背景に脳の病気や精神疾患が隠れている可能性もあります。
A.何度も同じ持論を繰り返されると、聞く方も疲れてしまい、「何か病気なのだろうか」と疑問に思うのは当然のことです。結論から言うと、単に本人の性格やコミュニケーションの癖である場合が多いですが、背景に脳の病気や精神疾患が隠れている可能性もあります。
380１３２人目の素数さん
2026/07/20(月) 22:23:56.77ID:AtZID/Oc IUT擁護派おじさんついにバックレるの巻
👇
157 名無しのひみつ 2026/07/20(月) 20:08:24.06 ID:jDVnUfx7
そもそも査読は、論文としての体裁が整ってるかどうかって判定にしか機能してねー、どころか、体裁が整ってても査読者の気に入らない
結果だと、屁理屈つけられて落ちる
ってか、査読システムが全く機能してねーのに、査読論文数とか被引用数で研究業績評価するから、世の中は屑論文であふれてるわけな
https://egg.5ch.io/test/read.cgi/scienceplus/1784298129/157
👇
157 名無しのひみつ 2026/07/20(月) 20:08:24.06 ID:jDVnUfx7
そもそも査読は、論文としての体裁が整ってるかどうかって判定にしか機能してねー、どころか、体裁が整ってても査読者の気に入らない
結果だと、屁理屈つけられて落ちる
ってか、査読システムが全く機能してねーのに、査読論文数とか被引用数で研究業績評価するから、世の中は屑論文であふれてるわけな
https://egg.5ch.io/test/read.cgi/scienceplus/1784298129/157
381１３２人目の素数さん
2026/07/20(月) 22:24:34.07ID:AtZID/Oc 論破されてコピペで精神分裂投稿連打でクソ漏らし
IUT仕草でございますw
IUT仕草でございますw
382１３２人目の素数さん
2026/07/20(月) 22:35:07.51ID:B6WVrHSM ですね
383１３２人目の素数さん
2026/07/21(火) 11:09:31.51ID:oOVYpKSk >>379-382
ばかか、こいつらｗ （＾＾
１）
>Q.まったく価値のない持論を何度も繰り返すのは病気ですか？
「まったく価値のない持論」については
そこ 数学的には 強すぎるので
証明できないよ その命題は
”まったく”は、少しでも価値があれば 命題は否定される
よって その主張は主観にすぎない！！ｗｗ
２）
>IUT擁護派おじさんついにバックレるの巻
意味わからんけど？ｗ
その人は おれとは別人だよ
他人が何をいおうが 言論は自由だし おれとは無関係ｗ
３）
>論破されてコピペで精神分裂投稿連打でクソ漏らし
意味わからんけど？ｗ
プロ数学者の数論最先端のABC予想証明論文の成否が
ここ場末の５ｃｈ数学便所板のロンパ合戦で決まるとでも？
おまえはバカか おいおいおいｗｗｗ
４）
>ですね
言語障害の”ですね人”ですか？ｗ
ばかか、こいつらｗ （＾＾
１）
>Q.まったく価値のない持論を何度も繰り返すのは病気ですか？
「まったく価値のない持論」については
そこ 数学的には 強すぎるので
証明できないよ その命題は
”まったく”は、少しでも価値があれば 命題は否定される
よって その主張は主観にすぎない！！ｗｗ
２）
>IUT擁護派おじさんついにバックレるの巻
意味わからんけど？ｗ
その人は おれとは別人だよ
他人が何をいおうが 言論は自由だし おれとは無関係ｗ
３）
>論破されてコピペで精神分裂投稿連打でクソ漏らし
意味わからんけど？ｗ
プロ数学者の数論最先端のABC予想証明論文の成否が
ここ場末の５ｃｈ数学便所板のロンパ合戦で決まるとでも？
おまえはバカか おいおいおいｗｗｗ
４）
>ですね
言語障害の”ですね人”ですか？ｗ
384１３２人目の素数さん
2026/07/21(火) 11:11:43.16ID:5xceQTWC あい、とぅいまてんw
385１３２人目の素数さん
2026/07/21(火) 11:26:53.63ID:9lPB4r8c また他人が馬鹿に見える病の発作か
やばいね
やばいね
386１３２人目の素数さん
2026/07/21(火) 11:33:58.44ID:5xceQTWC 🐴🦌に見えるよね、とぅいまてんw
387１３２人目の素数さん
2026/07/21(火) 12:56:08.39ID:B/i3Ot9C IUT擁護派のキチガイ精神分裂ショータイムw
388１３２人目の素数さん
2026/07/21(火) 14:11:13.66ID:+/6+R6XN 「問題点は、q-pilot対数的体積の二つの計算が「tautologicalに同値」とされている点」
このギャップが最初からまったく埋められず、自明と吠えまくる●違い著者
このギャップが最初からまったく埋められず、自明と吠えまくる●違い著者
389１３２人目の素数さん
2026/07/21(火) 14:12:08.27ID:+/6+R6XN 「意味わからんけど？」
大学１年の微積と線形代数で落第した高卒には無理
大学１年の微積と線形代数で落第した高卒には無理
390１３２人目の素数さん
2026/07/21(火) 14:13:27.03ID:+/6+R6XN 結論
大学１年の数学で落ちこぼれた国粋高卒が
外国人を異常に嫌う●違い数学者に全てを賭けた結果
スッテンテンになる
大学１年の数学で落ちこぼれた国粋高卒が
外国人を異常に嫌う●違い数学者に全てを賭けた結果
スッテンテンになる
391１３２人目の素数さん
2026/07/21(火) 14:15:01.32ID:5xceQTWC ヤッチンチン
ドドスコLOVE注入
ドドスコLOVE注入
392１３２人目の素数さん
2026/07/21(火) 16:50:27.34ID:oOVYpKSk >>384-391
面白いやつらだね バカがいるｗｗ
>また他人が馬鹿に見える病の発作か
いやいや おまえは「馬鹿に見える」ぞ
そもそも IUTのスレを分けているだろ？
それ 知らないのか？
”場合分け”が分からない？ 中学校の数学で習うだろ？ｗ
Interuniversal geometry とABC 予想61
と
Inter-universal geometryとABC予想(シン応援スレ) 92
とだ
ここ応援スレに来て
アンチが
アホなことほざいたら バカにされて当然さｗ （＾＾
>このギャップが最初からまったく埋められず、自明と吠えまくる●違い著者
そのギャップなるものは Lean形式化におけるギャップだろ？
”最初から”の表現がおかしい
”最初”の定義は なんだ？
おれの認識は、Lean形式化開始以降 先日の中間報告の7月17日までのどこかだが
まあ、歴史的に数学の証明とは そうしたものさ
ギャップが 第三者から指摘されて そのギャップが埋められた例は沢山ある
>外国人を異常に嫌う●違い数学者に全てを賭けた結果
発狂してる？
どこの誰が賭けをしているんだ？
脳みそ ついているか おまえ？ｗｗｗ
面白いやつらだね バカがいるｗｗ
>また他人が馬鹿に見える病の発作か
いやいや おまえは「馬鹿に見える」ぞ
そもそも IUTのスレを分けているだろ？
それ 知らないのか？
”場合分け”が分からない？ 中学校の数学で習うだろ？ｗ
Interuniversal geometry とABC 予想61
と
Inter-universal geometryとABC予想(シン応援スレ) 92
とだ
ここ応援スレに来て
アンチが
アホなことほざいたら バカにされて当然さｗ （＾＾
>このギャップが最初からまったく埋められず、自明と吠えまくる●違い著者
そのギャップなるものは Lean形式化におけるギャップだろ？
”最初から”の表現がおかしい
”最初”の定義は なんだ？
おれの認識は、Lean形式化開始以降 先日の中間報告の7月17日までのどこかだが
まあ、歴史的に数学の証明とは そうしたものさ
ギャップが 第三者から指摘されて そのギャップが埋められた例は沢山ある
>外国人を異常に嫌う●違い数学者に全てを賭けた結果
発狂してる？
どこの誰が賭けをしているんだ？
脳みそ ついているか おまえ？ｗｗｗ
393１３２人目の素数さん
2026/07/21(火) 17:03:31.50ID:diu0Idzx （自分の世界に閉じこもりたくて堪らないようです）
394１３２人目の素数さん
2026/07/21(火) 17:29:12.39ID:CSFPuf3w 楽しくないんご
395１３２人目の素数さん
2026/07/21(火) 17:29:35.63ID:CSFPuf3w 楽しんごじゃないw
396１３２人目の素数さん
2026/07/21(火) 17:55:58.94ID:B/i3Ot9C397１３２人目の素数さん
2026/07/21(火) 17:56:04.47ID:oOVYpKSk >>393-395
おもしれえやつらだね
素人はこれだからなｗ
まず 下記
https://ahgt.math.cnrs.fr/activities/
Arithmetic & Homotopic Galois Theory IRN
Activities - Conferences & Seminars
ここに
Promenade in Inter-Universal Teichmüller Theory Lille-RIMS seminar 2020-2021
Sept. 2020 - Apr. 21, 2021 Org.: B.Collas, P.Dèbes, B.Fresse
Report [PDF+WEB] https://www.kurims.kyoto-u.ac.jp/~bcollas/Promenade-IUT/index.html
とあるよね
だから、ここは IUT Inter-Universal Teichmüller Theoryのサイトであって
Lille-RIMSの 合同サイトなんだ
ここまでは いいだろ？
次に
https://ahgt.math.cnrs.fr/members/
Arithmetic & Homotopic Galois Theory IRN
Members & Partners
で、日本全国から 多数の数学者が参加しているの分かるよね
例えば
RIMS, Kyoto University Minamide Arata他
Hiroshima University Iijima Yu
Hokkaido University Yasuda Seidai
Nagoya University Furusho Hidekazu
Osaka University Nakamura Hiroaki、Wakabayashi Yasuhiro
Institute of Science Tokyo Taguchi Yuichiro
などなど が有名どころだろう
夏休みに入ったが、アクセスできるならば 知り合いのプロ数学者が居れば
今回の7月17日のLean形式化の発表についての ご意見を聞いてみなよｗ （＾＾
だれも、ビックリもシャックリもしてないだろうさ
「うん？ ああ Lean形式化の発表でギャップ見つかった話？ ギャップ埋めればいいだけでしょ？」
というかもねｗｗ （＾＾
もし話が聞けたら、このスレに書いておくれ
「Lean形式化の発表でギャップ見つかった もうダメだぁ〜！！！」でもいいぜｗ
正直に、正確に書いてもらえれば良い
情報をまってますよ
おもしれえやつらだね
素人はこれだからなｗ
まず 下記
https://ahgt.math.cnrs.fr/activities/
Arithmetic & Homotopic Galois Theory IRN
Activities - Conferences & Seminars
ここに
Promenade in Inter-Universal Teichmüller Theory Lille-RIMS seminar 2020-2021
Sept. 2020 - Apr. 21, 2021 Org.: B.Collas, P.Dèbes, B.Fresse
Report [PDF+WEB] https://www.kurims.kyoto-u.ac.jp/~bcollas/Promenade-IUT/index.html
とあるよね
だから、ここは IUT Inter-Universal Teichmüller Theoryのサイトであって
Lille-RIMSの 合同サイトなんだ
ここまでは いいだろ？
次に
https://ahgt.math.cnrs.fr/members/
Arithmetic & Homotopic Galois Theory IRN
Members & Partners
で、日本全国から 多数の数学者が参加しているの分かるよね
例えば
RIMS, Kyoto University Minamide Arata他
Hiroshima University Iijima Yu
Hokkaido University Yasuda Seidai
Nagoya University Furusho Hidekazu
Osaka University Nakamura Hiroaki、Wakabayashi Yasuhiro
Institute of Science Tokyo Taguchi Yuichiro
などなど が有名どころだろう
夏休みに入ったが、アクセスできるならば 知り合いのプロ数学者が居れば
今回の7月17日のLean形式化の発表についての ご意見を聞いてみなよｗ （＾＾
だれも、ビックリもシャックリもしてないだろうさ
「うん？ ああ Lean形式化の発表でギャップ見つかった話？ ギャップ埋めればいいだけでしょ？」
というかもねｗｗ （＾＾
もし話が聞けたら、このスレに書いておくれ
「Lean形式化の発表でギャップ見つかった もうダメだぁ〜！！！」でもいいぜｗ
正直に、正確に書いてもらえれば良い
情報をまってますよ
398１３２人目の素数さん
2026/07/21(火) 18:11:38.75ID:CSFPuf3w 私にアンカーを付けられてもねぇw
踊って注入しかできないンゴw
踊って注入しかできないンゴw
399１３２人目の素数さん
2026/07/21(火) 18:23:28.03ID:diu0Idzx （IUT擁護派の世界は崩れ落ちたのにね）
400１３２人目の素数さん
2026/07/21(火) 18:55:57.06ID:9lPB4r8c >ああ Lean形式化の発表でギャップ見つかった話？ ギャップ埋めればいいだけでしょ？
ああ リーマン予想は未証明って話？ 証明すればいいだけでしょ？
ああ リーマン予想は未証明って話？ 証明すればいいだけでしょ？
401１３２人目の素数さん
2026/07/21(火) 19:38:00.59ID:B/i3Ot9C >>398
ワラタ
ワラタ
402１３２人目の素数さん
2026/07/21(火) 19:56:45.91ID:2GPRU5Zx >>400
ですね
ですね
403１３２人目の素数さん
2026/07/21(火) 19:59:07.92ID:1oLhTN1K ギャップを埋めるために、まずは公理をいじってIUTが正しいとしようぜ
404１３２人目の素数さん
2026/07/21(火) 20:07:34.83ID:2GPRU5Zx それで「自明」になる訳ですね
405１３２人目の素数さん
2026/07/21(火) 23:47:52.38ID:IngSDRcX >>400
>>ああ Lean形式化の発表でギャップ見つかった話？ ギャップ埋めればいいだけでしょ？
>ああ リーマン予想は未証明って話？ 証明すればいいだけでしょ？
例えば 過去レスにも書いたが
下記のフェルマー最終定理の証明と対比するのが適当だろう
ワイルズによる証明は、100点満点の99点で ただし1点足りない状態で
リチャード・テイラーの協力を仰ぐ
そして、1年 『彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際』だった
そのとき もの凄いアイデアが降ってきた！
『不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩澤理論の適用を可能にすることに気がついた』
同じことが、望月＆星に起きるよう祈る！ｗ （＾＾
(参考)
https://ja.wikipedia.org/wiki/%E3%83%AF%E3%82%A4%E3%83%AB%E3%82%BA%E3%81%AB%E3%82%88%E3%82%8B%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86%E3%81%AE%E8%A8%BC%E6%98%8E
ワイルズによるフェルマーの最終定理の証明
証明の発表とその後
1993年の6月21日-23日の間で、ワイルズは半安定楕円曲線に関する谷山・志村予想の証明、すなわちフェルマーの最終定理の証明を発表した。
カッツはレビューにおいて、ワイルズに証明に関する様々な質問をしたが、そのうちにワイルズ自身も認めるギャップが証明に含まれることがわかった。証明の重要な箇所（ある種の群の位数に上限を与える部分）の誤りであり、コリヴァキアン＝フラッハ法を拡張するのに使用したオイラー系（英語版）が不完全だったというものだった。
ワイルズはギャップを取り除くのにほとんど1年を費やした。当初は自身で訂正を試みたが、のちにかつての指導学生であるリチャード・テイラーの協力を仰ぐこととなった。
1994年9月19日の朝、彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際におり、他の数学者が証明を発展させ、誤りを探すことができるように証明の詳細を発表しようとしていた。彼は証明がなぜ不完全だったのかを理解するための最後の確認をしていたが、不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩澤理論の適用を可能にすることに気がついた。それぞれのアプローチは単体では不適切だが、両者のアプローチを組み合わせ、双方のアプローチのツールを使用することでギャップを取り除き、（ワイルズが最初に出した論文では証明が与えられていなかった）すべての場合に有効な類数公式(Class Number Formula, CNF)を与えた
>>ああ Lean形式化の発表でギャップ見つかった話？ ギャップ埋めればいいだけでしょ？
>ああ リーマン予想は未証明って話？ 証明すればいいだけでしょ？
例えば 過去レスにも書いたが
下記のフェルマー最終定理の証明と対比するのが適当だろう
ワイルズによる証明は、100点満点の99点で ただし1点足りない状態で
リチャード・テイラーの協力を仰ぐ
そして、1年 『彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際』だった
そのとき もの凄いアイデアが降ってきた！
『不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩澤理論の適用を可能にすることに気がついた』
同じことが、望月＆星に起きるよう祈る！ｗ （＾＾
(参考)
https://ja.wikipedia.org/wiki/%E3%83%AF%E3%82%A4%E3%83%AB%E3%82%BA%E3%81%AB%E3%82%88%E3%82%8B%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86%E3%81%AE%E8%A8%BC%E6%98%8E
ワイルズによるフェルマーの最終定理の証明
証明の発表とその後
1993年の6月21日-23日の間で、ワイルズは半安定楕円曲線に関する谷山・志村予想の証明、すなわちフェルマーの最終定理の証明を発表した。
カッツはレビューにおいて、ワイルズに証明に関する様々な質問をしたが、そのうちにワイルズ自身も認めるギャップが証明に含まれることがわかった。証明の重要な箇所（ある種の群の位数に上限を与える部分）の誤りであり、コリヴァキアン＝フラッハ法を拡張するのに使用したオイラー系（英語版）が不完全だったというものだった。
ワイルズはギャップを取り除くのにほとんど1年を費やした。当初は自身で訂正を試みたが、のちにかつての指導学生であるリチャード・テイラーの協力を仰ぐこととなった。
1994年9月19日の朝、彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際におり、他の数学者が証明を発展させ、誤りを探すことができるように証明の詳細を発表しようとしていた。彼は証明がなぜ不完全だったのかを理解するための最後の確認をしていたが、不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩澤理論の適用を可能にすることに気がついた。それぞれのアプローチは単体では不適切だが、両者のアプローチを組み合わせ、双方のアプローチのツールを使用することでギャップを取り除き、（ワイルズが最初に出した論文では証明が与えられていなかった）すべての場合に有効な類数公式(Class Number Formula, CNF)を与えた
406１３２人目の素数さん
2026/07/22(水) 00:01:30.43ID:u5VrSqGL Q.まったく価値のない持論を何度も繰り返すのは病気ですか？
A.何度も同じ持論を繰り返されると、聞く方も疲れてしまい、「何か病気なのだろうか」と疑問に思うのは当然のことです。結論から言うと、単に本人の性格やコミュニケーションの癖である場合が多いですが、背景に脳の病気や精神疾患が隠れている可能性もあります。
A.何度も同じ持論を繰り返されると、聞く方も疲れてしまい、「何か病気なのだろうか」と疑問に思うのは当然のことです。結論から言うと、単に本人の性格やコミュニケーションの癖である場合が多いですが、背景に脳の病気や精神疾患が隠れている可能性もあります。
407１３２人目の素数さん
2026/07/22(水) 00:22:17.25ID:V9GWtChn フェルマーの最終定理の証明は最後のギャップが埋まらなかったとしてもそこ以外は価値のあるものだったが
IUTは3.11→3.12のギャップが埋まらなければ全体が完全に無価値なんですよね
IUTは3.11→3.12のギャップが埋まらなければ全体が完全に無価値なんですよね
408１３２人目の素数さん
2026/07/22(水) 01:19:26.08ID:Zr/Df7zJ >>407
はい
はい
409１３２人目の素数さん
2026/07/22(水) 05:12:48.31ID:mVv9Tn8+ jinは頭の病気
統合失調症
統合失調症
410１３２人目の素数さん
2026/07/22(水) 10:48:52.68ID:RAZlqblh 駄々をこねるの本質
相手が嫌になって引いて行くのを期待してる
それで「自分の勝ち」と思う
小学校あたりで人間的成長が止まってる
相手が嫌になって引いて行くのを期待してる
それで「自分の勝ち」と思う
小学校あたりで人間的成長が止まってる
411１３２人目の素数さん
2026/07/22(水) 10:56:01.06ID:u5VrSqGL >>258
そもそも証明検証ツールが本格的に運用されるようになったのは今世紀以降。
いかなる非形式的証明もギャップが無いことが検証されていない。
それでも数学者は長年培ってきた数学的思考によりたいていの証明につきギャップの有無を判断できる。
ところがIUTは既存の数学とは全く異なる言語で記述されており長年の経験が役に立たない。
そのようなIUT固有の事情を考慮せずに
>時代が進まないと、ギャップに気付かないということは
>数学史上しばしばあった
などと言ったところでまったく的外れ。
>代数学の基本定理（＝代数方程式は複素数根を持つ）
はい、大間違いです。
一般の係数空間でそれは言えません。言えるのは複素数体の場合（＝複素数体は代数閉体である）。
そもそも証明検証ツールが本格的に運用されるようになったのは今世紀以降。
いかなる非形式的証明もギャップが無いことが検証されていない。
それでも数学者は長年培ってきた数学的思考によりたいていの証明につきギャップの有無を判断できる。
ところがIUTは既存の数学とは全く異なる言語で記述されており長年の経験が役に立たない。
そのようなIUT固有の事情を考慮せずに
>時代が進まないと、ギャップに気付かないということは
>数学史上しばしばあった
などと言ったところでまったく的外れ。
>代数学の基本定理（＝代数方程式は複素数根を持つ）
はい、大間違いです。
一般の係数空間でそれは言えません。言えるのは複素数体の場合（＝複素数体は代数閉体である）。
412１３２人目の素数さん
2026/07/22(水) 12:08:13.60ID:QCaNv3B1413１３２人目の素数さん
2026/07/22(水) 13:31:06.89ID:Zr/Df7zJ >>410
それが朝鮮IUT仕草
それが朝鮮IUT仕草
414１３２人目の素数さん
2026/07/22(水) 13:53:33.89ID:n+1eBk57 >>411
>そもそも証明検証ツールが本格的に運用されるようになったのは今世紀以降。
ショルツがやったやったやつみたいに
ホッカホカの最新の数学が検証されたのはたしかに最近
>いかなる非形式的証明もギャップが無いことが検証されていない。
これは言い過ぎでIsabelle, HOL, Coqは前世紀から使われてるし
利用する公理の範囲を検討する逆数学との関係で
ギャプ探しは結構行われてた
>そもそも証明検証ツールが本格的に運用されるようになったのは今世紀以降。
ショルツがやったやったやつみたいに
ホッカホカの最新の数学が検証されたのはたしかに最近
>いかなる非形式的証明もギャップが無いことが検証されていない。
これは言い過ぎでIsabelle, HOL, Coqは前世紀から使われてるし
利用する公理の範囲を検討する逆数学との関係で
ギャプ探しは結構行われてた
415１３２人目の素数さん
2026/07/22(水) 13:54:42.89ID:n+1eBk57416１３２人目の素数さん
2026/07/22(水) 14:33:31.88ID:u5VrSqGL >>414
>>いかなる非形式的証明もギャップが無いことが検証されていない。
>これは言い過ぎでIsabelle, HOL, Coqは前世紀から使われてるし
え？ それ形式化してるやん
非形式的証明って書いてるんだけど字読める？
>>いかなる非形式的証明もギャップが無いことが検証されていない。
>これは言い過ぎでIsabelle, HOL, Coqは前世紀から使われてるし
え？ それ形式化してるやん
非形式的証明って書いてるんだけど字読める？
417１３２人目の素数さん
2026/07/22(水) 14:35:49.94ID:u5VrSqGL >>415
なんで勝手に問題と言ってることに脳内変換すんの？
なんで勝手に問題と言ってることに脳内変換すんの？
418１３２人目の素数さん
2026/07/22(水) 14:37:41.71ID:u5VrSqGL こういう勝手に脳内変換する人って会話が成り立たないから疲れるね
419１３２人目の素数さん
2026/07/22(水) 14:44:07.69ID:1xaWQya/ >代数学の基本定理（＝代数方程式は複素数根を持つ）
複素数体は代数的閉体だといえるが、逆、すなわち
代数的閉体は複素数体である、とはいえない
複素数体は代数的閉体だといえるが、逆、すなわち
代数的閉体は複素数体である、とはいえない
420１３２人目の素数さん
2026/07/22(水) 14:47:43.11ID:u5VrSqGL >代数的閉体は複素数体である、とはいえない
誰か言えるって言ったの？ 見えない敵と戦ってる？
誰か言えるって言ったの？ 見えない敵と戦ってる？
421１３２人目の素数さん
2026/07/22(水) 15:56:09.54ID:Zr/Df7zJ422１３２人目の素数さん
2026/07/22(水) 16:32:53.00ID:/bpX0nWF >>420
君を応援したんだけど
君を応援したんだけど
423１３２人目の素数さん
2026/07/22(水) 17:09:09.31ID:u5VrSqGL キモチワルイ
424１３２人目の素数さん
2026/07/22(水) 17:27:22.76ID:Zr/Df7zJ 庵野が使うシンは李氏朝鮮清のシンww
425１３２人目の素数さん
2026/07/22(水) 17:51:12.99ID:dnk3CYgU >>422
キモチイイ
キモチイイ
426１３２人目の素数さん
2026/07/22(水) 18:09:47.59ID:j1T6QVV5 >>415
>ギャプがあると問題だけど
GAPがあっても埋めれば問題がないと言い始めてるのがIUTサイドかな
まあ埋めれば問題がないのは結果オーライてことだけど
当初論文にGAPがあったのに出版したPubl. of RIMSは責められても仕方ないのでは
それに埋めれるかどうかまったく不明ですし
埋めたら埋めた人の業績になるべきで
その場合当初論文はその呼び水って扱いになるのかな
>ギャプがあると問題だけど
GAPがあっても埋めれば問題がないと言い始めてるのがIUTサイドかな
まあ埋めれば問題がないのは結果オーライてことだけど
当初論文にGAPがあったのに出版したPubl. of RIMSは責められても仕方ないのでは
それに埋めれるかどうかまったく不明ですし
埋めたら埋めた人の業績になるべきで
その場合当初論文はその呼び水って扱いになるのかな
427１３２人目の素数さん
2026/07/22(水) 18:34:37.28ID:cSy5wfDp >>377
少なくともペレルマンは指摘された問題点に素直に向き合って照明のギャップを埋める作業をやったわけだが。
少なくともペレルマンは指摘された問題点に素直に向き合って照明のギャップを埋める作業をやったわけだが。
428１３２人目の素数さん
2026/07/22(水) 19:24:53.55ID:Te3LA19E >>426
ギャップが小さければほとんど望月の仕事と認められるだろうけど
その可能性は全くないよね
8年間改善できなかったんだから
小さいギャップなら望月かショルツか他の誰かがとっくに埋めてる
みんな何処に問題あるか知ってたんだから
ギャップが小さければほとんど望月の仕事と認められるだろうけど
その可能性は全くないよね
8年間改善できなかったんだから
小さいギャップなら望月かショルツか他の誰かがとっくに埋めてる
みんな何処に問題あるか知ってたんだから
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- こめお、「割烹こめを」閉店発表 [爆笑ゴリラ★]
- 【速報】広島東洋カープ 週刊誌に写真掲載された小園海斗、田村俊介と書類送検された矢野雅哉、前川誠太が戦力外 ★3 [Ailuropoda melanoleuca★]
- マクドナルドのキャラクター「ドナルド」、きょうから「ロナルド」へ [おっさん友の会★]
- トランプ米大統領、対日本批判を拒否 中国の執拗な要請を押し返し [お断り★]
- 【サッカー】日本代表 エクアドル戦スタメン発表 DF板倉滉 MF中村敬斗ら主軸が並ぶ FW谷村海那が先発デビュー【TBS】 [阿弥陀ヶ峰★]
- 【速報】 ソフトバンクG、オープンAIに 1兆5796億円 を追加出資 [お断り★]
- 【実況】博衣こよりのえちえちポーカーチェイス🧪
- Google Storeで「Pixel 10a」が1万2900円値上げ 9万2800円から [738032876]
- 



とうとう冬が近づいてきたな🏡




- 焼き魚の消費期限ってどんくらいかな？
- 『アジのフライ』、👈何をかける？ [153490809]
- 「割烹こめを」閉業 [989870298]