[過去ﾛｸﾞ] Interuniversal geometry とABC 予想60
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
653: 06/21(日)11:16 ID:WtUOM5ns(1) AAS
山下さんはどこか外国に行ったと聞いたが
654: 06/21(日)15:00 ID:P7TNj9jK(1/2) AAS
乞食豚のほう
655: 06/21(日)15:06 ID:P7TNj9jK(2/2) AAS
乞食豚のほう
656: 06/21(日)15:23 ID:Ug4h4X0X(1/2) AAS
>>645
数学の守り神であった
657: 06/21(日)16:07 ID:2KWb6MC6(1) AAS
どの山下
658: 06/21(日)20:49 ID:Ug4h4X0X(2/2) AAS
>>651
ライブラリ揃ってるのにも関わらず
証明できませんでした
って聞こえは素人も色々気付くからなw
659(2): 06/22(月)08:19 ID:M/aVMyCz(1/3) AAS
LANA (Lean for ANAbelian geometry)の
『第1の目的は、遠アーベル幾何学の形式化とそのライブラリ構築』だ
外部ﾘﾝｸ:zen.ac.jp
加藤氏は大人だからね、失敗するプロジェクトなんてやらないんだ
一体いつから───LANAがIUT検証のためのプロジェクトだと錯覚していた？
660(1): 06/22(月)09:45 ID:Z4vgGBe8(1) AAS
>>642
若山zen大学学長
>本プロジェクトの目的は二つです。
ひとつは日本の研究者の貢献が著しい遠アーベル幾何学の主要定理をLean形式化し、そのライブラリを構築することです。
もう一つは京都大学数理解析研究所の望月新一教授による宇宙際タイヒミュラー理論の、Lean形式化による検証です。
661: 06/22(月)11:23 ID:l7w32A/Y(1) AAS
>>659
錯覚した人乙
662(1): 06/22(月)13:32 ID:kwTa7c0W(1/3) AAS
>>659
言い訳だらけ
自称大人w
663: 06/22(月)14:10 ID:+V70gXqv(1) AAS
遠アーベル幾何自体
晩年精神に問題が起こってあちこちで揉め事起こしてた
才能枯れ果てた後のグロタンディークの搾りかすみたいな数学だからな
なんの動機もないし望月もなるべくして闇堕ちしたんだろうな
664: 06/22(月)20:24 ID:esbZuJig(1) AAS
23℃
くもり
665(1): 06/22(月)20:36 ID:M/aVMyCz(2/3) AAS
>>662 錯覚した人乙
言い訳も何も、プロジェクトの初めからの目標設定だし
公表時の記者会見でも誤解のないよう、初めにそう明言してますよ
加藤氏の中で既に絵は描かれてるってことじゃないですか
666: 06/22(月)21:12 ID:kwTa7c0W(2/3) AAS
>>665
お、後出し恥ずかしいww
ほんとバカだなこいつ
667: 06/22(月)21:13 ID:kwTa7c0W(3/3) AAS
じゃあ完成したんすか？w
668(1): 06/22(月)21:33 ID:M/aVMyCz(3/3) AAS
完成って『遠アーベル幾何学の形式化とそのライブラリ構築』は
オープンエンドで完成するようなもんじゃないっしょ
数学音痴乙
一程度の進展があればプロジェクトは成功ってことでよろ
669(1): 06/23(火)00:23 ID:3CPS6ijz(1/7) AAS
>>668
ゲラゲラ
爆笑した
税金いくら抜いたの
670(6): 06/23(火)00:24 ID:3CPS6ijz(2/7) AAS
第一の目的も第二の目的もできませんでしたって話？
ID:M/aVMyCz
イキリチビ
書き込むたびに矛盾
さすがIUTw
671: 06/23(火)01:09 ID:4rA5BnHm(1/21) AAS
>>669
テメエラは金金ってなんで日本の血税に口挟んでんの？
テメエ日本に納税してねえだろ。
672: 06/23(火)01:11 ID:4rA5BnHm(2/21) AAS
>>670
テメエはいつもの朝鮮人に対する差別用語連呼のﾁｮﾝﾁｮﾝ鳴いてるキチ●イやん。
雀か。おのれは。
似非日本人が。
673: 06/23(火)01:12 ID:4rA5BnHm(3/21) AAS
パアァッー！ン
ー?(>>670)ー・
674: 06/23(火)01:14 ID:4rA5BnHm(4/21) AAS
|↑↑ ﾇｯ! /
| ΘдΘ))
|∝ノ
|⊂(⊂(>>670)⊃
675: 06/23(火)01:16 ID:4rA5BnHm(5/21) AAS
|↑↑ ４んだなｯ!
| ΘдΘ)
| )∂»
|⊂(⊂(>>670)⊃
676: 06/23(火)01:16 ID:4rA5BnHm(6/21) AAS
|
| ≡333（脱兎）
|
|⊂(⊂(>>670)⊃
677: 06/23(火)01:52 ID:4Vut7GgY(1) AAS
>>670
>第一の目的も第二の目的もできませんでしたって話？
数学なんだからできるはずよな
678(1): 06/23(火)07:59 ID:LR5qBlFd(1/3) AAS
第１の目的については当然進展があるんじゃないの
専門家がついてるしlean勢も協力してるし
それこそ「数学なんだから」
数学なのに「完成」があると思ってるのはデンパくんだけ
679: 06/23(火)08:06 ID:LR5qBlFd(2/3) AAS
LANAがabcにどれだけ踏み込むかは
スポンサーであるかわんごの意思次第かなあ
かわんごは某氏とは違って真剣なんだと思う
680: 06/23(火)12:01 ID:3CPS6ijz(3/7) AAS
>>678
ライブラリ整備で？
バカすぎw
681: 06/23(火)12:02 ID:3CPS6ijz(4/7) AAS
整備できませんでしたあ(失笑
ってことか
682: 06/23(火)12:51 ID:3CPS6ijz(5/7) AAS
第0本当の目的
やってるフリ
683: 06/23(火)15:53 ID:4rA5BnHm(7/21) AAS
悔しそう
684: 06/23(火)15:54 ID:4rA5BnHm(8/21) AAS
悔しくてうんこ漏らしてそう
脱糞ジジイ カアイソウ カアイソウ
チビリブス爺 カアイソウ カアイソウ
685: 06/23(火)15:58 ID:FmmFwsow(1) AAS
水前ジジイ清子
686(2): 06/23(火)18:13 ID:3CPS6ijz(6/7) AAS
ID:4rA5BnHm
中身ゼロでワラタ
さすがIUTの鏡w
687: 06/23(火)18:29 ID:qRLE+1PM(1/2) AAS
太っちょカウボーイ
688: 06/23(火)18:58 ID:4rA5BnHm(9/21) AAS
鏡に話しかけるの止めてもらえます？
>>686IUTの疑義を数学での検証は一切示さずにひたすら誹謗中傷と名誉毀損と侮辱とヘイトスピーチを公然とネットでデジタルタトゥーに刻んでるお前の自己紹介はおへそでドセイロンティーからチャイを湧かせるね。
689: 06/23(火)19:01 ID:4rA5BnHm(10/21) AAS
もっとよく鏡をガン見して
ゲロ吐いて窒息してみてﾎﾗﾎﾗﾎﾗ
（ｽｩｩ⋯痛ｧ!浄化ノススメ）
690(1): 06/23(火)19:04 ID:4rA5BnHm(11/21) AAS
画像ﾘﾝｸ[png]:www.kyodemo.net
外部ﾘﾝｸ:www.kyodemo.net
691: 06/23(火)19:06 ID:4rA5BnHm(12/21) AAS
すっごい白くなってる（中身）
中身空ほどよく鳴りますねぇ！
人は鏡。ハッキリ解んだね。
692: 06/23(火)19:08 ID:4rA5BnHm(13/21) AAS
これのどこが数学的に中身０で無いと？
↓
>>690←おまえのレスはいつもこんなゴミレスばっかりだゾ。
こんなもん以外のおまえのレスなんか誰も
知wらwなwいwよw
693: 06/23(火)19:10 ID:4rA5BnHm(14/21) AAS
ID:3CPS6ijzｯﾂｧﾏ？息してる？
694: 06/23(火)19:11 ID:4rA5BnHm(15/21) AAS
闘いは似た者同士で起きる
«👓»
695: 06/23(火)19:16 ID:4rA5BnHm(16/21) AAS
相手にとって不足は無いゾ
ID:3CPS6ijz。
貴様こそが、このｽｩｩ⋯痛ｧ!を時偶訪れてゎ
流離ひ転がり続け永らく滑り続けた
ぉ絵描きとぽぇ夢の使ひ手の俺と
互角の闘いを繰り拡げられる相手だゾ。
696: 06/23(火)19:19 ID:4rA5BnHm(17/21) AAS
パア゙ァ゙ッ゙ー"!"ん゙!"!"!"
∵∴➖?(>>686)➖🔥?🔫»
697: 06/23(火)19:21 ID:4rA5BnHm(18/21) AAS
今日の射●ぉゎりｯ！ぉ仕舞ひｯ！
698: 06/23(火)19:29 ID:qRLE+1PM(2/2) AAS
ウバ茶
699: 06/23(火)20:13 ID:LR5qBlFd(3/3) AAS
デンパくんは平常運転だねー
だいたいleanの人たちがLANAに協力してるのって
第１の目的がライブラリ構築だからだよね
leanの人たちの目標と合致してるもん
LANAとしては第１の目的を支援するから
第２の目的にも協力してねってことでしょう
LANAプロジェクトのジュニアメンバーの中には
第１の目的専属の人がいるんじゃないですか
leanのお２人が記者会見でかわんごに感謝してますし
これで成果が出ないわけないですね
700(2): 06/23(火)20:54 ID:3CPS6ijz(7/7) AAS
ギャップ前提でイキりはじめてんのうけるw
話題逸らしが未完成ライブラリww
701: 06/23(火)21:13 ID:4rA5BnHm(19/21) AAS
＼ﾌﾞｽﾘｯ!／
≫🔪🗡≪
(((>>700)))
702(1): 06/23(火)21:14 ID:4rA5BnHm(20/21) AAS
今日の刺●終ゎりっ!お終ィ！修了！
🔪🗡
⊂(>>700)⊃)⊃
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
上下前次1-新書関写板覧索設栞歴
あと 250 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.178s