微分する
導関数を求めること