>>619
ん？　俺はIUTTに対して否定的なんだけど・・・

>>617
＞批判論文はスマート過ぎてよくわからない。

そうなんだよ。俺はS・Sレポート→望月反論レポートの順で読んだ。そこで、おそらくあなたと同様に分からなくなった
S・Sレポートを読み直し、ロバーツのコメント（PDF）、さらにその補足を読んで大体俺の意見は固まった
もちろん同僚などの見解も参考にしているけどね

今では、同型やラベル云々の本質的であるはずの数学的な問題より、望月が書いている教育の問題の方が気になって来ている
教育を語りながらなぜもっと自ら積極的に動こうとしない、書き直そうとしないのかとかね
（たぶん書き直しようがないと思うが・・・）