世界大百科事典(旧版)内のカリー,H.B.の言及
【計算モデル】より
…テープの使用量を前もって限定せず,必要に応じていくらでも使えるように無限に用意してある。 別の計算モデルとしては,カリーH.B.Curry,チャーチA.Churchらによるラムダ計算がある。ラムダ計算では,ラムダ式をベータ変換などの変換規則により次々と書き換えていくことにより計算を行う。…
※「カリー,H.B.」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
…テープの使用量を前もって限定せず,必要に応じていくらでも使えるように無限に用意してある。 別の計算モデルとしては,カリーH.B.Curry,チャーチA.Churchらによるラムダ計算がある。ラムダ計算では,ラムダ式をベータ変換などの変換規則により次々と書き換えていくことにより計算を行う。…
※「カリー,H.B.」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
4/12 日本大百科全書(ニッポニカ)を更新
4/12 デジタル大辞泉を更新
4/12 デジタル大辞泉プラスを更新
3/11 日本大百科全書(ニッポニカ)を更新
2/13 日本大百科全書(ニッポニカ)を更新