抽象函数与导数