1 微分记录 — derivative recording