|
部分評価(ぶぶんひょうか、)は、計算理論における特殊化(特化)による最適化の技法の1つ。 == 概要 == プログラムを次のような入力データから出力データへの写像 ''prog'' とする。 : は''static data''(静的データ)であり、コンパイル時に分かっている入力データを指す。 部分評価とは、コンパイル時に、静的データから計算可能なものを全て事前に計算しておくことで、 を とすることである。 は「残余プログラム (residual program)」と呼ばれ、本来のプログラムよりも効率化されていると期待できる。すなわち、部分評価とは、 から への「残余化 (residualize)」と言うことができる。 は の における射影である、とも言う。 定数畳み込みは、部分評価のうち、特に実施しやすい、定数のみからなる式の計算をおこなうものと言える。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「部分評価」の詳細全文を読む スポンサード リンク
|