ZEN大学、計算機検証プロジェクト『LANA』を発表しライブ配信を実施

ZEN大学が新プロジェクト『LANA』を発表

2026年3月31日（火）、ZEN大学が新たな計算機検証に関するプロジェクト『LANA』の発表を行います。この重要な発表は、YouTubeとニコニコ生放送という二つのプラットフォームでライブ配信されます。

プロジェクト『LANA』の概要

『LANA』は、IUT理論の計算機検証に特化したプロジェクトで、新たな数学の研究と実践を目指しています。このプロジェクトは、計算機を用いた方法論の進化を目的としており、現代数学の分野における重要な一歩となることでしょう。特に、数論幾何学とコンピューター言語を駆使した形式化の推進に力を入れています。

発表の詳細

ライブ配信は、午後1時から午後2時までの1時間を予定しており、登壇者にはZEN大学の学長である若山正人氏、教授の加藤文元氏、そしてその他の専門家が含まれます。この発表を通じて、プログラムの具体的な内容や今後の展望について深く掘り下げる予定です。

- 日時: 2026年3月31日（火）13:00〜14:00予定
- 登壇者: 若山正人（ZEN大学学長）、加藤文元（ZEN大学教授 / ZMC所長）他
- 配信リンク:

- YouTube: こちらをクリック
- ニコニコ生放送: こちらをクリック

ZEN数学センター（ZMC）とは

ZEN数学センター（ZMC）は、国際的な研究機関として数論幾何学に特化し、現代数学の新たな地平を切り開くことを目的としています。現代数学の形式化を進めることで、理論と実践の融合を図り、学問の発展を促進します。詳細については、ZMCのウェブサイトをご覧ください。

ZEN大学について

ZEN大学は、最先端のIT技術を駆使し、人々が平等に大学進学の機会を享受できるよう取り組んでいます。唯一の学部である「知能情報社会学部」では、AIが急速に進化する時代において必要なリテラシーを身につけるためのプログラムが提供されています。詳しい情報は、ZEN大学の公式サイトを訪れるか、最新のパンフレットをこちらで請求できます。

この新プロジェクト『LANA』の発表は、数学の世界に新たな風を吹き込む重要な機会です。ぜひ皆さんもライブ配信をご覧いただき、未来の数学の発展に触れてみてください。