後退微分法(こうたいびぶんほう、英: backward differentiation formula; BDF)は常微分方程式の数値解法の一つである。線型多段法の一種で、過去の複数の値を用いて現在値を計算する方法である。特にの解を計算するときに使われている。