reducted（ラムダ計算におけるη変換。具体的）とは - 英語 - 英語 | ディクト

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

reducted

eta reduction

可算名詞不可算名詞

Eta conversion.

日本語の意味

ラムダ計算におけるη変換。具体的には、余分な関数抽象化を取り除き、(λx. f x) のような表現を f に簡約する操作。

このボタンはなに？

During optimization, the compiler performed an eta reduction on the lambda expression to eliminate redundant abstraction.

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

関連語

eta reductions

（ plural ）

Cook reduction

(computing theory) A Turing reduction that runs in polynomial time.

日本語の意味

多項式時間のチューリング縮約。計算理論において、ある問題を多項式時間内にチューリングマシンを用いて別の問題へ還元（縮約）する操作を指す。

このボタンはなに？

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

関連語

Cook reductions

（ plural ）

Turing reduction

(computing theory) A reduction that solves a problem if the solution to another problem is already known, i.e. an algorithm that could be used to solve A if it had available to it a subroutine for solving B.

日本語の意味

チューリング帰着：計算理論における概念で、ある問題Aの解決のために、既に解かれている問題Bの解法（部分アルゴリズム）を利用することで、問題Aを解く手法。

このボタンはなに？

To prove A is decidable, the paper constructs a Turing reduction from A to B that queries an oracle for B and uses its answers to decide instances of A.

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

関連語

Turing reductions

（ plural ）

Turing reductions

活用形複数形

plural of Turing reduction

原形: Turing reduction

日本語の意味

「Turing reductions」は「Turing reduction」（チューリング還元）の複数形を指します。

このボタンはなに？

Researchers compared the complexity classes using Turing reductions to determine their relative hardness.

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

Cook reductions

活用形複数形

plural of Cook reduction

原形: Cook reduction

日本語の意味

この単語は「Cook reduction」の複数形を表します。つまり、単数形「Cook reduction」に対して複数の要素を指す場合に用いられます。

このボタンはなに？

Graduate students studying computational complexity often encounter Cook reductions when comparing the hardness of decision problems.

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

reduction division

可算名詞不可算名詞

(biology, genetics, cytology) the first of the two divisions of meiosis, a type of cell division. / (biology, genetics, cytology) meiosis as a whole, a type of cell division.

日本語の意味

生物学、遺伝学、細胞学において、減数分裂の最初の分裂、または減数分裂全体を指す用語。

このボタンはなに？

During meiosis, homologous chromosomes are separated in the reduction division to halve the chromosome number.

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

関連語

reduction divisions

（ plural ）

prolongational reductions

活用形複数形

plural of prolongational reduction

原形: prolongational reduction

日本語の意味

「prolongational reduction」の複数形（prolongational reductionの複数形）

このボタンはなに？

In her dissertation, she argued that prolongational reductions play a crucial role in the rhythm of spontaneous speech.

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

beta reductions

活用形複数形

plural of beta reduction

原形: beta reduction

日本語の意味

「beta reductions」は「beta reduction」の複数形、すなわち「ベータ還元」の複数形を指します。

このボタンはなに？

The compiler applied several beta reductions to simplify the functional expression before optimization.

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

beta reduction

The act of beta reducing, an instance of replacing a function call by the result of calling a function.

日本語の意味

関数呼び出しを、関数の処理結果に置き換える操作（β簡約）

このボタンはなに？

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

関連語

beta reductions

（ plural ）

reduction furnace

A form of furnace in which an ore is reduced to a metal

日本語の意味

鉱石を金属に還元するための炉（還元炉）

このボタンはなに？

Engineers inspected the aging reduction furnace to determine whether it could still produce high-purity metal from the ore.

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

関連語

reduction furnaces

（ plural ）

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

ログイン

新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★