やっぱもう海外の数学界からはオワコン扱いなん?