最終更新日：2025/11/20

Dictionary quizzes to help you remember vocabulary

(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.

音声機能が動作しない場合はこちらをご確認ください

正解を見る

lambda calculus

編集履歴（0）

元となった辞書の項目

lambda calculus

名詞

可算名詞不可算名詞

日本語の意味

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

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

詳細

意味（1）

In the 1930s, while Turing was developing what are now called ‘Turing machines’ as a model for computation, Church and his student Kleene were developing a different model, called the ‘lambda calculus’ [29, 63]. While a Turing machine can be seen as an idealized, simplified model of computer hardware, the lambda calculus is more like a simple model of software.

Google翻訳 / DeepL翻訳

詳細

lambda calculi

（ plural ）

詳細

lambda calculus

Dictionary quizzes to help you remember vocabulary

ログイン / 新規登録

アプリをダウンロード！

lambda calculus

Dictionary quizzes to help you remember vocabulary

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！