memrootじしょ
英和翻訳
Lambda calculus
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