>>141
>指導教授は星さんて書いてますよ

なるほど 確かに
でも https://www.kurims.kyoto-u.ac.jp/~motizuki/students-japanese.html
望月研究室の大学院生 のリストにないね
リストアップをやめたのかな？　（＾＾

>>142
>この件についてはIUTおよび
>scholzeさんの主張の両方を
>よく理解してないと何も言えませんが

いいえ
simplification で、他人の数学証明が 不成立と主張するのは ストローマンです
これは、内容とは無関係に成り立つ
つまり、「数学の証明において 省いて良い要素は 存在しない」を認めれば
simplification＝ストローマンは
内容と無関係に成立します！