検索結果- 英語 - 英語

検索内容:

functions;

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 ）

詳細

mimic function

名詞

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

日本語の意味

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

このボタンはなに？

Google翻訳 / DeepL翻訳

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

詳細

関連語

mimic functions

（ plural ）

詳細

concave function

名詞

(computer science) The negative of the convex function.

日本語の意味

数学において、凸関数の負である関数、すなわちその関数のグラフが上に凹な性質を持つ関数。

このボタンはなに？

In the algorithm, we assume the objective is a concave function to ensure efficient optimization.

Google翻訳 / DeepL翻訳

アルゴリズムでは、効率的な最適化を保証するために目的関数が凸関数の符号を反転した関数であると仮定します。

詳細

関連語

concave functions

（ plural ）

詳細

set function

名詞

(computer science) A mathematical function whose input is a set (usually of real numbers or a set of points in the Euclidean or some measure space), and whose output is usually a number.

日本語の意味

数学や計算機科学における用語。入力が集合（通常は実数の集合、ユークリッド空間または測度空間の点の集合など）であり、出力が通常数値である写像。

このボタンはなに？

Google翻訳 / DeepL翻訳

この確率モデルでは、集合関数が各可測部分集合に実数値を割り当て、可加性などの重要な性質を表します。

詳細

関連語

set functions

（ plural ）

詳細

Webで検索する