Inter-universal geometryとABC予想(シン応援スレ) 92 (409ﾚｽ)

Inter-universal geometryとABC予想(シン応援スレ) 92 http://rio2016.5ch.io/test/read.cgi/math/1781308317/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

331: １３２人目の素数さん [sage] 2026/07/19(日) 17:44:34.75 ID:PUqsP0tr >>329 星も望月も山下もYangも今形式化に取り組み始めてると報告されてたよ 形式化出来ないとは考えてないと思うよ http://rio2016.5ch.io/test/read.cgi/math/1781308317/331

332: １３２人目の素数さん [sage] 2026/07/19(日) 17:54:40.59 ID:S1PMNEss >>325 IUT擁護派はすぐダブルスタンダードでクソ漏らすからな ほんとテメエで何描いてるかわからないゴミw http://rio2016.5ch.io/test/read.cgi/math/1781308317/332

333: １３２人目の素数さん [sage] 2026/07/19(日) 17:55:15.12 ID:S1PMNEss ID:nUKgsSja すぐ自己矛盾するキチガイ哀れ http://rio2016.5ch.io/test/read.cgi/math/1781308317/333

334: １３２人目の素数さん [] 2026/07/19(日) 18:15:58.11 ID: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. がまとめか まさに 乞うご期待 ですね http://rio2016.5ch.io/test/read.cgi/math/1781308317/334

335: １３２人目の素数さん [] 2026/07/19(日) 18:46:21.15 ID:tZJSVLSb >>330 誰もそんなこと言ってないけど君、幻覚でも見えるの？ http://rio2016.5ch.io/test/read.cgi/math/1781308317/335

336: １３２人目の素数さん [] 2026/07/19(日) 18:47:11.52 ID:dIige2Ai >>334 手順がないものをalgorithmと呼ぶ時点で狂ってたな http://rio2016.5ch.io/test/read.cgi/math/1781308317/336

337: １３２人目の素数さん [] 2026/07/19(日) 18:47:56.42 ID:dIige2Ai >>331 えー http://rio2016.5ch.io/test/read.cgi/math/1781308317/337

338: １３２人目の素数さん [] 2026/07/19(日) 18:51:11.36 ID:tZJSVLSb >>334 読めないのに無理しなくていいよ http://rio2016.5ch.io/test/read.cgi/math/1781308317/338

339: １３２人目の素数さん [] 2026/07/19(日) 18:52:06.21 ID: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の形式化 http://rio2016.5ch.io/test/read.cgi/math/1781308317/339

340: １３２人目の素数さん [sage] 2026/07/19(日) 19:03:51.70 ID:S1PMNEss まーたコピペIUT仕草でクソ漏らし始めたw 論破されるとすぐこれだからなあIUT擁護派って http://rio2016.5ch.io/test/read.cgi/math/1781308317/340

341: １３２人目の素数さん [sage] 2026/07/19(日) 19:19:24.90 ID:/OKcu5l/ Set Aは四年前は ”2026年のICMでは、望月新一がABC予想解決で招待講演する” とかフカしてたが、今はとてもそんな状況ではないと観念したはず もう負け犬の遠吠えはやめとけ 工学部卒の数学素人が何を言っても無駄 http://rio2016.5ch.io/test/read.cgi/math/1781308317/341

342: １３２人目の素数さん [sage] 2026/07/19(日) 19:21:44.36 ID:/OKcu5l/ ＞問題点は、q-pilot対数的体積の二つの計算が「tautologicalに同値」とされている点 これを望月新一予想と名付けると、まだ誰にも証明されてない、ということか http://rio2016.5ch.io/test/read.cgi/math/1781308317/342

343: １３２人目の素数さん [sage] 2026/07/19(日) 19:24:25.52 ID:mRLH3SpR 沖のカモメにふかしイモ取られて、ツイてね～♪ http://rio2016.5ch.io/test/read.cgi/math/1781308317/343

344: １３２人目の素数さん [] 2026/07/19(日) 19:35:34.21 ID:dIige2Ai >>342 @FumiharuKato 7月7日 数学においてもっとも深遠でもっとも危険な概念は「等しい」ということだ。ふたつの抽象的構造を等号で結ぶことだ。 http://rio2016.5ch.io/test/read.cgi/math/1781308317/344

