ZEN大学 IUT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会を7月17日（金）に開催

YouTube、ニコニコ生放送にてライブ配信

学校法人日本財団ドワンゴ学園

2026年7月3日 16時00分

ZEN大学「ZMC（ZEN Mathematic Center;ZEN数学センター）」は2026年7月17日（金）、IUT（宇宙際タイヒミューラー）理論のコンピューター検証に関する「LANAプロジェクト」の中間発表会「LANA Project Interim Report 2026」を行います。

LANAプロジェクトはZEN大学（日本）、ユトレヒト大学（オランダ）、アルバータ大学（カナダ）を中心とする国際共同研究プロジェクトであり、数論幾何学の重要分野である遠アーベル幾何学の形式化と、京都大学数理解析研究所の望月新一教授が提唱したIUT理論の検証を主な目的としています。

本発表は、YouTube（日英2言語）、ニコニコ生放送（日本語）でライブ配信します。

若山正人（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は、数論幾何学を中心とした現代数学や、コンピューター言語を用いた現代数学の形式化（formalization）の推進と発展を目指して設立された国際研究所です。

ZEN大学は、最先端のIT技術を活用し、すべての人に大学進学の機会を提供します。ZEN大学唯一の学部である「知能情報社会学部」では、特定の学問領域に偏らない学びを修めることで、激変するAI時代に対応して活躍するために必要なリテラシーを身につけることができます。

ZEN大学に関する詳細▶ https://zen.ac.jp/　最新パンフレット請求▶ https://zen.ac.jp/form

開学初年度の実績▶ https://zen.ac.jp/presentation_2026/

このプレスリリースには、メディア関係者向けの情報があります

メディアユーザー登録を行うと、企業担当者の連絡先や、イベント・記者会見の情報など様々な特記情報を閲覧できます。※内容はプレスリリースにより異なります。

すべての画像