Lie group
有限次元リー群と特殊函数.