検索結果- 英語 - 英語

検索内容:

function)

floor function

名詞

(mathematics) A function that maps a real number to the largest integer that is not greater than it.

日本語の意味

与えられた実数以下の最大の整数に写像する数学的関数。

このボタンはなに？

Google翻訳 / DeepL翻訳

床関数は任意の実数をそれを超えない最大の整数に写すため、丸めや離散化の多くの処理で不可欠です。

詳細

関連語

floor functions

（ plural ）

詳細

trapdoor function

名詞

日本語の意味

特定の秘密情報（トラップドア）を有していない場合、ある方向への計算は容易であるものの、逆方向（逆関数の計算）は非常に困難な性質を持つ関数。数学や暗号理論で利用される。

このボタンはなに？

Google翻訳 / DeepL翻訳

研究者たちは、片方向では計算が容易だが秘密情報がなければ逆算が困難な一種の関数を用いて通信を保護しており、暗号化は簡単でも秘密鍵なしでは復号が事実上不可能になる。

詳細

関連語

trapdoor functions

（ plural ）

詳細

Ackermann function

固有名詞

(computing theory) One of the simplest and earliest examples of a total computable function that is not primitive recursive.

日本語の意味

計算理論において、原始再帰関数では表現できない全体計算可能な関数の中でも、最も単純かつ初期に示された例の一つである。

このボタンはなに？

Google翻訳 / DeepL翻訳

計算可能性を学ぶ中で、その単純な定義にもかかわらず任意の原始再帰関数よりも速く増大する、非原始再帰の全可算関数として最も単純で初期の例の一つであるアッカーマン関数に私は惹かれました。

詳細

virtual function

名詞

(object-oriented programming) Synonym of virtual method

日本語の意味

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

このボタンはなに？

Google翻訳 / DeepL翻訳

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

詳細

関連語

virtual functions

（ plural ）

詳細

function overloading

名詞

不可算名詞通常

日本語の意味

オブジェクト指向プログラミングにおいて、入力および出力パラメータの型が異なる複数の関数やメソッドを同一の名前で定義できる機能。 / 関数多重定義とも呼ばれ、引数の型や数、戻り値の型に応じて、同じ名前の関数が振る舞いを変える仕組み。

このボタンはなに？

Google翻訳 / DeepL翻訳

多くのオブジェクト指向言語では、同じ名前で引数や戻り値の型が異なる複数の関数やメソッドを定義できる機能がコードの可読性を向上させます。

詳細

関連語

function overloadings

（ plural ）

詳細

function overloadings

名詞

活用形複数形

plural of function overloading

日本語の意味

関数オーバーロードの複数形。すなわち、複数の関数オーバーロードを指します。

このボタンはなに？

The library supports several function overloadings to handle different input types.

Google翻訳 / DeepL翻訳

そのライブラリは、異なる入力型を扱うために複数のオーバーロードされた関数をサポートしています。

詳細

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 ）

詳細

theta function

名詞

(mathematics) Any of a group of special functions of several complex variables, important in many areas, including the theories of abelian varieties and moduli spaces, and of quadratic forms.

日本語の意味

（数学）複素数変数を含む特殊関数群の一つで、アーベル多様体、モジュラス空間、二次形式の理論など、数多くの数学分野で重要な役割を果たす。

このボタンはなに？

The theta function is a special function of several complex variables that is important in areas such as the theories of abelian varieties, moduli spaces, and quadratic forms.

Google翻訳 / DeepL翻訳

シータ関数は、複素変数を複数持つ特殊関数の一群であり、アーベル多様体やモジュリ空間、二次形式の理論など多くの分野で重要です。

詳細

関連語

theta functions

（ plural ）

詳細

indicator function

名詞

A function which is equal to 1 for all points in its domain which belong to a given set, and is equal to 0 for all points in the domain which do not belong to that given set.

日本語の意味

ある与えられた集合に対して、その集合に属する点は値が1、属さない点は値が0となる関数。

このボタンはなに？

The indicator function of a set A assigns the value 1 to each element of A and 0 to each element not in A.

Google翻訳 / DeepL翻訳

集合Aの指示関数は、Aに含まれる要素に1を返し、含まれない要素に0を返します。

詳細

関連語

indicator functions

（ plural ）

詳細

Webで検索する