コーシーは任意関数から微分方程式を導いた