[過去ﾛｸﾞ] Interuniversal geometry とABC 予想60
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
703: 06/23(火)21:16 ID:4rA5BnHm(21/21) AAS
またツマラヌモノを●ってしまった｡｡｡
（虚無）
704(1): 06/23(火)21:24 ID:YM4GVb2i(1/2) AAS
commelin のコメント
>多くの人たちから「Leanを用いてIUT理論を検証すべきではないか」
という問いを投げかけられました。
その際の私の答えは一貫して、「日本の数学コミュニティの人たち、
すなわちIUT理論の専門知識を持つ人たちが関与してくれる場合に限る」というものでした。
>加藤教授からLANAプロジェクト立ち上げの提案をもらったときの私の興奮は、皆様にも想像していただけるかと思います。
事実は、
・確かにLANAプロジェクトの星裕一郎は望月新一IUT提唱者から理解者に認定されている。
しかし、
・川上量生企画では2019年4月にscholze.stixレポートへ回答書望月新一監修加藤文元著「宇宙と宇宙をつなぐ数学」が発刊されている。
省4
705(1): 06/23(火)21:27 ID:YM4GVb2i(2/2) AAS
>>704
IUGC
動画ﾘﾝｸ[YouTube]
706: 06/24(水)01:07 ID:xxfi2oGt(1) AAS
>>702
なんなんこれ
文盲？
707: 06/24(水)20:08 ID:tEsDioXo(1) AAS
放送大学 電気と磁気の物理
動画ﾘﾝｸ[YouTube]
708: 06/25(木)09:19 ID:tARx+V99(1) AAS
IUT仕草
709(2): 06/28(日)04:25 ID:2OY1fZtk(1) AAS
加藤文元さんがXの投稿で、
「Hodge-Arakelov理論の大域化によってabc予想が解けるかもしれないという病気にかかった人」としてMochizukiをあげています。
望月は間違っていたということを言っているんですか？
710: 06/28(日)08:09 ID:IILKr/f/(1) AAS
>>709
もう一人がMinhyong Kimだね
IUT理論を全て理解してるわけではないがそのアイデアはよくわかったと言ってる擁護者
この人が否定論はミスコミュニケーションに過ぎないと言い出したんではなかったかな
711(1): 06/28(日)09:04 ID:Hi1Np6B7(1) AAS
＞Fumiharu Kato 加藤文元（Bungen）@FumiharuKato
＞昨日までエディンバラにいた。（中略）
＞私は何と戦っているのか、途中でわからなくなっていたが、
＞最後にはまたわかって帰国した。
＞10:29 PM · Jun 27, 2026
ICMSでのbootcampは成果があったようで何よりです
712: 06/28(日)10:32 ID:nRUpv38t(1) AAS
AA省
713: 06/28(日)15:22 ID:7/x8+Qww(1/3) AAS
>>709
加藤だろ？
あいつクソしょぼいレトリックばかり使うから
逆だと思う
extremeとか強度が強いという意味で使ってんだろ
714: 06/28(日)15:27 ID:LoOO4z3i(1) AAS
英語読めないのにテキトーなこと言ったらアカンよね。
715: 06/28(日)17:25 ID:7/x8+Qww(2/3) AAS
中身ねーのにやっすい修辞まみれになった姿
それがあいつら
716: 06/28(日)17:26 ID:7/x8+Qww(3/3) AAS
小汚い修辞だけでなんもかっこよくないのにな
その代表例が川上
717: 06/28(日)17:51 ID:5qI6naob(1/2) AAS
何で祇園祭を待てないかね
718: 06/28(日)18:22 ID:e/R1ezku(1/3) AAS
その通り。
果報は寝て待てとはそのこと。
719(1): 06/28(日)20:49 ID:QQroHYDY(1/2) AAS
2026年アーベル賞受賞者は
マックス.プランク数学研究所の
ゲルト.ファルテング氏。
>Prominent centre: The Max Planck Institute for Mathematics is home to two Fields Medallists, Peter Scholze and Gerd Faltings, as well as Denis Gaitsgory, who received the 2025 Breakthrough Prize; the Abel Prize awarded to Faltings further underscores the institute’s significance in the field of mathematics.
著名な研究拠点：
マックス・プランク数学研究所には、フィールズ賞受賞者のピーター・ショルツェとゲルト・ファルティングス、そして2025年のブレークスルー賞を受賞したデニス・ゲイツゴリーが所属している。
ファルティングスへのアベル賞の授与は、数学分野における同研究所の重要性をさらに際立たせている
by deepl
720: 06/28(日)20:59 ID:QQroHYDY(2/2) AAS
>>719
外部ﾘﾝｸ:www.mpg.de
721: 06/28(日)21:32 ID:xzUTfXrd(1) AAS
２４℃
くもり時々晴れ
722: 06/28(日)21:48 ID:5qI6naob(2/2) AAS
くうもりくだらん
723: 06/28(日)21:52 ID:e/R1ezku(2/3) AAS
アーメン
724: 06/28(日)21:55 ID:e/R1ezku(3/3) AAS
雨ダス
725: 06/29(月)05:48 ID:rew6CbOt(1) AAS
２３℃
くもり時々晴れ
726: 06/30(火)00:53 ID:zKf+OK37(1) AAS
25年前に祇園祭で綿菓子1000円で売りつけられたな
727(2): 06/30(火)10:31 ID:SJTVEvbH(1/2) AAS
外部ﾘﾝｸ:zen.ac.jp
【タイトル】：Arithmetic geometry, AI, and Lean
【日程】：2026年7月21日（火）～23日（木）
【開催地】：東京都中央区銀座4-12-15 歌舞伎座タワー12F ドワンゴセミナールーム
【オーガナイザー】：
Johan Commelin（Utrecht）
星裕一郎（京都大学数理解析研究所）
加藤文元（ZMC）
Kiran Kedlaya（UCSD）
Adam Topaz（Alberta）
省3
728: 06/30(火)10:35 ID:SJTVEvbH(2/2) AAS
>>711
成果はIU理論の否定だけどな
729(1): 07/01(水)18:45 ID:71OIpqvq(1/2) AAS
数学の視点ではIUTがアイデアなしでも
トンデモ分野ならトップランナー
でしょう。
fesenko副所長の講義は類体論から
遠アーベル幾何へ行き、望月新一
語のIUTブラックボックスへワープするのだろうか？
730: 07/01(水)19:13 ID:71OIpqvq(2/2) AAS
望月語のIUT語はキーワードが
self.evident、、
731: 07/01(水)19:21 ID:PY48oMw0(1) AAS
言うてもう7月か！
732: 07/01(水)20:02 ID:hXtKAdK3(1) AAS
>>729
アイデアはあったけど足りないわけでしょ
>>727
>Kiran Kedlaya（UCSD）
この人がだいぶ前の望月がZoomのみで参加したセミナーの時に
Frobenioidを考えることがなぜ重要かってセミナー開いて好評だったんだよね
それでその続きを次の日から日本人がやるからIUTを理解できるという機運が高まってたけど
結果はそうならなかった
733(2): 07/01(水)21:45 ID:TQlXOGxl(1) AAS
2019年4月KADOKAWAより
川上量生企画.望月新一監修.加藤文元著 「宇宙と宇宙をつなぐ数学IUT理論の 衝撃」=(文元IUT本)が出版された。
scholz stixレポートへ回答書で
望月新一本人も監修している。
例えば
本文
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。
省5
734(1): 07/01(水)21:55 ID:Z4WHI577(1) AAS
Kedlayaは望月新一が認定する理解者でもなく査読中からDupuyと共に独自解釈によるIUTセミナーを開いていた。
Dupuyは望月新一本人からIUTの
理解不足と断定された。
なぜLANAプロジェクトのメンバーはjoshiでなくKedlaya？
joshiは理解に苦しむ点はあるとはいえ
昔から望月IUT一派と交流してた。
たぶんKedlaya の方がzen大学に都合が良い人物なんだろう
735(1): 07/02(木)05:00 ID:sIh9TFLr(1/2) AAS
>>733
>scholz stixレポートへ回答書で
一般解説書が?
736(1): 07/02(木)05:01 ID:sIh9TFLr(2/2) AAS
>>734
>Kedlayaは望月新一が認定する理解者でもなく
むしろ好都合じゃない
IUTは間違ってるんだから
737: 07/02(木)07:30 ID:UMLXzqHO(1) AAS
>>735 しかも書いたのはブンゲンｗ
738: 07/02(木)11:31 ID:sh5+oA9C(1) AAS
IUT初期勉強会のメンバーのM先生、気が触れて檻の中に・・・
739: 07/02(木)13:06 ID:TLFNWnri(1/3) AAS
>>733
>>622 参照のこと
・例えば
>310
・望月新一監修について 。
おわりにかえて. (川上量生p294 )
>日本で出したことのメリットとしては、望月先生と個人的にも親交の深い文元 先生に書いていただけたこと、 望月先生自身にも内容を監修して いただけたことがあります。」
740(1): 07/02(木)16:43 ID:TLFNWnri(2/3) AAS
>>736
KedlayaはIUTの事態を知らずに
妄想をふくらませていた輩、
741: 07/02(木)16:53 ID:TLFNWnri(3/3) AAS
Kedlayaへ共同通信記者の質問は良かった。
動画ﾘﾝｸ[YouTube]
742: 07/02(木)19:29 ID:c3EVbNYi(1) AAS
>>740
ゴミIUTは捨ててゼロから行ったほうが筋がいいな
743: 07/02(木)19:38 ID:s34DTHvr(1) AAS
当時としては最善を尽くした
太平洋戦争の開戦についても
同じことが言えるかもしれない
744: 07/03(金)08:11 ID:COnn42JD(1/2) AAS
茶番劇そのものはとっくに終わってて
実際ここ数年もう誰も引用してない
それなのに最終判断はxxxまで待てみたいなことを
言い続けてるやつらはxxxの中身を入れ替えて
同じことを繰り返す
茶番劇の茶番劇（入れ子構造）
745: 07/03(金)08:13 ID:COnn42JD(2/2) AAS
なお誰も引用してないのは
見るべきアイディアも何もない伽藍洞だから
746(1): 07/03(金)09:39 ID:871Nkfs1(1) AAS
ちなみに、この論文は、「ログ幾何って、便利」と、代数・数論幾何の人に布教するのが目的。
もっちーの、「IUT」では、ログ幾何は前提知識。だから、「その外堀をちょっと埋める」っちゅうわけ。
で。なんでわしはこがあな閉鎖病室で、笑
747: 07/03(金)13:58 ID:2VAP+t5m(1) AAS
外部ﾘﾝｸ:zen.ac.jp
を読んでもまだ分からない人は察する力が足りない
748: 07/03(金)16:03 ID:I7EO8mug(1/2) AAS
>>746
ゲラゲラ
外堀www
中身ねーやつが外に逃げ始めたw
749: 07/03(金)16:05 ID:I7EO8mug(2/2) AAS
自分らが最終的に誤りを認めるまで税金抜く宣言？
750(1): 07/03(金)22:43 ID:hhboP3fL(1) AAS
一体いつから───LANAがIUT検証のためのプロジェクトだと錯覚していた？
751: 07/04(土)05:24 ID:STpC5K4O(1/7) AAS
全大学の数学カリキュラムは機能してるのかしらん
752(1): 07/04(土)05:26 ID:STpC5K4O(2/7) AAS
>>750
>>660
753: 07/04(土)07:10 ID:AeR1BPXD(1/3) AAS
>>727
16日の中間発表後にこれやるんだな
俺なら鬱になるな
754(1): 07/04(土)08:00 ID:VJTScjiC(1/11) AAS
>>752 は文章を読めない人ですね
学長が
＞本プロジェクトの目的は二つです。
の他にも
＞詳細については、後ほどZMC所長であり本プロジェクト
＞の推進を担う加藤文元教授が行います
って言ってんだから、学長の主張も加藤文元教授の言う通り
省2
755: 07/04(土)08:21 ID:STpC5K4O(3/7) AAS
第2でいいんじゃない？
756(1): 07/04(土)08:24 ID:STpC5K4O(4/7) AAS
IUTの検証もできないライブラリに意味ないでしょ
757(1): 07/04(土)09:11 ID:VJTScjiC(2/11) AAS
>>756
ライブラリを全く理解してない人ですね
特定の目的のためにあるのでないし
検証可能な形で書かれてないものを検証できるわけないです
758: 07/04(土)09:56 ID:STpC5K4O(5/7) AAS
>>757
検証可能な形にするのも目的だけど？
759(3): 07/04(土)09:59 ID:STpC5K4O(6/7) AAS
ああそうか
検証可能な形にできない≠正しくない
と主張することで延命？するのかも？
一般にはそれはライブラリが不完全だってことだけどね
760(2): 07/04(土)10:05 ID:VJTScjiC(3/11) AAS
＞IUTの検証もできないライブラリに意味ないでしょ
から
＞検証可能な形にするのも目的だけど？
にずいぶんと意見を後退させたね
第１の目的と第２の目的を混同するのいい加減にしてくれない？
それともわざと馬鹿の振りしてるの？
761(1): 07/04(土)10:10 ID:9P3VRycO(1) AAS
>>759
それはいいけど、それならやっぱショルツさんごめんなさいってするのが礼儀じゃないのかね。
指摘は意義のあることでしたってことなんだから。
762: 07/04(土)10:18 ID:VJTScjiC(4/11) AAS
>>759
ライブラリが不完全じゃなくて証明が不完全だろ
マジで馬鹿もいい加減にしろ
763(1): 07/04(土)10:29 ID:VJTScjiC(5/11) AAS
第２目的のIUT検証は『3.11=>3.12』を目指してるんだから
「遠アーベル幾何学の形式化とそのライブラリ構築」と
直接的には関係してないからな
>>761 LANAを批判することになるだけなのでは
764: 07/04(土)10:45 ID:altnuSuo(1) AAS
もうちょいの辛抱なのに。
首を長くして待つのみ。
765(1): 07/04(土)11:24 ID:0OTz+2Pv(1) AAS
>>759
そこどうするかね
ギャップがあるところも特定していて
ss論文が正しかったわけなのに誤魔化せるかね
ss論文では望月語からss語に書き換えた議論になってるわけだけど
両方Leanで書けば面白いよね
要するに>>7の議論を形式的に突き詰めるということだけど
766: 07/04(土)12:43 ID:VJTScjiC(6/11) AAS
内容が理解できないんだからleanで書けるわきゃないだろ
単純自明なことを理解できない方が悪いって言われておしまい
leanで決着できるんならとっくの昔に決着してる
実際とっくの昔に決着してるんだけどな
767(1): 07/04(土)13:50 ID:hWLiiwgE(1/14) AAS
>>754
第二だからとか言っときゃセーフだと思っってんのかゴミw
768: 07/04(土)13:50 ID:hWLiiwgE(2/14) AAS
>>765
どうするかじゃねーよ
指摘と今のLEANが同じ地点さしてんだろゴミが
769: 07/04(土)13:52 ID:hWLiiwgE(3/14) AAS
>>760
ワンパ猿「第二だからああ」
770: 07/04(土)13:52 ID:0tTbBrOB(1) AAS
セーフコ・フィールドで3アウト
771(1): 07/04(土)14:09 ID:STpC5K4O(7/7) AAS
>>760
完全なライブラリで検証可能な形にしたIutは検証可能じゃない？
12の目的が完了したら決着がつく
できなきゃ１２の目的のどちらかが不完全
12いずれにせよIutはだめになりそうだが
772(1): 07/04(土)14:56 ID:VJTScjiC(7/11) AAS
>>767
「セーフ」も何もこっちは当事者じゃないし
１と２を切り分けろって当たり前のこと言ってるだけ
ついでにLANAと望月の立場ももちろん違う
自分と一致しない立場はみな同質と考える
白黒思考の持ち主には理解できないことなんかな
>>771
だから１と２を切り分けろって何度言ったら分かんの？
２は決着目指してんだから２が完了したら決着って当たり前だろ
なんで１混ぜてんの？
省1
773: 07/04(土)15:31 ID:hWLiiwgE(4/14) AAS
>>772
ワラタ
指摘されてクソ漏らし
「第二だからああ」連呼して到達しなくてもいいみたいなのずっと言ってるよなお前
論理で殴られてほら吹いて無限後退ウケるw
IUT仕草だわあ
774(1): 07/04(土)15:33 ID:hWLiiwgE(5/14) AAS
これが初出
「第二だからああ」の前には
「IUT検証は目的じゃないからああ」の段階があるw
そんで殴られて「第二だからああ」とか言い出した
クソ頭悪いIUT擁護派w
👇
659 １３２人目の素数さん 2026/06/22(月) 08:19:54.53 ID:M/aVMyCz
LANA (Lean for ANAbelian geometry)の
『第1の目的は、遠アーベル幾何学の形式化とそのライブラリ構築』だ
外部ﾘﾝｸ:zen.ac.jp
省3
775(1): 07/04(土)15:55 ID:VJTScjiC(8/11) AAS
お前の妄想に付き合うのも飽き飽きだから
続けたかったら引用よろしく
できるよな
お前の妄想じゃなければ
外部ﾘﾝｸ:zen.ac.jp
LANAプロジェクトのどこ読めば
２のために１があるなんて誤読できんの？
そういう箇所があるんなら引用して
LANA (Lean for ANAbelian geometry)だから
１，２両方ともLean+遠アーベルのプロジェクトだけど
省7
776: 07/04(土)16:01 ID:hWLiiwgE(6/14) AAS
>>775
「2のために1がある」-なんてこと一回も言ってねーから
テメエの脳内妄想じゃんw
777: 07/04(土)16:02 ID:hWLiiwgE(7/14) AAS
IUT仕草その１命題逸らして無限後退
IUT仕草その2藁人形論法
その1その2が見事に決まったなww
778(3): 07/04(土)16:11 ID:VJTScjiC(9/11) AAS
じゃあLANAの
＞第1の目的は、遠アーベル幾何学の形式化とそのライブラリ構築
で第１の目的は第２の目的と直接関係ないってことでいいわけだね
それ以上こちらから言うことはない
白黒思考の持ち主には理解できないことかもしんないけど
こっちはIUTとも全然無関係だし
779(1): 07/04(土)16:24 ID:VJTScjiC(10/11) AAS
ってゆーか>>778に書いたことは
外部ﾘﾝｸ:zen.ac.jp
にはっきり書いてあるんだから
他の解釈は誤読以外にないわな
780: 07/04(土)16:42 ID:hWLiiwgE(8/14) AAS
>>778
じゃあじゃねーよボケ
abc予想証明できてねーじゃんってバカにされてるだけだボンクラ
781: 07/04(土)16:43 ID:hWLiiwgE(9/14) AAS
>>779
>>774見て反省しようなw
IDコロコロ通名ってやつかw
IUT擁護派は一貫性ゼロ
782: 07/04(土)16:44 ID:hWLiiwgE(10/14) AAS
っていうかこんなザコどっから湧いてくるんだろうな
ゴミだろ
783(1): 07/04(土)17:29 ID:VJTScjiC(11/11) AAS
妄想きつすぎて何言われてるかすら分かんない
俺iut擁護なんてしたことなんて一度もないし
ってゆーかお前は妄想以外になんか出せないの
引用とか
784(1): 07/04(土)18:09 ID:K08q1dlW(1) AAS
公に望月新一さんを批判する人がいないのはなぜですか？
785: 07/04(土)18:20 ID:AeR1BPXD(2/3) AAS
>>778
関係ないわけないだろw
786: 07/04(土)18:22 ID:AeR1BPXD(3/3) AAS
直接とか
ほんのりとか
修辞して誤魔化す馬鹿
787: 07/04(土)19:35 ID:hWLiiwgE(11/14) AAS
>>783
ログ出してるのに開き直ってケツまくるガイジww
788(1): 07/04(土)21:14 ID:SCcjw3B6(1/2) AAS
>>784
そうすることによって得るものがあるなら
批判する人は多いだろう
789: 07/04(土)21:25 ID:hWLiiwgE(12/14) AAS
>>788
なんか年初にキチガイ日記で喚かれるのやじゃね
あとドワンゴのクソ朝鮮人政治権力に脅されそうだし
790(1): 07/04(土)21:41 ID:SCcjw3B6(2/2) AAS
人の日記をのぞき見する趣味のある人間には
公式の批判は無理だろう
791(1): 07/04(土)21:45 ID:3JCgs0F5(1) AAS
人の日記を覗き見しましたとさ。
～土佐日記～
792: 07/04(土)22:30 ID:hWLiiwgE(13/14) AAS
>>790
全世界に公開してるあれがかw
こいつマジでバカだなw
IUT擁護派の鏡だわ
まじで
793(2): 07/04(土)22:36 ID:dK5Cl3wq(1/2) AAS
第2の目的が主要目的なのでは？
＞本プロジェクトの目的は二つです。ひとつは日本の研究者の貢献が著しい遠アーベル幾何学の主要定理をLean形式化し、そのライブラリを構築することです。
＞もう一つは京都大学数理解析研究所の望月新一教授による宇宙際タイヒミュラー理論の、Lean形式化による検証です。
＞この理論については、未だ世界の数学者からの納得感が得られないままの状況です。したがってその検証自体が、数学の発展にとって意義深いはずです。
794: 07/04(土)22:37 ID:dK5Cl3wq(2/2) AAS
主要目的とは対外的にアピールできる主要な目的という意味ね
795: 07/04(土)23:17 ID:hWLiiwgE(14/14) AAS
イキリIUT擁護派がビビってんだから推してしるべし
796: 07/05(日)05:01 ID:Hkzk6a1O(1) AAS
>>791
近頃は土佐日記や更級日記はまずマンガで読まれる
むかし罪と罰がそうだったように
797: 07/05(日)10:07 ID:PgCabIpO(1) AAS
結局、Leanによる形式化で望月教授の証明に誤りがないことが検証されましたということにはならなさそうなんでしょ。それをどう評価するかという点については、ひょっとしたら人によって見解が分かれるのかもしれないけど。
798(3): 07/05(日)12:08 ID:HZjyQNrG(1/3) AAS
LANA Project Interim Report 2026: Computer-Assisted Verification of IUT Theory
外部ﾘﾝｸ:www.youtube.com
ZEN大学の公式ページでもアナウンスしろよ
799: 07/05(日)12:10 ID:oc7qXpi0(1/5) AAS
>>798
やっぱそうなのね>>793
>第2の目的が主要目的なのでは？
＞Computer-Assisted Verification of IUT Theory
800: 07/05(日)12:11 ID:oc7qXpi0(2/5) AAS
>>798
祇園祭のことじゃないの？
801(1): 07/05(日)12:16 ID:HZjyQNrG(2/3) AAS
>>798
星逃亡
そりゃそうだよな
802: 07/05(日)12:31 ID:oc7qXpi0(3/5) AAS
>>793
>第2の目的が主要目的なのでは？
英語ではどっちも
＞ Its primary objectives are
だね第1第2と番号付けては居ない
上下前次1-新書関写板覧索設栞歴
あと 200 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.409s*