令和8年
ZEN大学やオランダのユトレヒト大学などはコンピューターを使って数学の難問の検証を始めたと発表…
科学 日本・世界
ZEN大学やオランダのユトレヒト大学などはコンピューターを使って数学の難問の検証を始めたと発表した。プログラミング言語を使い、京都大学の望月新一教授が証明したとされる「ABC予想」に関連する理論の検証を進める。共同研究の名称は「LANAプロジェクト」。
令和8年
科学 日本・世界
ZEN大学やオランダのユトレヒト大学などはコンピューターを使って数学の難問の検証を始めたと発表した。プログラミング言語を使い、京都大学の望月新一教授が証明したとされる「ABC予想」に関連する理論の検証を進める。共同研究の名称は「LANAプロジェクト」。