日本財団ドワンゴ学園が運営するZEN大学のZMC（ZEN数学センター）は、IUT理論の計算機検証に関する新プロジェクト「LANA」を2026年3月31日13:00〜14:00（予定）に発表し、その様子をYouTubeとニコニコ生放送でライブ配信します。
登壇者は若山正人学長、加藤文元教授（ZMC所長）らで、現代数学や形式化に関心のある研究者・学生・一般視聴者に向けて内容を公開します。形式化（formalization）は、数学の証明や定義をコンピューターが扱える形で記述し、検証可能にする取り組みです。
ZMCは数論幾何学を中心とした現代数学と、コンピューター言語を用いた形式化の推進を目的とする国際研究所で、今回の配信はその活動の一環になります。配信時間は1時間を予定しています。
今後は「LANA」の具体的な検証手法や体制、成果の公開方法などが焦点となり、配信を起点に取り組みの詳細が広く共有される見通しです。
【イベント情報】
日時：2026年3月31日（火）13:00〜14:00（予定）
番組配信（YouTube）：https://www.youtube.com/live/b9ZV-4T3iUo
番組配信（ニコニコ生放送）：https://live.nicovideo.jp/watch/lv350105847
ZMCホームページ：https://zen.ac.jp/zmc
ZEN大学：https://zen.ac.jp
AI生成記事のため誤りを含む場合があります
PRTIMES
PRTIMES
ZEN数学センター・新プロジェクト「LANA」の発表 ライブ配信決定