Lie group
パラメータ formula_1 で特徴付けられるリー群