ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
inferability
inferring
inferring
名詞
The act of one who infers something; the drawing of an inference.
日本語の意味
推論する行為；何らかの情報や前提から推理を行うこと
英語の意味
The act of one who infers something; the drawing of an inference.
関連語
statistical inferences
statistical inference
名詞
(statistics) Drawing conclusions about a population from a random sample drawn from it, or, more generally, about a random process from its observed behavior during a finite period of time.
日本語の意味
統計的推論：統計学において、サンプルデータから母集団やランダムなプロセスの性質を推測する手法。
英語の意味
(statistics) Drawing conclusions about a population from a random sample drawn from it, or, more generally, about a random process from its observed behavior during a finite period of time.
関連語
deductive inference
名詞
inference in which the conclusion is of no greater generality than the premises / inference in which the conclusion is just as certain as the premises
日本語の意味
前提と同等の一般性を持つ結論を導く推論 / 前提と同様に、結論も十分に確実とされる推論
英語の意味
inference in which the conclusion is of no greater generality than the premises / inference in which the conclusion is just as certain as the premises
関連語
inference rule
名詞
(logic, proof theory) A rule for combining (or modifying) well-formed formulas of a formal language in a truth-preserving manner (to yield new well-formed formulas).
日本語の意味
形式論理や証明理論において、真理を保持する方法で整形式な論理式から新たな論理式を導出する規則。 / 既存の整形式な公式を利用して、新たな整形式な公式を得るためのルール。
英語の意味
(logic, proof theory) A rule for combining (or modifying) well-formed formulas of a formal language in a truth-preserving manner (to yield new well-formed formulas).
関連語
inference rules
名詞
活用形
複数形
plural of inference rule
原形:
inference rule
日本語の意味
「推論規則」の複数形。つまり、論理推論に用いられる複数の規則を指す。
英語の意味
plural of inference rule
type inferences
名詞
活用形
複数形
plural of type inference
原形:
type inference
日本語の意味
型推論（複数形）。すなわち、「type inference」（型推論）の複数形を指し、プログラミングにおける型を自動的に判断する概念やメカニズムを意味します。
英語の意味
plural of type inference
type inference
名詞
可算名詞
不可算名詞
(software) The automatic deduction of the type of an expression in a programming language.
日本語の意味
型推論: プログラミング言語において、式などの型が明示的な宣言なしに自動的に推定される仕組み / （ソフトウェア用語）プログラム中で、コンパイラやインタプリタが変数や式の型を自動的に決定する機能
英語の意味
(software) The automatic deduction of the type of an expression in a programming language.
関連語
loading!
Loading...
