物理ってリー群必要?