微分係数の定義