リー群・リー代数の構造や表現をあんなに詳しく調べて、本当に何かに使えるの？