翻訳と辞書 Words near each other ・ ラムタラ ・ ラムタラ (ビデオ販売店チェーン) ・ ラムタラ (屋号) ・ ラムタラ (曖昧さ回避) ・ ラムダ ・ ラムダ(λ) ・ ラムダ(λ)鎖 ・ ラムダ(λ)鎖免疫グロブリン ・ ラムダ(状)縫合(人字縫合) ・ ラムダロケット ・ ラムダ・キューブ ・ ラムダ・ドライバ ・ ラムダ・ロケット ・ ラムダ式 ・ ラムダ状縫合 ・ ラムダ算法 ・ ラムダ粒子 ・ ラムダ縫合 ・ ラムダ計画 ・ ラムダ計算 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク ラムダ・キューブ ： ウィキペディア日本語版 ラムダ・キューブ 型理論において、ラムダ・キューブ () とは、8つの異なる型付きラムダ計算の関係を表した図である。これらの計算体系がそれぞれ型と値の間にどのような依存関係を認めるかを整理したもので、単純型付きラムダ計算からCalculus of Constructions (CoC) を導くフレームワークになっている。数学者ヘンク・バレンドレフトによって1991年に提唱された。 ラムダ・キューブの原点は単純型付きラムダ計算に相当し，それぞれの座標軸には次の依存関係が対応付けられている: * 型に依存した値（多相型）: これのみを導入したものは$\backslash lambda\; 2$ (System F) と呼ばれる。 * 型に依存した型（型演算）: これのみを導入したものは$\backslash lambda\backslash underline$と呼ばれる。System Fと組み合わせると$\backslash lambda\backslash omega$ (System Fω) が得られる。 * 値に依存した型（依存型）: これのみを導入したものは$\backslash lambda\backslash Pi$ないし$\backslash lambda\; P$と呼ばれる。System Fと組み合わせると$\backslash lambda\backslash Pi\; 2$が得られる。 これらの他に、すべての計算体系は単純型付きラムダ計算に含まれる値に依存した値（すなわち、通常の関数抽象）を持っている。3つの抽象の全てを導入したものが$\backslash lambda\backslash Pi\backslash omega$とよばれ、Calculus of Constructionsに対応する。'') とは、8つの異なる型付きラムダ計算の関係を表した図である。これらの計算体系がそれぞれ型と値の間にどのような依存関係を認めるかを整理したもので、単純型付きラムダ計算からCalculus of Constructions (CoC) を導くフレームワークになっている。数学者ヘンク・バレンドレフトによって1991年に提唱された。 ラムダ・キューブの原点は単純型付きラムダ計算に相当し，それぞれの座標軸には次の依存関係が対応付けられている: * 型に依存した値（多相型）: これのみを導入したものは$\backslash lambda\; 2$ (System F) と呼ばれる。 * 型に依存した型（型演算）: これのみを導入したものは$\backslash lambda\backslash underline$と呼ばれる。System Fと組み合わせると$\backslash lambda\backslash omega$ (System Fω) が得られる。 * 値に依存した型（依存型）: これのみを導入したものは$\backslash lambda\backslash Pi$ないし$\backslash lambda\; P$と呼ばれる。System Fと組み合わせると$\backslash lambda\backslash Pi\; 2$が得られる。 これらの他に、すべての計算体系は単純型付きラムダ計算に含まれる値に依存した値（すなわち、通常の関数抽象）を持っている。3つの抽象の全てを導入したものが$\backslash lambda\backslash Pi\backslash omega$とよばれ、Calculus of Constructionsに対応する。 ==参考文献== * 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ラムダ・キューブ」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.