QRCode

差量縮減

delta reduction

2003年6月
資訊與通信術語辭典

名詞解釋:

在λ演算的常數延伸模式中,將函數的引數以結果替換之。如:plus 2 35;加函數(plus)有二個引數,若完全符合則以結果5替換。

差量縮減

delta reduction

delta reduction 進行詞彙精確檢索結果
出處/學術領域 英文詞彙 中文詞彙
學術名詞
電子計算機名詞
delta reduction 差量縮減
差量縮減 進行詞彙精確檢索結果
出處/學術領域 中文詞彙 英文詞彙
學術名詞
電子計算機名詞
差量縮減 delta reduction

引用網址: