微分方程式の上でグロタンディークの真似をする