次微分

subdifferential