那个完全不用纠结，因为在具体运算的时候是一般不需要代那个公式算，按照一般求导法则算就可以了
d+value表示value的差值，那么d就是表示求差值的运算，这个运算后面可以是一个量，也可以是个函数，这有什么纠结的？
dt 对t微分
