QR decomposition
はQR分解を半単純リー群に一般化している。