検索結果- 英語 - 英語

検索内容:

℘-function

ceiling function

名詞

(mathematics) A function that maps a real number to the smallest integer that is no smaller than it.

日本語の意味

実数を、その実数以上の最小の整数に写す数学的関数。通常は「天井関数」と呼ばれる。

このボタンはなに？

Google翻訳 / DeepL翻訳

多くのアルゴリズムでは、実数をそれ以上の最小の整数に写す関数である天井関数が、データセットをプロセッサに分配するときに必要な完全な単位数を決定するために使われます。

詳細

関連語

ceiling functions

（ plural ）

詳細

sign function

名詞

(mathematics) The signum function.

日本語の意味

符号関数

このボタンはなに？

When analyzing real-valued datasets, the sign function helps identify the direction of each sample.

Google翻訳 / DeepL翻訳

実数値のデータセットを解析する際、符号関数は各サンプルの向きを識別するのに役立ちます。

詳細

関連語

sign functions

（ plural ）

詳細

Green's function

名詞

(mathematics) a type of function used in the analysis of inhomogeneous differential equations.

日本語の意味

（数学）非斉次微分方程式の解析に用いられる関数。

このボタンはなに？

In many applications of mathematical physics, the Green's function provides the response of a system to a point source.

Google翻訳 / DeepL翻訳

多くの数理物理学の応用において、グリーン関数は点源に対する系の応答を与える。

詳細

関連語

Green's functions

（ plural ）

詳細

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 ）

詳細

Webで検索する