最終更新日
：2025/11/30
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）
(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.
（ plural ）
復習用の問題
(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.
音声機能が動作しない場合はこちらをご確認ください
正解を見る
alpha conversion
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.
音声機能が動作しない場合はこちらをご確認ください
英語 - 英語
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
