微分方程式:定義と分類