翻訳と辞書
Words near each other
・ Καλυτερυζ
・ Κロケット
・ Λ
・ Λ-CDMモデル
・ Λ-カラギナーゼ
・ ΛC
・ ΛCDM
・ Λucifer
・ Λに歯がない
・ Λロケット
Λ計算
・ Λ項
・ Μ
・ Μ (カメラ)
・ Μ&i
・ Μ&i みゅうあんどあい
・ Μ's
・ Μ's Best Album Best Live! collection
・ Μ's Best Album Best Live! collection II
・ Μ's from ラブライブ!


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Λ計算 : ミニ英和和英辞書
Λ計算[けいさん]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [けい]
  1. (n,n-suf) plan 
計算 : [けいさん]
  1. (n,vs) (1) calculation 2. reckoning 3. count 4. (2) forecast 

Λ計算 ( リダイレクト:ラムダ計算 ) : ウィキペディア日本語版
ラムダ計算[らむだけいさん]
ラムダ計算(ラムダけいさん、)は、計算模型のひとつで、計算の実行を関数への引数評価()と適用()としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理決定可能性問題を(否定的に)解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論型理論など、計算機科学のいろいろなところで使われており、特にLISPMLHaskellといった関数型プログラミング言語の理論的基盤として、その誕生に大きな役割を果たした。
ラムダ計算は1つの変換規則(変数置換)と1つの関数定義規則のみを持つ、最小の(ユニバーサルな)プログラミング言語であるということもできる。ここでいう「ユニバーサルな」とは、全ての計算可能な関数が表現でき正しく評価されるという意味である。これは、ラムダ計算がチューリングマシンと等価な数理モデルであることを意味している。チューリングマシンがハードウェア的なモデル化であるのに対し、ラムダ計算はよりソフトウェア的なアプローチをとっている。
この記事ではチャーチが提唱した元来のいわゆる「型無しラムダ計算」について述べている。その後これを元にして「型付きラムダ計算」という体系も提唱されている。
== 歴史 ==
元々チャーチは、数学の基礎となり得るような完全な形式体系を構築しようとしていた。彼の体系がラッセルのパラドックスの類型に影響を受けやすい(例えば論理記号として含意 → を含むなら、λx.(x→α) にYコンビネータを適用してカリーのパラドックスを再現できる)ということが判明した際に、彼はそこからラムダ計算を分離し、計算可能性理論の研究のために用い始めた。この研究からチャーチは一階述語論理の決定可能性問題を否定的に解くことに成功した。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「ラムダ計算」の詳細全文を読む

英語版ウィキペディアに対照対訳語「 Lambda calculus 」があります。




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.