部分評価

ウィキペディア

部分評価

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/23 06:34 UTC 版)

部分評価（ぶぶんひょうか、英: partial evaluation）は、計算理論における特殊化（特化）による最適化の技法の1つ。

ウィキペディア小見出し辞書

部分評価

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/10/03 01:23 UTC 版)

「評価戦略」の記事における「部分評価」の解説

詳細は「部分評価」を参照 部分評価は評価戦略というよりは最適化手法である。部分評価では、適用されていない関数の本体内で評価が継続される。束縛されていない変数を含まない部分式は評価され、引数が既知の関数適用は簡約される。副作用があると、部分評価は予期しない結果を引き起こす可能性がある。このため、部分評価は関数内の副作用を持たない純粋な式についてのみ実施されることが多い。