[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
253(1): 2025/12/07(日)15:28 ID:CjhHy8XN(1) AAS
望月新一に「LeanでIUTを形式化したいんですけど、ここのギャップってどうやって埋めるんですか？」って聞いたらどうなるの
254: 2025/12/07(日)16:10 ID:izb72j2R(1/6) AAS
>>253
望月さんご自身が形式化しないと意味ないのでは？
255(1): 2025/12/07(日)17:19 ID:JTBUmF4t(1/5) AAS
望月先生によれば学部の3回生レベルで行間埋められるらしいから埋められないならiut議論に参加する資格ないって事なんでしょ
行間埋めまくってキチンとleanに落とし込めればフィールズ賞級の功績やろな
256: 2025/12/07(日)18:27 ID:izb72j2R(2/6) AAS
>>255
誰か他の人が形式化してそれでNGになったら受け入れるんですかね？
257(2): 2025/12/07(日)18:47 ID:JTBUmF4t(2/5) AAS
イヤ、そっちは「正しく行間読めてないだけ」と反論されて終わり
だからLeanにせよCoqにせよ「証明が正しい」事を示すためには使えるけど「正しくない」事を示すためには使えない
だから正しいと思ってる人専用ツールではある
258: 2025/12/07(日)19:07 ID:sosmtPx6(1/3) AAS
>>257
しかし朝日新聞の記事(2025.12.06)には
＞どのような結末を迎えるのか。
＞バザード氏は、ABC予想の証明は「誤り」と判定される可能性や、
＞作業量が膨大で検証が頓挫する可能性を上げている。
＞そしてもう一つの可能性は、証明が「正しい」と検証されること。
と書いてあります
ほぼ確実にBuzzard氏の発言を誤解しているのでしょう
（別の方法で主張の命題が成り立たないことが
証明されるということなら普通にあり得ます）
259(1): 2025/12/07(日)19:10 ID:sosmtPx6(2/3) AAS
こうした記事は
「誤り」を証明できなければ正しいのである
という責任転嫁に使われる恐れがあります
260: 2025/12/07(日)19:14 ID:JTBUmF4t(3/5) AAS
そもそも朝日新聞の記者っていうtの太鼓持ちしてた人やろ？
その程度の力量なんだよ
261(1): 2025/12/07(日)19:15 ID:izb72j2R(3/6) AAS
>>257
だからこそ望月さん自身で形式化しないとケリは付きません
262: 2025/12/07(日)19:22 ID:izb72j2R(4/6) AAS
>>259
逆よね
証明できなければ正しいとはされない
263(1): 2025/12/07(日)19:34 ID:sosmtPx6(3/3) AAS
>>261 それについては>>246にある通り
別に本人が形式化を実行する必要はありませんが
本人が音頭を取って本人の責任の下に行われるのでなければ
事態は何も進展しません
証明責任は証明を主張する側にあります
途轍もない主張には途轍もなく固い証拠が必要です（カール・セーガン）
264: 2025/12/07(日)20:30 ID:izb72j2R(5/6) AAS
>>263
望月さんが責任を持つというのであればいいかもね
265: 2025/12/07(日)20:50 ID:JTBUmF4t(4/5) AAS
責任取るかなぁ？やって失敗しても「検証失敗しました。論文取り下げます」なんて殊勝な事いうタイプに見えない
一応検証成功する可能性0ではないやろしな
266: 2025/12/07(日)21:11 ID:izb72j2R(6/6) AAS
あと
望月さんに忖度して
検証を通るように改編した形式化を行わないとも限らないしね
267(2): 2025/12/07(日)21:52 ID:d0a76Rk7(1/2) AAS
・IUT理論とIUT論文については、
2019年4月発刊
川上量生企画.望月新一監修.加藤文元著 「宇宙と宇宙をつなぐ数学IUT理論の 衝撃」で望月新一教授の意見が述べられています。
結論は>27で確定です。
「IUTT.IUT論文は数学でなくパラダイムシフトした言語体系から全く新しい理論で、かつ未完成の理論」。
scholze stixレポートへの回答でもあります。
・望月新一監修について
「おわりにかえて.川上量生p294
>日本で出したことのメリットとしては、望月先生と個人的にも親交の深い文元 先生に書いていただけたこと、 望月先生自身にも内容を監修して いただけたことがあります。」
よってIUTTの形式化による検証は全く必要なく、逆に>27 IUTは全く新しい理論の結論をもみ消す行為です。
省5
268(1): 2025/12/07(日)23:34 ID:JTBUmF4t(5/5) AAS
まぁでも仮になんか修正加えてでもleanが通せたならそれはabc予想の証明が完成したわけでそれなら経緯のインチキ感には目を瞑ってもいいやろ
lean通せるならどんな修正入れてもいいと思うよ
まぁ無理やろけど
269: 2025/12/07(日)23:52 ID:d0a76Rk7(2/2) AAS
>仮になんか修正加えてでもleanが通せたなら
望月新一教授本人が
「IUTT.IUT論文は数学でなくパラダイムシフトした言語体系から全く新しい理論で、かつ未完成の理論」と主張している。
京大PRIMS編集は未完成のIUT論文を受理し出版したことが間違い。
また、
トンデモ全く新しい理論で未完成のIUT論文をleanの装置へ入力したら出力が数学で完成したIUT論文へfake茶番劇等以外はなりません。
leanの対象は数学です。
270(1): 2025/12/08(月)00:19 ID:pcdqFTtm(1/3) AAS
>>267
>なぜかこっそりとzen大学fesenkoのIUT講義の参考書から消去されたが
え？そうなん？
271: 2025/12/08(月)00:20 ID:pcdqFTtm(2/3) AAS
>>268
通ったものがABCじゃなくなるかもよ
272(1): 2025/12/08(月)00:33 ID:Hf7YTxFe(1/2) AAS
>>270
zen大学 カリキュラムIUTT4. 科目では
>遠アーベル幾何学とIUTに向けた学修を進める
> 教科書・参考書にF. Kato’s book on IUTとある。
現在fesenkoがこの教科書・参考書を削除した。
fesenkoはzen数学センターZMC
の副所長で加藤文元所長だ。
➖ ➖
省7
273: 2025/12/08(月)01:03 ID:Hf7YTxFe(2/2) AAS
(>>18) (>>25)
・遠アーベル幾何学の大きな応用である"宇宙際タイヒミュラー理論"
遠アーベル幾何学は数学で、一方遠アーベル幾何学の応用のIUTは全く新しい理論で言葉も喩えによる.遠アーベル幾何学≠
IUT。(>>63)
遠アーベル幾何学とIUTの混同はやめましょう。
274: 2025/12/08(月)01:36 ID:pcdqFTtm(3/3) AAS
>>272
これまともに授業しても学生搗いてこれるわけ無いよな
成績評価どうするんだろ？
275: 2025/12/08(月)09:55 ID:MZk12HJm(1/3) AAS
元々[遠アーベル幾何とIUTの類対論】がまともでないね。
数学が遠アーベル幾何学と類体論
でIUTが全く新しい理論。
混合し数学から全く新しい理論IUTTへ。
zen大学は東 浩紀加藤文元川上量生がフランスポストモダンを含めIUT談義
してた。
なんでもありだから単位の基準
もなんでもありだろ
276: 2025/12/08(月)10:13 ID:MZk12HJm(2/3) AAS
動画ﾘﾝｸ[YouTube]
277(1): 2025/12/08(月)10:29 ID:bKZBb2fY(1/2) AAS
もっちーがコンピュータ使ってabc証明するってネットニュース見たけどゲルトとショルツどーすんのこれ
278: 2025/12/08(月)10:35 ID:QdgoSjeo(1) AAS
ショルツェ
279: 2025/12/08(月)11:57 ID:3kkY75Ax(1/2) AAS
>>277
どうぞどうぞってところでは
280(1): 2025/12/08(月)12:05 ID:0xOKBNn8(1) AAS
まあleanがやれることって推論過程を明確にすることくらいだろ
余計にどの部分の推論に問題があるか明確になるだけだと思うけどね
281: 2025/12/08(月)12:10 ID:3kkY75Ax(2/2) AAS
>>280
たぶん通らず
止まったところで
それを通すために
コーディング修正してを繰り返すのでないかな
最終的に通るまで続けるんだろ
282: 2025/12/08(月)13:52 ID:WGIguWB1(1) AAS
n回目で通るが偽なら終わらない
283: 2025/12/08(月)14:17 ID:bKZBb2fY(2/2) AAS
もっちーが使うコンピュータて何だと思う？
atomやセロリンは論外
i7かryzene7かな？
まさか富岳？ 北斎？ ホークスアイ？
まさか地球シュミレータ？
どんなコンピュータでabc証明するんだ？
284: 2025/12/08(月)22:15 ID:MZk12HJm(3/3) AAS
>>267でしょ。
285: 2025/12/08(月)22:26 ID:a5AunrVU(1/2) AAS
つーか"Lean-style formalization"を繰り返すのは
家庭用ゲーム機ならなんでもを「ファミコンとか」と
繰り返す老人みたい
286: 2025/12/08(月)22:40 ID:a5AunrVU(2/2) AAS
証明支援系が幾つもあるなか
自分がleanを選択して実行するって
意思表明なら分かるけど
他人に対して「leanとか」でやれって
一体
287: 2025/12/09(火)08:59 ID:4q24jWBq(1/2) AAS
笑えるな
外部ﾘﾝｸ:ja.wikipedia.org
2020年4月、PRIMS特別編集委員会の記者会見で・・・特別編集委員会全体としては、上記のショルツェらの指摘について「望月教授自身が反論もしており、（ショルツェ教授からの）再反論もない」とコメントした[33]。
2021年7月、ペーター・ショルツェはZentralblatt Math誌で望月IUT論文に批判的なレビューを寄稿した[40]。内容は2018年に指摘した反例の回答に対する不満足を主張するものである。
288: 2025/12/09(火)09:42 ID:4q24jWBq(2/2) AAS
ショルツェさん、反論ではなくレビュー寄稿という形をとったの草。
望月を相手にはしてないが、納得していないことの意思表明はする。これなら面と向かって罵詈雑言浴びせられることは無いねｗ
PRIMS特別編集委員会さん、再反論が無いという言い分の梯子外されてて草。
289: 2025/12/09(火)10:09 ID:Ouvmmury(1/2) AAS
woit氏ブログでscholze.stixレポートと関連した
J.D. Boyd氏コメント2025.11.12
>>30
1
望月氏と私が議論の中で確立したのは、 ∈ループは(いわゆる）「素数ストリップ」の扱い方に起因する、という見解です（これはショルツとスティックスの批判の核心でもあります）。
2
IUT におけるディオファントスの目標は、たとえそうではないにもかかわらず、「素数ストリップ」と呼ばれる（悪い還元を持つ）特定の素数の集合を、あたかもそれらがすべての素数と同等であるかのように、何らかの形で扱うことです。 つまり、この集合は、より大きな素数の集合に属しています。
それらを同等として扱うことは、本質的に、その一部が全体と同じであると言うことに他なりません。
3
ｐ∈ ｐが真の問題ではない。
省4
290: 2025/12/09(火)10:19 ID:T2iL3Dp3(1) AAS
>望月新一教授はIUTが数学でなく全く新しい理論と公言している
よってRIMSは発展的解消へと向かう
291: 2025/12/09(火)11:13 ID:Ouvmmury(2/2) AAS
>>17
・IUT語 p51
IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている
292(1): 2025/12/09(火)19:53 ID:uS2nxgOC(1) AAS
まだ良く知られていない公理が密輸されていないかが心配なところだな。
昔の数学は選択公理を公理として受け入れているという意識が無くて、
有限の場合の単純な一般化で当然成り立つと思っていたので、わざわざ
選択公理を取り入れているという意識が全く無しに数学を邁進していた。
293: 2025/12/09(火)20:47 ID:TkIGTcny(1) AAS
>>292
選択公理は数学の公理でいいよ
普通の数学はV=Lを公理にして
選択公理も成立
GCHも成立
非可算グロタン宇宙は非存在
これで行こう
もちろんV≠Lを前提とした研究を妨げるわけではない
みんな排中律は暗黙で使うけれど
別に直観論理研究されないわけじゃないのと同じで
294: 2025/12/10(水)11:17 ID:Ep3YG9Gh(1/3) AAS
zb mathでscholzeが指摘
しているが、
>the author aims to prove the ABC conjecture of Masser and Oesterlé,
著者(望月新一)はマッサーとエステルレのabc予想を証明することを目指している。
現代数学の禁じ手にp≠Pながら
p=Pも入るのだろう。
根拠は
>ABC予想には本質的に異なる
手法による「別証明」が果たして存在 し得るか、疑問を抱かざるを得ないと いう意味においても「正しい理論」で ある。>6
と開き直っている。
省1
295(1): 2025/12/10(水)15:25 ID:Ep3YG9Gh(2/3) AAS
・京大数理研は「新しい」から
「全く新しい理論」へ転落した。
>21
全く新しい理論は個人的な妄想しかない。
・ケビン.バザード曰く、
>過去2500年間、数学のやり方は驚くほど変化していません。
ユークリッドの『原論』には補題.定理. 証明が記されており、その内容は過去の研究を基盤としつつ現代の数学の教科書と基本的に同じスタイルで提示されています。 >34
全く新しい理論IUTは数学の範囲外だ。
296: 2025/12/10(水)15:40 ID:8cfnD3pY(1) AAS
自動証明系と言われるものは、ソフトなりコンピュータが命題を入れたら
うんーんと考えて証明を導き出して呉れるというものではありません。
よく誤解されていますが。
人間が書いた論理の形式的な展開を、論理学的に正しい推論規則に合致しているか
を形式的手段で検証しながらチェックしてくるものです。
つまり証明を企画し、実施し、実現しているのは（通常は）人間であり、
検証系システムはその入力を受け取って、正しい推論規則だけで記述が
進んでいるかどうかをチェックするだけのものです。
簡単なたとえでは、C言語の文法に沿ってCのプログラムは書かれるべきですが、
人間が書くと概して文法ミスを入れてしまいます。そこに文法チェックをしながら
省8
297: 2025/12/10(水)15:56 ID:Kf5HnpvZ(1) AAS
>>295
>京大数理研
名称も変更すべきかも？
京都大学数理解析研究所
（RIMS - Research Institute for Mathematical Sciences, Kyoto University）
298(1): 2025/12/10(水)18:48 ID:Ep3YG9Gh(3/3) AAS
lean community
外部ﾘﾝｸ:leanprover-community.github.io
299(1): 2025/12/10(水)22:26 ID:hkkLEZvl(1) AAS
終わっているらしい
300: 2025/12/11(木)00:17 ID:QiHD/X4x(1) AAS
>>299
終わっている
・
川上量生企画の加藤文元著「宇宙と宇宙をつなぐ数学」が発刊され望月新一監修より望月新一教授の意見で、
「IUT論文は数学でなくパラダイムシフトした言語体系から全く新しい理論かつ未完成」つまり間違ってすらいないと自ら結論を出している。(>>27)
scholze stixへの回答でもある。
・
1階と高階論理が全く区別されていない、基礎論の基礎知識の欠如が数学者の共通の弱点であることがここに露呈している。(>>137)
省1
301(3): 2025/12/11(木)11:01 ID:vvUUANcY(1/4) AAS
なぜ1階論理か？
⑴ ユークリッド平面幾何。
タルスキの公理系は1階述語論理だからユークリッド幾何学も実閉体の条件で完全性.健全性.決定可能だ。
⑵ 新井敏康.数学基礎論
・数学の証明。
>数学の証明において用いられる仮定(公理)を明示しなければならなくなったら、それらは常に形式的に(基礎論の言葉で言えば1階論理で)表現可能であるべきである。
>原理的には1階論理で表現できて
そこでの形式的証明が書けない数学の真理は存在しない、というのが数学の「定義(の一部」になっているのだろう。
控えめに言っても、全数学は究極的には1階論理で形式化できる、ということは経験的事実である。
省5
302(1): 2025/12/11(木)15:16 ID:MVPRer44(1) AAS
数学コミュニティの内戦
動画ﾘﾝｸ[YouTube]
303(2): 2025/12/11(木)15:55 ID:vvUUANcY(2/4) AAS
>>13
m saidi外部評価委員について。
RIMS客員教授として望月新一RIMS教授とIUT論文の書き換えを行い、
一方第三者を装い外部評価委員としてIUT論文のレポートを提出し査読.受理へ影響を与える。
さらにAMSreviewを投稿する。
査読者の1人との疑念まである
マッチポンプ型の政治屋。
利益相反行為は明白。
m. saidi氏とRIMSの関係年表。
▫︎ 2012.8月30日
省12
304: 2025/12/11(木)16:22 ID:vvUUANcY(3/4) AAS
>>302
次回のテーマはm.saidi氏の利益相反行為とIUT論文査読への影響を調査しその結果を期待
305: 2025/12/11(木)23:20 ID:vvUUANcY(4/4) AAS
>>303
saidi AMS math review
外部ﾘﾝｸ:www.math.columbia.edu
306: 2025/12/12(金)11:13 ID:1CmfsJhS(1/5) AAS
まず数学の証明は1階論理(1階述語論理)
で表現する。
307: 2025/12/12(金)13:16 ID:1CmfsJhS(2/5) AAS
IUT論文は準備から読みづらく
大量の注釈で構成され大量の新用語が導入されている。
>>227->228
これはIUTが数学でなく「全く新しい理論」だから、
1階論理(一階述語論理)で証明をすっきりと書くことができない
>301
308: 2025/12/12(金)13:28 ID:1CmfsJhS(3/5) AAS
・
川上量生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ数学」。
P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。
・P40
>IUT理論のように、あまりにも
新奇で斬新なものだったりすると
省12
309: 2025/12/12(金)15:35 ID:1CmfsJhS(4/5) AAS
>>298
Perfectoid spaces
by Buzzard, Commelin and Massot
Perfectoid spaces are sophisticated objects in arithmetic geometry introduced by Peter Scholze in 2012。
We formalised enough definitions and theorems in topology, algebra and geometry to define perfectoid spaces in the Lean theorem prover。
This experiment confirms that a proof assistant can handle complexity in that direction, which is rather different from formalising a long proof about simple objects.
310(1): 2025/12/12(金)15:50 ID:1CmfsJhS(5/5) AAS
パーフェクトイド空間
バザード、コメリン、マソット著
パーフェクトイド空間は2012年にピーター・ショルツによって導入された、数論幾何学における洗練された対象である。
我々はLean定理証明器でパーフェクトイド空間を定義するのに十分な.位相幾何学.代数学.幾何学における定義と定理を形式化した。
この実験は、証明支援システムが単純な対象に関する長い証明を形式化することとはかなり異なる、その方向性の複雑さを扱うことができることを確認している
311(1): 2025/12/13(土)10:17 ID:IB110o6l(1) AAS
おっすオラオカルトマニア
あっちの応援スレにも書いたけど、SSの批判が間違っているという証明（LEAN4）の新版だ
外部ﾘﾝｸ:ideone.com
312: 2025/12/13(土)11:21 ID:0+gFBF1P(1) AAS
ノイズ除去
313: 2025/12/13(土)23:09 ID:4kLpryDW(1) AAS
>>310
位相空間はどう定義するんだろ
O∈2^2^X∧X∈O∧φ∈O∧∀U,V∈O(U∩V∈O)∧∀P⊂O(∪P∈O)
かな
でもいちいちここに戻るのって大変そう
314(1): 2025/12/14(日)02:24 ID:i6RK4yNy(1/5) AAS
>>311
オカルトマニアさんお久ぶりです。
確認ですが、
2018年 simplificationを含む
scholzestixレポートへ回答として2019年4月に川上量生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ」が発刊
された。(>16)(>17) (>22)
監修が望月新一だから望月新一本人の意見です。
p8 p9 p10
「IUTTでは、この足し算と掛け算の間にある「底なしに固いはの関係」を解体して変形を施すだけでなく、様々な 「緩み」=「不定性」が必然的に付随 してしまう、 「ゆるゆる」な状態で復元するのです。
言い換えれば、復元後の、足し算
省25
315: 2025/12/14(日)02:43 ID:i6RK4yNy(2/5) AAS
>>314
続き
>IUT理論に対するSS批判の無効性の形式的証明
scholze stixは数学ではないIUTの核心部を指摘するためsimplificationの部分より組み立て矛盾を導いた。
IUT理論自体は未完成の全く新しい理論で空疎.間違ってすらいない。
数学の定理証明支援系leanが
トンデモIUT理論の補強になるとすれば興味深いがケビンバザードはIUTを茶番劇と言ってる
316: 2025/12/14(日)10:54 ID:aR9F7s94(1) AAS
画像ﾘﾝｸ[jpeg]:i.imgur.com
317: 2025/12/14(日)11:45 ID:i6RK4yNy(3/5) AAS
・STAP細胞スキャンダル
いもりの尾は切れても細胞が初期化され再生能力を獲得する。
これを応用しSTAP現象は
マウス細胞が酸溶液に晒されると初期化され再生能力を獲得する
こと。
STAP現象を確認したとするSTAP論文は主要マスコミやネイチャーへ大きな話題を提供したが、データ不正のため論文取り下げになった.
(STAP論文取り下げ事件)。
STAP現象は現在もだれも再現実験に成功していない。
・IUTスキャンダル >7 >8
STAP論文で失敗した内閣府.文科省はIUTによるabc予想の解決。
省7
318: 2025/12/14(日)12:32 ID:i6RK4yNy(4/5) AAS
本来ならトンデモIUT構築によるabc予想解決は京大文科省が切り捨てるべきだが政治利用のため支援していく。
この状況に望月新一教授本人も開き直り
また利用していく。
➖ ➖
>>5
IUTTの検証.進捗情報の報告
2014年12月現在
京大数理解析研究所教授.望月新一
P5
>ABC予想には本質的に異なる
省1
319(1): 2025/12/14(日)18:49 ID:i6RK4yNy(5/5) AAS
2019年4月のKADOKAWA川上量生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ」の英訳本を海外向けへ
未だに発刊しないが、望月新一本人の
監修本だ早く発刊しろ。
fesenkoも発刊を熱望していたはず
320: 2025/12/14(日)21:13 ID:+S9KEuta(1) AAS
宇宙と宇宙をつなぐ数学 IUT理論の衝撃 (角川ソフィア文庫) Kindle版
加藤 文元 (著)
321(1): 2025/12/15(月)09:54 ID:sNiJ5Xw2(1/3) AAS
発刊予定の海外向け英訳本は文庫本版
ではなく、
2019年4月.KADOKAWA発刊の川上量
生企画.望月新一監修.加藤文元著「宇宙と宇宙をつなぐ」の英訳だ。
数学本でなく数学とIUTの違いが書いてある後書きも含め一次資料だ。
322: 2025/12/15(月)09:59 ID:tszOPoTx(1) AAS
>「宇宙と宇宙をつなぐ」
それ数学書じゃないけど
323: 2025/12/15(月)10:25 ID:sNiJ5Xw2(2/3) AAS
>>321
×宇宙と宇宙をつなぐ
⚪︎宇宙と宇宙をつなぐ数学
324: 2025/12/15(月)10:27 ID:4bK47q11(1) AAS
物理でも不可能ｏｒ未解明の事象なのに...
325(1): 2025/12/15(月)11:09 ID:Rzro6tTA(1) AAS
>>319
fesenkoさんが許諾を取って翻訳したらいいのでは？
326(1): 2025/12/15(月)11:59 ID:sNiJ5Xw2(3/3) AAS
>>325
・加藤文元ZMC所長(旧IUGC所長でfesenkoは副所長)が英訳あるのになぜ発刊しないのか疑問を述べていた。
元々加藤文元著だから
2019年4月発刊版 英訳.川上量生企画.望月新一監修.加藤文元著 「宇宙と宇宙をつなぐ数学IUT理論の 衝撃」を加藤文元ZMC所長の元KADOKAWAが出版すれば良い。
327: 2025/12/15(月)12:11 ID:juoaeifs(1) AAS
>>326
元々英訳があるのか
328: 2025/12/16(火)00:44 ID:c6sH+hT9(1/2) AAS
・fesenkoは会見も講義も英語使用で日本語が不自由で、一方望月.加藤文元IUT本は日本語のみ。
発刊当時にfesenkoがベストセラーと騒ぎ絶賛したが金.予算面に興味を示すfesenkoが共鳴しただけだったのだろう。
最近AI機械翻訳が改善されたが
所詮概説確率だから文元所長の英訳も見てるかもしれない。
・fesenko.IUT講義
IUT理論の教科書・参考書
1
etale fundamental groups the presentation in online lecture notes such as Milne
math.
2
省2
329: 2025/12/16(火)00:57 ID:c6sH+hT9(2/2) AAS
AIによれば、Darksideには
ランサムウェア攻撃関連もある。
zen大学設置の母体となったKADOKAWAN高ニコニコなどがロシアBlackSuitよりランサムウェア攻撃 され個人情報が流出し「身代金」を要求された事件があった。
Google.AIによれば原因は
「フィッシング攻撃によって従業員のアカウント情報が窃取され、それが社内ネットワークへの不正アクセスの足がかりとなったことと考えられています。」
「従業員のアカウント情報がフィッシング攻撃によって窃取されたことが根本原因」。
KADOKAWA関連が脆弱。
AI 特にchatGPTの進歩につれより巧妙なフィッシング詐欺が各分野で流行る
330: 2025/12/16(火)01:14 ID:QB2CdWz8(1) AAS
IUT一派の学問的誠実性の欠如は、日本の学術界の信頼を貶めている
331(1): 2025/12/16(火)02:50 ID:i0B0WSPf(1/2) AAS
もっちー元気かな
332: 2025/12/16(火)13:16 ID:svVxe/9Q(1/6) AAS
>>20
・京大数理研要覧
2025年8月
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
333(1): 2025/12/16(火)13:41 ID:svVxe/9Q(2/6) AAS
京大数理研要覧 2025.08
・15 .次世代幾何学国際センター
広く次世代の幾何学の研究を推進し，
新しい数学の国際的認知度向上のために研究成果を広く世界に向け情報発信するとともに，国内外の若手研究者など多様な人材の育成を行うため，令和4 年4 月1 日に設置された。
・次世代幾何学国際センター 。
2025年4月1日現在
・センター長 .望 月 新 一.
・副センター長 .玉 川 安騎男.
・特任教授 柏 原 正 樹.
・特任教授 森 重 文.
省22
334: 2025/12/16(火)13:44 ID:svVxe/9Q(3/6) AAS
>>333
・教 授（併任） 荒 川 知 幸.
・教 授（併任） 小 澤 登 高.
・教 授（併任） 大 槻 知 忠.
・教 授（併任） 中 西 賢 次.
↓
・教 授 荒 川 知 幸.
・教 授 小 澤 登 高.
・教 授 大 槻 知 忠.
・教 授 中 西 賢 次.
省1
335(2): 2025/12/16(火)15:51 ID:svVxe/9Q(4/6) AAS
>>331
次世代幾何学国際センターの目的は内規を見ると全く新しい理論IUTの拡散.拡大だ。
第3 条 ユニットは，それぞれ当該各号に掲げる業務を所掌する。
（1 ）コア研究ユニット 数論幾何学，特に宇宙際タイヒミューラー理論を中心に次世代の幾何学の創造を目指す研究力を強化し，国際共同研究強化を通じて新しい数学研究を加速すること。
（2 ）国際情報発信ユニット 日本発の新しい数学の研究成果の国際的認知度向上を目的に，世界に向け積極的な情報発信を行うとともに，国際数学研究ネットワークを構築すること。
（3 ）多様な人材育成ユニット 若手研究者を中心として研究交流・国際研究集会の運営等を行い，国内外の若手研究者等多様な人材を育成し，次世代研究集団を形成すること。
336: 2025/12/16(火)17:30 ID:2JucKhIB(1) AAS
>>335
>次世代幾何学国際センターの目的は内規を見ると全く新しい理論IUTの拡散.拡大だ。
おお！
とうとうIUTで世界に対峙できるわけだな
337: 2025/12/16(火)18:01 ID:JQ6ZwcOu(1) AAS
どうすんだろうねコレ
どうやって落とし前つけるんやろ
338: 2025/12/16(火)21:02 ID:i0B0WSPf(2/2) AAS
もっちーがコンピュータでabcに落とし前つけるらしいよ
339: 2025/12/16(火)21:09 ID:QUZ0Qd/3(1) AAS
まぁハナホジしながら見守っとくしかないわな
340: 2025/12/16(火)21:29 ID:/39U+x5Y(1) AAS
いったいどうやってプログラム書くのか？？
341(1): 2025/12/16(火)21:43 ID:IrqirGOo(1/2) AAS
lean かなんかで検証する話でしょ。まぁ最後の望みだわな
342: 2025/12/16(火)22:29 ID:svVxe/9Q(5/6) AAS
既にIUTの評価は望月新一教授本人より
「IUT論文は、全く新しい理論かつ
京大PRIMS 編集委に受理された2020年2月 以降も言語体系含め未完成」と解明している。>>27
343: 2025/12/16(火)22:35 ID:svVxe/9Q(6/6) AAS
leanの対象は数学。
IUTは数学でなく全く新しい理論、
トンデモ。
344: 2025/12/16(火)22:59 ID:oVV9hqvp(1) AAS
>>341
望月一派がやるってんのなら一派にとって「最後の望み」と言ってもいいけど
leanを使える数論幾何学者がiutを勉強して形式化しろって
言ってるようなもんだから(>>246)、望みなどない
345: 2025/12/16(火)23:37 ID:IrqirGOo(2/2) AAS
いくらなんでも「iut教えてやるからお前らでleanに打ち込んでお墨付き与えてくれ」とか頭おかしすぎてありえないんでは？さすがに自分らで lean 勉強して入力するんでしょ？もうでなきゃ誰も納得しないよ。
346(1): 2025/12/17(水)07:54 ID:S0Xv7yLW(1) AAS
iutよりleanの使い方を学ぶ方がずーっと簡単だもんな
iut理解者ならたくさんいるんだろ
347(1): 2025/12/17(水)10:09 ID:Q7FX6bq6(1) AAS
なにかのAIに、これとこれのIUT文献見込んで
lean 解析やってくれと やればいいんでないの
あるいは、leanにAIが導入されれば 同じことができる
348: 2025/12/17(水)12:10 ID:ZtRLwmfM(1) AAS
まぁコレもやるやる詐欺でやらんやろしな
やっても通らないのは本人達もわかってるんやろ
349: 2025/12/17(水)17:10 ID:aC/RmfgJ(1) AAS
>>347
望月新一.加藤文元IUT本によれば、IUT論文は望月新一語のIUT語で書かれ望月新一教授のみ理解できる全く新しい理論。p51
よって、
leanによる数学の定理証明支援
の形式化には自然言語による証明
が前提にありIUTはleanによる定理証明
形式化の対象外だ。
なお、
このスレは望月新一教授の一次資料に基づきIUT応援CULTスレ
とは無関係。
350: 2025/12/17(水)21:02 ID:XVWV9mvL(1) AAS
もっちーが使うコンピュータて
京 kei かな？
京都大学だから
351: 2025/12/18(木)00:16 ID:msefiRw2(1) AAS
京 kyoh
色々ないみで
352: 2025/12/18(木)12:25 ID:0QA+0I9x(1/4) AAS
>>346
>iut理解者
>>27を理解できましたか？
IUTは数学ではありません。
上下前次1-新書関写板覧索設栞歴
あと 650 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s