345: １３２人目の素数さん [] 2026/07/19(日) 19:35:49.14 ID:SacczO1f ■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ■■■■■■□■■■■■■■■■■□■■■□■■■■■■■■■■■■■■■■■■■■■■■□■■■■■■ ■□□□□□□□□□□□■■□□□□□□□□□□□■■■□□□□□□□□□■■■■■■■■□■■■■■■ ■■■■□■■■□■■■■■■■■□■■■□■■■■■■■■■■■■■■■■■■□□□□□□□□□□□■ ■■■■■□□□■■■■■■□□□□■□■□■□■■■■■■■■■■■■■■■■■■■□■■■□■■■■ ■■■■□□□□□■■■■■□■■□■□■□□□■■■■■■■■■■■■■■■■■□□□□□□□□□□■ ■□□□■■■■■□□□■■□■■□□□□□□□□■■□□□□□□□□□□□■■■□■■■■■□■■■■ ■■□□□□□□□□□■■■□□□□■■□■□■■■■■■■□■■□■■■■■■■□■■□□□■■■■■ ■■■□□□□□□□□■■■□■■□□□□□□□□■■■■■□■■□■■■■■■■□■□■■■□□■■■ ■■□□■■□■■■□■■■□□□□■□■□■□□■■■■■□■■□■■■■■■■□■■□□□■■□□■ ■■□■□■□■□■□■■■□■■□□□■□■■■■■■■■□■■□■■■□■■□□■□■■■■□□■■ ■■□■□■□■□□□■■■□■■□■□□□■□■■■■■□■■■□□■■□■■□■■■■□□□■■■■ ■□□■■□□■■■□■■■□■□□□■□□■■□■■□□■■■■■□□□□■■□■■□□■■■■■■■ ■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ http://rio2016.5ch.io/test/read.cgi/math/1781308317/345

346: １３２人目の素数さん [] 2026/07/19(日) 19:36:11.55 ID:SacczO1f ■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■□■■■■■■■■■■□■■□□□■■■■■■■□■■■■■■■■■■■■■■ ■■■■■■■■■■■■■□■■■■■■■■□□□■■□■□■■■■■■□□■■■■■■■■■■■■■■ ■■■■■■■■■■■■■□■■■■■■■■□□□■■□■□■□■■■■□□■■■■■■■■■■■■■■ ■■■■■■■■■■■■■□■■■■■■■□□■■■□■■□□□■■■■□□■■■■■■■■■■■■■■ ■■■■■■■■■■■■□□□■■■■■■■■□■■■■■■■■■■■■□□■■■■■■■■■■■■■■ ■■■■■■■■■■■■□■□■■■■■■□□□□□□□□□□■■■■■□□■■■■■■■■■■■■■■ ■■■■■■■■■■■■□■■□■■■■■■■□■■■□■■□■■■■■□□■■■■■■■■■■■■■■ ■■■■■■■■■■■□■■■□□■■■■■□□□■■□□□■■■■■■□□■■■■■□■■■■■■■■ ■■■■■■■■■■□■■■■■□□■■■□■□■□■■□□■■■■■■■□■■■□□■■■■■■■■■ ■■■■■■■■□□■■■■■■■□□■■□■□■■■□□□□■■■■■■□□□□□■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■■■■□■□□■■■■□■■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ http://rio2016.5ch.io/test/read.cgi/math/1781308317/346

347: １３２人目の素数さん [sage] 2026/07/19(日) 20:17:39.80 ID:S1PMNEss >>344 そういうのって 「すげえ危険なことやってんだぜえー」 みたいな幼稚なレトリックだよ 加藤とかガチで幼稚だろ 文章も汚ねえし http://rio2016.5ch.io/test/read.cgi/math/1781308317/347

348: １３２人目の素数さん [] 2026/07/19(日) 20:27:31.97 ID:dIige2Ai >>347 単発で見るとレトリックっぽいが 実際には非常に具体的な望月のミスった箇所の指摘なんだよ 望月への配慮から事例として上げてないが http://rio2016.5ch.io/test/read.cgi/math/1781308317/348

