導関数の定義からの微分公式