>>132
補足

多項式に対するStothers-Mason の ABC 定理を、数論で類似の式を作ればabc 予想
ABC 定理で活躍した微分と類似の理論を、望月はIUTTでやろうとしたんだろう