349: １３２人目の素数さん [] 2026/07/19(日) 20:39:35.57 ID:nUKgsSja >>341 >Set Aは四年前は >”2026年のICMでは、望月新一がABC予想解決で招待講演する” >とかフカしてたが、今はとてもそんな状況ではないと観念したはず まあ、そう慌てるな 慌てる乞食は貰いが少ない たしかに、2026年望月新一がABC予想解決で招待講演が無いことは 半年以上前に分っていたことだ が、今後(2030)がどうなるか？ 神のみぞ知る 要するに いまのLean 証明に乗せればいいだけでしょ 頑張れ 望月一派！ｗ おっと、2030は日本かもねｗ はてさて、どうなるか？（＾＾ (参考) https://www.mathsoc.jp/section/icm2030bid/ 一般社団法人　日本数学会 ICM2030招致委員会 http://rio2016.5ch.io/test/read.cgi/math/1781308317/349

350: １３２人目の素数さん [] 2026/07/19(日) 20:56:52.61 ID:vLR4xaTQ 遠アーベル自体がなんか変な分野なんだよな そこにさらにF1の絶対数学とか眉唾なものが http://rio2016.5ch.io/test/read.cgi/math/1781308317/350

351: １３２人目の素数さん [sage] 2026/07/19(日) 21:17:08.81 ID:/UFaYt6V >>349 慌て始めてるのがIUTじゃん メクラw http://rio2016.5ch.io/test/read.cgi/math/1781308317/351

352: １３２人目の素数さん [sage] 2026/07/19(日) 21:17:29.94 ID:/UFaYt6V コピペ爺さんまじやべえな 文盲じゃね http://rio2016.5ch.io/test/read.cgi/math/1781308317/352

353: １３２人目の素数さん [] 2026/07/19(日) 21:33:22.82 ID:nUKgsSja >>334 追加 望月一派に捧ぐ 下記”チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ』” 頑張ってください ICM2030日本開催をめざして https://www.gravityofdivine.com/ja/quotes/ijin3800/ The Gravity of Divine チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ。』 20260511 目次 運営者の考察 補助的分析（AIによる語彙・背景・正確性の中立整理） 一般的な解釈 翻訳注意・文化的留意点 出典・原典情報 関連する黄金律 同じ人物の名言一覧 私はかつて、『掃除が出来ない人』だったが、今は『掃除の人』である。掃除を甘く見てはいけない。理路整然とした思慮を持つためには、整理整頓された部屋が望ましい。部屋が汚れた人間の思慮は甘く、物事に未練がましく、先延ばしにする傾向があり、射幸的で、主体性を失いがちになる。つまり、『放っておいても誰かが何とかしてくれる』という甘えが、骨の髄にまで浸透してしまう可能性があるのだ。私がそうだった。そして、私の部下が現在進行形でそうだ。 掃除をしたり、計画を立てて旅行したり、仕事を企画して進めたり。これらは全て、建設的な人生の役に立つ『修行（トレーニング）』だと思った方が良い。企画し、計画し、どこから手を付ければいいかを理解するようになれば、もう、歩くべき道への『はじめの一歩』を踏み出したのと同じだ。 このように、『計画』を立てることさえできれば、後は『それを遂行するだけ』になる。チャールズ・ケタリングの言う様に、それだけでもう、半分が解決するのだ。 名言提示（再掲） チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ。』 この言葉は、「問題の本質を正確に定義することこそ、解決への第一歩であり、実際の解決作業の半分に相当するほど重要である」という意味を持っています。 http://rio2016.5ch.io/test/read.cgi/math/1781308317/353

354: １３２人目の素数さん [] 2026/07/19(日) 21:45:52.69 ID:vLR4xaTQ （正確に定義できてないから検証に乗せられないのにね） http://rio2016.5ch.io/test/read.cgi/math/1781308317/354

355: １３２人目の素数さん [sage] 2026/07/19(日) 22:02:33.12 ID:/UFaYt6V 半分w http://rio2016.5ch.io/test/read.cgi/math/1781308317/355

356: １３２人目の素数さん [] 2026/07/19(日) 23:07:35.05 ID: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の証明が 完成ってことだ さて どうなるか楽しみ http://rio2016.5ch.io/test/read.cgi/math/1781308317/356

