微分すればいいじゃん