LANAのチームによる「形式化」がどのようなものになるにせよ
現在まで1年間議論してきたことも含めて
そこに至る過程は全部検証可能な形で公開して欲しいですね
「形式化」が望月さんのIUTの実体を表しているかどうか
もしかしたら「形式化」の過程で
そもそも含んでいたかも知れない「GAP」が埋められることもあるかも知れません
その場合「新生」IUTはLANAプロジェクトに参画した学者すべての成果になるのかもしれません