高校レベルの微分方程式ってあるのか?