リー群と微分方程式の対称性