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/