25/10/10 17:46:14.06 kPa7sByh.net
>>37
>IUTの研究所も認可されたら
>突然消滅したいかがわしさ。
それは「遠アーベル幾何学研究所」になったってことでしょ？
より広い研究領域（それでも狭小）の名前を冠することにしたのは
特にいかがわしくは無いかな
39:１３２人目の素数さん
25/10/10 17:50:08.81 tuHECbKH.net
>>38
遠アーベル幾何学は数学、
IUTは全く新しい理論で数学ではない
40:１３２人目の素数さん
25/10/10 18:05:04.30 tuHECbKH.net
IUTについて
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。
by 加藤文元所長
41:１３２人目の素数さん
25/10/10 22:15:01.72 LUMhNgm4.net
今のところはだれもわからない
42:１３２人目の素数さん
25/12/12 08:31:39.53 wY0hz9Oy.net
加藤文元さんが所長のZMC（zen数学センター）は
IUT Innovator Prizeを続ける？
それと
論文誌は出版してる？
43:１３２人目の素数さん
25/12/12 09:34:05.94 1CmfsJhS.net
>>14
望月加藤文元がIUTは数学外と明言してる
44:１３２人目の素数さん
25/12/19 22:50:36.11 y9Q1DrJ/.net
加藤文元さんはzen大学へ移りましたが
東京科学大学が国際卓越大学に選定されましたね
45:１３２人目の素数さん
25/12/19 23:20:37.92 BT+Rpueu.net
加藤文元さんはzen大学へ移りましたから、
東京科学大学が国際卓越大学に選定されましたね
ということ？
46:１３２人目の素数さん
25/12/19 23:32:06.28 y9Q1DrJ/.net
>>45
なんで？
47:１３２人目の素数さん
25/12/20 22:01:13.77 fAkbm+Of.net
>>43
>望月加藤文元がIUTは数学外と明言してる
明言てのがどういう状況でのことか分からないし
数学外かどうかも分からないな
48:１３２人目の素数さん
26/01/09 20:15:38.72 ONrk69UD.net
真、善、美
偽、悪、醜
49:１３２人目の素数さん
26/02/14 02:26:13.20 lEw2kOkr.net
ZMCとは
ZMC（ZEN Mathematics Center; ZEN数学センター）は、
数論幾何学を中心とした現代数学や、
コンピューター言語を用いた現代数学の形式化
（formalization）の推進と発展を目指して設立された国際研究所です。
URLﾘﾝｸ(zen.ac.jp)
50:１３２人目の素数さん
26/02/14 02:29:59.35 lEw2kOkr.net
ZEN数学センター（ZEN Mathematics Center; 略称 ZMC URLﾘﾝｸ(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）
参加方法：要予約、無料
参加予約URL： URLﾘﾝｸ(docs.google.com)
注意：Registrationの締切は7月3日です。Registration を行うとすぐに詳しい参加日程と参加形態（対面かオンラインか）を問い合わせる2つ目のフォームのURLが送られてきます。そちらのフォーム（2つ目）は日程等の詳細が決まり次第お送りください（7月6日締め切り）。上のフォーム（1つ目）では、参加日程・形態については現時点で分かる範囲のおおまかな情報だけで結構です。
テーマ：近年、コンピュータによる数学の形式化に興味を持つ人が増えており、Lean4による数学の形式化と検証が、将来の数学研究のやり方を大きく変える可能性があると認識されつつあります。さらに、最近ではAIによる自動定理証明や、AIを用いた未解決問題の解決など、数学研究への人工知能の進出が多く見受けられるようになりました。今回のZMC研究集会では、数論幾何学や代数幾何学のコンピューター形式化を出発点として、数学者視点から、AIによる自動形式化や自動定理証明について取り上げたいと考えています。
本会議では、昨年と同様に、小グループに分かれて、実際にLean4を用いて数論幾何学に関連する数学の形式化に取り組む、3日間のグループワークも行います。
数論幾何学や代数幾何学以外のご専門の数学者の方々のご出席も歓迎いたします！
51:１３２人目の素数さん
26/02/14 02:30:09.41 lEw2kOkr.net
各セッションの内容：
・午前：数論幾何学のコンピューター形式化やAIによる自動形式・自動定理証明に関するセッションを行います。
Speakers:
Christian Merten (Utrecht)；Dagur Asgeirsson (Alberta）
Andrew Yang (Imperial College London）；園田翔（RIKEN AIP）；笠浦一海（Omron Sinic X）
Jiang Jiedong (Peking university)；Guoxiong Gao (Peking university)
...and more TBA
・午後：計算機による形式化に関するチュートリアルに引き続いて、小グループによる作業（Group work）を行います：参加者がいくつかの小グループに分かれて、実際に体験することでコンピューター形式化に入門し、数論幾何学の命題・補題などの実際の形式化に取り組みます。
皆様のご参加を歓迎致します。
52:１３２人目の素数さん
26/03/04 15:49:38.95 FJcZ3bPj.net
テスト
URLﾘﾝｸ(www.mext.go.jp)
53:１３２人目の素数さん
26/03/04 18:23:45.97 +BR23zfW.net
>>27
「出版社は大衆向けの娯楽本で商売すればいい、専門書は公共の利益になるから無料で出版しろ」
こうですか？わかりません
54:１３２人目の素数さん
26/03/04 19:03:58.64 9VaqoFlo.net
>>53
ハゲタカジャーナルだの受験産業だのは腐っとる。
55:１３２人目の素数さん
26/03/05 12:53:09.91 OGE3hXPa.net
Zenは急げだ。
56:１３２人目の素数さん
26/04/01 06:07:58.30 RnUhmUj/.net
15歳少女に現金渡しわいせつ 容疑でZEN大学教授を逮捕 「ニコニコ学会βの創設者」
2026/2/25 20:50
URLﾘﾝｸ(www.sankei.com)
57:１３２人目の素数さん
26/04/01 07:15:03.24 O4h0CXmH.net
>>56
うわぁ
58:１３２人目の素数さん
26/04/01 20:57:53.79 O4h0CXmH.net
>>56
人工知能学会理事だったらしいな
URLﾘﾝｸ(www.ai-gakkai.or.jp)