357: １３２人目の素数さん [] 2026/07/19(日) 23:13:44.71 ID:vLR4xaTQ （つまり証明にはなってないってことね） http://rio2016.5ch.io/test/read.cgi/math/1781308317/357

358: １３２人目の素数さん [sage] 2026/07/20(月) 00:40:19.84 ID:AtZID/Oc IUT擁護派はバカしかいねーからな まず精神分裂病みたいなまとまりのない文しか書けない 集合も論理もわかってないから一投稿の内部でも矛盾する http://rio2016.5ch.io/test/read.cgi/math/1781308317/358

359: １３２人目の素数さん [] 2026/07/20(月) 04:34:10.07 ID:taEbqJD/ 人格攻撃は不要 大事なのは証明の成否 http://rio2016.5ch.io/test/read.cgi/math/1781308317/359

360: １３２人目の素数さん [] 2026/07/20(月) 04:57:43.20 ID:nz34QvDF 今更何周遅れの話してんだこいつら > 日本経済新聞 数学難問ABC予想、望月教授の証明の問題点「絞り込めた」 ZEN大学 http://rio2016.5ch.io/test/read.cgi/math/1781308317/360

361: １３２人目の素数さん [] 2026/07/20(月) 05:52:39.33 ID:yfXAOadu □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□ □□□□□□■□□□□□□□□□□■□□□■□□□□□□□□□□□□□□□□□□□□□□□■□□□□□□ □■■■■■■■■■■■□□■■■■■■■■■■■□□□■■■■■■■■■□□□□□□□□■□□□□□□ □□□□■□□□■□□□□□□□□■□□□■□□□□□□□□□□□□□□□□□□■■■■■■■■■■■□ □□□□□■■■□□□□□□■■■■□■□■□■□□□□□□□□□□□□□□□□□□□■□□□■□□□□ □□□□■■■■■□□□□□■□□■□■□■■■□□□□□□□□□□□□□□□□□■■■■■■■■■■□ □■■■□□□□□■■■□□■□□■■■■■■■■□□■■■■■■■■■■■□□□■□□□□□■□□□□ □□■■■■■■■■■□□□■■■■□□■□■□□□□□□□■□□■□□□□□□□■□□■■■□□□□□ □□□■■■■■■■■□□□■□□■■■■■■■■□□□□□■□□■□□□□□□□■□■□□□■■□□□ □□■■□□■□□□■□□□■■■■□■□■□■■□□□□□■□□■□□□□□□□■□□■■■□□■■□ □□■□■□■□■□■□□□■□□■■■□■□□□□□□□□■□□■□□□■□□■■□■□□□□■■□□ □□■□■□■□■■■□□□■□□■□■■■□■□□□□□■□□□■■□□■□□■□□□□■■■□□□□ □■■□□■■□□□■□□□■□■■■□■■□□■□□■■□□□□□■■■■□□■□□■■□□□□□□□ □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□ http://rio2016.5ch.io/test/read.cgi/math/1781308317/361

362: １３２人目の素数さん [] 2026/07/20(月) 05:52:54.08 ID:yfXAOadu □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□ □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□ □□□□□□□□□□□□□■□□□□□□□□□□■□□■■■□□□□□□□■□□□□□□□□□□□□□□ □□□□□□□□□□□□□■□□□□□□□□■■■□□■□■□□□□□□■■□□□□□□□□□□□□□□ □□□□□□□□□□□□□■□□□□□□□□■■■□□■□■□■□□□□■■□□□□□□□□□□□□□□ □□□□□□□□□□□□□■□□□□□□□■■□□□■□□■■■□□□□■■□□□□□□□□□□□□□□ □□□□□□□□□□□□■■■□□□□□□□□■□□□□□□□□□□□□■■□□□□□□□□□□□□□□ □□□□□□□□□□□□■□■□□□□□□■■■■■■■■■■□□□□□■■□□□□□□□□□□□□□□ □□□□□□□□□□□□■□□■□□□□□□□■□□□■□□■□□□□□■■□□□□□□□□□□□□□□ □□□□□□□□□□□■□□□■■□□□□□■■■□□■■■□□□□□□■■□□□□□■□□□□□□□□ □□□□□□□□□□■□□□□□■■□□□■□■□■□□■■□□□□□□□■□□□■■□□□□□□□□□ □□□□□□□□■■□□□□□□□■■□□■□■□□□■■■■□□□□□□■■■■■□□□□□□□□□□ □□□□□□□□□□□□□□□□□□□□□□□■□■■□□□□■□□□□□□□□□□□□□□□□□□□□ □□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□ http://rio2016.5ch.io/test/read.cgi/math/1781308317/362

