ZEN大學「ZMC（ZEN Mathematic Center；ZEN數學中心）」將於2026年7月17日（星期五）舉辦關於IUT（宇宙際泰希米勒）理論電腦驗證的「LANA項目」中期發表會，名為「LANA Project Interim Report 2026」。

LANA項目是由ZEN大學（日本）、烏特勒支大學（荷蘭）、亞伯達大學（加拿大）為核心的國際共同研究計畫，主要目標為形式化數論幾何學中的重要領域——遠阿貝爾幾何學，並驗證由京都大學數理解析研究所望月新一教授所提出的IUT理論。

本次發表會將透過YouTube（日語與英語雙語）及Niconico生放送（僅日語）進行現場直播。

【活動概要】

日期與時間：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 Niconico生放送（僅日語）：https://live.nicovideo.jp/watch/lv350854170

❙ 關於ZMC（ZEN數學中心）

ZMC是為推動與發展以數論幾何學為核心的現代數學，以及運用電腦語言進行現代數學形式化（formalization）而設立的國際研究機構。

ZMC官方網站▶https://zen.ac.jp/zmc

❙ 關於ZEN大學

ZEN大學運用最先進的IT技術，為所有人提供接受大學教育的機會。本校唯一的學部「智能資訊社會學部」，透過跨領域的廣泛學習，培養學生在快速變遷的AI時代中所需具備的綜合素養。

了解更多ZEN大學資訊▶ https://zen.ac.jp/ 索取最新簡章▶ https://zen.ac.jp/form 創校首年成果報告▶ https://zen.ac.jp/presentation_2026/

FACT BOX · 重點整理

  • 來源：PR TIMES
  • 分類：活動
  • 相關組織：ZEN大学 / 京都大学数理解析研究所
  • 原文日期：2026年7月17日