26/07/27 17:16:16.55 Ee+a0l2w.net
>>574-575
>>573で主張していることは
１）望月氏および望月氏側の人たちが、積極的に事態収拾にあたること
２）望月氏側の人たちには、IUT論文の査読を通して出版した人たちも含む
３）手順は、まずLANA中間報告のバックデータを全部公開する
次に、望月氏を中心に 3.12がLean形式化をパスしなかった原因を追究する
大体３か月から半年で まあ年末には 望月氏側の検討結果を公表する
そういう進め方をするという意思表明をすること
もし、3.11→3.12のLean形式化が、なんらかLeanライブラリー追加とかでできるならば、せいぜい３か月から半年でしょう
それ以上かかるなら、相当大掛かりな見直しだから それはそれで仕方ない
そこらを、はっきりさせれば良い
私見ですが、早期の”3.11→3.12のLean形式化”成功！の可能性は
大いにあると見ています