363: １３２人目の素数さん [] 2026/07/20(月) 08:28:59.50 ID:OURAIP0F 『POPOPO』開発8年、川上量生が私財30億円突っ込み4ヶ月でサ終！ひろゆき 庵野秀明 GACKTが参画 [977790669] https://hayabusa9.5ch.io/test/read.cgi/news/1784245161/ http://rio2016.5ch.io/test/read.cgi/math/1781308317/363

364: １３２人目の素数さん [] 2026/07/20(月) 08:29:09.81 ID:OURAIP0F ひろゆき「POPOPOのサ終の真因は『川上さんの心が折れた』こと。川上さんにとって30億円は端金なんで金が原因ではないです」 [153736977] https://greta.5ch.io/test/read.cgi/poverty/1784421344/ http://rio2016.5ch.io/test/read.cgi/math/1781308317/364

365: １３２人目の素数さん [] 2026/07/20(月) 08:29:18.00 ID:OURAIP0F 【高市】川上「POPOPOは100億かけたけ足りなかった。1000億なら成功してた」アンチ「3兆でも無理だろ」川上「あなたがやればね」 [856698234] https://greta.5ch.io/test/read.cgi/poverty/1784435831/ http://rio2016.5ch.io/test/read.cgi/math/1781308317/365

366: １３２人目の素数さん [] 2026/07/20(月) 08:29:26.19 ID:OURAIP0F 【高市】川上「POPOPOは30億かけたけ足りなかった。1000億なら成功してた」 [856698234] https://hayabusa9.5ch.io/test/read.cgi/news/1784439417/ http://rio2016.5ch.io/test/read.cgi/math/1781308317/366

367: １３２人目の素数さん [] 2026/07/20(月) 08:40:57.28 ID: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の形式化を達成してください！ http://rio2016.5ch.io/test/read.cgi/math/1781308317/367

368: １３２人目の素数さん [] 2026/07/20(月) 09:18:23.64 ID:tXBgWMjQ 昔は日本では認められなかった理論が 外国で評価されて話題になったものだったが http://rio2016.5ch.io/test/read.cgi/math/1781308317/368

369: １３２人目の素数さん [sage] 2026/07/20(月) 15:41:06.72 ID:a0+1odGL sage http://rio2016.5ch.io/test/read.cgi/math/1781308317/369

370: １３２人目の素数さん [set] 2026/07/20(月) 16:07:32.54 ID:4Gvstadc >>367 あくまで神風が吹くことを期待する 国粋🐎🦌のSet A いとをかし http://rio2016.5ch.io/test/read.cgi/math/1781308317/370

371: １３２人目の素数さん [] 2026/07/20(月) 16:31:57.36 ID:a0+1odGL >>368 >昔は日本では認められなかった理論が >外国で評価されて話題になったものだったが ID:tXBgWMjQ は、御大か 巡回とレスありがとうございます 企業では、SONYが有名ですね 江崎 玲於奈さんは、ノーベル賞 http://rio2016.5ch.io/test/read.cgi/math/1781308317/371

372: １３２人目の素数さん [] 2026/07/20(月) 16:33:38.50 ID:a0+1odGL >>371 追加 (参考) ja.wikipedia.org SONYの歴史 ja.wikipedia.org 江崎 玲於奈（1925年〈大正14年〉3月12日[1] - ） 1973年（昭和48年）、トンネル効果の研究に関連して、ジョゼフソンとともにノーベル物理学賞を受賞 1956年、東京通信工業株式会社（現在のSONY）に移籍する http://rio2016.5ch.io/test/read.cgi/math/1781308317/372

373: １３２人目の素数さん [sage] 2026/07/20(月) 16:38:59.65 ID:mnKr1/Da 江崎グリコ http://rio2016.5ch.io/test/read.cgi/math/1781308317/373

