検索結果- 英語 - 多言語
検索内容:
completers
completer
completer
One who completes something.
complete
to finish or reach the end of doing something
( present singular third-person )
( participle present )
( participle past )
( past )
completely
in every way or as much as possible
μ-completion
(mathematical analysis) A σ-algebra which is obtained as a "completion" of a given σ-algebra, which includes all subsets of the given measure space which simultaneously contain a member of the given σ-algebra and are contained by a member of the given σ-algebra, as long as the contained and containing measurable sets have the same measure, in which case the subset in question is assigned a measure equal to the common measure of its contained and containing measurable sets (so the measure is also being completed, in parallel with the σ-algebra).
code completion
(programming, uncountable) Autocompletion of source code. / (programming) A token predicted by means of autocompletion.
code completions
plural of code completion
μ-completions
plural of μ-completion
complete lattice
(algebra) A partially ordered set in which all subsets have both a supremum (join) and an infimum (meet).