リー微分
Setting formula_29 identifies the Lie derivative of a function with the directional derivative.