最終更新日：2025/11/30
例文
項を代入する際に変数捕獲を避けるため、代入を適用する前にラムダ抽象の束縛変数の名前を変更します。
復習用の問題
To avoid variable capture when substituting terms, we perform an alpha conversion on the lambda abstraction before applying the substitution.
正解を見る
To avoid variable capture when substituting terms, we perform an alpha conversion on the lambda abstraction before applying the substitution.
音声機能が動作しない場合はこちらをご確認ください
関連する単語
alpha conversion
名詞
可算名詞
不可算名詞
(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.
日本語の意味
ラムダ計算における書き換え規則の一つで、束縛変数を他の変数に一貫して変更する操作。
関連語
英語 - 英語
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
