ZEN大学のムラゴンブログ

このタグの読者になる 0

超難解「IUT理論」証明プログラムに「翻訳」できず ZEN大学検証中間報告

https://prtimes.jp/main/html/rd/p/000000090.000136051.html ＋＋＋＋＋オンライン大学、ZEN大学のZEN数学センター（ZMC）は7月17日、証明支援系プログラミング言語「Lean」を使った、望月新一・京都大学数理解析研究所教授の「宇宙際タイ... 続きをみる
深浦サブロー時代遅れの新聞読みブログ 2026/08/12 14:26
ZEN大学超難解「IUT理論」をコンピュータを使って検証初公開から10余年経過も正誤結論でず

IUT（宇宙際タイヒミューラー）理論のコンピューターによる検証を目指すZEN数学センターの新プロジェクト「LANA」を発表 | 学校法人日本財団ドワンゴ学園のプレスリリース（冒頭部分）＋＋＋＋＋＋＋＋オンライン大学、ZEN大学のZEN数学センター（ZMC）は31日、望月新一・京都大学数理解析研... 続きをみる
深浦サブロー時代遅れの新聞読みブログ 2026/04/01 17:25
# ZEN大学
- N高を断固拒否した息子の現在
- MARCH未満ならZEN大学という選択肢が“本気”でありえる時代
# 小学生男子
# サピックス