演算を微分とは