抽象函数求导?总感觉没那么简单.