検索結果- 英語 - 英語

検索内容:

functions;

virtual function

名詞

(object-oriented programming) Synonym of virtual method

日本語の意味

オブジェクト指向プログラミングにおいて、派生クラスでオーバーライド可能な関数、すなわち仮想メソッドのこと。 / 仮想関数とも呼ばれる。

このボタンはなに？

Google翻訳 / DeepL翻訳

C++では、基底クラスに仮想関数を宣言することで、派生クラスがそれをオーバーライドでき、実行時の多態性を実現できます。

詳細

関連語

virtual functions

（ plural ）

詳細

Herbrand function

名詞

(logic) A function which replaces a variable bound by a universal quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).

日本語の意味

（論理学）普遍量化子により束縛された変数が、偶数回の論理否定のスコープ内にある場合に、その変数を置換するための関数。なお、この関数は、置換される変数の残りの束縛変数を用いた関数として定義される。

このボタンはなに？

In automated theorem proving, the Herbrand function replaces variables bound by a universal quantifier that lie within the scope of an even number of logical negations, simplifying formulas for unification.

Google翻訳 / DeepL翻訳

自動定理証明において、偶数回の否定の作用範囲にある全称量化子で束縛された変数を置き換える関数は、単一化のために式を簡略化する。

詳細

関連語

Herbrand functions

（ plural ）

詳細

Skolem function

名詞

(logic) A function which replaces a variable bound by an existential quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).

日本語の意味

存在量化子によって束縛された変数を、論理否定が偶数回含まれる範囲内で置き換えるために、残る束縛変数を引数とする関数。

このボタンはなに？

When converting the formula to prenex normal form, we replaced the variable bound by an existential quantifier that lay within the scope of an even number of logical negations with a Skolem function.

Google翻訳 / DeepL翻訳

式をプレネックス標準形に変換する際、偶数回の論理否定の範囲にある存在量化子によって束縛された変数を置き換える関数でその変数を置き換えた。

詳細

関連語

Skolem functions

（ plural ）

詳細

mimic function

名詞

(computing) A function that modifies a file to make it assume the statistical properties of another file.

日本語の意味

（計算機）あるファイルの統計的特性を、別のファイルに合わせるように変換・修正する関数

このボタンはなに？

Google翻訳 / DeepL翻訳

オーディオデータセットを処理するとき、ファイルの統計特性を模倣する関数は各クリップを修正して参照録音のスペクトル統計を反映させます。

詳細

関連語

mimic functions

（ plural ）

詳細

forcing function

名詞

(mathematics) A function in a system of differential equations that is only a function of time, unaffected by the other variables; or, more generally, any non-homogeneous source function in any variable.

日本語の意味

（微分方程式系において）時間にのみ依存し、他の変数に影響されない外部入力としての関数。または、より一般的に、非自明な外部からの入力（ソース関数）を表す。