検索結果- 英語 - 多言語
検索内容:
simple function
(mathematical analysis) Any complex-valued measurable function whose range is finite.
数学解析において、値域が有限な(有限個の値しか取らない)複素数値の可測関数
quadratic function
(mathematics) Any function whose value is the solution of a quadratic polynomial
二次関数 / 二次多項式の解により決定される関数
symmetric function
(mathematics) Any function, of multiple variables, whose value is independent of the order of the variables, i.e. f(a,b) = f(b,a).
数学において、変数の順序に依存せずに同一の値をとる多変数関数。つまり、引数の順序が変わっても関数の値が同じである関数(例:f(a, b) = f(b, a))を指す。
work function
(physics) The minimum energy needed to remove an electron from the surface of a material
物質の表面から電子を取り除くために必要な最小のエネルギー
random function
(mathematics, computing) A function whose value is chosen at random from its domain / (mathematics) A function chosen at random from a set of functions
乱数関数:その定義域からランダムに値を選択して返す、または一定の関数集合からランダムに選ばれる関数。 / ランダム関数:計算機科学や数学において、ランダム性を持つ挙動を示す関数を指す。
Boolean function
(algebra, logic, computing) Any function based on the operations AND, OR and NOT, and whose elements are from the domain of Boolean algebra
ブール関数(論理代数、論理回路、計算機科学などで、AND、OR、NOTなどの演算を用い、真理値を扱う関数) / 論理関数(ブール代数に基づく演算、特にAND、OR、NOTを使用する関数)
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となる関数。
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).
存在量化子によって束縛された変数を、論理否定が偶数回含まれる範囲内で置き換えるために、残る束縛変数を引数とする関数。
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).
(論理学)普遍量化子により束縛された変数が、偶数回の論理否定のスコープ内にある場合に、その変数を置換するための関数。なお、この関数は、置換される変数の残りの束縛変数を用いた関数として定義される。