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

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

Namespace Prefixes

PrefixIRI
n23https://web.archive.org/web/20040105143902/http:/www.cs.purdue.edu/homes/clifton/cs603/
dcthttp://purl.org/dc/terms/
template-jahttp://ja.dbpedia.org/resource/Template:
n21http://www.cs.kent.ac.uk/projects/ofa/java-threads/
n29http://jason.mchu.com/SDP/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n26http://www.objectclub.jp/download/threadjack/
n33http://www.cs.utk.edu/~plank/plank/classes/cs560/560/notes/Dphil/
n15http://www.tokumaru.org/techterm/
n34http://www.doc.ic.ac.uk/~jnm/concurrency/classes/Diners/
n14http://laser.cs.umass.edu/verification-examples/dp_standard/
n32http://www.cs.utk.edu/~plank/plank/classes/cs560/560/notes/CBThread_Dphil/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n18http://rosettacode.org/wiki/
freebasehttp://rdf.freebase.com/ns/
n13http://www.cs.utexas.edu/users/misra/scannedPdf.dir/
n17http://foldoc.doc.ic.ac.uk/foldoc/
n10http://www.cs.utexas.edu/users/EWD/ewd03xx/
n4http://
n27http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n31http://www.cs.mtu.edu/~shene/NSF-3/e-Book/MUTEX/
owlhttp://www.w3.org/2002/07/owl#
n6http://ja.dbpedia.org/resource/Category:
n19http://msdn.microsoft.com/en-us/magazine/
wikipedia-jahttp://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n7http://ja.dbpedia.org/resource/ファイル:
n30http://www.cresc.co.jp/tech/java/Servlet_Tutorial/
dbpedia-jahttp://ja.dbpedia.org/resource/
n16http://www.crockford.com/ec/
prop-jahttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q865867
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:思考実験
dbo:wikiPageWikiLink
dbpedia-ja:食事する哲学者の問題
Subject Item
dbpedia-ja:排他制御
dbo:wikiPageWikiLink
dbpedia-ja:食事する哲学者の問題
Subject Item
dbpedia-ja:食事する哲学者の問題
rdfs:label
食事する哲学者の問題
rdfs:comment
食事する哲学者の問題(しょくじするてつがくしゃのもんだい、Dining Philosophers Problem)とは、並列処理に関する問題を一般化した例である。古典的なマルチプロセスの同期(排他制御)問題であり、大学レベルの計算機科学課程にはほぼ確実に含まれている。 1965年、エドガー・ダイクストラは5台のコンピュータが5台のテープ装置に競合アクセスするという同期問題を提示した。間もなく、この問題はアントニー・ホーアによって「食事する哲学者の問題」に変形して語られることとなった。
owl:sameAs
freebase:m.01pyfm
dct:subject
n6:エドガー・ダイクストラ n6:並行性 n6:問題
dbo:wikiPageID
631157
dbo:wikiPageRevisionID
90582229
dbo:wikiPageWikiLink
dbpedia-ja:食事する暗号学者の問題 dbpedia-ja:並行計算 dbpedia-ja:居眠り床屋問題 dbpedia-ja:順序集合 n7:An_illustration_of_the_dining_philosophers_problem.png dbpedia-ja:アントニー・ホーア dbpedia-ja:トークン dbpedia-ja:フォーク_(食器) dbpedia-ja:同期_(計算機科学) dbpedia-ja:箸 dbpedia-ja:プロセス n6:並行性 dbpedia-ja:スパゲッティ dbpedia-ja:セマフォ dbpedia-ja:ロック_(情報工学) dbpedia-ja:排他制御 dbpedia-ja:モニタ_(同期) dbpedia-ja:並列処理 dbpedia-ja:エドガー・ダイクストラ dbpedia-ja:デッドロック dbpedia-ja:計算機科学 n6:問題 dbpedia-ja:リソース dbpedia-ja:1965年 dbpedia-ja:オペレーティングシステム dbpedia-ja:リソーススタベーション dbpedia-ja:Pascal dbpedia-ja:ウェイター dbpedia-ja:データベース n6:エドガー・ダイクストラ dbpedia-ja:Drinking_philosophers_problem dbpedia-ja:カーネル
dbo:wikiPageExternalLink
n4:www.onarat.com n10:EWD310.PDF n13:DrinkingPhil.pdf n14:dp.html n15:philosopher.html n16:dining.html n17:foldoc.cgi%3FDining+Philosophers+Problem n18:Dining_philosophers n19:dd882512.aspx n21:0.html n23:Philosophers.ppt n26:diningphilosopher n29:index.html n30:Lesson_65.htm n31:TM-example-philos-1.html n32: n33:lecture.html n34:Diners.html
prop-ja:wikiPageUsesTemplate
template-ja:En_icon template-ja:仮リンク template-ja:Reflist template-ja:De_icon template-ja:Fr_icon template-ja:Cite_book template-ja:Math
dbo:thumbnail
n27:An_illustration_of_the_dining_philosophers_problem.png?width=300
foaf:isPrimaryTopicOf
wikipedia-ja:食事する哲学者の問題
foaf:depiction
n27:An_illustration_of_the_dining_philosophers_problem.png
dbo:abstract
食事する哲学者の問題(しょくじするてつがくしゃのもんだい、Dining Philosophers Problem)とは、並列処理に関する問題を一般化した例である。古典的なマルチプロセスの同期(排他制御)問題であり、大学レベルの計算機科学課程にはほぼ確実に含まれている。 1965年、エドガー・ダイクストラは5台のコンピュータが5台のテープ装置に競合アクセスするという同期問題を提示した。間もなく、この問題はアントニー・ホーアによって「食事する哲学者の問題」に変形して語られることとなった。
dbo:wikiPageLength
15843
prov:wasDerivedFrom
wikipedia-ja:食事する哲学者の問題?oldid=90582229&ns=0
Subject Item
dbpedia-ja:食事する暗号学者の問題
dbo:wikiPageWikiLink
dbpedia-ja:食事する哲学者の問題
Subject Item
dbpedia-ja:哲学者の食事
dbo:wikiPageWikiLink
dbpedia-ja:食事する哲学者の問題
dbo:wikiPageRedirects
dbpedia-ja:食事する哲学者の問題
Subject Item
wikipedia-ja:食事する哲学者の問題
foaf:primaryTopic
dbpedia-ja:食事する哲学者の問題