HTML Microdata document

This HTML5 document contains 246 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dct	http://purl.org/dc/terms/
template-ja	http://ja.dbpedia.org/resource/Template:
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-wikidata	http://wikidata.dbpedia.org/resource/
n6	http://portal.acm.org/
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n9	http://ja.dbpedia.org/resource/Category:
owl	http://www.w3.org/2002/07/owl#
wikipedia-ja	http://ja.wikipedia.org/wiki/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
dbpedia-ja	http://ja.dbpedia.org/resource/
prop-ja	http://ja.dbpedia.org/property/

Statements

Subject Item: dbpedia-ja:ALGOL
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:AngularJS
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:B,C,K,Wシステム
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:Boost_C++ライブラリ
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:Darwin_(オペレーティングシステム)
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:Glasgow_Haskell_Compiler
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:Goto文
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:ISWIM
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:LISP
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:OCaml
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:Python
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:SECDマシン
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:SKIコンビネータ計算
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:ド・ブラウン・レベル
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:ド・ブラウン記法
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:Unlambda
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:Visual_Basic_.NET
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:Z言語
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:Λ
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:Μ再帰関数
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:アクターモデル
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:アルゴリズム
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:アロンゾ・チャーチ
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算
prop-ja:knownFor: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:インライン展開
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:カリー化
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:カリー＝ハワード同型対応
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:ギリシア文字
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:クヌース・ベンディックス完備化アルゴリズム
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:クリーネの再帰定理
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:コラド・ベーム
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:コンパイラ最適化
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:コンビネータ論理
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:ゴットロープ・フレーゲ
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:ジョン・バークリー・ロッサー
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:ジョン・マッカーシー
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:スコット連続
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:スティーヴン・コール・クリーネ
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:チャーチ・ロッサーの定理
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:チャーチ＝チューリングのテーゼ
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:チューリング完全
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:デカルト閉圏
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:ド・ブラウン・インデックス
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:ハスケル・カリー
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:ファンクション
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:プログラミング言語
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:プログラミング言語年表
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:プログラム意味論
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:プロセス計算
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:ペアノの公理
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:マックス・ニューマン
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:モンタギュー文法
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:ラムダ計算
rdfs:label: ラムダ計算
rdfs:comment: ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。や型理論など、計算機科学のいろいろなところで使われており、特にLISP、ML、Haskellといった関数型プログラミング言語の理論的基盤として、その誕生に大きな役割を果たした。ラムダ計算は1つの変換規則（変数置換）と1つの関数定義規則のみを持つ、最小の（ユニバーサルな）プログラミング言語であるということもできる。ここでいう「ユニバーサルな」とは、全ての計算可能な関数が表現でき正しく評価されるという意味である。これは、ラムダ計算がチューリングマシンと等価な数理モデルであることを意味している。チューリングマシンがハードウェア的なモデル化であるのに対し、ラムダ計算はよりソフトウェア的なアプローチをとっている。
owl:sameAs: freebase:m.04mg4
dct:subject: n9:関数型プログラミング n9:ラムダ計算 n9:数理論理学 n9:形式体系 n9:形式手法 n9:理論計算機科学 n9:数学に関する記事 n9:FOLDOCを情報源とする記事 n9:スティーヴン・コール・クリーネ
dbo:wikiPageID: 4316
dbo:wikiPageRevisionID: 91499715
dbo:wikiPageWikiLink: dbpedia-ja:バッカス・ナウア記法 dbpedia-ja:領域理論 dbpedia-ja:SKIコンビネータ計算 dbpedia-ja:単純型付きラムダ計算 dbpedia-ja:ド・ブラン・インデックス dbpedia-ja:参照透過性 dbpedia-ja:アンビエント計算 dbpedia-ja:コンビネータ論理 dbpedia-ja:B,C,K,Wシステム dbpedia-ja:項書き換え dbpedia-ja:束縛変数 dbpedia-ja:Smalltalk dbpedia-ja:一階述語論理 dbpedia-ja:LISP dbpedia-ja:プロセス計算 dbpedia-ja:カリーのパラドックス dbpedia-ja:無名再帰 dbpedia-ja:ラッセルのパラドックス dbpedia-ja:カリー・ハワード対応 dbpedia-ja:アロンゾ・チャーチ dbpedia-ja:ラムダ計算騎士団 n9:関数型プログラミング dbpedia-ja:ラムダ・キューブ dbpedia-ja:System_F dbpedia-ja:決定可能性 dbpedia-ja:関数型言語 dbpedia-ja:Λ dbpedia-ja:第一級関数 dbpedia-ja:Carとcdr dbpedia-ja:騎士団 dbpedia-ja:パイ計算 n9:ラムダ計算 dbpedia-ja:スティーヴン・コール・クリーネ dbpedia-ja:オブジェクト指向プログラミング dbpedia-ja:形式体系 dbpedia-ja:決定不能 dbpedia-ja:C言語 dbpedia-ja:ペアノの公理 dbpedia-ja:ML_(プログラミング言語) n9:形式体系 dbpedia-ja:自由変数 n9:形式手法 dbpedia-ja:並行計算 dbpedia-ja:第一級オブジェクト dbpedia-ja:再帰 n9:数理論理学 dbpedia-ja:純LISP dbpedia-ja:Haskell dbpedia-ja:結合法則 dbpedia-ja:高階関数 dbpedia-ja:自然数 dbpedia-ja:文脈自由文法 n9:理論計算機科学 dbpedia-ja:Unlambda dbpedia-ja:真理値 dbpedia-ja:階乗 dbpedia-ja:束縛_(情報工学) dbpedia-ja:C_Sharp dbpedia-ja:可算無限集合 dbpedia-ja:カリー化 dbpedia-ja:型理論 dbpedia-ja:タプル dbpedia-ja:定数 n9:数学に関する記事 dbpedia-ja:合流性 dbpedia-ja:計算可能関数 dbpedia-ja:デリゲート_(プログラミング) dbpedia-ja:計算可能性理論 dbpedia-ja:対角線論法 n9:FOLDOCを情報源とする記事 n9:スティーヴン・コール・クリーネ dbpedia-ja:計算の意味論 dbpedia-ja:プログラミング言語 dbpedia-ja:計算機プログラムの構造と解釈 dbpedia-ja:引数 dbpedia-ja:Eiffel dbpedia-ja:ポインタ_(プログラミング) dbpedia-ja:命令型プログラミング dbpedia-ja:外延性 dbpedia-ja:アルゴリズム dbpedia-ja:評価戦略 dbpedia-ja:不動点 dbpedia-ja:CCS dbpedia-ja:C++ dbpedia-ja:チューリングマシン dbpedia-ja:コンス対 dbpedia-ja:型付きラムダ計算 dbpedia-ja:計算模型 dbpedia-ja:不動点コンビネータ dbpedia-ja:Communicating_Sequential_Processes dbpedia-ja:同値閉包 dbpedia-ja:同値関係 dbpedia-ja:順序対 dbpedia-ja:再帰的定義 dbpedia-ja:チャーチ・ロッサーの定理 dbpedia-ja:チャーチ＝チューリングのテーゼ dbpedia-ja:計算 dbpedia-ja:述語論理 dbpedia-ja:関数 dbpedia-ja:Pascal dbpedia-ja:関数オブジェクト dbpedia-ja:データ型 dbpedia-ja:ゲーデル数 dbpedia-ja:並列コンピューティング dbpedia-ja:数学的帰納法
dbo:wikiPageExternalLink: n6:citation.cfm%3Fid=363749&coll=portal&dl=ACM
prop-ja:wikiPageUsesTemplate: template-ja:Lang-en-short template-ja:仮リンク template-ja:Reflist template-ja:脚注の不足 template-ja:節スタブ template-ja:See_also template-ja:FOLDOC template-ja:Normdaten
foaf:isPrimaryTopicOf: wikipedia-ja:ラムダ計算
dbo:abstract: ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。や型理論など、計算機科学のいろいろなところで使われており、特にLISP、ML、Haskellといった関数型プログラミング言語の理論的基盤として、その誕生に大きな役割を果たした。ラムダ計算は1つの変換規則（変数置換）と1つの関数定義規則のみを持つ、最小の（ユニバーサルな）プログラミング言語であるということもできる。ここでいう「ユニバーサルな」とは、全ての計算可能な関数が表現でき正しく評価されるという意味である。これは、ラムダ計算がチューリングマシンと等価な数理モデルであることを意味している。チューリングマシンがハードウェア的なモデル化であるのに対し、ラムダ計算はよりソフトウェア的なアプローチをとっている。この記事ではチャーチが提唱した元来のいわゆる「型無しラムダ計算」について述べている。その後これを元にして「型付きラムダ計算」という体系も提唱されている。
dbo:wikiPageLength: 19232
prov:wasDerivedFrom: wikipedia-ja:ラムダ計算?oldid=91499715&ns=0

