ZMCとは
ZMC(ZEN Mathematics Center; ZEN数学センター)は、数論幾何学を中心とした現代数学や、コンピューター言語を用いた現代数学の形式化(formalization)の推進と発展を目指して設立された国際研究所です。
OUR SCOPE
数論幾何学は整数論の様々な問題を代数幾何学的な手法を用いて解明することを目指す現代数学の一分野で、世界中で研究が進められています。その中でも、いわゆる「遠アーベル幾何学」という分野、特にアルゴリズム的な遠アーベル幾何学では、日本の研究が世界をリードしています。一般的に言って、現代数学の進歩はスピードアップこそすれ、衰えることはありません。そのため、それはますます技術的に難しいものになってきています。その一方で、最近ではコンピューター言語による証明支援系の研究が進み、実際に数論幾何学の定理をはじめとして多くの現代数学の理論が「形式化」されるようになってきました。ここでいう数学の理論の形式化とは、定理やその証明などをコンピューターのプログラムに書き換えることです。これは現代数学とコンピューター科学が歩みを共にしている一つの現代的な例ですが、現代社会ではそのほかにもいわゆる人工知能(AI)と数学の関係も重要なトピックです。私たちはこのような状況を踏まえて、遠アーベル幾何学に代表される数論幾何学などの現代数学や、その形式化を推進する活動を通じて、現代社会と数学の新しい関係を創造していきたいと考えています。また、現代数学やその周辺領域での活躍を目指している世界中の若い研究者たちへの支援なども行っていきたいとも考えています。