LANAプロジェクトの教訓として
１）数学AIを使える人材の育成
２）Lean など 証明ソフトを使える人材の育成
３）数学AIを支えるハードウェアの確保と環境整備（日本全国どこからでも使える）

これの予算取りが必要だね
そして、IUTのLANA完遂だ！！