Last Updated
：2025/11/20
lambda calculus
Noun
countable
uncountable
Japanese Meaning
形式的な代数体系の一種で、固定された規則に従いラムダ式を評価して値を導出する計算理論のモデル。 / 関数抽象と適用の原理に基づく、関数型計算やプログラミングにおける基礎理論となるシステム。
（ plural ）
Quizzes for review
(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.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
lambda calculus
Studying lambda calculus helped her understand how functional programming languages evaluate functions and manage variable scope.
See correct answer
Studying lambda calculus helped her understand how functional programming languages evaluate functions and manage variable scope.
音声機能が動作しない場合はこちらをご確認ください
English - English
Word Edit Setting
- Users who have edit permission for words - All Users
- Screen new word creation
- Screen word edits
- Screen word deletion
- Screen the creation of new headword that may be duplicates
- Screen changing entry name
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Sentence Edit Setting
- Users who have edit permission for sentences - All Users
- Screen sentence deletion
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Quiz Edit Setting
- Users who have edit permission for quizzes - All Users
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
