翻訳と辞書
Words near each other
・ borf
・ borland international, inc.
・ borland software corporation
・ bos
・ bose-chaudhuri-hocquenghem code
・ boss
・ bot
・ botmaster
・ bottom
・ bottom feeder
bottom-unique
・ bottom-up implementation
・ bottom-up model
・ bottom-up testing
・ bottomfeeder
・ botwar
・ bounce
・ bounce message
・ bound variable
・ boundary scan


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

bottom-unique : FOLDOC
bottom-unique
In domain theory, a function f is bottom-unique if
f x = bottom <=> x = bottom

A bottom-unique function is also strict.



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

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