翻訳と辞書 Words near each other ・ in point ・ in-band signaling ・ in-band signalling ・ in-order traversal ・ ina jo ・ inarp ・ inc ・ incantation ・ include ・ include war ・ inclusive ・ incomparable ・ incremental analysis ・ incremental backup ・ incremental constraint solver ・ incremental prototyping technology for embedded realtime systems ・ indent style ・ independent logical file ・ independent verification and validation ・ index Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク inclusive ： FOLDOC inclusive In domain theory, a predicate P : D -> Bool is inclusive iff For any chain C, a subset of D, and for all c in C, P(c) => P(lub C) In other words, if the predicate holds for all elements of an increasing sequence then it holds for their least upper bound. ("lub is written in LaTeX as sqcup). (1995-02-03) sqcup). (1995-02-03) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.