検索結果- 英語 - 英語

検索内容:

Skolem function

名詞
日本語の意味
存在量化子によって束縛された変数を、論理否定が偶数回含まれる範囲内で置き換えるために、残る束縛変数を引数とする関数。
このボタンはなに?

式をプレネックス標準形に変換する際、偶数回の論理否定の範囲にある存在量化子によって束縛された変数を置き換える関数でその変数を置き換えた。

関連語

plural

theta function

名詞
日本語の意味
(数学)複素数変数を含む特殊関数群の一つで、アーベル多様体、モジュラス空間、二次形式の理論など、数多くの数学分野で重要な役割を果たす。
このボタンはなに?

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

関連語

plural

indicator function

名詞
日本語の意味
ある与えられた集合に対して、その集合に属する点は値が1、属さない点は値が0となる関数。
このボタンはなに?

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

関連語

plural

mimic function

名詞
日本語の意味
(計算機)あるファイルの統計的特性を、別のファイルに合わせるように変換・修正する関数
このボタンはなに?

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

関連語

plural

concave function

名詞
日本語の意味
数学において、凸関数の負である関数、すなわちその関数のグラフが上に凹な性質を持つ関数。
このボタンはなに?

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

関連語

plural

set function

名詞
日本語の意味
数学や計算機科学における用語。入力が集合(通常は実数の集合、ユークリッド空間または測度空間の点の集合など)であり、出力が通常数値である写像。
このボタンはなに?

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

関連語

plural

beta function

名詞
日本語の意味
数学的解析における関数で、第一種オイラー積分とも呼ばれ、対称性を持つ特殊な関数。
このボタンはなに?

特定の定積分を評価するために、それらを第一種オイラー積分(ベータ関数)とガンマ関数で表すことがよくあります。

関連語

plural

transmission function

名詞
日本語の意味
電磁波の伝播に伴い、波の振幅が特定方向に進む際の変化を数量的に表現する数学的関数であり、伝搬定数とも呼ばれる。
このボタンはなに?

導波管の伝播定数は、電磁波の振幅と位相が伝搬方向に沿ってどのように変化するかを決定します。

関連語

plural

executive function

名詞
日本語の意味
実行機能:認知プロセスの管理・制御を行う高次の脳機能 / 高次認知機能:計画、判断、意思決定などの認知活動を統括する機能
このボタンはなに?

実行機能が高い子どもは、学校でより効果的に計画を立て、整理し、適応することができます。

関連語

plural

K-function

名詞
日本語の意味
数学解析において、超階乗関数を実数および複素数に一般化した関数
このボタンはなに?

研究者たちは、その解析的性質を理解するために、ハイパーファクトリアル関数を実数・複素数に拡張した関数を研究した。

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★