いやいや、右辺のdx,とdtは再帰的に定義されてるだろ、
dfが定義されているわけだから。