検索結果- 英語 - 英語

検索内容:

function's

Bessel functions

名詞

活用形複数形

plural of Bessel function

日本語の意味

ベッセル関数の複数形

このボタンはなに？

Advanced solutions to the wave equation often involve Bessel functions.

Google翻訳 / DeepL翻訳

波動方程式の高度な解法には、ベッセル関数がしばしば用いられます。

詳細

functional reserve

名詞

日本語の意味

器官または体の部位が、本来の生理活動を行うために残っている予備能力（特に疾患、老化、障害の状況下で機能を補う力） / 残存する機能力、すなわち疾病や衰えによって低下した際に、まだ持っている補完的な生理機能

このボタンはなに？

The patient's functional reserve was significantly reduced after prolonged illness, increasing the risk of organ failure.

Google翻訳 / DeepL翻訳

長引く病気の後でその患者の機能予備能は著しく低下し、臓器不全のリスクが高まりました。

詳細

関連語

functional reserves

（ plural ）

詳細

functional dependency

名詞

(computing, database normalization) A constraint between two sets of attributes in a relation.

日本語の意味

関係データベースにおいて、ある属性集合の値に基づき、別の属性集合の値が一意に決定される制約（関数従属性）

このボタンはなに？

When normalizing the database, we identified a functional dependency that allowed us to remove redundant attributes.

Google翻訳 / DeepL翻訳

データベースを正規化する際、我々は関係における属性集合間の制約を特定し、それによって冗長な属性を削除することができました。

詳細

関連語

functional dependencies

（ plural ）

詳細

function keys

名詞

活用形複数形

plural of function key

日本語の意味

ファンクションキー（複数形）：コンピュータのキーボード上に配置され、特定の機能（たとえば、システム操作やソフトウェアのショートカット）を実行するために使われるキー

このボタンはなに？

When my laptop freezes, I try pressing different function keys to troubleshoot the problem.

Google翻訳 / DeepL翻訳

ノートパソコンがフリーズしたときは、問題を解決するために異なるファンクションキーを押してみます。

詳細

divisor function

名詞

日本語の意味

整数の約数の和を返す数学的関数（通常、ギリシャ文字の σ（シグマ）で表される）

このボタンはなに？

Google翻訳 / DeepL翻訳

nの正の約数すべての和を与える関数σ(n)は、乗法的整数論のいくつかの結果において中心的な役割を果たします。

詳細

関連語

divisor functions

（ plural ）

詳細

function value

名詞

日本語の意味

（数学）関数の値、すなわち関数の出力として得られる要素

このボタンはなに？

To determine the function value at x = 2, substitute 2 into the formula and simplify.

Google翻訳 / DeepL翻訳

x=2における関数値を求めるには、式に2を代入して計算します。

詳細

関連語

function values

（ plural ）

詳細

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 ）

詳細

Webで検索する