リー微分
is the Lie derivative of the vector field "Y" with respect to "X".