翻訳と辞書
Words near each other
・ progressive coding
・ progressive jpeg
・ progressive/sequential coding
・ project
・ project assurance
・ project athena
・ project guardian
・ project mac
・ project management
・ project planning
projection
・ projective plane
・ prolog
・ prolog++
・ prolog-2
・ prolog-d-linda
・ prolog-ii
・ prolog-iii
・ prolog-linda
・ prolog/mali


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

projection : FOLDOC
projection
In domain theory, a function, f, which is (a) idempotent, i.e. f(f(x))=f(x) and (b) whose result is no more defined than its argument. E.g. F(x)=bottom or F(x)=x.
In reduction systems, a function which returns some component of its argument. E.g. head, tail, (x,y) . x. In a graph reduction system the function can just return a pointer to part of its argument and does not need to build any new graph.
(1997-01-29)

graph reduction system the function can just return a pointer to part of its argument and does not need to build any new graph.
(1997-01-29)



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

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