HTML Microdata document

This HTML5 document contains 98 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/
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#
owl	http://www.w3.org/2002/07/owl#
n7	http://ja.dbpedia.org/resource/Category:
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:チューリングマシンの停止問題
dbo:wikiPageWikiLink: dbpedia-ja:停止性問題
dbo:wikiPageRedirects: dbpedia-ja:停止性問題

Subject Item: dbpedia-ja:ポストの定理
dbo:wikiPageWikiLink: dbpedia-ja:停止性問題

Subject Item: dbpedia-wikidata:Q622849
owl:sameAs: 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: 計算可能性理論において停止性問題（ていしせいもんだい、英: halting problem）または停止問題は、「どんなチューリングマシン、あるいは同様な計算機構についても、それが有限時間で停止するかを判定できるアルゴリズム」は可能か、という問題。アラン・チューリングは1936年、停止性問題を解くアルゴリズムは存在しないことをある種の対角線論法のようにして証明した。すなわち、そのようなアルゴリズムを実行できるチューリングマシンの存在を仮定すると「自身が停止するならば無限ループに陥って停止せず、停止しないならば停止する」ような別の構成が可能ということになり、矛盾となる。
owl:sameAs: freebase:m.03k9j
dct:subject: n7:計算理論 n7:数学に関する記事 n7:計算可能性理論 n7:数学の問題 n7:アラン・チューリング n7:思考実験 n7:決定不能問題
dbo:wikiPageID: 50524
dbo:wikiPageRevisionID: 91757166
dbo:wikiPageWikiLink: dbpedia-ja:アルゴリズム dbpedia-ja:チャイティンの定数 dbpedia-ja:ゲオルク・カントール dbpedia-ja:ゲーデル数 dbpedia-ja:アラン・チューリング dbpedia-ja:チャーチ＝チューリングのテーゼ dbpedia-ja:自己言及のパラドックス n7:計算理論 dbpedia-ja:ゲーデルの不完全性定理 dbpedia-ja:無限ループ dbpedia-ja:矛盾 n7:計算可能性理論 dbpedia-ja:算術的階層 n7:数学の問題 dbpedia-ja:ライスの定理 n7:数学に関する記事 dbpedia-ja:帰納的集合 dbpedia-ja:計算可能性理論 n7:アラン・チューリング dbpedia-ja:カントールの対角線論法 dbpedia-ja:対角線論法 dbpedia-ja:実行ファイル dbpedia-ja:帰納的可算集合 dbpedia-ja:チューリングマシン n7:決定不能問題 dbpedia-ja:ロビンソン算術 n7:思考実験 dbpedia-ja:ラムダ計算
prop-ja:wikiPageUsesTemplate: template-ja:Normdaten template-ja:Lang-en-short template-ja:出典の明記
dbo:abstract: 計算可能性理論において停止性問題（ていしせいもんだい、英: halting problem）または停止問題は、「どんなチューリングマシン、あるいは同様な計算機構についても、それが有限時間で停止するかを判定できるアルゴリズム」は可能か、という問題。アラン・チューリングは1936年、停止性問題を解くアルゴリズムは存在しないことをある種の対角線論法のようにして証明した。すなわち、そのようなアルゴリズムを実行できるチューリングマシンの存在を仮定すると「自身が停止するならば無限ループに陥って停止せず、停止しないならば停止する」ような別の構成が可能ということになり、矛盾となる。
foaf:isPrimaryTopicOf: wikipedia-ja:停止性問題
dbo:wikiPageLength: 4618
prov:wasDerivedFrom: wikipedia-ja:停止性問題?oldid=91757166&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:強いAIと弱いAI
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:停止性問題
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:停止性問題
dbo:wikiPageRedirects: dbpedia-ja:停止性問題

Subject Item: dbpedia-ja:Class_Q
dbo:wikiPageWikiLink: dbpedia-ja:停止性問題

Subject Item: wikipedia-ja:停止性問題
foaf:primaryTopic: dbpedia-ja:停止性問題