commelin のコメント

>多くの人たちから「Leanを用いてIUT理論を検証すべきではないか」
という問いを投げかけられました。
その際の私の答えは一貫して、「日本の数学コミュニティの人たち、
すなわちIUT理論の専門知識を持つ人たちが関与してくれる場合に限る」というものでした。
>加藤教授からLANAプロジェクト立ち上げの提案をもらったときの私の興奮は、皆様にも想像していただけるかと思います。

事実は、
・確かにLANAプロジェクトの星裕一郎は望月新一IUT提唱者から理解者に認定されている。
しかし、
・川上量生企画では2019年4月にscholze.stixレポートへ回答書望月新一監修加藤文元著「宇宙と宇宙をつなぐ数学」が発刊されている。
(>>641) (>>642)

また
・望月新一監修加藤文元IUT本は、IUGC(突然ZMCに改称された)の
紹介動画内容と一致している。