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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
template-jahttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12http://mathworld.wolfram.com/
owlhttp://www.w3.org/2002/07/owl#
n6http://ja.dbpedia.org/resource/Category:
wikipedia-jahttp://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-jahttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q1893717
owl:sameAs
dbpedia-ja:ライスの定理
Subject Item
dbpedia-ja:PaX
dbo:wikiPageWikiLink
dbpedia-ja:ライスの定理
Subject Item
dbpedia-ja:Sider
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
ライスの定理（ライスのていり、英: Rice's theorem）は、計算機科学における計算可能関数の理論に関する定理で、定められた性質Fを満たすかどうかを任意の部分計算可能関数について判定する方法は(Fが自明な場合を除いて)存在しない、というもの。名称の由来は Henry Gordon Rice から。
owl:sameAs
freebase:m.06g1h
dct:subject
n6:決定不能問題 n6:数学基礎論の定理 n6:計算理論の定理 n6:数学のエポニム n6:数学に関する記事
dbo:wikiPageID
1020037
dbo:wikiPageRevisionID
91553317
dbo:wikiPageWikiLink
dbpedia-ja:チューリングマシンの停止問題 dbpedia-ja:ナンバリング_(計算可能性理論) n6:数学基礎論の定理 dbpedia-ja:停止性問題 n6:計算理論の定理 dbpedia-ja:計算機科学 n6:決定不能問題 dbpedia-ja:計算可能関数 n6:数学のエポニム dbpedia-ja:決定問題 dbpedia-ja:フリードバーグ・ナンバリング dbpedia-ja:帰納的可算集合 dbpedia-ja:ライス＝シャピロの定理 dbpedia-ja:中村ナンバー dbpedia-ja:多対一還元 dbpedia-ja:ゲーデル数 n6:数学に関する記事 dbpedia-ja:MathWorld dbpedia-ja:帰納的集合 dbpedia-ja:協力ゲーム dbpedia-ja:社会選択理論
dbo:wikiPageExternalLink
n12:RicesTheorem.html
prop-ja:wikiPageUsesTemplate
template-ja:Lang-en-short
dbo:abstract
ライスの定理（ライスのていり、英: Rice's theorem）は、計算機科学における計算可能関数の理論に関する定理で、定められた性質Fを満たすかどうかを任意の部分計算可能関数について判定する方法は(Fが自明な場合を除いて)存在しない、というもの。名称の由来は Henry Gordon Rice から。
dbo:wikiPageLength
8205
prov:wasDerivedFrom
wikipedia-ja:ライスの定理?oldid=91553317&ns=0
foaf:isPrimaryTopicOf
wikipedia-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
wikipedia-ja:ライスの定理
foaf:primaryTopic
dbpedia-ja:ライスの定理