QR 分解 — 数理最適化用語集