generated at
最適化
オプティマイゼーション（optimization）
正当性 (計算機科学)
プログラム意味論
表示的意味論
操作的意味論
公理的意味論
形式的検証
ホーア論理
Low Level Virtual Machine (LLVM)
キャッシュ
コンパイラ最適化
シミュレーション
メモ化
ループ最適化
最悪実行時間
参照の局所性
制御フローグラフ
静的単一代入
プロファイリング
遅延評価
抽象解釈
投機的実行
待ち行列理論
クエリ最適化
可逆圧縮
部分最適化
全体最適化
ソリューション

最適化 (情報工学) - Wikipedia

なんとか化