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

Statements

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