[画像: https://prcdn.freetls.fastly.net/release_image/136051/84/136051-84-256e2d0a8f44a4acd3fa472003167536-1920x1080.png?width=536&quality=85%2C75&format=jpeg&auto=webp&fit=bounds&bg-color=fff ]
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
❙ ZEN大学について
ZEN大学は、最先端のIT技術を活用し、すべての人に大学進学の機会を提供します。ZEN大学唯一の学部である「知能情報社会学部」では、特定の学問領域に偏らない学びを修めることで、激変するAI時代に対応して活躍するために必要なリテラシーを身につけることができます。ZEN大学に関する詳細▶ https://zen.ac.jp/ 最新パンフレット請求▶ https://zen.ac.jp/form
開学初年度の実績▶ https://zen.ac.jp/presentation_2026/
プレスリリース提供：PR TIMES
