検索結果- 英語 - 英語

検索内容:

lambda.

lambda calculus

名詞

可算名詞不可算名詞

(computing theory) Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions.

日本語の意味

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

このボタンはなに？

Studying lambda calculus helped her understand how functional programming languages evaluate functions and manage variable scope.

Google翻訳 / DeepL翻訳

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

詳細

関連語

lambda calculi

（ plural ）

詳細

lambda probe

名詞

A device that is used to measure the proportion of oxygen in a fluid

日本語の意味

液体中の酸素の割合を測定するために用いられる装置

このボタンはなに？

The mechanic replaced the faulty lambda probe to reduce emissions and improve fuel efficiency.

Google翻訳 / DeepL翻訳

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

詳細

関連語

lambda probes

（ plural ）

詳細

lambda point

名詞

日本語の意味

物理学において、ヘリウムが通常状態から超流動状態へ転移する特定の圧力下での温度（転換点）

このボタンはなに？

Careful temperature control was essential to observe the lambda point in liquid helium experiments.

Google翻訳 / DeepL翻訳

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

詳細

関連語

lambda points

（ plural ）

詳細

lambda term

名詞

(computing theory) A well-formed formula in the language of a lambda calculus.

日本語の意味

ラムダ計算における正確に構成された式、すなわちラムダ計算の言語における厳密な形式の式

このボタンはなに？

When optimizing functional programs, the compiler analyzes each lambda term to determine opportunities for beta-reduction.

Google翻訳 / DeepL翻訳

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

詳細

関連語

lambda terms

（ plural ）

詳細

lambda functions

名詞

活用形複数形

plural of lambda function

日本語の意味

複数のラムダ関数。これは「ラムダ関数」の複数形を意味します。

このボタンはなに？

As the codebase grew, we relied increasingly on lambda functions to implement small, reusable callbacks.

Google翻訳 / DeepL翻訳

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

詳細

lambda function

名詞

日本語の意味

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

このボタンはなに？

You can use a lambda function to sort the list by length without defining a separate function.

Google翻訳 / DeepL翻訳

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

詳細

関連語

lambda functions

（ plural ）

詳細

lambda abstraction

名詞

(computing theory) A lambda term of the form (𝜆x.t) where x is a variable and t another lambda term. Any free instance of x within t (considered by itself) then becomes bound by the 𝜆x. prefix. It is meant to represent an anonymous function.

日本語の意味

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

このボタンはなに？

Google翻訳 / DeepL翻訳

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

詳細

関連語

lambda abstractions

（ plural ）

詳細

Lambda variant

名詞

The C.37 strain of the SARS-CoV-2 virus that causes COVID-19.

日本語の意味

COVID-19を引き起こすSARS-CoV-2ウイルスのC.37変異株

このボタンはなに？

Researchers observed that the Lambda variant showed reduced susceptibility to antibodies in preliminary lab studies.

Google翻訳 / DeepL翻訳

研究者たちは、SARS-CoV-2のC.37株（ラムダ株）が予備的な実験室研究で抗体に対する感受性が低いことを確認しました。

詳細

lambda expressions

名詞

活用形複数形

plural of lambda expression

日本語の意味

「ラムダ式」の複数形、すなわち複数のラムダ式を指す

このボタンはなに？

In modern functional programming, lambda expressions enable concise and expressive code for handling callbacks and transformations.

Google翻訳 / DeepL翻訳

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

詳細

lambda points

名詞

活用形複数形

plural of lambda point

日本語の意味

「lambda points」は「lambda point」の複数形、すなわち「ラムダ点」の複数形を指します。

このボタンはなに？

The physicist mapped the lambda points on the superfluid phase diagram to identify critical behavior.

Google翻訳 / DeepL翻訳

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

詳細

Webで検索する