Lambda calculus

[ˈlæmdə ˈkælkjʊləs] ラムダ カルキュラス

1. 関数の抽象化と適用に基づいた計算の形式体系。

数学論理学や計算機科学における形式的なシステムで、関数の抽象化と適用に基づいた計算を表現します。変数の束縛と置換を用いて、非常に単純な操作で複雑な計算を表すことができます。

Lambda calculus is a formal system in mathematical logic. (ラムダ計算は数理論理学における形式体系です。)

• Lambda calculus: ラムダ計算という概念を指します。
• is: 「〜である」と状態を表します。
• a formal system: 形式体系を指します。
• in: 〜の中に、という所属や分野を表します。
• mathematical logic: 数理論理学という学問分野を指します。

It serves as a foundation for functional programming languages. (それは関数型プログラミング言語の基盤として機能します。)

• It: それは、という前の文の主語「ラムダ計算」を指します。
• serves as: 〜として機能する、という役割を表します。
• a foundation: 基盤、基礎となるものを指します。
• for: 〜のために、という目的や対象を表します。
• functional programming languages: 関数型プログラミング言語を指します。

Alonzo Church developed lambda calculus in the 1930s. (アロンゾ・チャーチは1930年代にラムダ計算を開発しました。)

• Alonzo Church: アロンゾ・チャーチという人名を指します。
• developed: 開発した、という過去の行為を表します。
• lambda calculus: ラムダ計算という概念を指します。
• in the 1930s: 1930年代に、という期間を表します。

関連

• Functional programming
• Turing machine
• Mathematical logic
• Alonzo Church
• Type theory