Subject Item: dbpedia-ja:ラムダ計算騎士団
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:不動点コンビネータ
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:不動点定理
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:丸山不二夫
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:人工知能の歴史
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:停止性問題
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:共義語
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:写像の合成
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:冪対象
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:創造的集合と生産的集合
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:動的型付け
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:参照透過性
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:合流性
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:圏論
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:型付きラムダ計算
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:形式体系
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:形式意味論
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:抽象化_(計算機科学)
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:操作的意味論
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:数学・自然科学・工学分野で使われるギリシア文字
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:数理論理学
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:構造化プログラミング
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:演繹定理
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:無名再帰
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:無名関数
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:無限ループ
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:理論計算機科学
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:第一級関数
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:算法_(数学)
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:節_(文法)
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:範疇文法
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:自然演繹
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:自由変数と束縛変数
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:計算モデル
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:計算可能性理論
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:計算可能数
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:計算可能関数
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:計算機プログラムの構造と解釈
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:計算機科学
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:計算理論
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:評価戦略
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:論理学の歴史
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:量子プログラミング言語
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:関数
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:関数_(数学)
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:関数型プログラミング
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:項書き換え
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:領域理論
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:高階関数
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-wikidata:Q242028
owl:sameAs: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:C++
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:C++11
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:C_Sharp
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:正当性_(計算機科学)
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:CEK機械
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:Λ計算
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算
dbo:wikiPageRedirects: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:ラムダ算法
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算
dbo:wikiPageRedirects: dbpedia-ja:ラムダ計算

Subject Item: dbpedia-ja:型無しラムダ計算
dbo:wikiPageWikiLink: dbpedia-ja:ラムダ計算
dbo:wikiPageRedirects: dbpedia-ja:ラムダ計算

Subject Item: wikipedia-ja:ラムダ計算
foaf:primaryTopic: dbpedia-ja:ラムダ計算