Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01060070n
Noun Concept
Categories: 数学に関する記事, ラムダ計算, スティーヴン・コール・クリーネ, 形式体系, 形式手法
JA
ラムダ計算  λ計算  ラムダ式  ラムダ算法  型無しラムダ計算
JA
ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。 Wikipedia
Definitions
Relations
Sources
JA
ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。 Wikipedia
計算の実行を関数への引数評価としてモデル化した計算体系 Wikidata
IS A
数理モデル
形式体系
PART OF
計算理論
HAS KIND
バイナリラムダ計算
型付きラムダ計算
HAS INSTANCE
EN
simply typed lambda calculus
System F
DISCOVERER OR INVENTOR
アロンゾ・チャーチ
HAS QUALITY
チューリング完全
NAMED AFTER
Λ
USE
計算モデル
Wikipedia
JA
ラムダ計算
Wikidata
JA
ラムダ計算
Wiktionary
JA
λ計算, ラムダ計算
Wikipedia Redirections
JA
Λ計算, ラムダ算法, 型無しラムダ計算
Wikidata Alias
JA
ラムダ式, ラムダ算法
Wikipedia Translations
JA
λ計算, ラムダ式

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License