ZEN大学のブログ記事 - muragon（ムラゴンブログ）

超難解「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大学

# プロテスタント教会

# 高校受験

ZEN大学のムラゴンブログ

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

ZEN大学 超難解「IUT理論」をコンピュータを使って検証 初公開から10余年経過も正誤結論でず

人気のカテゴリー

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

ZEN大学超難解「IUT理論」をコンピュータを使って検証初公開から10余年経過も正誤結論でず