数学も伝統の数学と応用数学に分けた方がいいのかもしれない