翻訳と辞書 Words near each other ・ cnn ・ cnr ・ cnri ・ co ・ co-location ・ co-np ・ co-operative development environment ・ co2 ・ coad/yourdon ・ coala ・ coalesced sum ・ coalition for networked information ・ coarse grain ・ coast ・ coax ・ coaxial cable ・ cobol ・ cobol fingers ・ cobol-1961 extended ・ cobra Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク coalesced sum ： FOLDOC coalesced sum (Or "smash sum") In domain theory, the coalesced sum of domains A and B, A (+) B, contains all the non-bottom elements of both domains, tagged to show which part of the sum they come from, and a new bottom element. D (+) E = { bottom(D(+)E) } U { (0,d) | d in D, d /= bottom(D) } U { (1,e) | e in E, e /= bottom(E) } The bottoms of the constituent domains are coalesced into a single bottom in the sum. This may be generalised to any number of domains. The ordering is bottom(D(+)E) <= v For all v in D(+)E (i,v1) <= (j,v2) iff i = j & v1 <= v2 "<=" is usually written as LaTeX sqsubseteq and "(+)" as LaTeX oplus - a "+" in a circle. (1994-12-22) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.