翻訳と辞書
Words near each other
・ 二本貫手
・ 二本足
・ 二本鎖
・ 二朮湯
・ 二朱金
・ 二朱銀
・ 二村ヒトシ
・ 二村伸
・ 二村定一
・ 二村定二
二村射影
・ 二村山
・ 二村忠元
・ 二村忠美
・ 二村愛
・ 二村敦志 AOR BREEZE
・ 二村昭雄
・ 二村梅山
・ 二村楳山
・ 二村秀樹


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

二村射影 : ウィキペディア日本語版
部分評価[ぶぶんひょうか]

部分評価(ぶぶんひょうか、)は、計算理論における特殊化(特化)による最適化の技法の1つ。
== 概要 ==
プログラムを次のような入力データから出力データへの写像 ''prog'' とする。
:\mathit : I_ \times I_ \to O
I_ は''static data''(静的データ)であり、コンパイル時に分かっている入力データを指す。
部分評価とは、コンパイル時に、静的データから計算可能なものを全て事前に計算しておくことで、\langle \mathit,\, I_\rangle\mathit^
* : I_ \to O とすることである。\mathit^
* は「残余プログラム (residual program)」と呼ばれ、本来のプログラムよりも効率化されていると期待できる。すなわち、部分評価とは、\mathit から \mathit^
* への「残余化 (residualize)」と言うことができる。
\mathit^
* は \mathitI_ における射影である、とも言う。
定数畳み込みは、部分評価のうち、特に実施しやすい、定数のみからなる式の計算をおこなうものと言える。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「部分評価」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.