Search results- English - English

Keyword:

lambda calculus

Noun
countable uncountable
Japanese Meaning
形式的な代数体系の一種で、固定された規則に従いラムダ式を評価して値を導出する計算理論のモデル。 / 関数抽象と適用の原理に基づく、関数型計算やプログラミングにおける基礎理論となるシステム。
What is this buttons?

ラムダ計算を学ぶことで、彼女は関数型プログラミング言語がどのように関数を評価し、変数のスコープを管理するかを理解できるようになった。

Related Words

plural

lambda probe

Noun
Japanese Meaning
液体中の酸素の割合を測定するために用いられる装置
What is this buttons?

整備士は排出ガスを減らし燃費を改善するために、故障した酸素センサーを交換した。

Related Words

plural

lambda point

Noun
Japanese Meaning
物理学において、ヘリウムが通常状態から超流動状態へ転移する特定の圧力下での温度(転換点)
What is this buttons?

液体ヘリウムの実験で超流動転移温度を観測するためには、温度を精密に制御することが不可欠だった。

Related Words

plural

lambda term

Noun
Japanese Meaning
ラムダ計算における正確に構成された式、すなわちラムダ計算の言語における厳密な形式の式
What is this buttons?

関数型プログラムを最適化する際、コンパイラは各ラムダ項を解析してベータ簡約の機会を検出します。

Related Words

plural

lambda functions

Noun
form-of plural
Japanese Meaning
複数のラムダ関数。これは「ラムダ関数」の複数形を意味します。
What is this buttons?

コードベースが成長するにつれて、小さく再利用可能なコールバックを実装するためにラムダ式をますます多用するようになった。

lambda function

Noun
Japanese Meaning
プログラム内でその場で定義され、名前が付けられていない匿名関数 / 一時的に利用される、固定の識別子に束縛されない即席の関数
What is this buttons?

別の関数を定義せずに、リストを長さでソートするために無名関数を使うことができます。

Related Words

plural

lambda abstraction

Noun
Japanese Meaning
計算理論において、(λx.t) の形をとるラムダ項であり、ここで x は変数、t は別のラムダ項となる。t 内で自由な x は λx によって束縛され、無名関数を表現するためのものです。
What is this buttons?

コンパイラは(λx.t の形をした)無名関数を最適化して、本文中の自由変数をキャプチャするクロージャに変換します。

Related Words

plural

lambda expressions

Noun
form-of plural
Japanese Meaning
「ラムダ式」の複数形、すなわち複数のラムダ式を指す
What is this buttons?

現代の関数型プログラミングでは、ラムダ式はコールバックや変換を扱うための簡潔で表現力豊かなコードを可能にします。

lambda points

Noun
form-of plural
Japanese Meaning
「lambda points」は「lambda point」の複数形、すなわち「ラムダ点」の複数形を指します。
What is this buttons?

物理学者は臨界挙動を特定するために、超流動の相図上の複数のラムダ点をマッピングした。

lambda calculi

Noun
form-of plural
Japanese Meaning
「lambda calculus」の複数形(複数のラムダ計算を指す表現)
What is this buttons?

研究者たちは、異なる還元戦略の表現力を調べるために、いくつかのラムダ計算の変種を比較した。

loading!

Loading...

All Loaded

Error

Search by Web

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★