翻訳と辞書 Words near each other ・ red zone ・ redcode ・ redex ・ redilisp ・ redirection ・ redirector ・ rednet ltd. ・ redocumentation ・ reduce ・ reduced instruction set computer ・ reduction ・ reduction strategy ・ redundancy ・ redundant array of inexpensive disks ・ redundant array of inexpensive servers ・ redundant arrays of independent disks ・ redundant arrays of inexpensive disks ・ ref-arf ・ refactoring ・ refal Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク reduction ： FOLDOC reduction (Or "contraction") The process of transforming an expression according to certain reduction rules. The most important forms are beta reduction (application of a lambda abstraction to one or more argument expressions) and delta reduction (application of a mathematical function to the required number of arguments). An evaluation strategy (or reduction strategy), determines which part of an expression (which redex) to reduce first. There are many such strategies. See graph reduction, string reduction, normal order reduction, applicative order reduction, parallel reduction, alpha conversion, beta conversion, delta conversion, eta conversion. (1995-02-21) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.