積の微分、商の微分について