通信用語の基礎知識 全国のICカードこれひとつ 戻る

通常PC用 / 人気 更新 今日 カテ
自然科学 > 数学 > 計算
アルファ変換
辞書:科学用語の基礎知識 算数・数学編 (NMATH)
読み:アルファへんかん
品詞:名詞

ラムダ計算における変換規則の一つ。アルファ同値と呼ばれることもある。

目次
基本理念

ラムダ計算においては束縛変数の名前は重要でないと考えられる。

たとえば

λx.x

λy.y

は同じ関数を表わしているといえる。

ゆえに、あるラムダ式と他のラムダ式との折り合いをつける時などに上記のようにその束縛変数の名前を変更する規則が必要であり、それをアルファ変換という。

操作

基本的には、普通の数式で使われている変数の文字を別の文字に変えるという作業と同じである。

しかし普通の数式の場合にも言えることだが、変数の名前を変更することで式の意味が変わっては困る。

複数のラムダ項で構成されるラムダ式などの場合、変換する変数以外の束縛変数(表記上ラムダの直後に来る変数)の名前や、そのラムダ項に変換する変数以外で元から存在する変数の名前などは使用できない。

この制限は常識的なことではあるが、ラムダ式では直感的にそれを把握することが難しい場合もあるので注意が必要である。

リンク
関連する用語
ラムダ計算

[再検索] [戻る]


通信用語の基礎知識検索システム WDIC Explorer Ver 7.03 (16-May-2019)
Search System : Copyright © Mirai corporation
Dictionary : Copyright © WDIC Creators club
KisoDic