[過去ﾛｸﾞ]
Interuniversal geometry とABC 予想60 (1002ﾚｽ)
Interuniversal geometry とABC 予想60 http://rio2016.5ch.io/test/read.cgi/math/1774529018/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
634: １３２人目の素数さん [] 2026/06/19(金) 07:48:26.56 ID:OLmeb/0d >>631 >文科省報告書云々 京大数理研ではabc予想が査読中から 解決していた。 2026年7月17日に具体的明確な経緯の 説明があるのか http://rio2016.5ch.io/test/read.cgi/math/1774529018/634
635: １３２人目の素数さん [] 2026/06/19(金) 07:53:58.34 ID:OLmeb/0d >>634 平成28年(2016年)6月 IUT論文査読中。 文科省所管の独立行政法人 大学改革支援・学位授与機構宛 京都大学数理解析研究所 第2期中期目標期間(平成22年〜 平成27事業年度) -現況調査表 - ・p 28-3 資料 2. 発表論文数 所員の発表論文数 査読付き論文のみ ・p28-10 事例4「数論幾何の研究」 「望月新一に よる「宇宙際タイヒ ミューラー理論」の構築とその結果としての ABC 予想の解決は、 特筆すべき 出来事である。」 「当該論文は現在査読中であるが、 」 「望月新一が同理論の概要を解説した業績番号1― (2)(2014)が、 講究録別冊(B51)として刊行されている」 http://rio2016.5ch.io/test/read.cgi/math/1774529018/635
636: １３２人目の素数さん [] 2026/06/19(金) 08:01:33.46 ID:OLmeb/0d >>635 https://www.niad.ac.jp/sub_hyouka/kokudai2016/no6_3_55_kyoto_2016_5_3.pdf http://rio2016.5ch.io/test/read.cgi/math/1774529018/636
637: １３２人目の素数さん [] 2026/06/19(金) 08:53:37.74 ID:L9+EvLqC IUT騒動とは何か？ RIMSの中の人が文科省から予算を毟るために できてもいないことをできたと言い張った出来事 http://rio2016.5ch.io/test/read.cgi/math/1774529018/637
638: １３２人目の素数さん [] 2026/06/19(金) 09:53:58.61 ID:cuIShk23 >>631 こいつは経緯と無関係なLANAプロジェクトが ＞具体的明確な経緯の説明 できると思ってるデンパだから ところでLANAプロジェクトって何のためにあると思ってんの？ http://rio2016.5ch.io/test/read.cgi/math/1774529018/638
639: １３２人目の素数さん [sage] 2026/06/19(金) 10:02:09.61 ID:WCuFKOXa でんぱ組 http://rio2016.5ch.io/test/read.cgi/math/1774529018/639
640: １３２人目の素数さん [sage] 2026/06/19(金) 14:04:51.08 ID:0aG6IhJ/ >>638 コミュニケーション(失笑)だろ http://rio2016.5ch.io/test/read.cgi/math/1774529018/640
641: １３２人目の素数さん [] 2026/06/19(金) 23:10:42.24 ID:+Z3vQSjh IUTスキャンダルの原因は I didn’t really see a key idea that would get us closer to the proof of the abcconjecture.” by p.scholze IUT一派にはabc予想の証明へ近づくkeyとなるアイデアがない。 だからscholze.stixレポートへの回答が望月IUT語のトンデモ(デンパ)になった。(>>622) 加藤文元所長のLANAプロジェクトは 入力.望月新一語のIUT→自然言語→leanによる形式化→出力で、入力がトンデモ(デンパ)だから出力もトンデモ(デンパ)のガラクタだ。 京大数理研界隈では、 ガラクタabc定理を信奉する IUTへ信心が推奨されてるようだ http://rio2016.5ch.io/test/read.cgi/math/1774529018/641
642: １３２人目の素数さん [] 2026/06/19(金) 23:20:09.92 ID:+Z3vQSjh >>641 https://zen.ac.jp/zmc/topics/jwz-o8xr3v6f http://rio2016.5ch.io/test/read.cgi/math/1774529018/642
643: １３２人目の素数さん [] 2026/06/20(土) 06:47:43.87 ID:gJAUPic7 とりあえずscholzeが問題視する部分だけでもAIで検証できないのか http://rio2016.5ch.io/test/read.cgi/math/1774529018/643
644: １３２人目の素数さん [] 2026/06/20(土) 06:58:54.24 ID:UYtLNwKk IUT論文AIに読み込ませて、定理3.11から系3.12を導く過程をLEANでやらせてみりゃわかるけど、部品と補題が多すぎるねん それらの定式化だけで数万行軽く行く LANAは遠アーベル幾何学のライブラリ実装も兼ねてるって話だから7月17日の中間報告ではGithubが流石に公開されると思うから期待やね Githubの公開がなかったらそれだけでガッカリや http://rio2016.5ch.io/test/read.cgi/math/1774529018/644
645: １３２人目の素数さん [sage] 2026/06/20(土) 09:49:30.97 ID:MaaC2GCB 造語おじさんの虚言に誠心誠意答付き合って議論したショルツって聖人かなにか？ http://rio2016.5ch.io/test/read.cgi/math/1774529018/645
646: １３２人目の素数さん [] 2026/06/20(土) 15:19:28.94 ID:Hajjvb0G まだ期待してる馬鹿いるのか 数学素人が文元に騙されてんだろうけど 哀れだなw http://rio2016.5ch.io/test/read.cgi/math/1774529018/646
647: １３２人目の素数さん [] 2026/06/20(土) 15:27:39.17 ID:xZkSBPwa ☆がコード化要員に論理を説明できないのがすべて 無い論理は説明できないわな http://rio2016.5ch.io/test/read.cgi/math/1774529018/647
648: １３２人目の素数さん [sage] 2026/06/20(土) 16:22:39.10 ID:U5VeawLX 数学を学び、議論するときは、他のすべてを無駄とみなして本題だけに集中すること レトリックもドラマチックもいらない http://rio2016.5ch.io/test/read.cgi/math/1774529018/648
649: １３２人目の素数さん [sage] 2026/06/20(土) 17:05:20.74 ID:xgRaE+To >>648 過去の天才の逸話を並べてIUTを飾り立てる加藤であった http://rio2016.5ch.io/test/read.cgi/math/1774529018/649
650: １３２人目の素数さん [] 2026/06/20(土) 18:20:40.89 ID:75vrnpmp >>574 だな 書かれてる活動実態がないからね http://rio2016.5ch.io/test/read.cgi/math/1774529018/650
651: １３２人目の素数さん [] 2026/06/20(土) 18:25:56.58 ID:75vrnpmp >>644 >LANAは遠アーベル幾何学のライブラリ実装も兼ねてるって話だから7月17日の中間報告ではGithubが流石に公開されると思うから期待やね 無理じゃないかなあ もともとそれがゴールだったら1年半かけてるから終わってるはず ゴールはIUT理論の正当性で そっちのギャップが深刻な状態 その状態で遠アーベル幾何学ライブラリの構築に集中できると思えない 海外みたいにプロジェクトが数学の方はやらない専門プログラマ雇ってれば別だけど日本は不得意なやり方 http://rio2016.5ch.io/test/read.cgi/math/1774529018/651
652: １３２人目の素数さん [] 2026/06/20(土) 22:08:30.65 ID:Hajjvb0G 山下とか数理研で何もしてねえで恥ずかしくねえのかな 厚顔無恥な連中だな http://rio2016.5ch.io/test/read.cgi/math/1774529018/652
653: １３２人目の素数さん [] 2026/06/21(日) 11:16:19.39 ID:WtUOM5ns 山下さんはどこか外国に行ったと聞いたが http://rio2016.5ch.io/test/read.cgi/math/1774529018/653
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 349 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.009s