ZEN大学やオランダのユトレヒト大学などは31日、コンピューターを使って数学の難問の検証を始めたと発表した。プログラミング言語を使い、京都大学の望月新一教授が証明したとされる「ABC予想」に関連する理論の検証を進める。共同研究の名称は「LANAプロジェクト」だ。数学の超難問の「ABC予想」に関連する「宇宙際タイヒミューラー（IUT）理論」や「遠アーベル幾何学」の主要な定理をプログラミング言語の ...

ZEN大学やオランダのユトレヒト大学などは31日、コンピューターを使って数学の難問の検証を目指す国際共同研究を始めたと発表した。数学の定理を証明する際に用いるプログラミング言語を使い、京都大学数理解析研究所の望月新一教授が証明したとされる「ABC予想 ...

A little over a decade ago, schools were swept into what many described as a movement to prepare students for the future of work. That work was coding — “Hello, world!” Districts introduced new ...

エメリービルにある2階建てのレンガ造りのオフィスビルでは、神経科学者たちが、迷路を進むといった基本的な課題をこなすマウスの神経活動パターンを記録するため、小型のブレインコンピューターインターフェース（BCI）を装着させる計画を進めている。