This HTML5 document contains 86 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#
n14http://mathworld.wolfram.com/
n13http://ja.dbpedia.org/resource/Category:
owlhttp://www.w3.org/2002/07/owl#
wikipedia-jahttp://ja.wikipedia.org/wiki/
n6http://www.igblan.free-online.co.uk/igblan/ca/
provhttp://www.w3.org/ns/prov#
n15http://logic.pdmi.ras.ru/~yumat/H10Pbook/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-jahttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q1930388
owl:sameAs
dbpedia-ja:レジスタマシン
Subject Item
dbpedia-ja:Inferno_(オペレーティングシステム)
dbo:wikiPageWikiLink
dbpedia-ja:レジスタマシン
Subject Item
dbpedia-ja:Parrot
dbo:wikiPageWikiLink
dbpedia-ja:レジスタマシン
Subject Item
dbpedia-ja:Structure_and_Interpretation_of_Computer_Programs,_JavaScript_Edition
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:レジスタマシン
rdfs:label
レジスタマシン
rdfs:comment
レジスタマシン（英: Register machine）とは、数理論理学や理論計算機科学で使われる汎用計算模型の一種であり、チューリングマシンと似たような使われ方をされる。レジスタマシンのモデルは全てチューリング等価である。 また、スタックマシンの対として、オペランドがレジスタである機械を指してもレジスタマシンと言う。実機ではほとんどにあてはまるのでわざわざ言わないが、仮想機械では、たとえばLua 5の仮想機械を指して使われる。
owl:sameAs
freebase:m.02jgt3
dct:subject
n13:計算モデル n13:数学に関する記事
dbo:wikiPageID
1306570
dbo:wikiPageRevisionID
89434922
dbo:wikiPageWikiLink
dbpedia-ja:Μ再帰関数 dbpedia-ja:ポインタマシン dbpedia-ja:停止性問題 dbpedia-ja:ノイマン型 dbpedia-ja:ランダムアクセス・プログラム内蔵機械 dbpedia-ja:数理論理学 dbpedia-ja:ランダムアクセスマシン dbpedia-ja:ジョン・フォン・ノイマン dbpedia-ja:仮想機械 dbpedia-ja:ユリス・ハルトマニス dbpedia-ja:アレン・ニューウェル dbpedia-ja:スティーブン・クック dbpedia-ja:ハオ・ワン dbpedia-ja:エミール・ポスト dbpedia-ja:英語 dbpedia-ja:タグシステム dbpedia-ja:プログラム_(コンピュータ) dbpedia-ja:ビジービーバー dbpedia-ja:計算模型 dbpedia-ja:原始再帰関数 dbpedia-ja:ゴードン・ベル dbpedia-ja:ヒルベルトの23の問題 dbpedia-ja:Lua dbpedia-ja:カウンタマシン dbpedia-ja:RISC dbpedia-ja:有限状態機械 dbpedia-ja:理論計算機科学 dbpedia-ja:アルゴリズム dbpedia-ja:アッカーマン関数 dbpedia-ja:整数 dbpedia-ja:スタックマシン dbpedia-ja:スティーヴン・コール・クリーネ n13:計算モデル dbpedia-ja:ジョン・ホップクロフト dbpedia-ja:ディオファントス方程式 dbpedia-ja:マービン・ミンスキー dbpedia-ja:ゲーデル数 dbpedia-ja:ユーリ・マチャセビッチ dbpedia-ja:チューリングマシン dbpedia-ja:アブラハム・ロビンソン dbpedia-ja:コンピュータ dbpedia-ja:ドナルド・クヌース dbpedia-ja:ハーバード・アーキテクチャ dbpedia-ja:アキュムレータ_(コンピュータ) dbpedia-ja:ポスト-チューリング機械 n13:数学に関する記事 dbpedia-ja:計算可能関数
dbo:wikiPageExternalLink
n6:minsky.html n14:RegisterMachine.html n15:commch_5.htm
prop-ja:wikiPageUsesTemplate
template-ja:Cite_journal template-ja:Cite_book template-ja:Sub template-ja:MathWorld template-ja:Math template-ja:Reflist
prop-ja:title
Register machine
prop-ja:urlname
RegisterMachine
dbo:abstract
レジスタマシン（英: Register machine）とは、数理論理学や理論計算機科学で使われる汎用計算模型の一種であり、チューリングマシンと似たような使われ方をされる。レジスタマシンのモデルは全てチューリング等価である。 また、スタックマシンの対として、オペランドがレジスタである機械を指してもレジスタマシンと言う。実機ではほとんどにあてはまるのでわざわざ言わないが、仮想機械では、たとえばLua 5の仮想機械を指して使われる。
dbo:wikiPageLength
15361
prov:wasDerivedFrom
wikipedia-ja:レジスタマシン?oldid=89434922&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
wikipedia-ja:レジスタマシン
foaf:primaryTopic
dbpedia-ja:レジスタマシン