26/07/19 10:16:22.26 tZJSVLSb.net
>そして、望月IUTのギャップが 果たして 望月一派の努力で埋められて Leanに乗せられるのか？
>請う ご期待！
期待しても無駄。
IUT理解者のはずの星が1年以上かかって埋められなかったということはまったくの白紙ということ。同じく白紙の他の難問たちと同じ立ち位置ということ。
294:１３２人目の素数さん
26/07/19 10:18:10.33 ZTSfMBBa.net
その中の中核的な等式については
説明可能らしい
ヨーロッパのあちこちの大学で
それについての講演がされているようだ
295:１３２人目の素数さん
26/07/19 10:19:18.50 ZTSfMBBa.net
サテライト集会はあちこちで
始まっている
296:１３２人目の素数さん
26/07/19 10:23:23.42 v4Jkb0Zv.net
>>293
もう8年ですよ
ss論文から
297:１３２人目の素数さん
26/07/19 10:29:24.31 S1PMNEss.net
>>295
具体例はw
キチガイ妄想ワラタ
298:１３２人目の素数さん
26/07/19 10:36:18.82 ZTSfMBBa.net
>>297
ラトガース大学で
日本からは
K池とK↓部が
出席
299:１３２人目の素数さん
26/07/19 10:37:13.31 ZTSfMBBa.net
ICMのサテライト
300:１３２人目の素数さん
26/07/19 10:47:07.75 tZJSVLSb.net
>>296
>>277
君、字読めない？
301:１３２人目の素数さん
26/07/19 11:12:45.95 nUKgsSja.net
>>294-295 >>298
ID:ZTSfMBBa は、御大か
巡回ありがとうございます
コメントありがとうございます
なるほど・・・
”その中の中核的な等式については
説明可能らしい
ヨーロッパのあちこちの大学で
それについての講演がされているようだ”
”サテライト集会はあちこちで
始まっている”
O-竹腰拡張定理に、いろいろ別証明が考えられたごとく
IUT 3.12にも、別証明がある可能性もあるし
IUT 3.12 を経由しない、IUT IVへの別ルートが見つかるかもしれないし
さらには、いまのLean化で見つかった 3.12へ至るルートでの
ミッシングリングが見つかるかも知れない
そういうことですね
請うご期待ですね
302:１３２人目の素数さん
26/07/19 11:14:01.23 S1PMNEss.net
>>298
あちこちとは？w
303:１３２人目の素数さん
26/07/19 11:14:31.95 S1PMNEss.net
1=たくさんIUT
304:１３２人目の素数さん
26/07/19 11:15:22.20 S1PMNEss.net
>>300
その遠吠えは痛いw
反論できずにクソ漏らしw
まさにIUT
305:１３２人目の素数さん
26/07/19 11:15:22.52 tZJSVLSb.net
擁護派「ABC予想の証明はありまぁす」
306:１３２人目の素数さん
26/07/19 11:16:52.75 nUKgsSja.net
>>301 タイポ訂正
さらには、いまのLean化で見つかった 3.12へ至るルートでの
↓
さらには、いまのLean化で見つかった 3.12へ至るルートでのギャップについて
面白くなってきましたね （＾＾
307:１３２人目の素数さん
26/07/19 11:18:32.95 S1PMNEss.net
>>306
全体ゴミなのにタイポくらい気にするなよ
まずは統合失調系の文章をまとめろ
お前はまずそこから始めろ
308:１３２人目の素数さん
26/07/19 11:19:11.26 S1PMNEss.net
IUTがredditでボコボコにされてるのに
何も言い返せず愚か者だとか遠吠えしちゃうIUTgtrおじさんw
このスレのおっさんとそっくりw
309:１３２人目の素数さん
26/07/19 11:19:55.89 tZJSVLSb.net
>面白くなってきましたね （＾＾
ギャップが明確になり埋める見通しは皆無と宣言されたことが？
310:１３２人目の素数さん
26/07/19 11:20:22.51 tZJSVLSb.net
>全体ゴミなのにタイポくらい気にするなよ
それなｗ
311:１３２人目の素数さん
26/07/19 11:20:40.97 S1PMNEss.net
ここで喚いてるIUT擁護派は何でredditとかnot even wrongに突入しないの？
まあここでタコ殴りにされてんだから外じゃ無理だわな
312:１３２人目の素数さん
26/07/19 11:29:07.07 S1PMNEss.net
さすがに京大にせかされてイヤイヤ動き始めたんかね
313:１３２人目の素数さん
26/07/19 11:32:05.65 S1PMNEss.net
Xとかここにいる攻撃的なIUT擁護派が
日本向けの日本語だけで宣伝してんのが謎なんだよな
まあ日本で税金吸えりゃいいかみたいな動機で動員されてるなら納得
314:１３２人目の素数さん
26/07/19 12:23:44.35 N8CYLd3Y.net
もっちーがハーバードで講師をしていたとき、ケドラヤもハーバード大にいた?
315:１３２人目の素数さん
26/07/19 13:19:05.30 nUKgsSja.net
>>308-313
>IUTがredditでボコボコにされてるのに
それは 所詮場外乱闘でしかない
redditで 勝った負けたは、関係ない
一方 >>294-295 >>298の
ID:ZTSfMBBa 御大の
プロ数学者での情報
これは、なるほどですな
”その中の中核的な等式については
説明可能らしい
ヨーロッパのあちこちの大学で
それについての講演がされているようだ”
”サテライト集会はあちこちで
始まっている”な これは貴重な情報だ
(参考)
URLﾘﾝｸ(domani.shogakukan.co.jp)
Domani 2025.11.17
「一葉落ちて天下の秋を知る」の意味と使い方｜大きな流れを見極める感性
中国古典『淮南子』に由来
>Xとかここにいる攻撃的なIUT擁護派が
>日本向けの日本語だけで宣伝してんのが謎なんだよな
数学においては、だれか政治家がやったような 中傷動画だけでは勝負は決まらない
下記のRiemannのRiemann面の話が歴史の教訓だ
Dirichlet の原理による Riemannの議論は、厳密性を欠いて批判されたが
後世 抽象代数学や位相幾何学（多様体もか）が整備され 天才Riemannの名声は さらに上がった
しばしまて、慌てる乞食は貰いが少ない
(参考)
URLﾘﾝｸ(rio2016.5ch.io)
URLﾘﾝｸ(www.iwanami.co.jp)
代数函数論 岩波
岩澤健吉 著 刊行日2019/07/26
＜試し読み＞
URLﾘﾝｸ(www.iwanami.co.jp)
緒言
かくのごとくRiemannはRiemann面という幾何学的な像を用いて，従来とかく理解しにくかった多くの事柄に明快な解答を与えたが，しかしRiemannにおいて最も重要なのは，与えられた代数函数からRiemann面を構成したということではなくて（それは例えばWeierstrassのalgebraisches Gebildeによってもある程度達せられている），逆に彼がRiemann面を基礎としてそこから彼のすべての理論，とくに代数函数の存在を導いたという点にある．すなわちRiemannは代数函数とは独立に任意の閉Riemann面Rを考察し，
Dirichlet の原理によりRの任意の点において与えられた特異性を有する微分（あるいは調和函数）の存在を証明し，それによって彼がKlasseと呼んだR上の解析函数の全体Kが今日いう代数函数体をなすことを示した．
Dirichlet の原理によりRの任意の点において与えられた特異性を有する微分（あるいは調和函数）の存在を証明し，それによって彼がKlasseと呼んだR上の解析函数の全体Kが今日いう代数函数体をなすことを示した．
Riemann は更にAbel積分を精密に考察して，後にRochによって補充されたいわゆるRiemann-Rochの定理を証明し，また一般のtheta函数を定義してJacobiのUmkehrproblemを完全に解決した．このように我々はRiemann において今日の古典的代数函数論が事実上ほとんど完成されていることを見るのである．しかしながら現在の我々の立場から見てRiemannの叙述が種々の点で厳密性を欠いていることはやむを得ない．抽象代数学も位相幾何学も未だ生れていなかった当時のことを思えばこれはむしろ当然であろう．
316:１３２人目の素数さん
26/07/19 13:23:19.03 S1PMNEss.net
まーたコピペか
命題もない
根拠もない
ただのクソ漏らし精神障害w
317:１３２人目の素数さん
26/07/19 13:27:07.31 QD0XrQAK.net
LEANでどこに証明が不足してるのかが分かったとして、
そもそもIUTは直感的に正しいと信じていた連中はこの長い期間を通して
IUTの正しさについてより精緻な理解を深められたんだろうか？
あまり楽観的なムードは感じないんだが
318:１３２人目の素数さん
26/07/19 13:51:17.23 vLR4xaTQ.net
>>317
それ聞いてみたいですね
星さんと玉川さんと加藤さんとにかな
あと
フェセンコって人はどんな反応をしたのかな
319:１３２人目の素数さん
26/07/19 14:34:18.44 tZJSVLSb.net
>>315
>redditで 勝った負けたは、関係ない
じゃあLANAでギャップが明確化され解決の見通しは皆無と宣言されたことは？
320:１３２人目の素数さん
26/07/19 14:41:10.66 tZJSVLSb.net
加藤は正しいと信じてたん？
金曜の様子だと正しさには執着してない感じだったけど、宗旨替えしたってことかな？
321:１３２人目の素数さん
26/07/19 14:41:14.35 S1PMNEss.net
>>315
ここは外野ではw
322:１３２人目の素数さん
26/07/19 15:04:44.00 qM9zcg/w.net
あいつはIUTは金儲けの種の一つくらいにしか思ってないだろ
それくらい下品でゲスな人間
323:１３２人目の素数さん
26/07/19 15:27:14.72 N8CYLd3Y.net
将棋のプロの山下氏は生まれがノッティンガム。
父上のゴーさんがフェセンコのところでポスドクだったからか。
J. Stixもフェセンコのところでポスドクだった？
324:１３２人目の素数さん
26/07/19 15:31:40.08 qM9zcg/w.net
フェセンコもどこまで貢献があるか知らんけど
一応フィールズ賞取る弟子までいたのに
ずいぶん落魄れたもんだね
325:１３２人目の素数さん
26/07/19 17:11:30.89 nUKgsSja.net
>>321
>ここは外野ではw
ここは 天下のメモ帳だ
が、たまにプロ数学者の巡回があって
プロ数学界情報を書いてくれる
戦線を拡大しすぎても よろしくないだろうさ
326:１３２人目の素数さん
26/07/19 17:17:33.37 nUKgsSja.net
>>325
”古池や蛙飛びこむ水の音”
いま、LEANプロジェクトから 一石投げられ
波紋が広がっている
それを 注目していれば良い
これから、いろいろ動きがあるだろうから
URLﾘﾝｸ(ja.wikipedia.org)
古池や蛙飛びこむ水の音
327:１３２人目の素数さん
26/07/19 17:33:05.48 nUKgsSja.net
>>326
＜波紋の一つ＞
URLﾘﾝｸ(zen.ac.jp)
2026/07/17
プレスリリース
IUT理論のコンピューターによる検証を目指す LANAプロジェクト、「Project LANA Interim Report on IUT Theory」を公開
——現時点での評価、残された課題、Scholze–Stix報告書との関係を報告
公開文書「Project LANA Interim Report on IUT Theory」概要
この報告書は、LANAプロジェクトがこれまで進めてきたIUT理論の検証作業について、現時点での到達点と今後の課題をまとめた中間報告です。まず、IUT理論が発表されて以降の経緯と、それをめぐる議論の流れを整理し、LANAプロジェクトがどのような立場から検証を進めてきたのかを説明します。そのうえで、少なくとも多くのプロジェクトメンバーにとって、IUT理論の第3論文の、定理3.11から系3.12を導く過程に不明瞭な点があることを指摘します。
問題点は、q-pilot対数的体積の二つの計算が「tautologicalに同値」とされている点、あるいは、アルゴリズムの出力から得られる複数の可能なデータのうちの一つが、入力から定まるデータとどのように同一視されるのか、といった点について、IUT理論の原論文の記述は明瞭に追跡可能とは言えないという点にあります。報告書は、2018年のScholze–Stix報告との関係にも触れつつ、IUT理論の正否について最終判断を急がず、論点を整理し、今後の研究、国際的議論、形式化作業の基盤を示すことを目指すと述べています。
報告書全文 ▶
URLﾘﾝｸ(github.com)
Contents
0. Introduction
1. Basic ideas of IUT theory
2. Overview of initial Θ-data
3. Local GM-data and log-shells
4. BPS and ´etale Hodge theater
5. Volume container and log-links
6. Multiradial algorithm
7. Θ-link and the big-H diagram
8. On the logic from theorem 3.11 to corollary 3.12
9. Points to be clarified
10. An examination of Scholze-Stix document References
IUT理論検証の現状と今後の見通し
数学的なギャップが存在する可能性は排除していませんが、それが本当にギャップであるのか、それともまだLANAプロジェクトメンバーの理解が十分に深まっていないことに由来するのかについては、最終的な判断を保留しています。
今後、LANAプロジェクトは、残された論点のさらなる精密化を進め、最終的にはLeanコードへ翻訳できる形に整えていきます。
LANAプロジェクトについて
本プロジェクトは、準備期間を含めると2023年秋から活動を開始し、2024年9月から本格的に始動しました。ZMCは、特定の立場に偏ることなく中立的な視点を保ちながら、IUT理論を形式化可能な形に整え、論点を明確化し、最終的には形式化することを目指しています。
328:１３２人目の素数さん
26/07/19 17:37:28.17 tZJSVLSb.net
馬鹿が何言ってんだか
329:１３２人目の素数さん
26/07/19 17:42:37.69 dIige2Ai.net
>>318
加藤はこのプロジェクト発足のコメントを読んでも
当時は既に疑ってたはず
星も昨年末には形式化は無理だと考えていただろう
330:１３２人目の素数さん
26/07/19 17:43:13.09 PUqsP0tr.net
>>319
LANAは解決できないと断言したわけではないが
331:１３２人目の素数さん
26/07/19 17:44:34.75 PUqsP0tr.net
>>329
星も望月も山下もYangも今形式化に取り組み始めてると報告されてたよ
形式化出来ないとは考えてないと思うよ
332:１３２人目の素数さん
26/07/19 17:54:40.59 S1PMNEss.net
>>325
IUT擁護派はすぐダブルスタンダードでクソ漏らすからな
ほんとテメエで何描いてるかわからないゴミw
333:１３２人目の素数さん
26/07/19 17:55:15.12 S1PMNEss.net
ID:nUKgsSja
すぐ自己矛盾するキチガイ哀れ
334:１３２人目の素数さん
26/07/19 18:15:58.11 nUKgsSja.net
>>327 補足
>報告書全文 ▶
>URLﾘﾝｸ(github.com)
>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:１３２人目の素数さん
26/07/19 18:46:21.15 tZJSVLSb.net
>>330
誰もそんなこと言ってないけど君、幻覚でも見えるの？
336:１３２人目の素数さん
26/07/19 18:47:11.52 dIige2Ai.net
>>334
手順がないものをalgorithmと呼ぶ時点で狂ってたな
337:１３２人目の素数さん
26/07/19 18:47:56.42 dIige2Ai.net
>>331
えー
338:１３２人目の素数さん
26/07/19 18:51:11.36 tZJSVLSb.net
>>334
読めないのに無理しなくていいよ
339:１３２人目の素数さん
26/07/19 18:52:06.21 nUKgsSja.net
転載：ID:dythpcIC さん、ありがと
URLﾘﾝｸ(rio2016.5ch.io)
2026/07/17(金) 14:18:47.39 ID:dythpcIC
LANAプロジェクトに一定の敬意を払いつつも
逃げ腰でLEANの公開なしってのは流石にどうかと思ったから俺のOpus4.8とFable5で作った
プロトタイプ、スケルトン、未完成、言い方は何でも良いが公開しとくわ
コメントはほぼ日本語なんで海外勢向けではないがな
まぁAIに読み込ませてコメント英語化するとか容易だろうし許せ
URLﾘﾝｸ(github.com)
Opus4.8とFable5で作ったIUTの形式化
340:１３２人目の素数さん
26/07/19 19:03:51.70 S1PMNEss.net
まーたコピペIUT仕草でクソ漏らし始めたw
論破されるとすぐこれだからなあIUT擁護派って
341:１３２人目の素数さん
26/07/19 19:19:24.90 /OKcu5l/.net
Set Aは四年前は
”2026年のICMでは、望月新一がABC予想解決で招待講演する”
とかフカしてたが、今はとてもそんな状況ではないと観念したはず
もう負け犬の遠吠えはやめとけ
工学部卒の数学素人が何を言っても無駄
342:１３２人目の素数さん
26/07/19 19:21:44.36 /OKcu5l/.net
＞問題点は、q-pilot対数的体積の二つの計算が「tautologicalに同値」とされている点
これを望月新一予想と名付けると、まだ誰にも証明されてない、ということか
343:１３２人目の素数さん
26/07/19 19:24:25.52 mRLH3SpR.net
沖のカモメにふかしイモ取られて、ツイてね～♪
344:１３２人目の素数さん
26/07/19 19:35:34.21 dIige2Ai.net
>>342
@FumiharuKato 7月7日
数学においてもっとも深遠でもっとも危険な概念は「等しい」ということだ。ふたつの抽象的構造を等号で結ぶことだ。
345:１３２人目の素数さん
26/07/19 19:35:49.14 SacczO1f.net
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■□■■■■■■■■■■□■■■□■■■■■■■■■■■■■■■■■■■■■■■□■■■■■■
■□□□□□□□□□□□■■□□□□□□□□□□□■■■□□□□□□□□□■■■■■■■■□■■■■■■
■■■■□■■■□■■■■■■■■□■■■□■■■■■■■■■■■■■■■■■■□□□□□□□□□□□■
■■■■■□□□■■■■■■□□□□■□■□■□■■■■■■■■■■■■■■■■■■■□■■■□■■■■
■■■■□□□□□■■■■■□■■□■□■□□□■■■■■■■■■■■■■■■■■□□□□□□□□□□■
■□□□■■■■■□□□■■□■■□□□□□□□□■■□□□□□□□□□□□■■■□■■■■■□■■■■
■■□□□□□□□□□■■■□□□□■■□■□■■■■■■■□■■□■■■■■■■□■■□□□■■■■■
■■■□□□□□□□□■■■□■■□□□□□□□□■■■■■□■■□■■■■■■■□■□■■■□□■■■
■■□□■■□■■■□■■■□□□□■□■□■□□■■■■■□■■□■■■■■■■□■■□□□■■□□■
■■□■□■□■□■□■■■□■■□□□■□■■■■■■■■□■■□■■■□■■□□■□■■■■□□■■
■■□■□■□■□□□■■■□■■□■□□□■□■■■■■□■■■□□■■□■■□■■■■□□□■■■■
■□□■■□□■■■□■■■□■□□□■□□■■□■■□□■■■■■□□□□■■□■■□□■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
346:１３２人目の素数さん
26/07/19 19:36:11.55 SacczO1f.net
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■■■■□■■□□□■■■■■■■□■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■■□□□■■□■□■■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■■□□□■■□■□■□■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■■□■■■■■■■□□■■■□■■□□□■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■□□□■■■■■■■■□■■■■■■■■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■□■□■■■■■■□□□□□□□□□□■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■■□■■□■■■■■■■□■■■□■■□■■■■■□□■■■■■■■■■■■■■■
■■■■■■■■■■■□■■■□□■■■■■□□□■■□□□■■■■■■□□■■■■■□■■■■■■■■
■■■■■■■■■■□■■■■■□□■■■□■□■□■■□□■■■■■■■□■■■□□■■■■■■■■■
■■■■■■■■□□■■■■■■■□□■■□■□■■■□□□□■■■■■■□□□□□■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■□■□□■■■■□■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
347:１３２人目の素数さん
26/07/19 20:17:39.80 S1PMNEss.net
>>344
そういうのって
「すげえ危険なことやってんだぜえー」
みたいな幼稚なレトリックだよ
加藤とかガチで幼稚だろ
文章も汚ねえし
348:１３２人目の素数さん
26/07/19 20:27:31.97 dIige2Ai.net
>>347
単発で見るとレトリックっぽいが
実際には非常に具体的な望月のミスった箇所の指摘なんだよ
望月への配慮から事例として上げてないが
349:１３２人目の素数さん
26/07/19 20:39:35.57 nUKgsSja.net
>>341
>Set Aは四年前は
>”2026年のICMでは、望月新一がABC予想解決で招待講演する”
>とかフカしてたが、今はとてもそんな状況ではないと観念したはず
まあ、そう慌てるな
慌てる乞食は貰いが少ない
たしかに、2026年望月新一がABC予想解決で招待講演が無いことは
半年以上前に分っていたことだ
が、今後(2030)がどうなるか？ 神のみぞ知る
要するに いまのLean 証明に乗せればいいだけでしょ
頑張れ 望月一派！ｗ
おっと、2030は日本かもねｗ
はてさて、どうなるか？（＾＾
(参考)
URLﾘﾝｸ(www.mathsoc.jp)
一般社団法人 日本数学会
ICM2030招致委員会
350:１３２人目の素数さん
26/07/19 20:56:52.61 vLR4xaTQ.net
遠アーベル自体がなんか変な分野なんだよな
そこにさらにF1の絶対数学とか眉唾なものが
351:１３２人目の素数さん
26/07/19 21:17:08.81 /UFaYt6V.net
>>349
慌て始めてるのがIUTじゃん
メクラw
352:１３２人目の素数さん
26/07/19 21:17:29.94 /UFaYt6V.net
コピペ爺さんまじやべえな
文盲じゃね
353:１３２人目の素数さん
26/07/19 21:33:22.82 nUKgsSja.net
>>334 追加
望月一派に捧ぐ
下記”チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ』”
頑張ってください
ICM2030日本開催をめざして
URLﾘﾝｸ(www.gravityofdivine.com)
The Gravity of Divine
チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ。』
20260511
目次
運営者の考察
補助的分析（AIによる語彙・背景・正確性の中立整理）
一般的な解釈
翻訳注意・文化的留意点
出典・原典情報
関連する黄金律
同じ人物の名言一覧
私はかつて、『掃除が出来ない人』だったが、今は『掃除の人』である。掃除を甘く見てはいけない。理路整然とした思慮を持つためには、整理整頓された部屋が望ましい。部屋が汚れた人間の思慮は甘く、物事に未練がましく、先延ばしにする傾向があり、射幸的で、主体性を失いがちになる。つまり、『放っておいても誰かが何とかしてくれる』という甘えが、骨の髄にまで浸透してしまう可能性があるのだ。私がそうだった。そして、私の部下が現在進行形でそうだ。
掃除をしたり、計画を立てて旅行したり、仕事を企画して進めたり。これらは全て、建設的な人生の役に立つ『修行（トレーニング）』だと思った方が良い。企画し、計画し、どこから手を付ければいいかを理解するようになれば、もう、歩くべき道への『はじめの一歩』を踏み出したのと同じだ。
このように、『計画』を立てることさえできれば、後は『それを遂行するだけ』になる。チャールズ・ケタリングの言う様に、それだけでもう、半分が解決するのだ。
名言提示（再掲）
チャールズ・ケタリング『問題をきちんと述べられれば、半分は解決したようなものだ。』
この言葉は、「問題の本質を正確に定義することこそ、解決への第一歩であり、実際の解決作業の半分に相当するほど重要である」という意味を持っています。
354:１３２人目の素数さん
26/07/19 21:45:52.69 vLR4xaTQ.net
（正確に定義できてないから検証に乗せられないのにね）
355:１３２人目の素数さん
26/07/19 22:02:33.12 /UFaYt6V.net
半分w
356:１３２人目の素数さん
26/07/19 23:07:35.05 nUKgsSja.net
>>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の証明が 完成ってことだ
さて どうなるか楽しみ
357:１３２人目の素数さん
26/07/19 23:13:44.71 vLR4xaTQ.net
（つまり証明にはなってないってことね）
358:１３２人目の素数さん
26/07/20 00:40:19.84 AtZID/Oc.net
IUT擁護派はバカしかいねーからな
まず精神分裂病みたいなまとまりのない文しか書けない
集合も論理もわかってないから一投稿の内部でも矛盾する
359:１３２人目の素数さん
26/07/20 04:34:10.07 taEbqJD/.net
人格攻撃は不要
大事なのは証明の成否
360:１３２人目の素数さん
26/07/20 04:57:43.20 nz34QvDF.net
今更何周遅れの話してんだこいつら
> 日本経済新聞
数学難問ABC予想、望月教授の証明の問題点「絞り込めた」 ZEN大学
361:１３２人目の素数さん
26/07/20 05:52:39.33 yfXAOadu.net
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□■□□□□□□□□□□■□□□■□□□□□□□□□□□□□□□□□□□□□□□■□□□□□□
□■■■■■■■■■■■□□■■■■■■■■■■■□□□■■■■■■■■■□□□□□□□□■□□□□□□
□□□□■□□□■□□□□□□□□■□□□■□□□□□□□□□□□□□□□□□□■■■■■■■■■■■□
□□□□□■■■□□□□□□■■■■□■□■□■□□□□□□□□□□□□□□□□□□□■□□□■□□□□
□□□□■■■■■□□□□□■□□■□■□■■■□□□□□□□□□□□□□□□□□■■■■■■■■■■□
□■■■□□□□□■■■□□■□□■■■■■■■■□□■■■■■■■■■■■□□□■□□□□□■□□□□
□□■■■■■■■■■□□□■■■■□□■□■□□□□□□□■□□■□□□□□□□■□□■■■□□□□□
□□□■■■■■■■■□□□■□□■■■■■■■■□□□□□■□□■□□□□□□□■□■□□□■■□□□
□□■■□□■□□□■□□□■■■■□■□■□■■□□□□□■□□■□□□□□□□■□□■■■□□■■□
□□■□■□■□■□■□□□■□□■■■□■□□□□□□□□■□□■□□□■□□■■□■□□□□■■□□
□□■□■□■□■■■□□□■□□■□■■■□■□□□□□■□□□■■□□■□□■□□□□■■■□□□□
□■■□□■■□□□■□□□■□■■■□■■□□■□□■■□□□□□■■■■□□■□□■■□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
362:１３２人目の素数さん
26/07/20 05:52:54.08 yfXAOadu.net
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□□□■□□■■■□□□□□□□■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□■■■□□■□■□□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□□■■■□□■□■□■□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□□■□□□□□□□■■□□□■□□■■■□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■■■□□□□□□□□■□□□□□□□□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■□■□□□□□□■■■■■■■■■■□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□□■□□■□□□□□□□■□□□■□□■□□□□□■■□□□□□□□□□□□□□□
□□□□□□□□□□□■□□□■■□□□□□■■■□□■■■□□□□□□■■□□□□□■□□□□□□□□
□□□□□□□□□□■□□□□□■■□□□■□■□■□□■■□□□□□□□■□□□■■□□□□□□□□□
□□□□□□□□■■□□□□□□□■■□□■□■□□□■■■■□□□□□□■■■■■□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□■□■■□□□□■□□□□□□□□□□□□□□□□□□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
363:１３２人目の素数さん
26/07/20 08:28:59.50 OURAIP0F.net
『POPOPO』開発8年、川上量生が私財30億円突っ込み4ヶ月でサ終！ひろゆき 庵野秀明 GACKTが参画 [977790669]
URLﾘﾝｸ(hayabusa9.5ch.io)
364:１３２人目の素数さん
26/07/20 08:29:09.81 OURAIP0F.net
ひろゆき「POPOPOのサ終の真因は『川上さんの心が折れた』こと。川上さんにとって30億円は端金なんで金が原因ではないです」 [153736977]
URLﾘﾝｸ(greta.5ch.io)
365:１３２人目の素数さん
26/07/20 08:29:18.00 OURAIP0F.net
【高市】川上「POPOPOは100億かけたけ足りなかった。1000億なら成功してた」アンチ「3兆でも無理だろ」川上「あなたがやればね」 [856698234]
URLﾘﾝｸ(greta.5ch.io)
366:１３２人目の素数さん
26/07/20 08:29:26.19 OURAIP0F.net
【高市】川上「POPOPOは30億かけたけ足りなかった。1000億なら成功してた」 [856698234]
URLﾘﾝｸ(hayabusa9.5ch.io)
367:１３２人目の素数さん
26/07/20 08:40:57.28 a0+1odGL.net
>>334 補足
URLﾘﾝｸ(zen.ac.jp)
LANAプロジェクト
現時点での評価、残された課題、Scholze–Stix報告書との関係を報告
URLﾘﾝｸ(github.com)
公開文書「Project LANA Interim Report on IUT Theory」報告書全文 2026/07/17
抜粋
P44
URLﾘﾝｸ(i.imgur.com)
Figure 6. The η algorithm
が、キモだろう
P45
URLﾘﾝｸ(i.imgur.com)
直後の 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:１３２人目の素数さん
26/07/20 09:18:23.64 tXBgWMjQ.net
昔は日本では認められなかった理論が
外国で評価されて話題になったものだったが
369:１３２人目の素数さん
26/07/20 15:41:06.72 a0+1odGL.net
sage
370:１３２人目の素数さん
26/07/20 16:07:32.54 4Gvstadc.net
>>367
あくまで神風が吹くことを期待する
国粋🐎🦌のSet A
いとをかし
371:１３２人目の素数さん
26/07/20 16:31:57.36 a0+1odGL.net
>>368
>昔は日本では認められなかった理論が
>外国で評価されて話題になったものだったが
ID:tXBgWMjQ は、御大か
巡回とレスありがとうございます
企業では、SONYが有名ですね
江崎 玲於奈さんは、ノーベル賞
372:１３２人目の素数さん
26/07/20 16:33:38.50 a0+1odGL.net
>>371
追加
(参考)
ja.wikipedia.org
SONYの歴史
ja.wikipedia.org
江崎 玲於奈（1925年〈大正14年〉3月12日[1] - ）
1973年（昭和48年）、トンネル効果の研究に関連して、ジョゼフソンとともにノーベル物理学賞を受賞
1956年、東京通信工業株式会社（現在のSONY）に移籍する
373:１３２人目の素数さん
26/07/20 16:38:59.65 mnKr1/Da.net
江崎グリコ
374:１３２人目の素数さん
26/07/20 17:16:39.97 a0+1odGL.net
星裕一郎先生
元気ですね
頑張ってください
下記
Makoto Matsumoto AMAGAERU Institute of Free Mathematics
は、松本眞先生か
(参考)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
星 裕一郎 の ホームページ
講演
予定
・ZMC Conference 2026,
ドワンゴセミナールーム,
2026.7.21-2026.7.23.
URLﾘﾝｸ(zen.ac.jp)
・代数的整数論とその周辺 2026,
東京大学,
2026.12.7-2026.12.11.
URLﾘﾝｸ(sites.google.com)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
論文
・Tangential morphisms via log arithmetic geometry (with Makoto Matsumoto and Chikara Nakayama)
RIMS Preprint 1995 (June 2026): (PDF).
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Makoto Matsumoto AMAGAERU Institute of Free Mathematics 2-37-6 Narita-Higashi, Suginami-ku, Tokyo 166-0015 Japan
375:１３２人目の素数さん
26/07/20 17:31:24.80 4Gvstadc.net
発●するSet A
おだいじに
376:１３２人目の素数さん
26/07/20 18:19:13.89 AtZID/Oc.net
IUT擁護派おじさんが発狂コピペしててワラタw
【数学】「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告 [すらいむ★]
URLﾘﾝｸ(egg.5ch.io)
377:１３２人目の素数さん
26/07/20 20:07:06.13 a0+1odGL.net
>>375-376
つまらん
それよか 下記
ID:13yLpBZq さん >>242-245 & ID:dythpcIC さん>>339
(同一人物だが)
”Claude Opus4.8とFable5使ってIUTを1から地道に検証するプロジェクトを個人的にこの一ヶ月やってみたがFable5の言い分は以下だった
IUT理解者に対する要請部分のみを書く”
と ”LEANの公開”
いまどきのAI使った 世間のアマ数学者個人の仕事が
すごいねと思ったよ
IUTの専門家でもなく たった一人でもって
しかも、たった 一ヶ月で こんなことがやれるんだと
それに 感心した次第だ
あと、>>367にあるが
URLﾘﾝｸ(zen.ac.jp)
LANAプロジェクト
現時点での評価、残された課題、Scholze–Stix報告書との関係を報告
URLﾘﾝｸ(github.com)
公開文書「Project LANA Interim Report on IUT Theory」報告書全文 2026/07/17
ここは
数学史上 しばしばあるが
”自明”とされていたことが、その実 要証明とされることは ある
すでに例示したが >>264 ジョルダン曲線定理
ガウスが 彼の学位論文 代数学の基本定理証明で使った
学位論文だから、当然 これを審査した数学者も”自明”で流したのだろうが
後に 要証明だとされた
が、これも しばしばあるが、
”自明”されたことが 結局後世に キチンと証明されることは多い
（勿論、反例が見つかることもあるが、それはそれ）
今回も、望月IUT論文について 今回のLean形式化出来なかった部分を自明視して
IUT論文を肯定した数学者多数いた
その代表格が 玉川安騎男先生だろう
それ以外にも >>374 Makoto Matsumoto 先生、安田成大先生、山下剛先生、田口雄一郎先生
これら多数の遠アーベル専門家が 自明視・当然視 してきた事項がある
それを キチンとLean形式に乗るように証明することだ
それが、課題として浮かび上がったってことだろ？ｗ （＾＾
(参考)
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
宇宙際 Teichmüller 理論入門
RIMS Kôkyûroku Bessatsu B76 (2019), 79-183.
謝辞
本稿執筆時に限らずこれまで宇宙際Teichm¨ uller 理論に関する無数の議論にお
付き合いくださった望月新一先生に感謝申し上げます. また, 2013 年度に合計100 時間
以上にも及ぶセミナーで宇宙際Teichm¨ uller 理論について説明してくださった山下剛先生
に, そして, そのセミナーを共に乗り切りそこでの数々の議論にお付き合いくださった玉
川安騎男先生, 松本眞先生に感謝申し上げます. そして, 本稿に対していくつもの有益な
指摘をくださった安田正大先生と査読者の方に感謝申し上げます.
田口雄一郎先生にお礼申し上げます.
378:１３２人目の素数さん
26/07/20 20:19:02.92 a0+1odGL.net
>>377 追加
>が、これも しばしばあるが、
>”自明”されたことが 結局後世に キチンと数学的に証明されることは多い
実例を挙げておくと
ポアンカレ予想の証明において、ペレルマンは 体積崩壊定理を 証明せずに用いた
それを証明したのが 塩谷・山口氏です
(google検索)
ポアンカレ予想証明 塩谷・山口 定理
AI による概要
ポアンカレ予想の証明において、日本の数学者である塩谷隆氏（東北大学教授）と山口孝男氏（京都大学名誉教授）の共同研究による「体積崩壊理論（崩壊定理）」は決定的な役割を果たしました。これは、多様体が潰れていく極限構造を明らかにした幾何学の定理です
体積崩壊定理：塩谷・山口両氏は、断面曲率に下限がある状態で多様体の体積が非常に小さくなる極限（崩壊）を研究し、極限空間の構造を完全に解明しました
証明への応用：この崩壊理論（および独立したペレルマンの研究）により、リッチフローで生じる特異点周辺の極限が「アレクサンドロフ空間」と呼ばれる幾何学的空間に収束することが保証されました。これにより、特異点を手術して先へ進める「特異点の局所構造」の証明が可能になりました
日本数学会公式サイトの日本数学会幾何学分科会（塩谷氏の幾何学賞受賞業績）では、塩谷氏の一連の業績がペレルマンによる証明において極めて重要な役割を果たしたことが詳しく解説されています
(参考)
URLﾘﾝｸ(www.mathsoc.jp)
日本数学会幾何学分科会（幾何学賞・受賞者の業績・塩谷隆氏）
日本数学会
Perelmanによる3次元多様体の幾何化予想の証明（ポアンカレ予想の解決を含む）においても重要な役割を果たしています． 塩谷隆氏のこれら一連の研究は，アレクサンド ...
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
ポアンカレ予想とリッチフロー - RIMS, Kyoto University
Research Institute for Mathematical Sciences (RIMS), Kyoto University
Perelman による定理 36 の証明は未だ発表されていないが，塩谷・山口が同時期に. 独立に証明した．定理 36 の証明は背理法による．つまり，そのような正の数 v0 が存. 在 ...
16 ページ
379:１３２人目の素数さん
26/07/20 20:49:13.16 uqomNNcQ.net
Q.まったく価値のない持論を何度も繰り返すのは病気ですか？
A.何度も同じ持論を繰り返されると、聞く方も疲れてしまい、「何か病気なのだろうか」と疑問に思うのは当然のことです。結論から言うと、単に本人の性格やコミュニケーションの癖である場合が多いですが、背景に脳の病気や精神疾患が隠れている可能性もあります。
380:１３２人目の素数さん
26/07/20 22:23:56.77 AtZID/Oc.net
IUT擁護派おじさんついにバックレるの巻
👇
157 名無しのひみつ 2026/07/20(月) 20:08:24.06 ID:jDVnUfx7
そもそも査読は、論文としての体裁が整ってるかどうかって判定にしか機能してねー、どころか、体裁が整ってても査読者の気に入らない
結果だと、屁理屈つけられて落ちる
ってか、査読システムが全く機能してねーのに、査読論文数とか被引用数で研究業績評価するから、世の中は屑論文であふれてるわけな
URLﾘﾝｸ(egg.5ch.io)
381:１３２人目の素数さん
26/07/20 22:24:34.07 AtZID/Oc.net
論破されてコピペで精神分裂投稿連打でクソ漏らし
IUT仕草でございますw
382:１３２人目の素数さん
26/07/20 22:35:07.51 B6WVrHSM.net
ですね
383:１３２人目の素数さん
26/07/21 11:09:31.51 oOVYpKSk.net
>>379-382
ばかか、こいつらｗ （＾＾
１）
>Q.まったく価値のない持論を何度も繰り返すのは病気ですか？
「まったく価値のない持論」については
そこ 数学的には 強すぎるので
証明できないよ その命題は
”まったく”は、少しでも価値があれば 命題は否定される
よって その主張は主観にすぎない！！ｗｗ
２）
>IUT擁護派おじさんついにバックレるの巻
意味わからんけど？ｗ
その人は おれとは別人だよ
他人が何をいおうが 言論は自由だし おれとは無関係ｗ
３）
>論破されてコピペで精神分裂投稿連打でクソ漏らし
意味わからんけど？ｗ
プロ数学者の数論最先端のABC予想証明論文の成否が
ここ場末の５ｃｈ数学便所板のロンパ合戦で決まるとでも？
おまえはバカか おいおいおいｗｗｗ
４）
>ですね
言語障害の”ですね人”ですか？ｗ
384:１３２人目の素数さん
26/07/21 11:11:43.16 5xceQTWC.net
あい、とぅいまてんw
385:１３２人目の素数さん
26/07/21 11:26:53.63 9lPB4r8c.net
また他人が馬鹿に見える病の発作か
やばいね
386:１３２人目の素数さん
26/07/21 11:33:58.44 5xceQTWC.net
🐴🦌に見えるよね、とぅいまてんw
387:１３２人目の素数さん
26/07/21 12:56:08.39 B/i3Ot9C.net
IUT擁護派のキチガイ精神分裂ショータイムw
388:１３２人目の素数さん
26/07/21 14:11:13.66 +/6+R6XN.net
「問題点は、q-pilot対数的体積の二つの計算が「tautologicalに同値」とされている点」
このギャップが最初からまったく埋められず、自明と吠えまくる●違い著者
389:１３２人目の素数さん
26/07/21 14:12:08.27 +/6+R6XN.net
「意味わからんけど？」
大学１年の微積と線形代数で落第した高卒には無理
390:１３２人目の素数さん
26/07/21 14:13:27.03 +/6+R6XN.net
結論
大学１年の数学で落ちこぼれた国粋高卒が
外国人を異常に嫌う●違い数学者に全てを賭けた結果
スッテンテンになる
391:１３２人目の素数さん
26/07/21 14:15:01.32 5xceQTWC.net
ヤッチンチン
ドドスコLOVE注入
392:１３２人目の素数さん
26/07/21 16:50:27.34 oOVYpKSk.net
>>384-391
面白いやつらだね バカがいるｗｗ
>また他人が馬鹿に見える病の発作か
いやいや おまえは「馬鹿に見える」ぞ
そもそも IUTのスレを分けているだろ？
それ 知らないのか？
”場合分け”が分からない？ 中学校の数学で習うだろ？ｗ
Interuniversal geometry とABC 予想61
と
Inter-universal geometryとABC予想(シン応援スレ) 92
とだ
ここ応援スレに来て
アンチが
アホなことほざいたら バカにされて当然さｗ （＾＾
>このギャップが最初からまったく埋められず、自明と吠えまくる●違い著者
そのギャップなるものは Lean形式化におけるギャップだろ？
”最初から”の表現がおかしい
”最初”の定義は なんだ？
おれの認識は、Lean形式化開始以降 先日の中間報告の7月17日までのどこかだが
まあ、歴史的に数学の証明とは そうしたものさ
ギャップが 第三者から指摘されて そのギャップが埋められた例は沢山ある
>外国人を異常に嫌う●違い数学者に全てを賭けた結果
発狂してる？
どこの誰が賭けをしているんだ？
脳みそ ついているか おまえ？ｗｗｗ
393:１３２人目の素数さん
26/07/21 17:03:31.50 diu0Idzx.net
（自分の世界に閉じこもりたくて堪らないようです）
394:１３２人目の素数さん
26/07/21 17:29:12.39 CSFPuf3w.net
楽しくないんご
395:１３２人目の素数さん
26/07/21 17:29:35.63 CSFPuf3w.net
楽しんごじゃないw
396:１３２人目の素数さん
26/07/21 17:55:58.94 B/i3Ot9C.net
>>392
ほら
発狂中じゃん
文章まとめてまともな反論すれば？
知能低すぎてできないんだろうけど
397:１３２人目の素数さん
26/07/21 17:56:04.47 oOVYpKSk.net
>>393-395
おもしれえやつらだね
素人はこれだからなｗ
まず 下記
URLﾘﾝｸ(ahgt.math.cnrs.fr)
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] URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
とあるよね
だから、ここは IUT Inter-Universal Teichmüller Theoryのサイトであって
Lille-RIMSの 合同サイトなんだ
ここまでは いいだろ？
次に
URLﾘﾝｸ(ahgt.math.cnrs.fr)
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:１３２人目の素数さん
26/07/21 18:11:38.75 CSFPuf3w.net
私にアンカーを付けられてもねぇw
踊って注入しかできないンゴw
399:１３２人目の素数さん
26/07/21 18:23:28.03 diu0Idzx.net
（IUT擁護派の世界は崩れ落ちたのにね）
400:１３２人目の素数さん
26/07/21 18:55:57.06 9lPB4r8c.net
>ああ Lean形式化の発表でギャップ見つかった話？ ギャップ埋めればいいだけでしょ？
ああ リーマン予想は未証明って話？ 証明すればいいだけでしょ？
401:１３２人目の素数さん
26/07/21 19:38:00.59 B/i3Ot9C.net
>>398
ワラタ
402:１３２人目の素数さん
26/07/21 19:56:45.91 2GPRU5Zx.net
>>400
ですね
403:１３２人目の素数さん
26/07/21 19:59:07.92 1oLhTN1K.net
ギャップを埋めるために、まずは公理をいじってIUTが正しいとしようぜ
404:１３２人目の素数さん
26/07/21 20:07:34.83 2GPRU5Zx.net
それで「自明」になる訳ですね
405:１３２人目の素数さん
26/07/21 23:47:52.38 IngSDRcX.net
>>400
>>ああ Lean形式化の発表でギャップ見つかった話？ ギャップ埋めればいいだけでしょ？
>ああ リーマン予想は未証明って話？ 証明すればいいだけでしょ？
例えば 過去レスにも書いたが
下記のフェルマー最終定理の証明と対比するのが適当だろう
ワイルズによる証明は、100点満点の99点で ただし1点足りない状態で
リチャード・テイラーの協力を仰ぐ
そして、1年 『彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際』だった
そのとき もの凄いアイデアが降ってきた！
『不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩澤理論の適用を可能にすることに気がついた』
同じことが、望月＆星に起きるよう祈る！ｗ （＾＾
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
ワイルズによるフェルマーの最終定理の証明
証明の発表とその後
1993年の6月21日-23日の間で、ワイルズは半安定楕円曲線に関する谷山・志村予想の証明、すなわちフェルマーの最終定理の証明を発表した。
カッツはレビューにおいて、ワイルズに証明に関する様々な質問をしたが、そのうちにワイルズ自身も認めるギャップが証明に含まれることがわかった。証明の重要な箇所（ある種の群の位数に上限を与える部分）の誤りであり、コリヴァキアン＝フラッハ法を拡張するのに使用したオイラー系（英語版）が不完全だったというものだった。
ワイルズはギャップを取り除くのにほとんど1年を費やした。当初は自身で訂正を試みたが、のちにかつての指導学生であるリチャード・テイラーの協力を仰ぐこととなった。
1994年9月19日の朝、彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際におり、他の数学者が証明を発展させ、誤りを探すことができるように証明の詳細を発表しようとしていた。彼は証明がなぜ不完全だったのかを理解するための最後の確認をしていたが、不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩澤理論の適用を可能にすることに気がついた。それぞれのアプローチは単体では不適切だが、両者のアプローチを組み合わせ、双方のアプローチのツールを使用することでギャップを取り除き、（ワイルズが最初に出した論文では証明が与えられていなかった）すべての場合に有効な類数公式(Class Number Formula, CNF)を与えた
406:１３２人目の素数さん
26/07/22 00:01:30.43 u5VrSqGL.net
Q.まったく価値のない持論を何度も繰り返すのは病気ですか？
A.何度も同じ持論を繰り返されると、聞く方も疲れてしまい、「何か病気なのだろうか」と疑問に思うのは当然のことです。結論から言うと、単に本人の性格やコミュニケーションの癖である場合が多いですが、背景に脳の病気や精神疾患が隠れている可能性もあります。
407:１３２人目の素数さん
26/07/22 00:22:17.25 V9GWtChn.net
フェルマーの最終定理の証明は最後のギャップが埋まらなかったとしてもそこ以外は価値のあるものだったが
IUTは3.11→3.12のギャップが埋まらなければ全体が完全に無価値なんですよね
408:１３２人目の素数さん
26/07/22 01:19:26.08 Zr/Df7zJ.net
>>407
はい
409:１３２人目の素数さん
26/07/22 05:12:48.31 mVv9Tn8+.net
jinは頭の病気
統合失調症
410:１３２人目の素数さん
26/07/22 10:48:52.68 RAZlqblh.net
駄々をこねるの本質
相手が嫌になって引いて行くのを期待してる
それで「自分の勝ち」と思う
小学校あたりで人間的成長が止まってる
411:１３２人目の素数さん
26/07/22 10:56:01.06 u5VrSqGL.net
>>258
そもそも証明検証ツールが本格的に運用されるようになったのは今世紀以降。
いかなる非形式的証明もギャップが無いことが検証されていない。
それでも数学者は長年培ってきた数学的思考によりたいていの証明につきギャップの有無を判断できる。
ところがIUTは既存の数学とは全く異なる言語で記述されており長年の経験が役に立たない。
そのようなIUT固有の事情を考慮せずに
>時代が進まないと、ギャップに気付かないということは
>数学史上しばしばあった
などと言ったところでまったく的外れ。
>代数学の基本定理（＝代数方程式は複素数根を持つ）
はい、大間違いです。
一般の係数空間でそれは言えません。言えるのは複素数体の場合（＝複素数体は代数閉体である）。
412:１３２人目の素数さん
26/07/22 12:08:13.60 QCaNv3B1.net
>>405
固執してるね
長いの直せないんだから
自分の中では理屈が通ってるから長文で粘着していいと
413:１３２人目の素数さん
26/07/22 13:31:06.89 Zr/Df7zJ.net
>>410
それが朝鮮IUT仕草
414:１３２人目の素数さん
26/07/22 13:53:33.89 n+1eBk57.net
>>411
>そもそも証明検証ツールが本格的に運用されるようになったのは今世紀以降。
ショルツがやったやったやつみたいに
ホッカホカの最新の数学が検証されたのはたしかに最近
>いかなる非形式的証明もギャップが無いことが検証されていない。
これは言い過ぎでIsabelle, HOL, Coqは前世紀から使われてるし
利用する公理の範囲を検討する逆数学との関係で
ギャプ探しは結構行われてた
415:１３２人目の素数さん
26/07/22 13:54:42.89 n+1eBk57.net
>>411
>ところがIUTは既存の数学とは全く異なる言語で記述されており長年の経験が役に立たない
これも大した問題じゃない
ギャプがあると問題だけど
416:１３２人目の素数さん
26/07/22 14:33:31.88 u5VrSqGL.net
>>414
>>いかなる非形式的証明もギャップが無いことが検証されていない。
>これは言い過ぎでIsabelle, HOL, Coqは前世紀から使われてるし
え？ それ形式化してるやん
非形式的証明って書いてるんだけど字読める？
417:１３２人目の素数さん
26/07/22 14:35:49.94 u5VrSqGL.net
>>415
なんで勝手に問題と言ってることに脳内変換すんの？
418:１３２人目の素数さん
26/07/22 14:37:41.71 u5VrSqGL.net
こういう勝手に脳内変換する人って会話が成り立たないから疲れるね
419:１３２人目の素数さん
26/07/22 14:44:07.69 1xaWQya/.net
>代数学の基本定理（＝代数方程式は複素数根を持つ）
複素数体は代数的閉体だといえるが、逆、すなわち
代数的閉体は複素数体である、とはいえない
420:１３２人目の素数さん
26/07/22 14:47:43.11 u5VrSqGL.net
>代数的閉体は複素数体である、とはいえない
誰か言えるって言ったの？ 見えない敵と戦ってる？
421:１３２人目の素数さん
26/07/22 15:56:09.54 Zr/Df7zJ.net
>>417
それがキチガイIUT仕草
命題から逃げて延々ズレたコピペを繰り返す
422:１３２人目の素数さん
26/07/22 16:32:53.00 /bpX0nWF.net
>>420
君を応援したんだけど
423:１３２人目の素数さん
26/07/22 17:09:09.31 u5VrSqGL.net
キモチワルイ
424:１３２人目の素数さん
26/07/22 17:27:22.76 Zr/Df7zJ.net
庵野が使うシンは李氏朝鮮清のシンww
425:１３２人目の素数さん
26/07/22 17:51:12.99 dnk3CYgU.net
>>422
キモチイイ
426:１３２人目の素数さん
26/07/22 18:09:47.59 j1T6QVV5.net
>>415
>ギャプがあると問題だけど
GAPがあっても埋めれば問題がないと言い始めてるのがIUTサイドかな
まあ埋めれば問題がないのは結果オーライてことだけど
当初論文にGAPがあったのに出版したPubl. of RIMSは責められても仕方ないのでは
それに埋めれるかどうかまったく不明ですし
埋めたら埋めた人の業績になるべきで
その場合当初論文はその呼び水って扱いになるのかな
427:１３２人目の素数さん
26/07/22 18:34:37.28 cSy5wfDp.net
>>377
少なくともペレルマンは指摘された問題点に素直に向き合って照明のギャップを埋める作業をやったわけだが。
428:１３２人目の素数さん
26/07/22 19:24:53.55 Te3LA19E.net
>>426
ギャップが小さければほとんど望月の仕事と認められるだろうけど
その可能性は全くないよね
8年間改善できなかったんだから
小さいギャップなら望月かショルツか他の誰かがとっくに埋めてる
みんな何処に問題あるか知ってたんだから
429:１３２人目の素数さん
26/07/22 20:31:28.92 T9Q165NM.net
下記(参考)引用
「 Interuniversal geometry とABC 予想61 」からだが
これは いい話だね
思うに
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開すべきだろう
２）そして、問題点を明らかにして オープンな議論を惹起すべし
３）望月＆星氏は 今回の加藤氏のLANAプロジェクト中間発表について コメントを出すべきだろう
４）その上で、今後どうしていくのかのロードマップを公表すべきだ
要するに
衆知を集めて 遠アーベル関係者みなで議論して 解決策を模索するべし！だね
その理由は
１）IUT論文は、すでに２つ投稿され 査読掲載されている
一つは望月氏自身のIUTの大作で もう一つは5人共著のフェルマー解決論文で Kodai mathに掲載された
さらには、中国の若手の周忠鵬の論文もある
さらには、日仏合同 Arithmetic & Homotopic Galois Theory IRN も進んでいる
２）このような背景から考えて、できるだけ早く 事態を収拾すべき
混乱を長引かせるのは、よろしくない
三人寄れば文殊の知恵
問題をオープンにすべし
解決を長引かせるのはよろしくないだろう
(参考)
URLﾘﾝｸ(rio2016.5ch.io)
316１３２人目の素数さん
2026/07/20(月) ID:B6WVrHSM
>>312
もしかしてこれ？
With AI becoming increasingly capable of solving difficult problems, I've been wondering why LANA hasn't released its Lean formalization, even in an incomplete state. Even if the proofs themselves are unfinished, the definitions and overall formal framework would already be valuable to the community.
That's one of the reasons I decided to publish my own independent Lean formalization of IUT, developed with the help of Fable5. I also shared it on 4chan and 5ch in case anyone is interested in taking a look.
but, comment is japanese only.
URLﾘﾝｸ(github.com)
(google訳)
AIが難問を解く能力をますます高めている中で、LANAが未完成の状態であってもLean形式化を公開しないのはなぜだろうかと疑問に思っていました。証明自体が未完成であっても、定義と全体的な形式的枠組みは既にコミュニティにとって価値のあるものとなるはずです。
それが、私がFable5の協力を得て独自に開発したIUTのLean形式化を公開することにした理由の一つです。興味のある方がいらっしゃれば、4chanと5chにも投稿しました。
318１３２人目の素数さん
2026/07/20(月) ID:joumQYeu
>>316
それだよ
やっと承認されたか
woitの方にも似たこと書いたけど承認されんわ
(引用終り)
以上
430:１３２人目の素数さん
26/07/22 20:35:29.55 T9Q165NM.net
>>429 タイポ訂正
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開すべきだろう
↓
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開要請すべきだろう
補足
いまどき
Leanコードでの証明未達では
世間では通用しないことは
明白
査読を通って 掲載されてしまった論文だから
万機公論 議論をオープンにすべし！
431:１３２人目の素数さん
26/07/22 20:50:33.72 QCaNv3B1.net
leanをaiに学習させられないだろうか
432:１３２人目の素数さん
26/07/22 20:52:22.15 opwAmroW.net
>>428
ですね
分かりやすい指摘です
433:１３２人目の素数さん
26/07/22 22:04:16.66 T9Q165NM.net
>>428
(引用開始)
ギャップが小さければほとんど望月の仕事と認められるだろうけど
その可能性は全くないよね
8年間改善できなかったんだから
小さいギャップなら望月かショルツか他の誰かがとっくに埋めてる
みんな何処に問題あるか知ってたんだから
(引用終り)
うん、君にだってチャンスあるぞｗ （＾＾
いま、AIつかって 数学未解決問題を解かせたという話がどんどん出ている
実際にも 下記の別スレだが AI Claude を使う チャレンジをするらしい
LANAプロジェクトに先行すれば 面白いな 頑張って欲しいね （＾＾
それはともかく
「ポアンカレ予想物語」という本がある。ポアンカレ予想というのは、一見解けそうに見えて みんなチャレンジして 失敗したという
ABC予想は、その逆かもね
難しすぎて、チャレンジする人があまり居ないというか
望月以外には 「解かれた（解いた）ぞ」という話が あまり聞こえてこない（ジョシさんは別として）
望月IUTは、いままでで 一番ABC予想解決に近づいた論文かもしれない
なので望月IUTの延長線上でも、だれかがギャップを埋めるか
あるいは だれかが 望月IUTの改造で
それはAIの力もかりてでも Leanに乗せることができれば
間違いなく数学の進歩でしょう
＜アマゾン＞
ポアンカレ予想物語 (数セミ・ブックス 13)
本間 龍雄 (著) 日本評論社 発売日 ‏ : ‎ 1985/11/1
(参考)
URLﾘﾝｸ(rio2016.5ch.io)
378１３２人目の素数さん
2026/07/21(火) 09:12:45.13ID:rReqYplZ
「3.11 = 3.12」 を分解して形式化をはじめている
前半 (3.11)
APT (アルゴリズム的並行移動)
IPL (入力整合性)
→第1~第3三角形
後半 (3.11.5= 3.12)
SHE (同時正則表現可能性)
IPL (input prime-strip link)
→第4三角形 (現在RIMSが形式化に取り組んでいる箇所)
382１３２人目の素数さん
2026/07/21(火) 09:38:04.19ID:rReqYplZ
lUTのLean形式化は、次の段階に分けて進める
・Stage1
[IUTchlll] 定理3.11=系3.12
・Stage2
[UTchll]定理3.11の証明
・Stage3
[UTchl-ll]
・Stage4
1995年以降の先行研究
・Stage5
数値的側面 ([IUTchlV],[ExpEst])
434:１３２人目の素数さん
26/07/22 23:00:46.13 u5VrSqGL.net
解決策がある前提なのが馬鹿
435:１３２人目の素数さん
26/07/22 23:34:21.29 u5VrSqGL.net
>>433
>望月IUTは、いままでで 一番ABC予想解決に近づいた論文かもしれない
IUTは、複数の異なる宇宙を用意しその間を通信経路で結ぶことで、通常の数学（ひとつの宇宙）では分離できない掛け算と足し算の絡み合いを解きほぐそうとするもの。
このアイデアが機能するかは系3.12を証明できるかにかかっている。証明できなければIUTはただのゴミでABC予想解決にまったく近づいていない。
そしてLANAは証明に失敗し解決の見通しはまったくの白紙、1年後を目途に次の報告をしたいと述べるのがやっとの惨憺たる有様。
436:１３２人目の素数さん
26/07/22 23:42:30.19 u5VrSqGL.net
ショルツェは流石だね。単にギャップを指摘するだけではなくIUTというアイデア自体がゴミであることを正確に見抜いていた。
一方でLANAは2年がかりでショルツェの発言を補強したに過ぎない。
国粋馬鹿よ、これが現実だ。
437:１３２人目の素数さん
26/07/23 01:33:05.87 4ighMvmG.net
>>436
あいつらは国粋じゃない
旧満州由来の在日朝鮮人偽右翼
438:１３２人目の素数さん
26/07/23 04:56:58.60 zcxB6y9j.net
jin は頭の病気
439:１３２人目の素数さん
26/07/23 05:45:20.93 /998dqFb.net
>>429-430
>望月＆星氏は 加藤氏のLANAプロジェクトに
>現状のLeanコードを公開要請すべきだろう
見せてもらっても無駄だろ
望月も星も答えをもってないんだから
>そして、問題点を明らかにして
>オープンな議論を惹起すべし
問題点は明らか
すでにオープンに議論されてる
>望月＆星氏は
>今回の加藤氏のLANAプロジェクト中間発表について
>コメントを出すべきだろう
まいりました、って？（笑）
>その上で、今後どうしていくのかの
>ロードマップを公表すべきだ
ロードマップなんかないだろ
ノープランなんだから（笑）
国粋高卒Set A君、頭、大丈夫？
440:１３２人目の素数さん
26/07/23 05:50:08.90 /998dqFb.net
>>429
>衆知を集めて 遠アーベル関係者みなで議論して 解決策を模索するべし！
無駄 誰もノープランなんだから議論にならない
>IUT論文は、すでに２つ投稿され 査読掲載されている
>一つは望月氏自身のIUTの大作で
>もう一つは5人共著のフェルマー解決論文で Kodai mathに掲載された
前者は不正査読な
後者は前者を認めた上での評価として逃げられるだろうけど
>さらには、中国の若手の周忠鵬の論文もある
査読通ってるの？違うだろ じゃ無意味
>さらには、日仏合同 Arithmetic & Homotopic Galois Theory IRN も進んでいる
それIUTと無関係
>できるだけ早く 事態を収拾すべき
>混乱を長引かせるのは、よろしくない
RIMSが不正査読を認めて解体されればいい
日本の数学は不正査読で自爆しましたとな
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!
441:１３２人目の素数さん
26/07/23 07:20:02.90 5zPtkw66.net
いずれにせよこれで一段落ということにしてはどうか
442:１３２人目の素数さん
26/07/23 07:56:36.43 2lT1ceCI.net
>誰もノープラン
その通り。実際加藤はギャップを埋める目途は皆無、有限時間で埋まるかもしれないし埋まらないかもしれないと言った。全くの白紙ということだ。
>いずれにせよこれで一段落ということにしてはどうか
白紙を認めた以上望月論文はrejectedとすべき、白紙なのにsuspendedはおかしい。
443:１３２人目の素数さん
26/07/23 08:52:09.73 5zPtkw66.net
suspendedと思った者は皆無に等しい
444:１３２人目の素数さん
26/07/23 09:58:49.53 TK4E2PCX.net
通常は1年後に最終報告と言っても
fade awayしていくもんだけど
加藤の生真面目さがそれを許さないだろうw
445:１３２人目の素数さん
26/07/23 10:47:22.98 1JAnhQP1.net
>>434-442
>いずれにせよこれで一段落ということにしてはどうか
>suspendedと思った者は皆無に等しい
ID:5zPtkw66 は、御大か
巡回ありがとうございます
コメントありがとうございます。
１）まあ、それをリアル界で決めるのは、望月・星氏らでしょう
ここは、バーチャル 場末の５ｃｈです
２）私見ですが、先週7/17金のLANAプロジェクトの中間発表は
3.11→3.12導出が 現状ではLean形式化に乗らなかったが
可能性は残っているという
３）その可能性とは、おそらく 遠アーベルのLeanライブラリー不足で
Leanライブラリーを 何らか追加するとか
あるいは別に、3.12そのものではなく 3.12をなんらか変形して IUT IVを導けるようにすること
４）さて、まずこの状況（中間発表）を受けて、望月・星氏らが彼ら自身の見解と見通しを発表すべきでしょうね
というのは、日仏合同の Arithmetic & Homotopic Galois Theory IRN 共同研究プロジェクトが走っている URLﾘﾝｸ(ahgt.math.cnrs.fr)
ここには、日本の予算もさることながら 仏の予算も入っている。その落とし前が必要となる
５）ところで 数学では「数列の収束加速法」が、古代から研究されている （＾＾
いまの場合、事態の収束加速法は、事実を隠さずにオープンにして 議論することですね
Leanコードも隠さずに、オープンにして 議論することが、収束加速の要諦でしょう！
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
数列の加速法
収束の遅い数列を収束の速い数列に変換するアルゴリズムの総称である[1]
歴史
19世紀以前
ヨーロッパと日本で研究が始まった。古典的な二つの加速法はオイラー変換[2] と クンマー変換である。日本では関孝和、建部賢弘など、ヨーロッパではアイザック・ニュートンなどが取り組んだ[3]。
446:１３２人目の素数さん
26/07/23 12:31:09.48 j87TBArl.net
>>445
こいつが国粋🐎🦌のSet Aか
>それをリアル界で決めるのは
LANAプロジェクト
そしてもうほぼアウト
>先週7/17金のLANAプロジェクトの中間発表は
>3.11→3.12導出が 現状ではLean形式化に乗らなかった
もう何年もギャップだといわれていて
改めてそれが分かった時点で、ほぼアウト
>が、可能性は残っている
ダメだという証明ができないだけの話でしかない
実際は、まあアウト
>おそらく 遠アーベルのLeanライブラリー不足で
遠アーベルではなく宇宙際の理論がない
>Leanライブラリーを 何らか追加するとか
何年もそういわれつづけて何もできてないが
>あるいは別に、3.12そのものではなく 3.12をなんらか変形して IUT IVを導けるようにすること
諦めろ 国粋🐎🦌
447:１３２人目の素数さん
26/07/23 12:33:27.39 j87TBArl.net
>>446
>さて、まずこの状況（中間発表）を受けて、
>望月・星氏らが彼ら自身の見解と見通しを
>発表すべきでしょうね
切腹しろってか？（笑）
>というのは、日仏合同の共同研究プロジェクトが走っている
>ここには、日本の予算もさることながら 仏の予算も入っている。
>その落とし前が必要となる
自●しろってか？
Set A おまえは自●しなくてええんか 国賊
448:１３２人目の素数さん
26/07/23 12:38:14.81 p5pZvalq.net
国粋野郎は国賊でしたとさ（嘲）
449:１３２人目の素数さん
26/07/23 12:45:44.91 4ighMvmG.net
>>448
ドワンゴ周りは国粋じゃなくて
旧満州(北朝鮮＆中国瀋陽)由来の朝鮮人偽右翼だとあれほど
450:１３２人目の素数さん
26/07/23 12:46:15.69 4ighMvmG.net
IUTGtrのプーアノンばりのアイコンで爆笑した
451:１３２人目の素数さん
26/07/23 12:59:16.78 p5pZvalq.net
>>449
アイシンギョロとかいう女真族ではなく？（笑）
452:１３２人目の素数さん
26/07/23 13:13:31.49 pntzDx39.net
後金
453:１３２人目の素数さん
26/07/23 13:37:08.08 2lT1ceCI.net
望月＝頭の良いクズ
セタ＝頭の悪いクズ
454:１３２人目の素数さん
26/07/23 15:44:59.19 1JAnhQP1.net
>>445 追加
ゴミが湧いているが、ムシムシ
こういうとき
危機管理（下記の存立危機事態までは行ってないだろうがｗ）
１）事実の把握
そのために、関係者の招集をする
望月、星、加藤文元、玉川、山下・・などなど
（一部の人はwebでも可だろうが）
２）そこで状況を説明して 事実共有をする
Leanコード公開などを決める
３）その後の行動計画を議論する
施策と役割分担（宿題分担）を決める
次に集まる日時を決める
これを必要なだけ繰り返す
まあ、みんなで知恵をだせば、なんとかなるっぺよ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
存立危機事態
台湾有事をめぐる議論
→「高市早苗による台湾有事発言」を参照
455:１３２人目の素数さん
26/07/23 16:25:37.31 2lT1ceCI.net
アホ
456:１３２人目の素数さん
26/07/23 16:39:05.20 fAGcExUh.net
>>454
既に原爆が落とされてる状況で
本土決戦とかいってる🐎🦌
457:１３２人目の素数さん
26/07/23 16:43:03.74 m/0H6KbX.net
1945年7月26日に、英中米の3か国はポツダム宣言を発し、日本軍の無条件降伏を要求した。
日本政府は、日ソ中立条約があるソ連に和平講和の仲介を託していたが、
8月6日に広島市に原子爆弾が投下され、8月8日未明にソ連対日宣戦布告、
8月9日に長崎市にも原子爆弾が投下されるという重大事態が続いた。
8月10日午前0時3分[2]から行われた御前会議での議論は、
東郷茂徳外相、米内光政海相、平沼騏一郎枢密院議長は、
天皇の地位保障のみを条件とするポツダム宣言受諾を主張、
それに対し阿南惟幾陸相、梅津美治郎陸軍参謀総長、豊田副武軍令部総長は
「受諾には多数の条件をつけるべきで、条件が拒否されたら本土決戦をするべきだ」
と受諾反対を主張した。
しかし、唯一の同盟国となっていた大ドイツ国政府が5月8日に無条件降伏したことで、
イギリスとアメリカ、オーストラリアやカナダなどの連合軍は日本本土に迫っており、
さらに唯一の頼みの綱であった元中立国のソ連も先日の宣戦布告により日本への侵攻を開始しており、
北海道上陸さえ時間の問題であった。
ここで鈴木貫太郎首相が昭和天皇に発言を促し、天皇自身が和平を望んでいることを直接口にしたことにより
御前会議での議論は降伏へと収束し、8月10日の午前3時から行われた閣議で承認された。
458:１３２人目の素数さん
26/07/23 16:47:22.05 m/0H6KbX.net
日本政府は、ポツダム宣言受諾により全日本軍が降伏を決定する事実を、
8月10日の午前8時に海外向けのラジオ国営放送を通じ、
日本語と英語で3回にわたり世界へ放送し、同
盟通信社からモールス通信で交戦国に直接通知が行われた。
中立国の加瀬俊一スイス公使と岡本季正スウェーデン公使より、
8月11日に両国外務大臣に手渡され、両国より連合国に渡された。
しかしその後も日本政府と軍内部、
特に鈴木首相や東郷外相らと阿南陸相ら陸海軍の上層部内で意見が紛糾し、
御前会議での決定を知らされた陸軍省では、
天皇の元の会議で決定されたにもかかわらず、
徹底抗戦を主張していた多数の将校から激しい反発が巻き起こった。
8月12日午前0時過ぎ、連合国はアメリカのジェームズ・F・バーンズ国務長官による返答、
いわゆる「バーンズ回答」を行った。その回答を一部和訳すると
「降伏の時より、天皇及び日本国政府の国家統治の権限は、
降伏条項の実施の為其の必要と認むる処置を執る連合軍最高司令官に『subject to』する」
というものであった。
外務省は「subject to」を「制限の下に置かれる」だと緩めの翻訳・解釈をしたが、
参謀本部はこれを「隷属する」と曲解して阿南陸相に伝えたため、
軍部強硬派が国体護持について再照会を主張し、鈴木首相もこれに同調した。
8月13日午前9時から行われた、軍と政府の最高戦争指導会議では
「バーンズ回答」をめぐり再度議論が紛糾した上、
この日の閣議は2回行われ、2回目に宣言の即時受諾が優勢となった。
459:１３２人目の素数さん
26/07/23 16:48:59.55 m/0H6KbX.net
8月14日午前11時より行われた再度の御前会議では、
まだ阿南陸相や梅津陸軍参謀総長らが戦争継続を主張したが
（この時阿南陸相や梅津陸軍参謀総長は陸軍内でクーデターが起こることを認知していた）、
昭和天皇が「私自身はいかになろうと、国民の生命を助けたいと思う。
私が国民に呼び掛けることがよければいつでもマイクの前に立つ。
内閣は至急に終戦に関する詔書を用意して欲しい」と訴えたことで、
鈴木首相は至急詔書勅案奉仕の旨を拝承し、
14日夕方に閣僚による終戦の詔勅への署名、
深夜に昭和天皇による玉音放送が録音された。
夕方に加瀬スイス公使を通じて、宣言受諾に関する詔書を発布した旨、
受諾に伴い各種の用意がある旨が連合国側に伝えられた。
460:１３２人目の素数さん
26/07/23 16:50:14.21 p5pZvalq.net
8月15日正午の昭和天皇による玉音放送をもって、
改めてポツダム宣言受諾を全国民と全軍に表明し、
戦闘行為は停止された。
昭和天皇がラジオで国民に向けて直接話すのは
これが初めてのことであった。
461:１３２人目の素数さん
26/07/23 17:08:41.95 n/8j5UZO.net
(譫言しか書かなくなったか)
462:１３２人目の素数さん
26/07/23 17:13:48.69 RrXTUC0u.net
いやー、本当にこの時代に生まれてラッキーだった。
この国に生まれてね。
463:１３２人目の素数さん
26/07/23 17:26:54.36 n/8j5UZO.net
ワイドショー的週刊誌的な興味対象でしかなくなった数学を見ることになるのをラッキーとはね
464:１３２人目の素数さん
26/07/23 20:36:01.84 r0btaSCl.net
>>455-462
さすが 場末の5ch 過疎数学便所板だね
素人が好き放題書いている
>>463
>ワイドショー的週刊誌的な興味対象でしかなくなった数学を見ることになるのをラッキーとはね
まったくね
数学にAIが入り込んできています
今後の展開やいかに
465:１３２人目の素数さん
26/07/23 20:43:24.94 RrXTUC0u.net
（あち～）
466:１３２人目の素数さん
26/07/23 20:53:46.59 RrXTUC0u.net
素人でない書き込みの見本が見てみたいところw
参考にさせて頂きたい。
467:１３２人目の素数さん
26/07/23 22:14:49.09 2lT1ceCI.net
>>464
x,yが集合ならx^yも集合ですよど素人さん
468:１３２人目の素数さん
26/07/23 22:18:41.77 RrXTUC0u.net
なるほど、素人じゃなくてド素人だったのか！
な～んちゃってw
469:１３２人目の素数さん
26/07/24 00:07:10.29 /RjtiMHB.net
>『Qを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い』か・・
>独自説だねぇ～、ユニークで笑える、が面白すぎｗｗ（＾＾
↑
ど素人がなんか言ってます
470:１３２人目の素数さん
26/07/24 07:59:16.77 wCcHV2Pm.net
>>466
>素人でない書き込みの見本が見てみたいところw
>参考にさせて頂きたい。
当然、わたくしめも、素人だが
プロ数学者は、ここでは 知る限り御大（名誉教授）くらいだが
彼は、主に お天気日誌を書いています（＾＾
おっと、めずらしく お天気日誌以外のコメントを書かれたね
>>445 より
>いずれにせよこれで一段落ということにしてはどうか
>suspendedと思った者は皆無に等しい
だね
多分、今回のLANA中間発表で 一段落（ある程度の結論は出た）という意見
まあ、これが本因坊戦とすれば 5番勝負の第一局は LANAチームの中押し勝ち！
次の対局を始めろということでしょうねｗ （＾＾
471:１３２人目の素数さん
26/07/24 09:30:25.36 /RjtiMHB.net
>当然、わたくしめも、素人だが
何を己惚れてるのか 君はど素人だよ
x^yが集合であることは理解できた？
472:１３２人目の素数さん
26/07/24 09:42:41.67 pd0or1JQ.net
>>471
で、君は？
どど ど素人かね？ｗｗｗ
473:１３２人目の素数さん
26/07/24 09:44:41.66 B7dUo32s.net
下らん
474:１３２人目の素数さん
26/07/24 09:45:35.86 pd0or1JQ.net
>>471
私の見るところ
君は、囲碁でいうセイモクだなｗｗｗ
475:１３２人目の素数さん
26/07/24 15:53:39.41 pd0or1JQ.net
Benjamin. Collas 氏なども
しっかり、望月・星氏らを叱咤激励してやってください
よろしく
衆知を合わせて問題解決を お願いします （＾＾
URLﾘﾝｸ(ahgt.math.cnrs.fr)
Arithmetic & Homotopic Galois Theory IRN
Org.: B. Collas (RIMS, JP), Y. Hoshi (RIMS, JP), K. Sawada (RIMS Kyoto), P. Dèbes (Lille, FR), A. Mézard (ENS, FR).
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
COLLAS, Benjamin
Since 2023 this activity takes place in the CNRS France-Japan International Research Network LPP-RIMS ``Arithmetic & Homotopic Galois Theory'' (AHGT), see AHGT seminar and workshops, and AHGT references and publications.
476:１３２人目の素数さん
26/07/24 17:25:35.26 /RjtiMHB.net
ファルティングスは優しいね。
「論文は理解できなかった。 自分の研究に時間を割くことにした」
「数学になってない」と切って捨てるのではなく「自分の理解力が及ばない」とも解釈可能な表現で望月を傷つけることなくやんわりと距離を取っている。
フィールズ賞受賞者で人格者でもある。弟子とは大違いだね。
477:１３２人目の素数さん
26/07/24 18:44:38.86 ELp+18O9.net
グロタンディークの名前が付いてたから一部のアホどもが有り難がってただけで
結局尊師のやったことって特殊な小さい問題ひとつ解いただけでしょ
甘やかしてきた取り巻きたちが尊師を増長させ続けて今回のような日本の恥晒しにまで行き着いてしまったわけだな
478:１３２人目の素数さん
26/07/24 18:54:27.91 ELp+18O9.net
グロタンディークの名前が付いてたから一部のアホどもが有り難がってただけで
結局尊師のやったことって特殊な小さい問題ひとつ解いただけでしょ
甘やかしてきた取り巻きたちが尊師を増長させ続けて今回のような日本の恥晒しにまで行き着いてしまったわけだな
479:１３２人目の素数さん
26/07/24 21:26:14.80 wCcHV2Pm.net
関連 コピーしておきます
URLﾘﾝｸ(plaza.rakuten.co.jp)
新一の「心の一票」2026.01.01
Leanによる形式化は、長期的な検証や説明責任を可能にする記録装置となり得るか？
カテゴリ：研究関連の現状報告 URLﾘﾝｸ(plaza.rakuten.co.jp)
前回の記事では、定理証明支援系ソフトLeanに関連した活動が昨年後半、（私を含め）私の周辺において益々活発になっていることについてご報告しましたが、今回の記事では、少なくとも私の現在の認識において、このような活動に関わることにどのような意義があるかについて検証し、解説していきたいと思います。
略す
昨年後半、理論の形式化に関する議論を、Leanの専門家と進める上においても、Leanに関する技術的な問題という面においてはこれまでの事例と違うものの、再び同様の事象が見られました。（これについては、以下の「species/mutations」に関する解説をご参照いただきたい。）
略す
Leanに対する、通常の考え方と多少違う方向性の活用方法の話に戻りますが、[Rpt25]§3.1で解説している通り、略
宇宙際タイヒミューラー理論の場合、最も基本的な用語・概念は間違いなく、「関手的アルゴリズム」（＝「functorial algorithm」）ということになります。この用語ないしは概念は、本当は、宇宙際タイヒミューラー理論だけでなく、数理研において1990年代半ばから盛んになっている流儀の遠アーベル幾何全般において、非常に基本的な立ち位置にあるものです。
この「関手的アルゴリズム」という概念は、宇宙際タイヒミューラー理論の原論文4編の第4論文[IUTchIV]の§3で解説している「species/mutations」という概念によって定式化されており、つまり、理論の形式化を進める上においても、まずしっかり押さえておきたいのは、「species/mutations」の形式化ということになります。因みに、技術的な詳細に関しては、[IUTchIV]§3をご参照いただきたいと思いますが、簡単に嚙み砕いて説明すると、
・species（＝「種」）は、集合論的論理式で定義される、「数学的対象の種類」（＝つまり、「群」、「環」、「代数多様体」のようなもの）で、
・mutation（＝「突然変異」）は、集合論的論理式で定義される、あるspeciesから別のspeciesへの変換、つまり構成の手順
ということになります。つまり、「関手的アルゴリズム」というのは、より技術的な用語で表現すると、まさしく「mutation」ということになります。
つづく
480:１３２人目の素数さん
26/07/24 21:26:41.47 wCcHV2Pm.net
つづき
私自身、2010年～2011年頃、[IUTchIV]§3を執筆したとき、species/mutationは、特に難しい話でもなく、取り立てて新奇性のある話でもなく、多くの数学者が当たり前に脳内で無意識のうちにこなしている処理を、（同様の概念が明示的に記述されている適切な文献が見付からなかったために）ただ自分で明示的に記述してみただけのものに過ぎないという認識でした 略
一方で、species/mutationの、Leanによる形式化の可能性について調べ始めた途端、全く想定外の展開に見舞われてしまいました。まず、species/mutationの定義では、集合論的な（＝つまり、いわゆるZFCの）論理式が非常に中心的な役割を果たしますが、これまでのLeanの標準とされているライブラリMathLibでは、ZFCモデル（＝つまり、標準的な集合論のモデル）は用意されているため、特定の集合に対する特定の論理式をLean上で扱うことが可能となっていますが、一方で、species/mutationの理論において本質的な役割を果たす「不定元のような論理式」（＝特定されていない、「とある論理式Φ」のようなもの）を扱うには、一階述語理論としてのZFCが必要であり、それはMathLib上ではまだ掲載されていないということが判明しました。
略
(引用終り)
以上
481:１３２人目の素数さん
26/07/24 21:30:09.55 wCcHV2Pm.net
私見だが
早く Leanによる形式化の詳細を公開して
みんなで議論して、早く前進させた方が良いと思う
ある方法がだめでも
おうおうにして
別の手段があるものです
482:１３２人目の素数さん
26/07/24 21:37:08.87 /RjtiMHB.net
アホ
483:１３２人目の素数さん
26/07/24 21:45:13.30 S3KDKg/8.net
アッポー
484:１３２人目の素数さん
26/07/24 21:46:28.52 Dnxx1y9G.net
ほんとはなんもやってないんだよ
485:１３２人目の素数さん
26/07/24 23:02:38.54 Ey8rJ4AB.net
>>481
できてないのバレちゃうじゃん
486:１３２人目の素数さん
26/07/24 23:06:37.17 B7dUo32s.net
species/mutationという用語を見てちょっと説明聞いて最初思ったのは
これcategoryとfunctorじゃないのってことだったけど
speciesはcatetoryのobjectだけをイメージしてるのかね？
morphismは考えてない？
487:１３２人目の素数さん
26/07/25 02:06:23.75 XoBvX2Rg.net
>>480
>（＝特定されていない、「とある論理式Φ」のようなもの）
「のようなもの」じゃ形式化は出来ないだろ
それから形式化の仕事してるなら論理式なんて非専門用語は使わずに
命題なのか述語なのかはっきりさせないと
述語に量化記号使うなら二階述語論理になるし
大丈夫ですか
数学屋はたとえ公理の数を有限無限個にしても一階述語論理に閉じこもることを好むが
計算機科学屋はsystem Fとか昔から高階トポスに親しんでる人が多い
一階つまりエレメンタリートポスで充分なのかどうかはLean関係なく数学的な議論ができる
圏論的には量化をスライス圏における随伴関手として扱うのは当然知ってるだろうしそこまで難しくないだろ
そこをはっきりさせてくれないと形式化なんて無理
「のようなもの」なんて論外
まあIUT関連の論文ではよく出てくる言葉なんだけどw
488:１３２人目の素数さん
26/07/25 07:07:32.31 bmdqsgm3.net
>>487
>「のようなもの」じゃ形式化は出来ないだろ
∃φ
みたいなのを必要とすると言いたいのではナイかな
489:１３２人目の素数さん
26/07/25 08:39:56.42 AuqA/R3q.net
>>485
>できてないのバレちゃうじゃん
いや、それが大切だと思うんだ
つまり、出来ていることと、出来ていないこと
これを明確にして、公表するべし！
490:１３２人目の素数さん
26/07/25 10:07:28.06 AuqA/R3q.net
下記、向こうのスレからだけど
ほんと 同意で そう思う
IUT I～IVは、望月氏の単著だから 望月氏が決断すれば良いだけ
「Leanコード出来たところまで、公開します！」とやればいい
そうして、広く みなで議論するべし
いまや、仏国まで巻き込んだ 一大遠アーベルプロジェクトになっているんだから
オープンな議論をしていかないと いけない
と思うよ
(参考)
URLﾘﾝｸ(rio2016.5ch.io)
2026/07/25(土) ID:ncTQQ9AA
>> 509
>アイデア自体が無力なので修正・補強は無意味なのよ
ABCに対するアプローチ方法としては面白いとは思うけどな
ディオフォントス幾何においては遠アーベルとかじゃ無いとABCに接近出来ないのは研究者からしたらほぼほぼ気づいてることだし
>abcが出るくらい非自明な主張を証明なしに使っていただけ
その主張に証明を与えればいいんでしょ
数学によくある予想の置き換えというか、もとからある予想Aは予想Bと等価ということを証明すること自体に意味がある
あとは予想Bを証明するか何なら予想Bが新たな予想Cと等価だと証明して予想Cを証明するだけ
ABC予想関連で不毛だなと思うのは望月先生の証明を議論すること
さっさとABC予想はコレコレの形の予想を証明すると自動的に成立するから、望月の研究ではそれを確認しただけ
さあ皆さんコレコレの形の予想を証明、反証しましょうねで済む話
491:１３２人目の素数さん
26/07/25 11:14:22.89 +LSaq+7s.net
>特定されていない、「とある論理式Φ」のようなもの
算術におけるゲーデル数のアイデアを集合論へ適用すればよくね？
有限種類の記号の有限列であるところの論理式と集合との1対1対応を定義できるだろうから、論理式（に対応する集合）全体の集合 Form を定義できて、∃φ∈Form とすればよくね？
492:１３２人目の素数さん
26/07/25 11:22:54.15 +LSaq+7s.net
>一階述語理論としてのZFCが必要であり、それはMathLib上ではまだ掲載されていないということが判明しました。
ん？ 一般的なZFCは一階述語理論としてのZFCじゃないの？ 何を言ってるんだろう？
493:１３２人目の素数さん
26/07/25 13:42:05.74 AuqA/R3q.net
>>490 追記
下世話な話だが
望月氏は、世事に疎いみたいなので書いておくと
IUTがLean形式化がパスしないと
世間からは、IUT証明はしっぱいと判定されるだろう
が、後付けでも ロジック追加で Lean形式化のギャップを埋めることができれば
一応格好はつく
さて、IUT証明しっぱいと判定されて困ることは
・まず、望月研の院生が困る
（あの有名な望月研か と言われるか 悪名高い望月研出身かとなるかのちがい）
フェセンコ氏や彼の弟子 周忠鵬も同じ
・RIMS のIUT論文別冊出版のとき
巻頭に編集者連名で「ちゃんと審査したので大丈夫」宣言を書いた
柏原先生が 筆頭だったが、10名くらい居たはず
・遠アーベルプロジェクト
”Arithmetic & Homotopic Galois Theory IRN” URLﾘﾝｸ(ahgt.math.cnrs.fr)
ここに 仏国の人もいるから、おおげさには国際問題
そんなこんなで 繰り返すが
後付けでも Lean形式化のギャップを埋めることができれば 一応格好はつく
が もしダメでも それは仕方ない。人間だもの
（スポーツなら 後のVAR判定で再逆転もありかも）
ともかく、事態の収束を加速する必要がある
494:１３２人目の素数さん
26/07/25 14:12:25.30 AuqA/R3q.net
>>493 補足
>・RIMS のIUT論文別冊出版のとき
> 巻頭に編集者連名で「ちゃんと審査したので大丈夫」宣言を書いた
> 柏原先生が 筆頭だったが、10名くらい居たはず
類似例は、数学史ではしばしばある
自然言語系では、当然視・自明視していた事項が
実は、公理系の選び方で、自明ではないと判明することがある
下記の可算選択公理みたく
多くの人が 賛同したことは
後世から見て「まるっきり間違いとは言えない」ねと
そこらがハッキリすれば
それはまた数学の更なる発展に繋がる
ともかく、オープンな議論にすることが大切なことだろう
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
選択公理
可算選択公理
カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている。