微分方程式とは何か