374: １３２人目の素数さん [] 2026/07/20(月) 17:16:39.97 ID: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 http://rio2016.5ch.io/test/read.cgi/math/1781308317/374

375: １３２人目の素数さん [] 2026/07/20(月) 17:31:24.80 ID:4Gvstadc 発●するSet A おだいじに http://rio2016.5ch.io/test/read.cgi/math/1781308317/375

376: １３２人目の素数さん [sage] 2026/07/20(月) 18:19:13.89 ID:AtZID/Oc IUT擁護派おじさんが発狂コピペしててワラタw 【数学】「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告 [すらいむ★] https://egg.5ch.io/test/read.cgi/scienceplus/1784298129/ http://rio2016.5ch.io/test/read.cgi/math/1781308317/376

377: １３２人目の素数さん [] 2026/07/20(月) 20:07:06.13 ID: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 理論について説明してくださった山下剛先生 に, そして, そのセミナーを共に乗り切りそこでの数々の議論にお付き合いくださった玉 川安騎男先生, 松本眞先生に感謝申し上げます. そして, 本稿に対していくつもの有益な 指摘をくださった安田正大先生と査読者の方に感謝申し上げます. 田口雄一郎先生にお礼申し上げます. http://rio2016.5ch.io/test/read.cgi/math/1781308317/377

378: １３２人目の素数さん [] 2026/07/20(月) 20:19:02.92 ID: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 ページ http://rio2016.5ch.io/test/read.cgi/math/1781308317/378

379: １３２人目の素数さん [] 2026/07/20(月) 20:49:13.16 ID:uqomNNcQ Q.まったく価値のない持論を何度も繰り返すのは病気ですか？ A.何度も同じ持論を繰り返されると、聞く方も疲れてしまい、「何か病気なのだろうか」と疑問に思うのは当然のことです。結論から言うと、単に本人の性格やコミュニケーションの癖である場合が多いですが、背景に脳の病気や精神疾患が隠れている可能性もあります。 http://rio2016.5ch.io/test/read.cgi/math/1781308317/379

380: １３２人目の素数さん [sage] 2026/07/20(月) 22:23:56.77 ID:AtZID/Oc IUT擁護派おじさんついにバックレるの巻 👇 157 名無しのひみつ 2026/07/20(月) 20:08:24.06 ID:jDVnUfx7 そもそも査読は、論文としての体裁が整ってるかどうかって判定にしか機能してねー、どころか、体裁が整ってても査読者の気に入らない 結果だと、屁理屈つけられて落ちる ってか、査読システムが全く機能してねーのに、査読論文数とか被引用数で研究業績評価するから、世の中は屑論文であふれてるわけな https://egg.5ch.io/test/read.cgi/scienceplus/1784298129/157 http://rio2016.5ch.io/test/read.cgi/math/1781308317/380

381: １３２人目の素数さん [sage] 2026/07/20(月) 22:24:34.07 ID:AtZID/Oc 論破されてコピペで精神分裂投稿連打でクソ漏らし IUT仕草でございますw http://rio2016.5ch.io/test/read.cgi/math/1781308317/381

382: １３２人目の素数さん [] 2026/07/20(月) 22:35:07.51 ID:B6WVrHSM ですね http://rio2016.5ch.io/test/read.cgi/math/1781308317/382

383: １３２人目の素数さん [] 2026/07/21(火) 11:09:31.51 ID:oOVYpKSk >>379-382 ばかか、こいつらｗ　（＾＾ １） >Q.まったく価値のない持論を何度も繰り返すのは病気ですか？ 「まったく価値のない持論」については そこ 数学的には 強すぎるので 証明できないよ その命題は ”まったく”は、少しでも価値があれば 命題は否定される よって その主張は主観にすぎない！！ｗｗ ２） >IUT擁護派おじさんついにバックレるの巻 意味わからんけど？ｗ その人は おれとは別人だよ 他人が何をいおうが 言論は自由だし おれとは無関係ｗ ３） >論破されてコピペで精神分裂投稿連打でクソ漏らし 意味わからんけど？ｗ プロ数学者の数論最先端のABC予想証明論文の成否が ここ場末の５ｃｈ数学便所板のロンパ合戦で決まるとでも？ おまえはバカか おいおいおいｗｗｗ ４） >ですね 言語障害の”ですね人”ですか？ｗ http://rio2016.5ch.io/test/read.cgi/math/1781308317/383

