検索結果- 英語 - 英語

検索内容:

functionals

positive linear functionals

名詞

活用形複数形

plural of positive linear functional

日本語の意味

「positive linear functional」（正の線形汎関数）の複数形です。提供された説明は、単語の意味ではなく、その活用（形態）の情報を示しています。

このボタンはなに？

In the seminar, she explained how positive linear functionals determine the state space of a C*-algebra.

Google翻訳 / DeepL翻訳

セミナーで、彼女は正の線形汎関数がC*-代数の状態空間をどのように決定するかを説明した。

詳細

bounded function

名詞

(mathematics) Any function whose values remain bounded by some constant.

日本語の意味

有界関数：ある定数によってその値が制限される（数学的な意味において）関数

このボタンはなに？

A bounded function cannot grow without limit, so its values stay within some fixed constant across its domain.

Google翻訳 / DeepL翻訳

有界関数は無限大に発散することはなく、その値は定義域全体で一定の範囲内に収まります。

詳細

関連語

bounded functions

（ plural ）

詳細

computable function

名詞

(computer science) A mathematical function that can be computed using an abstract computation machine such as Turing machine.

日本語の意味

計算可能な関数: コンピュータ科学において、抽象的な計算モデル（例：チューリングマシン）を用いて計算可能な数学的関数

このボタンはなに？

The research paper proved that every computable function can be simulated by a simple universal Turing machine.

Google翻訳 / DeepL翻訳

その研究論文は、チューリングマシンのような抽象機械で計算できるすべての関数が、単純な普遍チューリング機械によってシミュレートできることを証明した。

詳細

関連語

computable functions

（ plural ）

詳細

additive function

名詞

日本語の意味

数学において、加法演算を保存する一変数関数。すなわち、任意の x と y に対して f(x + y) = f(x) + f(y) が成立する関数を指す。

このボタンはなに？

To prove the lemma, we first show that any bounded additive function on the real numbers must be linear.

Google翻訳 / DeepL翻訳

補題を証明するために、まず実数上の有界な加法的関数が線形でなければならないことを示す。

詳細

関連語

additive functions

（ plural ）

詳細

function keys

名詞

活用形複数形

plural of function key

日本語の意味

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

このボタンはなに？

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

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 ）

詳細

valuation function

名詞

(logic) A function which assigns a truth value to every well-formed formula, which is identical to the model's interpretation function when applied to atomic propositions, and which otherwise assigns a truth value recursively depending on the formula's top logical connective and the truth values of the subformulae surrounding that logical connective.

日本語の意味

（論理学において）すべての整形式文に対して真偽値を割り当てる関数。原子命題に対してはモデルの解釈関数と一致し、それ以外の場合は、文の最上位の論理結合子と周囲の部分式の真偽値に基づいて再帰的に真偽値を決定する関数。

このボタンはなに？

In propositional semantics, a valuation function assigns a truth value to every well-formed formula, coincides with the model's interpretation on atomic propositions, and determines the truth of complex formulas recursively based on their top logical connective and the truth values of their subformulae.

Google翻訳 / DeepL翻訳

命題論理の意味論において、真理値割当関数はすべての構成式に真理値を割り当て、原子命題に関してはモデルの解釈関数と一致し、その他の場合はその式の最上位の論理結合子と部分式の真理値に基づいて再帰的に真理値を決定します。

詳細

関連語

valuation functions

（ plural ）

詳細

signum function

名詞

日本語の意味

実数の符号を判定する数学的関数で、負の場合は-1、正の場合は+1、その他の場合は0を返す関数。

このボタンはなに？

Google翻訳 / DeepL翻訳

実数の符号を判定する関数をプロットすると、負の入力では-1、正の入力では+1、ゼロでは0という三つの平坦な領域が現れます。

詳細

関連語

signum functions

（ plural ）

詳細

transition functions

名詞

活用形複数形

plural of transition function

日本語の意味

状態遷移関数（複数形。状態遷移を表す関数の複数形を指す）

このボタンはなに？

During the automaton design review, we updated the transition functions to handle unexpected inputs.

Google翻訳 / DeepL翻訳

オートマトンの設計レビューで、予期しない入力に対処するために遷移関数を更新しました。

詳細

quintic function

名詞

(mathematics) Any function of a polynomial whose greatest exponent is 5.

日本語の意味

5次関数：最高次数が5である多項式によって定義される関数

このボタンはなに？

The behavior of a quintic function can be much more complex than that of a cubic or quadratic polynomial.

Google翻訳 / DeepL翻訳

次数が5の多項式関数の挙動は、三次や二次の多項式よりずっと複雑になり得る。

詳細

関連語

quintic functions

（ plural ）

詳細

Webで検索する