変数と微分を結ぶ関係を表す方程式。