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

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

Namespace Prefixes

PrefixIRI
n18http://www.csanimated.com/
dcthttp://purl.org/dc/terms/
n15http://www.sigact.org/
template-enhttp://ja.dbpedia.org/resource/Template:
n20http://theory.csail.mit.edu/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n16http://www.confsearch.org/confsearch/faces/pages/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n12http://
n11http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://theorymatters.org/
owlhttp://www.w3.org/2002/07/owl#
n14http://ja.dbpedia.org/resource/Category:
n8http://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://cstheory.stackexchange.com/
n9http://ja.dbpedia.org/resource/ファイル:
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q2878974
owl:sameAs
dbpedia-ja:理論計算機科学
Subject Item
dbpedia-ja:12月31日
dbo:wikiPageWikiLink
dbpedia-ja:理論計算機科学
Subject Item
dbpedia-ja:Digidesign
dbo:wikiPageWikiLink
dbpedia-ja:理論計算機科学
Subject Item
dbpedia-ja:P≠NP予想
dbo:wikiPageWikiLink
dbpedia-ja:理論計算機科学
Subject Item
dbpedia-ja:TCS
dbo:wikiPageWikiLink
dbpedia-ja:理論計算機科学
Subject Item
dbpedia-ja:アルゴリズム
dbo:wikiPageWikiLink
dbpedia-ja:理論計算機科学
Subject Item
dbpedia-ja:アヴィ・ヴィグダーソン
dbo:wikiPageWikiLink
dbpedia-ja:理論計算機科学
prop-en:fields
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-en:field
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:理論計算機科学
prop-en:field
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-en:fields
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
理論計算機科学(りろんけいさんきかがく、英語:theoretical computer science)または理論コンピュータ科学は、計算機を理論的に研究する学問で、計算機科学の一分野である。計算機を数理モデル化して数学的に研究することを特徴としている。「数学的」という言葉は広義には公理的に扱えるもの全てを指すので、理論計算機科学は広義の数学の一分野でもある。理論計算機科学では、現実のコンピュータを扱うことも多いが、チューリングマシンなどの計算モデルを扱うことも多い。 この分野のテーマの例を以下に挙げる(特に意図や理由のある選出ではない)。 * 計算理論:ある関数に対する計算の可能性や複雑性を追求する学問。 * ラムダ計算:計算機のモデルの一つであるラムダ計算を研究する学問。 * アルゴリズム論:ある関数に対する具体的な算法の考案、あるいは既存の算法の解析を行う学問。 * プログラム意味論: プログラムあるいはプログラミング言語の形式意味論
owl:sameAs
freebase:m.01vtwr
dct:subject
n14:理論計算機科学 n14:数学に関する記事 n14:形式科学
dbo:wikiPageID
361257
dbo:wikiPageRevisionID
90057552
dbo:wikiPageWikiLink
dbpedia-ja:1990年代 dbpedia-ja:ヘッブの法則 dbpedia-ja:計算モデル dbpedia-ja:チューリングマシン n9:SimplexRangeSearching.png dbpedia-ja:ジョージ・ブール n9:Elliptic_curve_simple.png n9:DFAexample.svg dbpedia-ja:MITコンピュータ科学・人工知能研究所 dbpedia-ja:数論 dbpedia-ja:多項式時間 dbpedia-ja:数理論理学 dbpedia-ja:データ構造 dbpedia-ja:クルト・ゲーデル n14:数学に関する記事 dbpedia-ja:最大公約数 dbpedia-ja:コネクショニズム dbpedia-ja:コンピューティング dbpedia-ja:暗号理論 n14:理論計算機科学 dbpedia-ja:数学 dbpedia-ja:クロード・シャノン dbpedia-ja:スティーヴン・コール・クリーネ n9:Blochsphere.svg dbpedia-ja:アルゴリズム dbpedia-ja:サブルーチン dbpedia-ja:データベース dbpedia-ja:コンピュータネットワーク dbpedia-ja:オートマトン dbpedia-ja:機械学習 dbpedia-ja:ドナルド・ヘッブ dbpedia-ja:公開鍵暗号 n14:形式科学 dbpedia-ja:並列計算 n9:Nuvola_apps_edu_mathematics-p.svg dbpedia-ja:公理 n9:Nuvola_apps_edu_mathematics_blue-p.svg dbpedia-ja:英語 dbpedia-ja:通信の数学的理論 dbpedia-ja:分散コンピューティング dbpedia-ja:1948年 dbpedia-ja:ピーター・ショア dbpedia-ja:波動関数 dbpedia-ja:学問 dbpedia-ja:ブール代数 dbpedia-ja:ブール論理 n9:Commutative_diagram_for_morphism.svg dbpedia-ja:計算複雑性理論 dbpedia-ja:1938年 dbpedia-ja:計算生物学 dbpedia-ja:プログラム意味論 dbpedia-ja:ゲーデルの不完全性定理 dbpedia-ja:計算理論 dbpedia-ja:経済モデル dbpedia-ja:計算機科学 dbpedia-ja:計算機科学の未解決問題 dbpedia-ja:量子コンピュータ dbpedia-ja:1931年 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:Association_for_Computing_Machinery dbpedia-ja:論理学 dbpedia-ja:圏論 dbpedia-ja:アロンゾ・チャーチ dbpedia-ja:ニューラルネットワーク n9:6n-graf.svg dbpedia-ja:計算機 dbpedia-ja:二進法 dbpedia-ja:計算幾何学 dbpedia-ja:数理モデル dbpedia-ja:アルゴリズム論
dbo:wikiPageExternalLink
n4: n12:www.confsearch.org n15:webpages.php n16:topic.jsp%3Ftopic=Theory&sortMode=1&graphicView=1 n17: n18:browse.php n20:
prop-en:wikiPageUsesTemplate
template-en:脚注ヘルプ template-en:Sci-stub template-en:Quote template-en:ウィキプロジェクトリンク template-en:ウィキポータルリンク template-en:Reflist template-en:Authority_control template-en:仮リンク
foaf:depiction
n11:Blochsphere.svg n11:Elliptic_curve_simple.png n11:Nuvola_apps_edu_mathematics-p.svg n11:Nuvola_apps_edu_mathematics_blue-p.svg n11:DFAexample.svg n11:6n-graf.svg n11:SimplexRangeSearching.png n11:Commutative_diagram_for_morphism.svg
dbo:thumbnail
n11:DFAexample.svg?width=300
dbo:abstract
理論計算機科学(りろんけいさんきかがく、英語:theoretical computer science)または理論コンピュータ科学は、計算機を理論的に研究する学問で、計算機科学の一分野である。計算機を数理モデル化して数学的に研究することを特徴としている。「数学的」という言葉は広義には公理的に扱えるもの全てを指すので、理論計算機科学は広義の数学の一分野でもある。理論計算機科学では、現実のコンピュータを扱うことも多いが、チューリングマシンなどの計算モデルを扱うことも多い。 この分野のテーマの例を以下に挙げる(特に意図や理由のある選出ではない)。 * 計算理論:ある関数に対する計算の可能性や複雑性を追求する学問。 * ラムダ計算:計算機のモデルの一つであるラムダ計算を研究する学問。 * アルゴリズム論:ある関数に対する具体的な算法の考案、あるいは既存の算法の解析を行う学問。 * プログラム意味論: プログラムあるいはプログラミング言語の形式意味論
dbo:wikiPageLength
6700
prov:wasDerivedFrom
n8:理論計算機科学?oldid=90057552&ns=0
foaf:isPrimaryTopicOf
n8:理論計算機科学
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:理論コンピュータ科学
dbo:wikiPageWikiLink
dbpedia-ja:理論計算機科学
dbo:wikiPageRedirects
dbpedia-ja:理論計算機科学
Subject Item
n8:理論計算機科学
foaf:primaryTopic
dbpedia-ja:理論計算機科学