微分云々なら解析学じゃないのか