T4 分段函数 可导性