384: １３２人目の素数さん [sage] 2026/07/21(火) 11:11:43.16 ID:5xceQTWC あい、とぅいまてんw http://rio2016.5ch.io/test/read.cgi/math/1781308317/384

385: １３２人目の素数さん [] 2026/07/21(火) 11:26:53.63 ID:9lPB4r8c また他人が馬鹿に見える病の発作か やばいね http://rio2016.5ch.io/test/read.cgi/math/1781308317/385

386: １３２人目の素数さん [sage] 2026/07/21(火) 11:33:58.44 ID:5xceQTWC 🐴🦌に見えるよね、とぅいまてんw http://rio2016.5ch.io/test/read.cgi/math/1781308317/386

387: １３２人目の素数さん [sage] 2026/07/21(火) 12:56:08.39 ID:B/i3Ot9C IUT擁護派のキチガイ精神分裂ショータイムw http://rio2016.5ch.io/test/read.cgi/math/1781308317/387

388: １３２人目の素数さん [sage] 2026/07/21(火) 14:11:13.66 ID:+/6+R6XN 「問題点は、q-pilot対数的体積の二つの計算が「tautologicalに同値」とされている点」 このギャップが最初からまったく埋められず、自明と吠えまくる●違い著者 http://rio2016.5ch.io/test/read.cgi/math/1781308317/388

389: １３２人目の素数さん [sage] 2026/07/21(火) 14:12:08.27 ID:+/6+R6XN 「意味わからんけど？」 大学１年の微積と線形代数で落第した高卒には無理 http://rio2016.5ch.io/test/read.cgi/math/1781308317/389

390: １３２人目の素数さん [sage] 2026/07/21(火) 14:13:27.03 ID:+/6+R6XN 結論 大学１年の数学で落ちこぼれた国粋高卒が 外国人を異常に嫌う●違い数学者に全てを賭けた結果 スッテンテンになる http://rio2016.5ch.io/test/read.cgi/math/1781308317/390

391: １３２人目の素数さん [sage] 2026/07/21(火) 14:15:01.32 ID:5xceQTWC ヤッチンチン ドドスコLOVE注入 http://rio2016.5ch.io/test/read.cgi/math/1781308317/391

392: １３２人目の素数さん [] 2026/07/21(火) 16:50:27.34 ID:oOVYpKSk >>384-391 面白いやつらだね バカがいるｗｗ >また他人が馬鹿に見える病の発作か いやいや おまえは「馬鹿に見える」ぞ そもそも IUTのスレを分けているだろ？ それ 知らないのか？ ”場合分け”が分からない？ 中学校の数学で習うだろ？ｗ Interuniversal geometry とABC 予想61 と Inter-universal geometryとABC予想(シン応援スレ) 92 とだ ここ応援スレに来て アンチが アホなことほざいたら バカにされて当然さｗ　（＾＾ >このギャップが最初からまったく埋められず、自明と吠えまくる●違い著者 そのギャップなるものは Lean形式化におけるギャップだろ？ ”最初から”の表現がおかしい ”最初”の定義は なんだ？ おれの認識は、Lean形式化開始以降 先日の中間報告の7月17日までのどこかだが まあ、歴史的に数学の証明とは そうしたものさ ギャップが 第三者から指摘されて そのギャップが埋められた例は沢山ある >外国人を異常に嫌う●違い数学者に全てを賭けた結果 発狂してる？ どこの誰が賭けをしているんだ？ 脳みそ ついているか おまえ？ｗｗｗ http://rio2016.5ch.io/test/read.cgi/math/1781308317/392

393: １３２人目の素数さん [] 2026/07/21(火) 17:03:31.50 ID:diu0Idzx （自分の世界に閉じこもりたくて堪らないようです） http://rio2016.5ch.io/test/read.cgi/math/1781308317/393

394: １３２人目の素数さん [sage] 2026/07/21(火) 17:29:12.39 ID:CSFPuf3w 楽しくないんご http://rio2016.5ch.io/test/read.cgi/math/1781308317/394

