26/06/02 03:01:45.34 PAijfPn7.net
>数学だからこそLeanで検証しようって話
IUT語は自然言語ではないから
leanで検証できない
76:１３２人目の素数さん
26/06/02 03:06:24.13 PAijfPn7.net
望月新一監修加藤文元著宇宙と
宇宙を繋ぐ「数学」
77:１３２人目の素数さん
26/06/02 05:13:23.79 9K9//Q0A.net
経歴で過大評価されてたけど実力はそこまででもなかった
晩年は自己評価と実績の剥離が受け入れられず
狂ってしまってとんでも理論に固執し続けて晩節を汚した
後世の望月評価はこんな感じで落ち着くだろうな
78:１３２人目の素数さん
26/06/02 12:22:24.05 RhtQq3GB.net
>>75
低学歴在日ワラタ
色々分かってねーな
どこの朝鮮人だおまえ
まず数学自体が自然言語ではない
朝鮮人ww
79:１３２人目の素数さん
26/06/02 12:22:58.33 RhtQq3GB.net
>>76
ゴミ本のタイトル？
意味不明なコピペ書き込みしてんじゃねーぞゴミコラ
80:１３２人目の素数さん
26/06/02 15:18:50.28 PAijfPn7.net
>>76
追記
本文 望月新一監修
p37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。
・P40
>IUT理論のように、あまりにも
新奇で斬新なものだったりすると
、通常の言葉に翻訳するには
多くの言葉や概念を巧みな比喩を
用いて説明するしかありません。
「宇宙間航行」や「異なる宇宙の間の通信」などという、ちょっと奇想天外なSF用語にも聞こえる言葉を大真面目に 使用するしかなくなります。
・IUT語 p51
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」
81:１３２人目の素数さん
26/06/02 15:56:12.17 q3h7gjk0.net
全ての講義がずんだもん動画のZUN大学とかあれば興味あるんだが
82:１３２人目の素数さん
26/06/02 16:03:23.18 VJNup8kJ.net
なのだ
83:１３２人目の素数さん
26/06/02 17:24:46.39 1AQuhiQp.net
>>81
>ZUN大学
ﾜﾛﾀ
まじで良いアイデアかも
84:１３２人目の素数さん
26/06/11 23:32:53.92 VRBxJ6ma.net
ZMCとは
ZMC（ZEN Mathematics Center; ZEN数学センター）は、数論幾何学を中心とした現代数学や、
コンピューター言語を用いた現代数学の形式化（formalization）の推進と発展を目指して
設立された国際研究所です。
URLﾘﾝｸ(zen.ac.jp)
ドワンゴはなぜそんなに金持ちなの？
85:１３２人目の素数さん
26/06/12 13:38:21.87 E8sf6yUO.net
不当に税金吸ってるだけだろ
86:１３２人目の素数さん
26/06/16 20:49:14.90 HBCSmKz4.net
ぜんはいそいだ。
87:１３２人目の素数さん
26/06/16 20:53:09.82 XdRQs7Ds.net
格言通り
88:１３２人目の素数さん
26/06/29 17:36:44.30 UStAQMyN.net
日時：2026年9月14日（月）13:00 – 18:15
場所：九州大学伊都キャンパス ウエスト1号館4階 IMIオーディトリアム
方式：対面およびオンラインのハイブリッド方式
主催：九州大学マス・フォア・インダストリ研究所
後援：日本応用数理学会，日本数学会（申請中）
ウェブページ：URLﾘﾝｸ(sites.google.com)
89:１３２人目の素数さん
26/06/30 05:26:08.17 qXab3g0q.net
日本数学会の再編へと進むか
90:１３２人目の素数さん
26/06/30 15:53:40.40 CI7e325q.net
数学の学会は日本数学会しか無いと思ってるな
91:１３２人目の素数さん
26/06/30 20:20:10.13 AuTtvzhy.net
87のタイトルがぬけてた
新しい数学が社会を拓く - AI革命の中での数学の潮流と未来 -
IMI Auditorium, Ito Campus, Kyushu University
92:１３２人目の素数さん
26/06/30 22:17:37.33 qXab3g0q.net
応用数学会は
あたらしいのでまだ再編しなくてよいだろう
93:１３２人目の素数さん
26/07/01 06:45:35.69 tzl3PyBB.net
上野先生の日本数学協会
解散してた
94:１３２人目の素数さん
26/07/01 11:58:00.47 O0Rc5p83.net
再結成の動きはないのか
95:１３２人目の素数さん
26/07/02 03:12:15.67 s34DTHvr.net
❖❖❖ 日本数学協会 Zoom講義 ❖❖❖
【テーマ】 ＜ 連分数 ＞
＊ 講 師： 上野 健爾 氏（四日市大学 関孝和数学研究所）
＊ 開講日： 2026年5月24日（日）・ 6月7日（日）・ 7月12日（日）
※詳しくは、「講義のご案内」ページをご覧ください。