ZEN大学「ZMC（ZEN Mathematic Center;ZEN数学センター）」は2026年7月17日（金）、IUT（宇宙際タイヒミューラー）理論のコンピューター検証に関する「LANAプロジェクト」の中間発表会「LANA Project Interim Report 2026」を行います。
LANAプロジェクトはZEN大学（日本）、ユトレヒト大学（オランダ）、アルバータ大学（カナダ）を中心とする国際共同研究プロジェクトであり、数論幾何学の重要分野である遠アーベル幾何学の形式化と、京都大学数理解析研究所の望月新一教授が提唱したIUT理論の検証を主な目的としています。
本発表は、YouTube（日英2言語）、ニコニコ生放送（日本語）でライブ配信します。
【概要】
- 日時： 2026年7月17日（金）13:00〜14:15（予定）
- 登壇者：
若山正人（ZEN大学 学長）
加藤文元（ZEN大学教授・ZMC所長、LANAプロジェクト リーダー）
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）
- 番組配信：
YouTube （日本語チャンネル）：https://www.youtube.com/live/g0QLL8iYECY
YouTube （英語チャンネル）： https://www.youtube.com/live/KADN5NHmIfw
ニコニコ生放送（日本語のみ）： https://live.nicovideo.jp/watch/lv350854170
❙ ZMC（ZEN Mathematics Center; ZEN数学センター）とは
ZMCは、数論幾何学を中心とした現代数学や、コンピューター言語を用いた現代数学の形式化（formalization）の推進と発展を目指して設立された国際研究所です。
ZMCホームページ▶https://zen.ac.jp/zmc