395: １３２人目の素数さん [sage] 2026/07/21(火) 17:29:35.63 ID:CSFPuf3w 楽しんごじゃないw http://rio2016.5ch.io/test/read.cgi/math/1781308317/395

396: １３２人目の素数さん [sage] 2026/07/21(火) 17:55:58.94 ID:B/i3Ot9C >>392 ほら 発狂中じゃん 文章まとめてまともな反論すれば？ 知能低すぎてできないんだろうけど http://rio2016.5ch.io/test/read.cgi/math/1781308317/396

397: １３２人目の素数さん [] 2026/07/21(火) 17:56:04.47 ID: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形式化の発表でギャップ見つかった もうダメだぁ〜！！！」でもいいぜｗ 正直に、正確に書いてもらえれば良い 情報をまってますよ http://rio2016.5ch.io/test/read.cgi/math/1781308317/397

398: １３２人目の素数さん [sage] 2026/07/21(火) 18:11:38.75 ID:CSFPuf3w 私にアンカーを付けられてもねぇw 踊って注入しかできないンゴw http://rio2016.5ch.io/test/read.cgi/math/1781308317/398

399: １３２人目の素数さん [] 2026/07/21(火) 18:23:28.03 ID:diu0Idzx （IUT擁護派の世界は崩れ落ちたのにね） http://rio2016.5ch.io/test/read.cgi/math/1781308317/399

400: １３２人目の素数さん [] 2026/07/21(火) 18:55:57.06 ID:9lPB4r8c >ああ Lean形式化の発表でギャップ見つかった話？ ギャップ埋めればいいだけでしょ？ ああ リーマン予想は未証明って話？ 証明すればいいだけでしょ？ http://rio2016.5ch.io/test/read.cgi/math/1781308317/400

401: １３２人目の素数さん [sage] 2026/07/21(火) 19:38:00.59 ID:B/i3Ot9C >>398 ワラタ http://rio2016.5ch.io/test/read.cgi/math/1781308317/401

402: １３２人目の素数さん [] 2026/07/21(火) 19:56:45.91 ID:2GPRU5Zx >>400 ですね http://rio2016.5ch.io/test/read.cgi/math/1781308317/402

403: １３２人目の素数さん [] 2026/07/21(火) 19:59:07.92 ID:1oLhTN1K ギャップを埋めるために、まずは公理をいじってIUTが正しいとしようぜ http://rio2016.5ch.io/test/read.cgi/math/1781308317/403

404: １３２人目の素数さん [] 2026/07/21(火) 20:07:34.83 ID:2GPRU5Zx それで「自明」になる訳ですね http://rio2016.5ch.io/test/read.cgi/math/1781308317/404

405: １３２人目の素数さん [] 2026/07/21(火) 23:47:52.38 ID: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)を与えた http://rio2016.5ch.io/test/read.cgi/math/1781308317/405

406: １３２人目の素数さん [] 2026/07/22(水) 00:01:30.43 ID:u5VrSqGL Q.まったく価値のない持論を何度も繰り返すのは病気ですか？ A.何度も同じ持論を繰り返されると、聞く方も疲れてしまい、「何か病気なのだろうか」と疑問に思うのは当然のことです。結論から言うと、単に本人の性格やコミュニケーションの癖である場合が多いですが、背景に脳の病気や精神疾患が隠れている可能性もあります。 http://rio2016.5ch.io/test/read.cgi/math/1781308317/406

407: １３２人目の素数さん [sage] 2026/07/22(水) 00:22:17.25 ID:V9GWtChn フェルマーの最終定理の証明は最後のギャップが埋まらなかったとしてもそこ以外は価値のあるものだったが IUTは3.11→3.12のギャップが埋まらなければ全体が完全に無価値なんですよね http://rio2016.5ch.io/test/read.cgi/math/1781308317/407

408: １３２人目の素数さん [sage] 2026/07/22(水) 01:19:26.08 ID:Zr/Df7zJ >>407 はい http://rio2016.5ch.io/test/read.cgi/math/1781308317/408

409: １３２人目の素数さん [] 2026/07/22(水) 05:12:48.31 ID:mVv9Tn8+ jinは頭の病気 統合失調症 http://rio2016.5ch.io/test/read.cgi/math/1781308317/409

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.020s