[過去ﾛｸﾞ]
Inter-universal geometry とABC 予想57 (1002ﾚｽ)
Inter-universal geometry とABC 予想57 http://rio2016.5ch.net/test/read.cgi/math/1723187304/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
270: １３２人目の素数さん [] 2024/12/01(日) 08:52:32.18 ID:b6Qct+RV 『宇宙際幾何学センター』から『ZEN数学センター』への改称で 宇宙際幾何学の記述がなくなっちゃったわけだけど、 説明を素直に読むとiutの形式化による決着を目指してるっぽい（？） かわんごの判断なら評価できる 今は形式化の人材が見当たらないけど、 何人か雇って理解者に協力してもらえば、 きっと１０年くらいで出来るよね >ZMC（ZEN Mathematics Center; ZEN数学センター）は、 >数論幾何学を中心とした現代数学や、コンピューター言語を >用いた現代数学の形式化（formalization）の推進と発展を >目指して設立された国際研究所です。 >「遠アーベル幾何学」など日本が世界をリードする >現代数学の研究を推進し、コンピュータ言語を用いた >現代数学の形式化*（formalization）の発展を目指します。 > >*「形式化」とは数学の定理の証明をプログラミング言語に >変換すること。これにより証明の議論が客観的に整理され、 >その精密な検証が可能になります。 http://rio2016.5ch.net/test/read.cgi/math/1723187304/270
283: １３２人目の素数さん [] 2024/12/08(日) 18:36:50.82 ID:ZKbYJ9p6 >>270 待遇によっては考えるけど、他人の理論を検証するだけの仕事に10年使いたくねえ http://rio2016.5ch.net/test/read.cgi/math/1723187304/283
293: １３２人目の素数さん [] 2024/12/13(金) 13:09:39.94 ID:Ff6IZJFN >>270 IUTの空気感はchatGPTの寄せ集めに似ていますね。 ・Chat GPTに共通テスト数学を解かせた 結果 https://note.com/yuzu_mathlove/n/n76c7b8edaf7a http://rio2016.5ch.net/test/read.cgi/math/1723187304/293
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
4.498s*