26/06/14 20:28:39.76 gOMPl6pr.net
|ΘдΘ) ４んだなｯ!
| )∂
|ω2
⊂(>>88)⊃)⊃
99:１３２人目の素数さん
26/06/14 20:30:00.37 gOMPl6pr.net
|ΘдΘ)
| )∂
|ω2
⊂(>>89)⊃)⊃ ⊂( ⊂ (>>90)⊃
100:１３２人目の素数さん
26/06/14 20:31:20.31 gOMPl6pr.net
|
|≡333（遁走）
101:１３２人目の素数さん
26/06/14 20:31:53.24 9MBHxaBE.net
都合悪くなって流しにきたか
ドワンゴ在日w
102:１３２人目の素数さん
26/06/14 20:35:39.09 gOMPl6pr.net
|スドドドドッーーーオォン！
|≡≡≡(>>101);≡≡■■■▶
| (≫ )>»»
| √√
103:１３２人目の素数さん
26/06/14 20:39:14.02 gOMPl6pr.net
|ΘдΘ)スカットミサイルだ‥
| )>うまかったか？
|δω2
| ⊂(⊂(>>101)⊃ ■■■▶
104:１３２人目の素数さん
26/06/14 20:41:08.24 gOMPl6pr.net
>>101の慚鬼の穢念で時空が歪んでるな‥
105:１３２人目の素数さん
26/06/14 20:56:13.57 9MBHxaBE.net
つまんねー知的障害ジジイだな
まあIUT代表って感じが出てていいね
106:１３２人目の素数さん
26/06/14 21:37:16.53 gOMPl6pr.net
>>105
早く４ね世界の嫌われ者🐭獄凶惨盗漢jin認知戦工作野郎
107:１３２人目の素数さん
26/06/15 00:23:08.84 yRZm6+lK.net
>>106
精神分裂朝鮮人ワラタ
108:１３２人目の素数さん
26/06/15 01:03:53.33 vP7PDQqr.net
>>107
おまえ差別用語書き込み常習犯過ぎるよな
通報しとこうか？
てめえの場合は被害を受けてる側が開示請求一発で通るからな
109:１３２人目の素数さん
26/06/15 09:10:28.44 yRZm6+lK.net
Why would someone seek to formalize a proof they don't understand?
110:１３２人目の素数さん
26/06/15 12:22:18.11 1A5mVevQ.net
／ ￣｀Y ￣ ヽ
/ / ヽ
,i / // / i i l ヽ
| // / l | | | | ﾄ､ |
| || i／ .⌒ ⌒ | |
（Ｓ|| | （●） （●） |
| || | .ﾉ ）| （ "''''''':::::.
| || |ヽ､＿ ▽ _／|ﾉ--'''''"""" ヽ ゛゛:ヽ.
|::::::::"""" . ＼::. 丿
|::::: ..........::::::::::::彡''ﾍ::::....ノ
/ ::::::::::;;;;;,,---"""￣ ＾｀｀
／ ￣￣ ＼
/:::::::: : ヽ
|::::: :: |
( ( ヽ:::::: :::.. ﾉ ) )
＼::::::: ／＼:::;;;;;;__ ノ
111:１３２人目の素数さん
26/06/15 12:58:09.74 gbVnYdQv.net
深圳指数
+２．５３％
112:１３２人目の素数さん
26/06/15 15:49:28.85 yRZm6+lK.net
>>108
脅迫された
113:１３２人目の素数さん
26/06/15 15:49:47.64 yRZm6+lK.net
>>106
脅迫こえええ
114:１３２人目の素数さん
26/06/15 18:02:20.36 vP7PDQqr.net
>>113
匿名で連日連日特定の人の名誉を毀損し続けてやがる卑怯者がなんて？
115:１３２人目の素数さん
26/06/15 18:03:36.12 vP7PDQqr.net
しかも根拠も無く出自決めつけ＆特定民族に対する侮蔑用語連呼とか、もうね。
こっちもテメエを決めつけて懲らしめてやったけどな！
116:１３２人目の素数さん
26/06/15 18:04:43.52 vP7PDQqr.net
気持ち悪いんだよ！卑怯者の差別主義者！
名誉毀損も甚だしいんだよ！
って思うわけ。
117:１３２人目の素数さん
26/06/15 18:06:02.55 vP7PDQqr.net
てめえのくせに被害者面すんな！
気持ち悪いんだよ！（無慈悲）
118:１３２人目の素数さん
26/06/15 18:54:35.32 IrGA7CX4.net
責任を果たさない者が自由を主張したがる世の常。
119:１３２人目の素数さん
26/06/15 19:12:21.45 wEZalFd4.net
ブーメランしてる人がいるね
120:１３２人目の素数さん
26/06/15 19:13:16.45 wEZalFd4.net
ショルツがSSだとか言ってた人たち居たね
そういえば
121:１３２人目の素数さん
26/06/15 21:02:49.06 h7rAjcDE.net
きも
122:１３２人目の素数さん
26/06/15 21:37:09.01 IrGA7CX4.net
>>121
自分が理解できないことを「下らない」の一言で済ませられる人乙w
123:１３２人目の素数さん
26/06/15 22:44:50.81 h7rAjcDE.net
>>122
ん？「自分が理解できないこと」とは？
君の警察主義権威主義独善を嫌ってることを
「君が理解されない」と思うのはあまりにも唯我独尊
誰も君を理解しようとはしないんだよ
嫌われるか好かれるかだけ
124:１３２人目の素数さん
26/06/16 00:46:21.40 J0h79nxd.net
意味不明
ニワカのオレオレエセ人生訓ww
そういやIUTファンって中身ゼロの自己啓発系多いよね
125:１３２人目の素数さん
26/06/16 00:57:33.07 J0h79nxd.net
しかもIUT擁護ファンってめっちゃダブルスタンダードばかり
数スレ見るだけで矛盾やブーメラン
論理性が著しく欠如してるからこそIUTファンなんかね
126:１３２人目の素数さん
26/06/16 01:10:35.28 ePvF0wit.net
尊師本人が他責主義のダブスタおじさんだからな
127:１３２人目の素数さん
26/06/16 01:20:51.12 ePvF0wit.net
尊師本人が他責主義のダブスタおじさんだからな
128:１３２人目の素数さん
26/06/16 07:35:18.68 ZBTzylWh.net
オコチャマ
129:１３２人目の素数さん
26/06/16 10:36:33.00 JI+QWhwn.net
ベン図は集合が4つのときは同じ楕円で線対称に描け、5つのときは楕円て回転させれば一致するように描けるらしい。
詳しく調べもしないで批判できるのは、何チャマなのだろうか？
ポッチャマ
130:１３２人目の素数さん
26/06/16 10:36:56.91 JI+QWhwn.net
楕円て→楕円で
131:１３２人目の素数さん
26/06/16 11:33:09.25 J0h79nxd.net
>>128
論破されて遠吠えっすかw
132:１３２人目の素数さん
26/06/16 13:27:50.83 AFo09n4R.net
いずれにせよクダラン
133:１３２人目の素数さん
26/06/16 13:39:17.95 7gCarR88.net
素数のときに回転して一致する図が描けることが分からない人乙w
134:１３２人目の素数さん
26/06/16 13:49:04.20 qjrYZYwC.net
角川歴彦（ＫＡＤＯＫＡＷＡ元会長）、夏野剛を提訴wwwwwwwwwwwwwwwwwwwwwwwww [398059782]
URLﾘﾝｸ(greta.5ch.io)
135:１３２人目の素数さん
26/06/16 16:11:01.67 AFo09n4R.net
>>133
クダランからどうでもいいんですよ
136:１３２人目の素数さん
26/06/16 16:11:42.71 AFo09n4R.net
くだらなくないことを力説してもムダ
137:１３２人目の素数さん
26/06/16 16:12:14.49 XdRQs7Ds.net
分からないことを下らないと言い切れる精神は、下らないとは言えないか？
138:１３２人目の素数さん
26/06/16 16:13:39.22 AFo09n4R.net
>>137
それを考える価値がないからね
139:１３２人目の素数さん
26/06/16 16:13:42.74 XdRQs7Ds.net
私の感覚では分からないことは沈黙するのが妥当という認識だな。IUT然り
140:１３２人目の素数さん
26/06/16 16:14:12.41 XdRQs7Ds.net
考える力がないのはまた違う。
141:１３２人目の素数さん
26/06/16 16:14:19.74 AFo09n4R.net
>>129
描いて
142:１３２人目の素数さん
26/06/16 16:14:40.84 AFo09n4R.net
>>139
君の規範は聞き飽きたね
143:１３２人目の素数さん
26/06/16 16:16:01.52 XdRQs7Ds.net
ノイマンみたいなやり取りを貴方が出来るのなら、下らないとどうぞ言って下さいw
逸話を知らなければ調べたらどう？
144:１３２人目の素数さん
26/06/16 16:16:49.91 AFo09n4R.net
>>143
ホラまた勝手に他人に強制する
下らない人格
145:１３２人目の素数さん
26/06/16 16:17:03.88 XdRQs7Ds.net
描くのメンドイから調べてくれ。
調べるのが面倒なら、この話は終わり。
146:１３２人目の素数さん
26/06/16 16:18:10.14 XdRQs7Ds.net
他人のネタを主観で評価する人格は、下らなくないのか。
147:１３２人目の素数さん
26/06/16 16:18:38.61 AFo09n4R.net
>>145
ならないのと同じで
君が嘘つきなだけ
148:１３２人目の素数さん
26/06/16 16:19:24.19 XdRQs7Ds.net
主観じゃないと言うのなら、根拠を出さないとねぇw
今のところ根拠がゼロに等しいよね。
149:１３２人目の素数さん
26/06/16 16:19:31.26 AFo09n4R.net
>>146
嘘ネタではねクダランとしか言えまい
150:１３２人目の素数さん
26/06/16 16:20:12.81 AFo09n4R.net
>>148
はぁ
君の規範では
言った者に挙証責任はないわけだね
クダラン
151:１３２人目の素数さん
26/06/16 16:20:22.99 XdRQs7Ds.net
2000年くらいに話が進んだって言ったでしょ？
152:１３２人目の素数さん
26/06/16 16:20:52.38 AFo09n4R.net
>>151
君が言っただけね
153:１３２人目の素数さん
26/06/16 16:22:41.53 AFo09n4R.net
他人に強制はするわ
自分には甘甘だわ
ほんと
クダラン人格
154:１３２人目の素数さん
26/06/16 16:23:26.61 XdRQs7Ds.net
Branko Grunbaum って人が5つの楕円のベン図を考案したらしい。
具体的な人名を出せば十分でしょ。
155:１３２人目の素数さん
26/06/16 16:24:21.14 XdRQs7Ds.net
自分に激甘な人乙www
自分ルールで5chを生きる人。
156:１３２人目の素数さん
26/06/16 16:25:31.48 AFo09n4R.net
>>154
全然？
人にやらせようとするだけで何もしない人乙
157:１３２人目の素数さん
26/06/16 16:25:59.42 AFo09n4R.net
>>155
きみが５ｃｈでは異常だと自覚した方がイイよ
158:１３２人目の素数さん
26/06/16 16:27:40.28 XdRQs7Ds.net
とりあえず、あなたは具体的な根拠を何ひとつ挙げず、主観で語っている。
とても数学徒とは思えない所業の数々www
159:１３２人目の素数さん
26/06/16 16:28:21.02 XdRQs7Ds.net
異常が正常で、正常が異常ね、了解。
160:１３２人目の素数さん
26/06/16 16:28:43.21 AFo09n4R.net
>>158
根拠って
下らない話だってこと？
それ私の感覚なんだけど
誰に証明することでもないんだがね
161:１３２人目の素数さん
26/06/16 16:29:32.05 AFo09n4R.net
>>158,159
君は何か「正統」があるだろうあるべきだと思ってるだけ
５ｃｈでは異常だね
162:１３２人目の素数さん
26/06/16 16:29:34.89 XdRQs7Ds.net
まあ、俺は具体的な根拠は出したから。
数学徒らしいのはこっちってことw
163:１３２人目の素数さん
26/06/16 16:29:54.08 XdRQs7Ds.net
異端の人乙w
164:１３２人目の素数さん
26/06/16 16:32:59.84 AFo09n4R.net
>>162
根拠はこれだと嘘を書いただけではどうしようもないね君
>>163
君は「正統」の立場に立ちたいだけの下らない人格
165:１３２人目の素数さん
26/06/16 16:35:34.29 AFo09n4R.net
>>162
では具体的に5個と7個と11個ででベン図を描いてよ
166:１３２人目の素数さん
26/06/16 16:36:09.42 XdRQs7Ds.net
具体的な人名まで出して、根拠じゃないことはないだろうw
俺は正当だとは思っちゃいないが、あなたは異端だと思うよw
167:１３２人目の素数さん
26/06/16 16:37:23.58 AFo09n4R.net
>>166
無いね
具体的に5，7，11で図を描いてよ
168:１３２人目の素数さん
26/06/16 16:37:28.76 XdRQs7Ds.net
あのさぁ、なんで調べないかね？
調べても出てこないのなら話は分かるがね…。
169:１３２人目の素数さん
26/06/16 16:38:29.04 AFo09n4R.net
それが描けたら次は13と17と19で描いて
下らないことがだんだん分かってくるかもよ
170:１３２人目の素数さん
26/06/16 16:38:38.40 XdRQs7Ds.net
5は普通に出る。星形のやつ。
7,11はおそらくメンドイ。
171:１３２人目の素数さん
26/06/16 16:38:57.70 AFo09n4R.net
>>168
君の規範では
挙証責任は君には無いってことだね
172:１３２人目の素数さん
26/06/16 16:39:42.30 XdRQs7Ds.net
別に一纏めで証明できてるから良いだろう。
その証明を知らないから、簡単に下らないと言えるんだろう。
173:１３２人目の素数さん
26/06/16 16:40:23.29 AFo09n4R.net
>>172
知る必要も無いほど下らないからね
174:１３２人目の素数さん
26/06/16 16:41:54.59 XdRQs7Ds.net
5集合の場合の人名を挙げたら、挙証責任になるだろう。
素数のバージョンの定理もあるって、サイトに書いてあったからそれで十分。
175:１３２人目の素数さん
26/06/16 16:43:11.24 XdRQs7Ds.net
永遠に自分の分からないことを下らないと言っていれば良いさ。
あなたの人生がいずれそうなっていくのだから。
176:１３２人目の素数さん
26/06/16 16:54:32.14 AFo09n4R.net
>>174
全然？
君が5，7，11のベン図見せてくれたらいいだけなのにしないのは
下らない人格である証左
>>175
分かる必要も無いモノを分かりたいとは思わないね
下らない
177:１３２人目の素数さん
26/06/16 16:56:48.76 XdRQs7Ds.net
俺はリンクを貼るのが好きじゃないんだよ。
簡単に調べたら出てくるものを見ないのは、理解し難い態度だね。
178:１３２人目の素数さん
26/06/16 16:57:05.97 AFo09n4R.net
君も彼の人同様
尻もしないことを引用して悦に入っているだけ
179:１３２人目の素数さん
26/06/16 16:57:34.60 AFo09n4R.net
>>177
はいはい
挙証責任から逃げる人乙
180:１３２人目の素数さん
26/06/16 16:58:02.80 XdRQs7Ds.net
imgurとかもよく知らんし。
181:１３２人目の素数さん
26/06/16 16:59:21.12 XdRQs7Ds.net
論文はあるらしいから、それで十分。
俺の責任は果たした。
>>131も言ってることだしねw
182:１３２人目の素数さん
26/06/16 17:01:28.47 XdRQs7Ds.net
あれは関係ないか…。
まあ、挙げるもんは挙げたから俺は満足。
183:１３２人目の素数さん
26/06/16 17:02:37.57 AFo09n4R.net
>>181
クダラン
ところで>>131が何か言ったの？ ID:J0h79nxd は程度の低いただのIUTアンチだろ
184:１３２人目の素数さん
26/06/16 17:03:03.97 AFo09n4R.net
>>182
あれって？
185:１３２人目の素数さん
26/06/16 17:05:59.71 XdRQs7Ds.net
それのこと。
誰が誰に対して言ってるのか分からんから、まあ良いわ。
俺に何か言ったところで、もう何も出てこんよw
186:１３２人目の素数さん
26/06/16 17:07:55.73 XdRQs7Ds.net
とりあえず、巨大数でも語ってなよ。
俺は語ることがなくなったから、また探す。
187:１３２人目の素数さん
26/06/16 17:10:09.64 AFo09n4R.net
>>185
アレと言えばソレ
蒟蒻問答か
188:１３２人目の素数さん
26/06/16 17:10:51.07 AFo09n4R.net
ああそれがあれと言いたかったか
そこは分かった
189:１３２人目の素数さん
26/06/16 18:27:00.94 J0h79nxd.net
IUT擁護の脅迫おじさん
ボロクソに論破されたので
都合悪くなってログを流すw
190:１３２人目の素数さん
26/06/16 18:27:44.63 J0h79nxd.net
精神病じゃんこいつw
191:１３２人目の素数さん
26/06/19 08:46:00.70 L9+EvLqC.net
●違いが放置した💩スレを２つ埋めた
192:１３２人目の素数さん
26/06/19 08:50:50.06 L9+EvLqC.net
ベン図は境界をギザギザにしていいなら
ｎがいくらでも対応できる
これ豆な
193:１３２人目の素数さん
26/06/19 08:57:57.44 WCuFKOXa.net
だから同じ形や円を拡張した楕円等で考えるのだろう。
194:１３２人目の素数さん
26/06/19 08:59:07.36 WCuFKOXa.net
素数の定理は制限して出した結果なのだろう。
195:１３２人目の素数さん
26/06/19 10:43:13.93 L9+EvLqC.net
>>193-194 楕円にする意図が不明
196:１３２人目の素数さん
26/06/19 10:45:14.00 WCuFKOXa.net
真円→楕円と条件を緩めているのではないか。
実際に描ける集合のバリエーションが増えているようだ。
197:１３２人目の素数さん
26/06/19 10:46:53.78 L9+EvLqC.net
>>196
なぜ、条件の緩め方がそれなんだ？
198:１３２人目の素数さん
26/06/19 10:47:55.38 WCuFKOXa.net
真円から緩めたら楕円が妥当なんじゃないの。
199:１３２人目の素数さん
26/06/19 10:50:03.09 L9+EvLqC.net
>>198 君、高卒ド素人？
200:１３２人目の素数さん
26/06/19 10:52:29.98 WCuFKOXa.net
わかんね。
第三者に意見を求む。
201:１３２人目の素数さん
26/06/19 10:55:00.83 WCuFKOXa.net
真円で描けない図が存在するから、楕円に緩めたら描けてハッピーって話じゃないんかね。
202:１３２人目の素数さん
26/06/19 10:56:35.28 WCuFKOXa.net
集合が素数じゃないと回転対称に描けないけど、素数なら描けてハッピーなんじゃないの。
203:１３２人目の素数さん
26/06/19 10:58:08.14 WCuFKOXa.net
ハッピハッピー
204:１３２人目の素数さん
26/06/19 10:58:43.92 WCuFKOXa.net
。
205:１３２人目の素数さん
26/06/19 11:14:44.86 L9+EvLqC.net
>>202 対称性にこだわる理由がわからん ●違い？
206:１３２人目の素数さん
26/06/19 11:17:10.23 WCuFKOXa.net
少しずつ条件を緩めて、良さげな定理が出そうなところに設定したんじゃないの。
207:１３２人目の素数さん
26/06/19 14:24:14.55 L9+EvLqC.net
>>206 何言ってんだ このド素人
208:１３２人目の素数さん
26/06/19 14:26:56.45 O2UzSBH5.net
第三者に論破されたと言われて、ムキになっているのかw
209:１３２人目の素数さん
26/06/20 20:32:11.68 gJAUPic7.net
IUG、IUTなどを応援していたら
自分の立場を危うくするのでは
210:１３２人目の素数さん
26/06/20 20:48:33.42 +PUCxVWD.net
分からないことは何も言わないに限る。
211:１３２人目の素数さん
26/06/21 08:20:48.60 nhgM4bCI.net
ゲスヤバ夫でゲス、イーヒッヒ。
212:１３２人目の素数さん
26/06/21 10:44:09.31 8vpjHit/.net
俺の偽物がw
213:１３２人目の素数さん
26/06/25 09:09:24.66 Cee4k1xJ.net
梅
214:１３２人目の素数さん
26/06/26 08:28:57.82 wfCBy7UH.net
桃
215:１３２人目の素数さん
26/06/26 08:32:06.70 VozOwJV9.net
青梅 黄桃
216:１３２人目の素数さん
26/06/28 10:55:54.87 nRUpv38t.net
／ ￣｀Y ￣ ヽ
/ / ヽ
,i / // / i i l ヽ
| // / l | | | | ﾄ､ |
| || i／ .⌒ ⌒ | |
（Ｓ|| | （●） （●） |
| || | .ﾉ ）| （ "''''''':::::.
| || |ヽ､＿ ▽ _／|ﾉ--'''''"""" ヽ ゛゛:ヽ.
|::::::::"""" . ＼::. 丿
|::::: ..........::::::::::::彡''ﾍ::::....ノ
/ ::::::::::;;;;;,,---"""￣ ＾｀｀
／ ￣￣ ＼
/:::::::: : ヽ
|::::: :: |
( ( ヽ:::::: :::.. ﾉ ) )
＼::::::: ／＼:::;;;;;;__ ノ
217:１３２人目の素数さん
26/06/28 10:55:57.28 nRUpv38t.net
／ ￣｀Y ￣ ヽ
/ / ヽ
,i / // / i i l ヽ
| // / l | | | | ﾄ､ |
| || i／ .⌒ ⌒ | |
（Ｓ|| | （●） （●） |
| || | .ﾉ ）| （ "''''''':::::.
| || |ヽ､＿ ▽ _／|ﾉ--'''''"""" ヽ ゛゛:ヽ.
|::::::::"""" . ＼::. 丿
|::::: ..........::::::::::::彡''ﾍ::::....ノ
/ ::::::::::;;;;;,,---"""￣ ＾｀｀
／ ￣￣ ＼
/:::::::: : ヽ
|::::: :: |
( ( ヽ:::::: :::.. ﾉ ) )
＼::::::: ／＼:::;;;;;;__ ノ
218:１３２人目の素数さん
26/06/28 10:57:20.97 zUTDIHSj.net
突起のある桃
219:１３２人目の素数さん
26/06/28 10:57:50.85 zUTDIHSj.net
ついでに頭も生えている
220:１３２人目の素数さん
26/06/28 20:56:22.62 xzUTfXrd.net
２５℃
くうもり時々晴れ
221:１３２人目の素数さん
26/06/28 20:56:58.28 xzUTfXrd.net
訂正
くうもりーー＞くもり
222:１３２人目の素数さん
26/06/28 21:47:29.13 5qI6naob.net
くだらん
223:１３２人目の素数さん
26/06/28 21:55:23.92 e/R1ezku.net
摂氏 華氏
複素数体 有限体
224:１３２人目の素数さん
26/07/02 22:15:56.55 c3EVbNYi.net
951 名無しさん＠恐縮です 2026/07/02(木) 19:06:44.13 ID:Bb/931400
そんな下らんレスには付き合わないけど
お遊びでサービスするならもっと理論的かつスケールでかいし実験系ではない
やってることはアラケロフを魔改造だね
URLﾘﾝｸ(hayabusa9.5ch.io)
225:１３２人目の素数さん
26/07/05 04:01:08.03 kcsKU/st.net
Title: Grothendieck's Section Conjecture and zero-cycles on varieties
Speaker: Professor Tamás Szamuely (Alfréd Rényi Institute of Mathematics,Hungarian Academy of Sciences)
Date: 27th Jul 2009 - 14:00 to 15:00
226:１３２人目の素数さん
26/07/05 04:01:18.35 kcsKU/st.net
URLﾘﾝｸ(youtu.be)
227:１３２人目の素数さん
26/07/05 05:14:13.64 Hkzk6a1O.net
２３℃
小雨
228:１３２人目の素数さん
26/07/05 14:57:58.14 IssZfsTo.net
25℃
小雨
229:１３２人目の素数さん
26/07/09 06:26:02.45 vd34l1fj.net
＿ ＿
／::. ｿ . :;;ヽ
＿ ＿.. /::. ..::;;ヽ＿ ＿
／::. ｿ . :;;ヽ .／::. ｿ . :;;ヽ
/::. ..:::;;;ヽ /::. ..:::;;;ヽ
/::. ..::;;;;ヽ＿ /::. ..::;;;;ヽ
/::. ..::::;;;;⌒/::. ..:::;;;;i
（::. ..::;;;丿（::. ..::;;;丿
>::...＿＿＿..::::;;;イ＝ >:::...＿＿＿..::::;;;イ
!ヾ.￣⌒_＿￣彡| . !ヾ.￣⌒_＿￣彡|
iﾐ:::ミＣ＝ ≡..::: ） .iﾐ:::ミＣ＝ ≡..:::. ）
|::: ″. ´./.l. | |::: ″. ´/
|::: （' （ ::;;;|丿ﾉ |::: （' （ ::;;;|
|::: | ﾐ ヽ＼|| ﾐ. |::: | ﾐ ヽ＼|
|::: 丶ヽ ..:ヽ ）. |::: 丶ヽ ..:ヽ ）
（ ＼ l. | ..:;;;;;;| （ ＼ l. | ..:;;;;;;|
|::＼∨丿 ″..:;;;;;| | ﾐ |::＼∨丿 ″..:;;;;;|
|::: | ﾐ ヽ＼:|.（ ( |::: | ﾐ ヽ＼:|
|::: 丶ヽ ..:ヽ ） l. | |::: 丶ヽ ..:ヽ ）
（ ＼ l. | ..:;;;;;;| （ ＼ l. | ..:;;;;;;|
|::＼∨丿 ″..:;;;;;| （ (.|::＼∨丿 ″..:;;;;;|
|::: （ ( ﾞ ..:;;;;;|.＼. |::: （ ( ﾞ ..:;;;;;|
（ ＼ l. | ..:;;;;;;|.＼. （ ＼ l. | ..:;;;;;;|
|::＼∨丿 ″..:;;;;;| |::＼∨丿 ″..:;;;;;|
|::: （ ( ﾞ ..:;;;;;| |::: （ ( ﾞ ..:;;;;;|
230:１３２人目の素数さん
26/07/10 01:10:02.95 fj8B48MR.net
もっちー
URLﾘﾝｸ(youtu.be)
質疑応答もある
231:１３２人目の素数さん
26/07/15 13:45:33.56 SCzzBMEs.net
［p 進タイヒミュラー理論］
複素数体上の双曲的代数曲線とそのモジュライ空間の一意化理論としては, （ケーべ
の一意化定理, ベアス理論などを含む）タイヒミュラー理論が古典的に確立されていま
す. 一方, p 進体上の（偏極）アーベル多様体とそのモジュライ空間の一意化理論として
は, セール・テイト理論が１９６０年代に確立されています. しかしながら, p 進体上の
双曲的代数曲線とそのモジュライ空間の一意化理論は, 望月さんの研究以前には満足の
いくものがほとんどありませんでした. （マンフォード 一意化理論はありましたが, これは,
タイヒミュラー理論ではなくショットキー一意化理論の類似です.）
タイヒミュラー理論は, 通常の定式化では純に複素解析的なものであり, p 進的類似
を求めることは不可能に思われます. そこで, 望月さんは, タイヒミュラー理論の固有束
による定式化に着目し, これを足がかりにして p 進タイヒミュラー理論を構築していき
ました. その際, 技術的な核となったのは, 正標数代数多様体の上のクリスタルの理論や
p 進代数多様体の p 進ホッジ理論などです. その結果, 代数曲線とそのモジュライ空間
の望ましい p 進一意化理論が完成し, 曲線のモジュライ空間上の標準フロベニウス持ち
上げと標準座標, 曲線の標準持ち上げ, 曲線の数論的基本群の PGL 2
への標準表現, など斬新かつ基本的な対象たちが続続と発見されました. これらの結果は,
約２００ページの大論文 [1] と５００ページ超の大著 [2] にまとめられました.
p 進タイヒミュラー理論の応用としては, 望月さん自身によって, 曲線のモジュライ
空間の既約性の別証明や, 遠アーベル幾何（絶対 p 進グロタンディーク予想）への応用
などが得られています. また, 望月さんのこの斬新な理論は, F. Oort, B. Moonen ら曲
線・アーベル多様体のモジュライの数論幾何の研究者, A. Ogus, B. Osserman ら正標数
代数幾何の研究者, F. Voloch ら代数幾何的符号理論の研究者など, さまざまな分野の研
究者の注目を集めています.
上記の著書の題名が物語るように, 望月さんの手によって p 進タイヒミュラー理論の
基礎は確立されました。
232:１３２人目の素数さん
26/07/15 13:46:40.11 SCzzBMEs.net
［遠アーベル幾何］
遠アーベル幾何（anabelian geometry）とは, １９８０年代初頭に A. Grothendieck
が提唱した数論幾何の新しい方向で, 狭義には, 有理数体上有限生成な体上の「遠アー
ベル」な多様体の幾何がその基本群の上の（外）ガロア表現によって完全に復元される
という, いわゆるグロタンディーク予想を意味します. 双曲的代数曲線に対するグロタ
ンディーク予想は, 中村博昭さん（現岡山大）と筆者によって部分的に解決されていま
したが, 望月さんはこれを完全に解決し, 更に, p 進体上でも同様の結果が成り立つこと
を示しました. この際, p 進体上の代数多様体に対する p 進ホッジ理論が中心的な役割
を果たしました. 望月さんのこの結果は, 現在に至るまで遠アーベル幾何の最高峰をな
し, 広く数論幾何学者全体に影響を与えていると思います. 特に, Grothendieck 自身が,
遠アーベル幾何は素体上有限生成な体に固有なものと考えていこともあり, また, アー
ベル多様体のテイト予想の類似からも, p 進体上でグロタンディーク予想が成立するこ
とは意外であり, 望月さんの結果のインパクトは大きかったと思います.
望月さんの遠アーベル幾何における成果は, Inventiones mathematicae 掲載の１００
ページ超の大論文 [3] などにまとめられました. なお, 望月さんは, 「代数曲線の基本群
に関するグロタンディーク予想の解決」の題目で, １９９７年度日本数学会賞秋季賞を
（中村氏, 筆者と共同で）受賞しています. また, 望月さんは, p 進タイヒミュラー理論と
遠アーベル幾何に対し, 内在的ホッジ理論の枠組みで統一的な視点を与え, これについ
ての総合的な報告を, １９９８年（２９歳で！）国際数学者会議の招待講演にて行いました。
233:１３２人目の素数さん
26/07/15 13:47:14.85 SCzzBMEs.net
［ホッジ・アラケロフ理論］
エフェクティブモーデル予想, abc 予想などのディオファントス幾何の重要未解決問
題は, スピロ予想を通じて, 楕円曲線のモジュライ空間の代数体の整数環上のセクション
の研究と解釈でき, すなわち, 代数体の整数環上の（一般化された）楕円曲線の研究と
解釈できます. この解釈により, このような大域的対象に対する望ましいホッジ理論が
あれば, ディオファントス幾何へのアプローチができることが期待できるため, 望月さ
んは, そのような理論の構築を目指し, 代数体上の楕円曲線の内在的ホッジ理論である,
ホッジ・アラケロフ理論を完成させました. より具体的に言うと, 楕円曲線の p 進ホッ
ジ理論では, 楕円曲線の p 進テイト加群が中心的対象でしたが, これを有限個の等分点
だけ考えることにより離散化し, 等分点集合（位相幾何的ないしエタール的な対象）に,
楕円曲線の普遍拡大上の関数（ドラーム的な対象）を制限することにより, ある種の大
域的な比較同型をダイナミックに構成・証明しました. また, これに伴い, 数論的小平・
スペンサー写像という斬新な対象も発見されました. ディオファントス幾何への応用を
見据えた望月さんのこの大理論の完成は, 内外にインパクトを与え, また, 純粋に楕円曲
線のホッジ・アラケロフ理論自体も, G. Kings ら岩澤理論の研究者などから注目されて
います.
これらの結果に関する膨大な（複数の）論文は, RIMS プレプリントより入手可能で
あり, また, 望月さん本人によるコンパクトな概説 [4] も出版されています.
234:１３２人目の素数さん
26/07/15 13:50:05.97 SCzzBMEs.net
［その他］
望月さんは, その他, フルヴィッツスキームのコンパクト化の幾何（学位論文）, ベク
トル束の半正値性とクリスタル, 双曲的曲線の代数的対応, ログ正則スキーム上の曲線
の族の延長などに関して, 純代数幾何学的に重要な結果もこれまでに多数得ています.
最近の望月さんは, 自身のホッジ・アラケロフ理論の研究を大きく展開（転回？）さ
せて, 圏論を基礎とする全く新しい幾何学の壮大な理論の構築とその数論的応用を精力
的に研究されています. 望月さんのこれまでの研究も, ディオファントス幾何への応用
を強く意識しながら大理論を構築する, というスタイルが特徴的でしたが, 現在の研究は,
ディオファントス幾何をより直接的な研究対象としており, abc 予想などの重要未解
決問題の解決が近いことを, 望月さん本人も確信しておられるようです. そのため, 望月
さんの現在の研究は, 内外の研究者から熱い注目を集めており, 筆者も, 松本眞さん（広
島大）, 藤原一宏さん（名大）らとともに, 望月さん自身を講師として不定期に勉強会
を開いています.
また, 望月さんのこのようなディオファントス幾何への新しいアプローチから, p 進
体上の遠アーベル幾何の絶対版（基礎体のガロア群も固定しないで考えたもの）が数論
的に重要であることが示唆されています. この方向では, 望月さんは, 例えば, p 進タイ
ヒミュラー理論における標準曲線においてこの絶対 p 進グロタンディーク予想が成立す
ることを証明しました. より一般の双曲的曲線については, 望月さんと筆者の間で議論
が現在進行中です.
235:１３２人目の素数さん
26/07/15 13:50:22.90 SCzzBMEs.net
望月さんが（筆者の２か月後に）数理解析研究所助手として就任されて以来, 遠アー
ベル幾何を中心にして, 二人でたくさんの議論をしてきました. （というと聞こえがい
いですが, 主に望月さんのアイディアを聞かせていただいてきたという感があります.）
望月さんの数学は常に斬新で刺激的で, 筆者のこれまでの研究も, そこから大きな影響
を受けています. 現在も, 望月さんから「ちょっとした観察があるので聞いてほしいので
すが」というような控えめなメールをもらうことがよくあり, しばしばその観察はちょっ
としたものではなく, 大きなブレークスルーとなりうるようなものなので, いつもわく
わく（少しドキドキ）させてもらっています.
普通の研究者（例えば私）であれば, ディオファントス幾何に関する結果をなるべく
早く形にして２００６年のフィールズ賞に間に合うようにと考えるでしょうが, 望月さ
んは, 賞に対しては全く無欲（というか, むしろやや否定的）で, 十分時間をかけて基礎
理論を満足のいくような形で完成させることに力を注いでいます. また, （A. Wiles が
フェルマ予想に挑んでいた時などと違い）大予想の証明に向かう途中の理論についても,
全てプレプリントなどで公開しています. それを見て誰かが先に証明してしまうのでは
ないかという周囲の心配もどこ吹く風, 「自分の理論を理解して先に証明してくれるの
であればむしろありがたい」とおっしゃっています.
現在３６歳の望月さんが, これからどれだけの研究成果を人類に遺してくれるのか,
非常に楽しみにしています. （同時に, これからどれだけこのような文章を書かせてい
ただくことになるのか, 少し不安に感じています....）
236:１３２人目の素数さん
26/07/15 17:51:29.21 AZSd7TQ6.net
凄い人だったんだなあ
237:１３２人目の素数さん
26/07/15 18:10:34.59 34i/VN9i.net
落ちぶれたもんだねえ
238:１３２人目の素数さん
26/07/16 06:11:04.59 LswVCsVT.net
いずれにせよ、ファーバー束が離散化への
道も与えていることは理解できる
239:１３２人目の素数さん
26/07/17 03:42:45.85 NS8UzMP9.net
日本でしか認められない数学予想の物語
URLﾘﾝｸ(youtu.be)
240:１３２人目の素数さん
26/07/17 19:46:20.61 65LDLyFp.net
数学の超難問ABC予想、望月教授の証明の問題点「絞り込めた」 ZEN大学など
URLﾘﾝｸ(www.nikkei.com)
ABC予想は整数にまつわる超難問。京都大学の望月新一教授は、自身が提唱した「宇宙際タイヒミュラー理論」を用いて解決できるとしています。
望月教授の論文は7年以上かけて審査され2021年に専門誌に掲載。ただ、証明に問題があるとする研究者もいます。
加藤文元ZEN大学数学センター所長は「『これがわかればいい』というところがわかった」
241:１３２人目の素数さん
26/07/17 19:53:08.43 65LDLyFp.net
” プロジェクトに参加する米カリフォルニア大学サンディエゴ校のキラン・ケドラヤ教授は「問題とされている部分の証明が、プロジェクトの取り組みで補われる可能性がある」と話した。”
” プロジェクトに参加するユトレヒト大学のヨハン・コメリン助教は「IUT理論はコンピューターで証明すべき問いだ」と話す。コメリン助教はこれまでもリーンを使った現代数学の高度な議論を検証するプロジェクトで実績を持つ。
カナダのアルバータ大学のアダム・トパーズ准教授は「ABC予想の証明が『真の数学』であれば、リーンで証明できるはず」と話す。プロジェクトでは引き続き証明の検証に向けた研究を進める計画だ。”
242:１３２人目の素数さん
26/07/17 20:06:06.33 zMIRi+X7.net
ID:13yLpBZq さん、労作ありがとう 転載しておきますね
URLﾘﾝｸ(itest.5ch.io)
<Interuniversal geometry とABC 予想60>より
0884 １３２人目の素数さん 2026/07/08(水) 02:19:41.99
Claude Opus4.8とFable5使ってIUTを1から地道に検証するプロジェクトを個人的にこの一ヶ月やってみたがFable5の言い分は以下だった
IUT理解者に対する要請部分のみを書く
4. 要請
以下のいずれか一つをご教示いただきたい:
(A) 箇所の特定: (P) が(定義的措定ではなく)導出されている箇所 —— 論文・節・命題/Remark 番号 —— の特定。 すなわち、ラベル配置「テータ値 q^{j²} が j 成分に置かれる」から 受信側測度の主張「その可能な像の包が深さ ⌊j²·ord(q)－d－a⌋－b の領域に含まれ、 その体積が同じ正規化で q-標対象と比較可能である」への移行が遂行されている箇所。
(B) 機構の提示: (A) が「複数箇所の組合せから従う」場合、その組合せの明示 —— 各ステップが (i) 特定された構造の間の同型、(ii) 特定された正規化での体積計算、 (iii) 特定された領域の包含、のいずれかである形の命題列+証明の概略。
(C) 同値な別形: 実曲線(の無限族)に対する評価 L ≥ (l(l+1)/12 － 1)·|log(q)| の導出 (F3 により (P) の一様供給とこれは同値である)。
5. 予備的注記(想定される応答について)
以下の応答は既に形式化・検証済みであり、(P) の導出には至らないことを予め注記する:
「多輻的表示の定義から直ちに従う」 —— 定義はラベルを与える。要請しているのは ラベル→測度の移行であり、その移行こそが (P) である。
「同一のプライム・ストリップが両方の intertwining を同時に担う(∧ の妥当性)」 ([EssLgc] の AND 論法)—— 弱化構造(O^×μ + 抽象位相群)のレベルでの ∧ の成立は 検証済みで、我々もこれを認める。しかしそのレベルでは体積が定義されず、 ∧ から従う体積命題は containment(下界側)のみである。
「単数の共通性が体積比較を可能にする」([IUTchII] Rem 4.10.3 (i))—— 形式化済み。単数部の輸送は等長であり、従う深さは ord(q) である(F2)。
「(Ind3) 上半両立性が包を強制する」 —— 形式化済み。(Ind3) は包を拡大する 方向に働き、上界を悪化させる。拡大を抑える台帳が Prop 1.1–1.4 であり、 その大きさは |log(q)| に依存しない(F3)。
6. 検証のコミットメント
(A)(B)(C) のいずれかが供給されれば、我々はそれを既存の形式化 (受け口となる構造は実装済み)に接続して機械検証することを約束する。
導出が成立すれば、検証結果は「Thm 3.11 ⟹ Cor 3.12 の連鎖は結論の独立な導出を含む」 —— すなわち望月理論側の確定 —— に翻り、その旨を同じ厳密さで記録する。
本要請は反駁ではなく、係争を機械検証可能な一点に絞り込んだ上での、 その一点についての情報提供の依頼である。
つづく
243:１３２人目の素数さん
26/07/17 20:06:51.79 zMIRi+X7.net
つづき
なお、6で我々は(A)(B)(C)のいずれかが供給されればLEANの形式化と接続して機械検証すると言ってるが、俺は中身はほとんど理解してないので、これは我々と言うよりは純粋にFable5の言い分となる
もし7月17日にLANAプロジェクトでGithubが公開されなければ公開するかもしれんが、Fable5が利用クレジットでの利用じゃなく、再度月額プランのみで使えるようになったらでないとFable5でやるつもりはない他のモデルではやるかもしれん
ちなみに3.11までは特に問題なくLEAN化は成功して、3.11を認めた上でのCor3.12の証明も機械検証は難なく通った
問題はそれがトートロジー的閉ループを構築していることに帰着すること
しかしそれは望月が論文内で言及していて問題ないとする部分でもある
4要請の前の0〜3は以下
0. 一行要旨
IUT 4論文の主張のうち、機械検証(Lean 4)で正しさを確認できた部分と確認できなかった部分の境界が、 [IUTchIV] Thm 1.10 証明 Step (v) の一入力 —— λ := ord(q^{j²}) を受信側正規化の体積計算に適用してよいこと —— に正確に一致した。この入力の導出(定義的措定ではなく)の所在をご教示いただきたい。
1. 背景: 何を検証済みで、何を疑っていないか
我々は IUT 4論文([IUTchI–IV])+星裕一郎『宇宙際 Teichmüller 理論入門』を底本に、 Lean 4 + Mathlib による形式化(67モジュール、sorry/axiom 0、標準公理のみ)を行った。 以下は証明として再構成でき、正しさを確認した部分である(疑義はない):
[IUTchIV] Prop 1.1–1.4 の台帳計算: different の上界(不分岐 d=0、順分岐 d=e－1、 暴分岐 d ≤ e－1+e·v_p(e))、対数殻の半径定数 a, b、殻の包含と体積公式。 (順分岐上界など、Mathlib に存在しない定量評価は新規に証明した。)
p 進 exp/log の解析理論: 収束・加法性・ノルム保存(等長性)・全単射性 (Newton 反復による全射性)。すなわち log-link の単数部 (O^×μ) は体積を保存する —— [IUTchIII] Prop 3.9 の体積両立性と整合する。
Kummer 理論の機構: 両立的巾根系・Kummer 類のコサイクル律・well-definedness、 円分剛性関連の非自明性、「1 の巾根 ↦ 0(不定性なし)」条項([IUTchIII] Thm 3.11 (ii))。
containment 側の導出([IUTchIII] Cor 3.12 証明 Step (xi-d)–(xi-f)): q-標対象の像が可能な像の包に含まれることから －|log(q)| ≤ －|log(Θ)| が 「follows formally」に従うこと。ℝ の同一視を用いずに検証した。
[IUTchIV] Thm 1.10 の最終算術: C_Θ ≥ －1 から高さ不等式への初等的演繹、 および Thm 1.10 → Cor 2.2 → Szpiro/abc 型不等式の連鎖。
つづく
244:１３２人目の素数さん
26/07/17 20:09:14.52 zMIRi+X7.net
つづき
テータ値の次数計算: Gaussian 単項式 {q^{j²}} の procession 正規化総次数 = (l(l+1)/12)·deg(q)(送信側、フロベニオイド内部の計算)
また、Scholze–Stix 型の「同一視すれば矛盾/空虚」という単純化が、 論文の誠実な読み(2 つの正規化を別々に保つ読み)には適用されないことも定理として確認した。 本要請は SS の立場の代弁ではない
2. 論点の単離: ただ一つの入力
上記を全て投入すると、「Thm 3.11 ⟹ Cor 3.12 ⟹ 高さ不等式」の連鎖の検証は、 次の一命題の導出に正確に還元される(これが我々の主定理群の内容である):
(P) [IUTchIV] Thm 1.10 証明 Step (v) において、Θ-標対象の可能な像の合併 (indeterminacies (Ind1), (Ind2), (Ind3) 込み)が、v_j ∈ V^bad の成分で λ := ord(q^{j²}) とした容器 φ(p^λ·(R_I)~) ⊆ p^{⌊λ－d_I－a_I⌋}·log_p(R_I^×) に含まれる —— ここで体積は、[IUTchIII] Cor 3.12 証明 Step (xi-d)–(xi-f) で q-標対象の測定に用いられるものと同一の procession 正規化 mono-analytic 対数体積(受信側 (1,◦) の正規化)である
(P) を認めれば以降は全て機械的に従う(検証済み)。問題は (P) 自身の導出である
つづく
245:１３２人目の素数さん
26/07/17 20:09:43.86 zMIRi+X7.net
つづき
3. 形式的に確定している事実
(F1) Step (v) の本文が (P) の根拠として引用するのは [IUTchIII] Thm 3.11 (i)(a)(b), (ii) の定義である。多輻的表示の定義はテータ値 q^{j²} をラベル j に配置するが、 配置(ラベル)と受信側測度(体積)は論理的に別の水準にある
(F2) 当該箇所で利用可能な機構 —— 単数部の共通性([IUTchII] Rem 4.10.3 (i): "this coricity of the units will allow us to compare volumes on either side of the Θ×μ-links")、Kummer 同型、log-link、(Ind1)(Ind2)の等長性、(Ind3)の上半両立性 —— は、p 進 exp/log の等長性の帰結として**全て体積保存(lossless)**である。 これらのみから従う輸送像の深さは各レベルで ord(q) であり、j²·ord(q) ではない。 なお値群部分については [IUTchII] Rem 4.10.3 (ii) 自身が "the 'value group' portion ... is by no means preserved by the Θ×μ-links!" と述べ、 その「volume distortion の計算」を "the ultimate goal of the present series of papers" と位置づけている —— すなわち入力機構ではなく出力目標である
(F3) このとき次が形式的定理である: 分岐台帳を L(≥ 0)として、 (P) 型の体積評価が containment と両立して成立し得ることは、 L ≥ (l(l+1)/12 － 1)·|log(q)|(受信側正規化)と同値。 Prop 1.1–1.4 の台帳は O(log-different + log-conductor + l·log(e*·l)) であり |log(q)| に依存しないから、実曲線の族(高さ非有界)に対して (P) を一様に供給することは、 導かれるべき高さ不等式を供給することと論理的に同値である
(F4) [IUTchIV] Rem 1.10.1 は、Thm 1.10 の計算(主要項)が [HASurI] Thm A の Hodge–Arakelov 計算と本質的に同一で「2000 年頃には著者に知られていた」こと、 問題は「その計算を遂行できる枠組みの構築」であったことを明言している。 我々の検証はこれと整合する: 計算は正しい(検証済み)。未検証なのは、 枠組みがその計算の (P) としての読みを正当化するという主張の導出である
(引用終り)
以上
246:１３２人目の素数さん
26/07/17 20:22:24.71 zMIRi+X7.net
「LANAプロジェクト」中間発表会 動画 「LANAプロジェクト」中間発表会
結論は、7月17日時点では、未決着（灰色）
キラン・ケドラヤ氏説明は、コンピューター検証 は 未達成だが、IUTがダメということも言えない
ということだったな
（下記の YouTube（日本語チャンネル））
URLﾘﾝｸ(youtu.be)
UT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会
ZEN大学
1,504回視聴 7 時間前にライブ配信
ZEN大学「ZMC（ZEN Mathematic Center;ZEN数学センター）」は2026年7月17日（金）、IUT（宇宙際タイヒミューラー）理論のコンピュータ検証に関する「LANAプロジェクト」の中間発表会「LANA Project Interim Report 2026」を行います。
本発表会の模様をライブ配信いたします。
LANAプロジェクトはZEN大学（日本）、ユトレヒト大学（オランダ）、アルバータ大学（カナダ）を中心とする国際共同研究プロジェクトであり、数論幾何学の重要分野である遠アーベル幾何学の形式化と、京都大学数理解析研究所の望月新一教授が提唱したIUT理論の検証を主な目的としています。
【登壇者】
若山 正人（ZEN大学 学長）
加藤文元（ZEN大学教授・ZMC所長、LANAプロジェクト リーダー）
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）
アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）
❙ ZMC（ZEN Mathematics Center; ZEN数学センター）とは
ZMCは、数論幾何学を中心とした現代数学や、コンピューター言語を用いた現代数学の形式化（formalization）の推進と発展を目指して設立された国際研究所です。
ZMCホームページ▶URLﾘﾝｸ(zen.ac.jp)
URLﾘﾝｸ(zen.ac.jp)
ZEN大学 2026/07/03
プレスリリース
IUT理論のコンピューター検証に関する 「LANAプロジェクト」
中間発表会を7月17日（金）に開催
YouTube、ニコニコ生放送にてライブ配信
番組配信：
YouTube （日本語チャンネル）：URLﾘﾝｸ(www.youtube.com)
YouTube （英語チャンネル）： URLﾘﾝｸ(www.youtube.com)
ニコニコ生放送（日本語のみ）： URLﾘﾝｸ(live.nicovideo.jp)
247:１３２人目の素数さん
26/07/17 20:23:22.43 vYHSR94t.net
知恵遅れチョンのコピペw
248:１３２人目の素数さん
26/07/17 20:49:50.39 y77BSKda.net
チャッピーに望月理論（IUT）の問題点を辛口に要約させてみた。
IUT理論をわかりやすく言うと
ある世界では意味を持つ情報を、
別の世界に移行させ情報を意図的に切り離し、
それでも比較可能な不変量だけを取り出す
という論理の組み立てです。
問題点を辛口に要約すると
独りよがりな新規な言葉や概念が非常に多い。
前提知識に数学上でも難しい理論を詰め込み過ぎ。
数学的対象をそのまま比較しないで、別の系統にすり替える。
純粋な数学的直観が変形して推論を押し進める。
望月理論（IUT）の証明全体が五百ページに及び、前提となる論文が数千ページ。
数学者の間でも疑問点が多すぎるとの評価。
望月氏の共同研究者や取り巻きの一部だけが支持。
249:１３２人目の素数さん
26/07/17 20:54:29.15 vYHSR94t.net
↓前スレの予言者たちが大正解で笑える
580 １３２人目の素数さん 2026/06/05(金) 13:57:15.51 ID:hh2bP5sr
ショルツの指摘はクリティカルだった、LEANでそれがはっきりしたって言えばまあある程度は許されるんじゃないかね
582 １３２人目の素数さん sage 2026/06/05(金) 20:47:34.74 ID:dIc+3A3u
「問題は3.12じゃなああい、3.11.5だああ」
とか小細工かましてフカしてるあたり
認めないだろうなw
583 １３２人目の素数さん 2026/06/08(月) 23:26:33.76 ID:jIFwXGol
ショルツも間違ってましたバーカバーカって言いながらギャップ認めればワンチャン引き分けっぽく見えるから...
250:１３２人目の素数さん
26/07/17 20:55:13.49 zMIRi+X7.net
>>246
>キラン・ケドラヤ氏説明は、コンピューター検証 は 未達成だが、IUTがダメということも言えない
>ということだったな
まあ、ハッキリ言って
現状の証明にギャップありってことだろう
問題は、その証明ギャップを埋められるか否かだ
頑張って、証明ギャップ埋めをやってほしい
頑張れ、望月・星！
251:１３２人目の素数さん
26/07/17 20:59:47.03 zMIRi+X7.net
>>249
>ショルツの指摘はクリティカルだった、LEANでそれがはっきりしたって言えばまあある程度は許されるんじゃないかね
ケドラヤが、それ否定していた
ショルツ指摘にダメだししていた
>「問題は3.12じゃなああい、3.11.5だああ」
>とか小細工かましてフカしてるあたり
もう一味加えないと
ギャップは埋まらないと見た
>ショルツも間違ってましたバーカバーカって言いながらギャップ認めればワンチャン引き分けっぽく見えるから...
いやいや
今からでも ギャップを埋められるか否か
問題は、その一点じゃね？
252:１３２人目の素数さん
26/07/17 21:35:29.08 zMIRi+X7.net
>>251 補足
下記の 「ワイルズによるフェルマーの最終定理の証明」が、参考になる
ギャップがあったが、
ワイルズ氏はそれを埋めることができた
今回も同様と思う。ギャップがある。ギャップを埋められるかどうか？
一方、ショルツの指摘は真逆で、全然ダメで 箸にも棒にもかからないのだと
ケドラヤは、ショルツの見方を否定する
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
ワイルズによるフェルマーの最終定理の証明
証明の発表とその後
ニック・カッツがワイルズの論文の査読を行うレフェリーの一人として指名された。カッツはレビューにおいて、ワイルズに証明に関する様々な質問をしたが、そのうちにワイルズ自身も認めるギャップが証明に含まれることがわかった。証明の重要な箇所（ある種の群の位数に上限を与える部分）の誤りであり、コリヴァキアン＝フラッハ法を拡張するのに使用したオイラー系（英語版）が不完全だったというものだった。
ただし、この誤りによってワイルズの仕事が全く役に立たないものになったわけではなかった。ワイルズの証明のそれぞれの部分は単体でも意義深く革新的なものであり、証明の過程で多くの発展や新たなテクニックが見出されていたためである。この誤りに影響されたのは一箇所のみであった[9]:289, 296–297。しかしながら、この一箇所が（誤りによって）証明されないのであれば、フェルマーの最終定理の証明も成されない。
ワイルズはギャップを取り除くのにほとんど1年を費やした。当初は自身で訂正を試みたが、のちにかつての指導学生であるリチャード・テイラーの協力を仰ぐこととなった。1993年の終わりまでに、厳しい視線が注がれるなかでワイルズの証明が失敗したという噂が広がったが、どの程度深刻なのかに関しては知られていなかった
ワイルズによれば、1994年9月19日の朝、彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際におり、他の数学者が証明を発展させ、誤りを探すことができるように証明の詳細を発表しようとしていた。彼は証明がなぜ不完全だったのかを理解するための最後の確認をしていたが、不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩澤理論の適用を可能にすることに気がついた。それぞれのアプローチは単体では不適切だが、両者のアプローチを組み合わせ、双方のアプローチのツールを使用することでギャップを取り除き、（ワイルズが最初に出した論文では証明が与えられていなかった）すべての場合に有効な類数公式(Class Number Formula, CNF)を与えた。[13]。
253:１３２人目の素数さん
26/07/17 21:40:15.26 vYHSR94t.net
>>251
今からw
じゃあ未解決問題だとただの
だいたいがまともな態度してたらここまでバカにされねーよ低学歴w
254:１３２人目の素数さん
26/07/17 21:41:30.47 vYHSR94t.net
>>251
未公開の謎方式で査読通した税金抜き集団の責任は？
メクラw
255:１３２人目の素数さん
26/07/17 21:47:26.68 Y3NcRstE.net
メガネ、メガネ（探）
コンタクトだったわw
256:１３２人目の素数さん
26/07/17 22:33:07.30 VZH20jp6.net
望月さんがこの中間発表を無視するようなことがあれば
大いに人望を失うのでは無いかな
257:１３２人目の素数さん
26/07/17 22:58:01.64 UClbMCvY.net
これ以上失う人望があるのか？
258:１３２人目の素数さん
26/07/17 22:58:56.17 zMIRi+X7.net
>>251 補足
>今からでも ギャップを埋められるか否か
>問題は、その一点じゃね？
時代が進まないと、ギャップに気付かないということは
数学史上しばしばあった
例えば、名誉教授スレで取り上げた リーマンの函数論
URLﾘﾝｸ(www.iwanami.co.jp)
代数函数論 岩波
岩澤健吉 著 刊行日2019/07/26
＜試し読み＞
URLﾘﾝｸ(www.iwanami.co.jp)
緒言
Riemann は更にAbel積分を精密に考察して，後にRochによって補充されたいわゆるRiemann-Rochの定理を証明し，また一般のtheta函数を定義してJacobiのUmkehrproblemを完全に解決した．このように我々はRiemann において今日の古典的代数函数論が事実上ほとんど完成されていることを見るのである．しかしながら現在の我々の立場から見てRiemannの叙述が種々の点で厳密性を欠いていることはやむを得ない．抽象代数学も位相幾何学も未だ生れていなかった当時のことを思えばこれはむしろ当然であろう．
(引用終り)
要するに、もし Riemannの原証明を LEANにかけたら ギャップありとなるだろうが
しかし、後世 Riemannの定理には後世において 厳密な証明が与えられた
同様の例が、ガウスの学位論文 代数学の基本定理（＝代数方程式は複素数根を持つ）
の証明にギャップがあったが、後世になって修正された
そんな例は、山ほどある
LEANの結果を公開しないのは、まずは望月氏に優先的に修正のチャンスを与えようってことだろう
もし、第三者が修正案を出して それが正解なら
IUT証明の最後のレンガを積んだ人は だれだ？ となる
259:１３２人目の素数さん
26/07/18 00:21:36.62 tNVzwFR0.net
>>258
過去の天才持ち出して
ハッタリかますの意味ないから
260:１３２人目の素数さん
26/07/18 00:21:57.03 tNVzwFR0.net
じゃあハッタリ偽学者の例も出せよ
チェリーピッキング加藤はお前は
261:１３２人目の素数さん
26/07/18 00:22:10.71 j6YSwJUc.net
ですね
262:１３２人目の素数さん
26/07/18 09:06:58.95 HVwj1DT/.net
>>246
議論のネタ追加
＜ケドラヤの発表＞
URLﾘﾝｸ(youtu.be)
UT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会
ZEN大学
1,504回視聴 7 時間前にライブ配信
ZEN大学「ZMC（ZEN Mathematic Center;ZEN数学センター）」は2026年7月17日（金）、IUT（宇宙際タイヒミューラー）理論のコンピュータ検証に関する「LANAプロジェクト」の中間発表会「LANA Project Interim Report 2026」を行います。
本発表会の模様をライブ配信
＜文字起こし＞
49:50はい、加藤先生、ありがとうございました。続いてキランケドラヤ先生お願いいたします。
＜ケドラヤ＞
50:08え、2018年ピーターショルツとジャコブ スティクスは、議論を理解しようとする目的で京都の望月氏を訪問しました。
ショルツとジャコブ スティクスは
50:21IUTはABC予想を証明していないとし 、さらに証明することもできないという 結論を出しました。彼はその証見を次の
50:29原稿の形で、え、マニュスクリプトの形で報告を しました。で、この、え、結果は所見は
50:37IUTの位置付けは既でに決着済みの問題で あるという合意に、え、したわけですが、
50:44これに対してプロジェクトの立場は現時点で はIUTに基づくABC予想の証明を持っ
50:50ていないが 一方で証明の詳細 すなわち教授が述べたようなとしてEタータを証明するために必要な詳細 がある可能性があり得 ということを言っています。
51:13このこれらの分析の根拠はショルツ スティクス 分析の根拠はいずれも内部の
51:21議論の細かい部分を考慮せずにIUTの論理構造 をモデル化することから始まります。
51:28スティクスの場合はこの分析は次のような 一次元ベクトル空間の図式を生じさせます。この下に書いてある図式ですね。
51:37しかしこの式は、え、図式は可換で はありません。2つの経路は
51:45 2つのパスを左上から、え、右下まで行きますと、この2つの経路を逆向きに
51:55逆時計回りをしても、え、可換ではありません。
52:07これによって障害となるわけですね。
52:15で、ショルツスティクスはこの図式を用いて IUTへのIUT理論への障害を特定
52:22しようとしました。ただこれが難しいのは 彼が
52:28彼の分析は不定について意味のある技術を与えるほど精密ではないからです。
52:37え、望月の、そしてこの ショルツスティクスの引用文をこれから
52:44申し上げます。略
52:50と主張した。この主張が意味するのはその ぼかしが少なくとも 略でなければならずそのためこうして得
52:59られる不等式は役に立たないということのように思われると起述したわけです。
つづく
263:１３２人目の素数さん
26/07/18 09:07:36.37 HVwj1DT/.net
つづき
53:05しかしそれに対して私は申し上げたいことは不定性が実数に直接作用することを、え 、示唆していますが、これは望月の方法を
53:14正確に表したものではないんです。この分析では不定性はボリュームコンテナー
53:22の部分集合に作用するということであり、 従ってその実数上への影響を直接 トラッキングすることはできません。
53:31実数のサブセットに対する影響は このIUTによる
53:41ABC予想にいかなるの証明も、略 に押し込めることができるとショルツ
53:49スティクスは仮定してるわけです。その分析についてこの形として
53:57この実数が略 トッパーズ教授の
54:06スライドでありましたようにこの実数中で 図を用いて先ほどのスライドの
54:13実数の証明であるわけですが、従がって これはこの想定として、え、不等であると いうことは、略
54:21詳細の分析は、え、Qパイロット オブジェクト、え、ベツパイロット オブジェクトが対して2つの変化異なる 生じることを示しています。一方我々では
54:31特にこの不等式 として、え、この 3.12に関しまして同じキューパット
54:39オブジェクトからです。そのうちの1つが 直接な計算演算、すなわちQ ホルモティフィックストラクチャーを
54:46用いる計算です。もう1つは、え、この リンクを経由する間接的な演算であります 。
54:56この体積をボリュームを共通のコンテナーに 入れるためにはショルツスティクスが描いたもので はない図式の可換性が必要です。
55:06しかしその図式は、え、イーター、または イタアナブのいずれかとして様々に解釈さ れなければならない矢印を含んでいます。
55:19その 結果、え、その不等になるかどうかということで、望月氏の、え、言葉で言えばトロジカルな理由で成り立たされているこの式であるのです。これがさらなる進展の鍵となります。
55:35サンキュー。それでは発表は以上となります。え、それではここから会場にお越しの皆様からご質問をお受けしたいと思っております
(引用終り)
以上
264:１３２人目の素数さん
26/07/18 09:30:31.61 HVwj1DT/.net
>>262-263 補足
プロジェクトメンバーの
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）
アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）
3名の立場は
１）ショルツ スティクス 分析は、望月氏の3.12を全否定しているが
しかし、その分析は不十分
２）望月氏の現時点のIUT論文から 形式的なLeanコードに 落とすことはできなかったが
何かを補えば 3.12を Leanコードに 落とすことが出来る可能性は残っている
ということでしょう
私見だが
あたかも、下記 ガウスの代数学の基本定理証明で、ジョルダン曲線定理を自明として使ったが
まあ、1799年当時としては それは 多くの人に自明と思われたのだが
後年 ジョルダン曲線定理は 要証明だとされて
「ガウスの代数学の基本定理証明は、ちょっと滑っていたね」という結論になった
望月IUTが、どういうことを”自明”としていたのか？
それはともかく
玉川安騎男氏など 多くのIUT支持派も 無意識に”自明”で流していた部分が
あったのではないか？
それが、Leanコードに落とすときに 引っかかったという風に理解しました
なので、あたかも
ガウスの代数学の基本定理証明のジョルダン曲線定理相当部分を
きちんと定式化して 証明を与えられるか？
そこがポイントでしょうね
面白くなってきました
頑張れ、モチヅキ！！
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
代数学の基本定理
歴史
1799年にカール・フリードリヒ・ガウスが学位論文でそれまでの証明の不備を指摘し最初の証明を与えた（ただし、現在ではガウスの最初の証明も完全ではなかったことが分かっている[注 1]
注釈
1. ガウスの最初の証明は幾何学的な前提としてジョルダン曲線定理が暗黙で使われており、後年の観点からは不備がある。
265:１３２人目の素数さん
26/07/18 11:11:54.50 tNVzwFR0.net
ほんとIUT擁護派ってコピペで逃げるキチガイしかいねーよな
266:１３２人目の素数さん
26/07/18 11:48:17.91 s4oDEHbd.net
事実：IUT理解者とされる星参加のもと24年9月から2年近くかかって疑義を呈されている部分だけすら形式化できなかった。
事実の正しい見方：望月論文は「η^q=ηS^anab予想 ⇒ ABC予想」を証明した可能性が高いが、「η^q=ηS^anab予想」の証明は全くの白紙、従って「ABC予想」の証明も全くの白紙。
267:１３２人目の素数さん
26/07/18 13:15:02.95 yk4CMt8u.net
結局ほぼそのまま想像通りの発表でした
>今後も残された論点を数学的に明確な形にし、望月氏および京都大学数理解析研究所（RIMS）側との対話も続けながら
と加藤文元が語ってるのは
今も望月がギャップを公式にも仲間内でも認めてないという意味でしょうし
それも想像通りでした
・望月は公式には認めてないギャップを埋めようとしたことがあるか
・あるとしたらいつからいつまでか
は結局は分かりませんでした
自分は2018年から2020年くらいまではやろうとしたんじゃないかと想像してます
ただ加藤が結論を先延ばしにしたのは「この点(ギャップの事)に関する望月の説明が進化してきたからだ」と言っておりLANAプロジェクトに触発されて最近も取り組んでいた可能性が高そうです
ずっとやっていれば今のような展開にはなってないと思うので2020年頃には放置することにして別の事に取り組み始めたのではないかと思ってます
いろいろな経緯から
・星はギャップがあることを認めてるだろう
ただし将来望月がギャップを埋める可能性は否定してないだろう
・加藤は望月やキムやその他の近しい研究者とかなり腹を割った議論を行った後今回の中間発表に望んだ
ということのはずです
268:１３２人目の素数さん
26/07/18 13:19:21.57 yk4CMt8u.net
この中間報告は近しい人達を傷付けないように柔らかい表現で書いてありますが
abc予想は望月によって証明されてはないとはっきりと宣言しています
269:１３２人目の素数さん
26/07/18 16:32:09.80 HVwj1DT/.net
>>268
>この中間報告は近しい人達を傷付けないように柔らかい表現で書いてありますが
>abc予想は望月によって証明されてはないとはっきりと宣言しています
ほぼ同意ですが
近しい人達を傷付けないように柔らかい表現で書いてありますが
↓
マスコミに誤解されて 近しい人達を傷付けないような表現で書いてあるが 数学的な客観事実はしっかり書かれている
プロ数学者が読めば
abc予想は望月による証明で
3.11→3.12 で Lean のロジックが繋がっていない
Lean のロジックが繋がっていない状況では
これを数学の厳密な証明と認める数学者は 殆どいないだろう
ゆえに、何かを補って 3.11→3.12 で Lean のロジックが繋がるようにするしかない
その何かとは、3.11→3.12 のロジック中で 望月氏やそれに賛同していた数学者が「自明」と
流していたカ所で それは >>264のジョルダン曲線定理みたいなものと思うが
その部分を特定して
正攻法は ジョルダン曲線定理に相当する部分の証明を追加するか
あるいは、別の登頂ルートを 考えるか？
二択だろうね
270:１３２人目の素数さん
26/07/18 16:57:23.35 HVwj1DT/.net
>>269 追加
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月新一 主張・講演
[13] 宇宙際タイヒミューラー理論への誘（いざな）い 《拡大版》 （東京大学 2013年06月) PDF
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(kakudaiban).pdf
P10 より
古典的なガウス積分
略
の計算（＝「デカルト座標→極座標」）の、数体上大域的な類似物と見る
ことができる！
(引用終り)
ここの 古典的なガウス積分の 「数体上大域的な類似物と見ることができる」
が、滑っている気がする
それは >>242の ID:13yLpBZq さんの労作でも
『「多輻的表示の定義から直ちに従う」 —— 定義はラベルを与える。要請しているのは ラベル→測度の移行であり、その移行こそが (P) である』
での Claude Opus4.8とFable5 による指摘で
”測度”に 直結する部分が これかなと 思ったからなのだ
確か、望月氏は ラベル管理で 『ラベル→測度の移行』が可能と言っていた気がするのだが
どっこい Claude Opus4.8とFable5 は、これに反対しているっぽい
さらに、Leanプロジェクトでの中間報告でも それらしきことを示唆していると 理解しました
271:１３２人目の素数さん
26/07/18 16:58:48.50 HVwj1DT/.net
Leanプロジェクトで指摘された ギャップを埋められれば 拍手喝采だ
はてさて どうなることか？
272:１３２人目の素数さん
26/07/18 17:09:09.65 s4oDEHbd.net
どうなることか？
自称IUT理解者が1年がかりでできなかった実績がある、つまりまったくの白紙
リーマン予想が証明されれば拍手喝采、はてさてどうなることか？ と言ってること同じだよ
273:１３２人目の素数さん
26/07/18 17:15:52.24 tNVzwFR0.net
元からできねーのにLEANちゃんが勝手に証明してくれるわけでもなしw
274:１３２人目の素数さん
26/07/18 17:33:42.92 s4oDEHbd.net
>Leanプロジェクトで指摘された ギャップ
という言い方も変だけどな
SSに指摘されたギャップが確かにありましたってだけやん
275:１３２人目の素数さん
26/07/18 18:11:53.66 yk4CMt8u.net
>>270
「と見ることができる」はIUT界隈ではよく使うよね
276:１３２人目の素数さん
26/07/18 18:12:41.42 yk4CMt8u.net
>>272
SS論文から8年だよ
277:１３２人目の素数さん
26/07/18 18:19:34.48 s4oDEHbd.net
SS論文は間違いでギャップ無し
って認識だったからギャップを埋めようとし始めたのはもっと後だろ
278:１３２人目の素数さん
26/07/18 19:18:05.62 dAI7NO4p.net
シャン具リ裸 ／ 電気具ルー武
,ｒ- ､,ｒ- ､
／// | | | l iヾ
/./ ⌒ ⌒ ＼ヽ
// （💗) （💗) ヽヽ 夢で KISS KISS KISS
ｒ-i./ /// (･･) /// ヽl-､
| | | ) /⌒) ( | | ﾉ KISS KISS KISS
｀| |ヽ ヽ_゜_) ﾉ| | |
.| | | ＼＿∪_＿_／ | | |
（ _＿＿) ￣)
） ・ ・}￣
（ }
（（（（ ⊂＿／＼ ＼
（（（（ ＼_つ
279:１３２人目の素数さん
26/07/18 21:33:53.91 6OQHWFYg.net
SSへ「お前らは間違いだ」と書簡は送ったのかな？
送ってないのなら今すぐ送るべきだろ
280:１３２人目の素数さん
26/07/18 21:47:24.66 HVwj1DT/.net
>>273-279
『僕の前に道はない
僕の後ろに道は出來る』高村光太郎
数学の進歩とは 数学の証明とは
そうしたものだ
URLﾘﾝｸ(www.aozora.gr.jp)
道程
高村光太郎
底本：「美の廢墟第六號」美の廢墟社
1914（大正3）年3月5日発刊
初出：「美の廢墟第六號」美の廢墟社
1914（大正3）年3月5日発刊
入力：フクポー
校正：The Creative CAT
2022年2月25日作成
青空文庫作成ファイル
略
僕の前に道はない
僕の後ろに道は出來る
道は僕のふみしだいて來た足あとだ
だから
道の最端にいつでも僕は立つてゐる
何といふ曲りくねり
迷ひまよつた道だらう
略
281:１３２人目の素数さん
26/07/18 21:57:25.09 tNVzwFR0.net
>>280
ズレまくり
偉人を騙った紛い物w
282:１３２人目の素数さん
26/07/18 21:58:15.62 tNVzwFR0.net
証明できずにポエムマンw
しかもコピペで丸パクリ
文脈解釈能力ゼロ
ポエムでもゴミ
これがIUT擁護派おじさんw
283:１３２人目の素数さん
26/07/18 22:42:31.31 HVwj1DT/.net
>>281-282
『証明できずに・・』？
いみわからん？ｗ
わたしゃ 第三者で ヤジ馬ですがな
明々白々にねｗ （＾＾
だが、親カメこけたら？
上に乗っている子ガメはどうなる？
望月氏は、すでに教授で スゴロクの上がりだが
星さん 准教授
（星氏の学生） 東山 和巳
若林 泰央 （わかばやし やすひろ）東京工業大学理学院数学系 助教
南出 新 （みなみで あらた）
辻村 昇太 （つじむら しょうた）
あと
フェセンコ氏の中国の若手数学者の周忠鵬に ポロウスキ
彼らは、まだ教授ではない
大袈裟には人生かかっているよね
ゆえに 彼らがよってたかって、
ギャップを埋める努力をすべきだよ
>>242の ID:13yLpBZq さん みたく
Claude Opus4.8とFable5 でも なんでも使え！！！
あんたら、人生かかっているんだよ
望月氏のIUTが のるかそるかで
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月研
284:１３２人目の素数さん
26/07/18 22:48:06.48 HVwj1DT/.net
>>283 追加
おっと、山下剛さん 忘れていた
山下剛さん 出番ですよ
がんばって！ （＾＾
285:１３２人目の素数さん
26/07/18 22:58:30.05 HVwj1DT/.net
補足
>>264 ジョルダン曲線定理 みたく
多くの数学者が ”自明”と考えてきた命題で
後に 要証明事項とされたことは 多々ある
そして、なんらかの形で その命題自身か
あるいは その命題の変形などに
後に証明が与えられたことも多い
今回の 望月IUT 3.12も
そうできる可能性はある
それが、今回のLEAN プロジェクト >>264
プロジェクトメンバーの
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）
アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）
お三人の主張と見ました （＾＾
286:１３２人目の素数さん
26/07/18 23:01:08.18 hqlf3v2g.net
阪大工学部で数学落ちこぼれた素人が
わけもわからずシッタカぶって恥さらす
287:１３２人目の素数さん
26/07/18 23:03:34.47 s4oDEHbd.net
できる可能性がある
は
できない可能性がある
でもある、つまり何も言ってないに等しい
擁護派頭わっる
288:１３２人目の素数さん
26/07/18 23:11:07.48 tNVzwFR0.net
>>287
ただの未解決問題だよなw
289:１３２人目の素数さん
26/07/19 07:48:23.78 nUKgsSja.net
>>287
(引用開始)
できる可能性がある
は
できない可能性がある
でもある、つまり何も言ってないに等しい
(引用終り)
違うだろｗｗ
数学では、しばしば有力な予想が出されて
それが、推進力になる
有名どころでは、ヒルベルト23の問題 URLﾘﾝｸ(en.wikipedia.org)
肯定的に解決された問題も多いし、否定的に解決された問題も多い
（予想という形でない問題もあるが、当時の未解決予想で重要な予想もある）
いま、望月IUT 3.12 の証明において、ある部分で 多くの数学者が”自明”だと、流してきた部分が
Leanによる形式化の過程で 明確になったということだろう
それが >>246の「LANAプロジェクト」中間発表会での結論だね
加藤文元氏は、今後1年検証を続けると 言った
望月IUT一派が、Leanによる形式化に乗せられるように、議論するってことだね
1年で達成できなければ、Leanによる形式化の過程をすべて公表するのだろう
そうなれば、自由競争だが
いまは 望月IUT一派が 詳細情報にアクセスできる優先権がある
さて、上記>>264では ジョルダン曲線定理に例えたが
数学において しばしば自明視された事項が、
実は要証明事項とされてきた歴史がある
それが、数学の進歩というものよ
おわかりかな？ｗｗ
290:１３２人目の素数さん
26/07/19 09:15:30.44 tZJSVLSb.net
>>289
>違うだろｗｗ
何も違わない
>数学では、しばしば有力な予想が出されて
>それが、推進力になる
IUTは無力な予想。実際、数学論文における引用数は極めて少なく且つ身内からの引用に限られている。
Q.望月教授のIUT理論の他論文からの引用数はどんな感じ？
A.望月新一教授が提唱した「宇宙際タイヒミュラー（IUT）理論」の他論文からの引用数は、世界の数学界全体で見ると極めて少ない（ほぼ身内のコミュニティに限られている）のが現状です。一般的な大発見（ポアンカレ予想やフェルマーの最終定理など）の後は、周辺の数学者がその理論を使って新しい成果を次々と生み出し、引用数が爆発的に増えます。しかし、IUT理論にはそのような広がりが見られません。
291:１３２人目の素数さん
26/07/19 09:28:22.44 tZJSVLSb.net
同じ予想でもリーマン予想には予想の地位に足る十分な根拠が存在する。実際虚部が小さい方から10兆個までの複素零点はすべてリーマン予想を満たすことが計算されている。
ところが望月予想には望月一派が正しいと言い張っていること以外何ひとつ無い。引用数が極めて少ないのも当然だろう。
292:１３２人目の素数さん
26/07/19 09:53:47.62 nUKgsSja.net
>>290-291
余談だが、
国際数学者会議（ICM）2026 7月23日から30日までペンシルベニア州フィラデルフィアで開催
その中で、幾何学的ラングランズ対応 Dennis Gaitsgory が、招待講演者
Dennis Gaitsgory 自身は、40歳オーバーなので フィールズ賞はない
が、確か9人の共著だったから、その内の若手が フィールズ賞の可能性があるので 注目している
本題との関連は、
”この証明は5つの論文にまたがる1000ページ以上に及び、「非常に複雑で、ほとんど誰も説明できない」と言われている。ドリンフェルドは、この結果の重要性を他の数学者に伝えることさえ「非常に難しく、ほとんど不可能」だと述べている”
の部分だ
望月IUTも4つの論文にまたがる700ページで、準備論文を入れると それ以上
21世紀 現代数学は、ここまで来てしまったということだろう
あとは、ICM2026のフィールズ賞が誰になるか と
そして、望月IUTのギャップが 果たして 望月一派の努力で埋められて Leanに乗せられるのか？
請う ご期待！
URLﾘﾝｸ(ja.council.science)
国際数学者会議（ICM）2026
国際数学連合（IMU） は、 国際数学者会議（ICM） 2026年7月23日から30日までペンシルベニア州フィラデルフィアで開催されます。
URLﾘﾝｸ(en.wikipedia.org)
Dennis Gaitsgory (born 17 November 1973) is an Israeli-American mathematician.
URLﾘﾝｸ(en.wikipedia.org)
Geometric Langlands correspondence
(一部google訳)
幾何学的ラングランズ対応
Status
デニス・ゲイツゴリーを含む数学者チームが、2024年5月6日に、圏論的非分岐幾何学的ラングランズ予想の証明を発表した。[ 7 ] [ 8 ]この証明は5つの論文にまたがる1000ページ以上に及び、「非常に複雑で、ほとんど誰も説明できない」と言われている。ドリンフェルドは、この結果の重要性を他の数学者に伝えることさえ「非常に難しく、ほとんど不可能」だと述べている。[ 9 ]
293:１３２人目の素数さん
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.
がまとめか
まさに 乞うご期待
ですね