本文へスキップ
ログインすると広告が減り、学習に集中できます。
広告

検索結果- 英語 - 英語

検索内容:

eta reduction

名詞
可算名詞 不可算名詞
日本語の意味
ラムダ計算におけるη変換。具体的には、余分な関数抽象化を取り除き、(λx. f x) のような表現を f に簡約する操作。
このボタンはなに?

最適化の過程で、コンパイラは冗長な抽象化を除去するためにラムダ式にη変換を施した。

関連語

plural

Cook reduction

名詞
日本語の意味
多項式時間のチューリング縮約。計算理論において、ある問題を多項式時間内にチューリングマシンを用いて別の問題へ還元(縮約)する操作を指す。
このボタンはなに?

その論文は、任意のSATのインスタンスを多項式時間で新しい制約問題のインスタンスに変換する多項式時間チューリング還元を提示している。

関連語

plural

Turing reduction

名詞
日本語の意味
チューリング帰着:計算理論における概念で、ある問題Aの解決のために、既に解かれている問題Bの解法(部分アルゴリズム)を利用することで、問題Aを解く手法。
このボタンはなに?

Aが決定可能であることを示すために、論文はAからBへのチューリング還元を構成し、Bを解くサブルーチン(オラクル)に問い合わせてその応答を用いてAのインスタンスを判定した。

関連語

plural

Turing reductions

名詞
活用形 複数形
日本語の意味
「Turing reductions」は「Turing reduction」(チューリング還元)の複数形を指します。
このボタンはなに?

研究者たちは相対的な難しさを判断するために、チューリング機械による還元を用いて複雑度クラスを比較した。

Cook reductions

名詞
活用形 複数形
日本語の意味
この単語は「Cook reduction」の複数形を表します。つまり、単数形「Cook reduction」に対して複数の要素を指す場合に用いられます。
このボタンはなに?

計算複雑性を学ぶ大学院生は、決定問題の難しさを比較する際にしばしばクックの還元に遭遇する。

reduction division

名詞
可算名詞 不可算名詞
日本語の意味
生物学、遺伝学、細胞学において、減数分裂の最初の分裂、または減数分裂全体を指す用語。
このボタンはなに?

減数分裂の第一分裂では相同染色体が分離され、染色体数が半減します。

関連語

plural

prolongational reductions

名詞
活用形 複数形
日本語の意味
「prolongational reduction」の複数形(prolongational reductionの複数形)
このボタンはなに?

彼女の論文では、伸長に伴う減少が自発音声のリズムに重要な役割を果たすと主張していた。

beta reductions

名詞
活用形 複数形
日本語の意味
「beta reductions」は「beta reduction」の複数形、すなわち「ベータ還元」の複数形を指します。
このボタンはなに?

コンパイラは最適化の前に関数式を簡略化するためにいくつかのβ簡約を適用した。

beta reduction

名詞
日本語の意味
関数呼び出しを、関数の処理結果に置き換える操作(β簡約)
このボタンはなに?

最適化の際、コンパイラは関数呼び出しをその結果で置き換えるベータ簡約を適用して、関数をインライン化し不要な抽象化を取り除いた。

関連語

plural

reduction furnace

名詞
日本語の意味
鉱石を金属に還元するための炉(還元炉)
このボタンはなに?

技術者たちは老朽化した還元炉を点検し、それがまだ鉱石から高純度の金属を生成できるかどうかを判断した。

関連語

plural

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

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

DiQt(ディクト)

無料

★★★★★★★★★★