Last Updated：2025/11/30
Sentence
項を代入する際に変数捕獲を避けるため、代入を適用する前にラムダ抽象の束縛変数の名前を変更します。
Quizzes for review
To avoid variable capture when substituting terms, we perform an alpha conversion on the lambda abstraction before applying the substitution.
See correct answer
To avoid variable capture when substituting terms, we perform an alpha conversion on the lambda abstraction before applying the substitution.
音声機能が動作しない場合はこちらをご確認ください
Related words
alpha conversion
Noun
countable
uncountable
(computing
theory)
One
of
the
three
rewrite
rules
of
lambda
calculus,
in
which
a
bound
variable
of
a
lambda
term
is
replaced
by
another
variable
across
its
entire
scope.
So
if
there
is
a
lambda
term
of
the
form
(𝜆x.t)
and
it
is
desired
to
have
x
replaced
with
y,
then
the
rewritten
lambda
term
would
have
the
form
(𝜆y.t[y/x])
where
t[y/x],
"t
with
y
instead
of
x",
has
had
all
free
instances
of
x
in
t
replaced
with
y.
Japanese Meaning
ラムダ計算における書き換え規則の一つで、束縛変数を他の変数に一貫して変更する操作。
Related Words
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
