検索結果- 英語 - 英語
検索内容:
inferible
inference rule
名詞
日本語の意味
形式論理や証明理論において、真理を保持する方法で整形式な論理式から新たな論理式を導出する規則。 / 既存の整形式な公式を利用して、新たな整形式な公式を得るためのルール。
関連語
inference rules
statistical inferences
type inferences
名詞
活用形
複数形
日本語の意味
型推論(複数形)。すなわち、「type inference」(型推論)の複数形を指し、プログラミングにおける型を自動的に判断する概念やメカニズムを意味します。
type inference
名詞
可算名詞
不可算名詞
日本語の意味
型推論: プログラミング言語において、式などの型が明示的な宣言なしに自動的に推定される仕組み / (ソフトウェア用語)プログラム中で、コンパイラやインタプリタが変数や式の型を自動的に決定する機能
関連語
loading!
Loading...