検索結果- 英語 - 多言語
検索内容:
intensional definition
(semantics) A definition that gives the meaning of a term by specifying all the properties of the things to which the term applies.
対象の全ての性質や属性を明示することにより、その用語の意味を決定する定義方法（内包定義） / 用語に適用されるすべての特徴や性質を具体的に示すことにより意味を与える定義（本質的属性定義）
enumerative definition
(semantics) A definition that exhaustively lists all the objects that fall under the defined term.
定義対象となるすべての項目を個別に挙げる定義方法 / 網羅的に対象を列記することによって意味を規定する定義 / 対象となる全ての要素を一つ一つ明示的に示して定義すること
inductive definition
definite integrals
ostensive definitions
definite clause
(logic) A Horn clause with exactly one positive literal.
(論理学) 正のリテラルをちょうど1つ含むホーン節
definition lists
plural of definition list
「definition list」の複数形です。単数形の「definition list」は、定義の一覧、または定義項目のリストを意味します。
positive definite
(linear algebra) Said of a real, square matrix: that the product of it with a column vector on its right side and the transpose of that column vector on its left side is greater or equal to zero, only equaling zero if the vector itself is zero.
線形代数における「正定値行列」として、実数の正方行列であり、任意の非ゼロな列ベクトルvに対して、vの転置と行列との積v^TAvが常に正となり、v=0の場合にのみゼロとなる性質を持つ。 / 実数正方行列が、任意の列ベクトルとの組み合わせで作られる二次形式において、二次形式の値が非負（正の場合）であり、かつ、その値がゼロになるのは列ベクトルが零である場合のみに限る状態を指す。
definitive host
(ecology) The host in which a parasite reproduces sexually.
（生態学用語）寄生虫が性的繁殖を行う宿主、すなわち最終宿主
definitive hosts
plural of definitive host
「definitive host」は生物学において寄生虫が性的成熟を遂げる宿主を指す用語であり、その複数形である「definitive hosts」は、複数の最終宿主、すなわち寄生虫が性成熟を迎える宿主群を意味します
