• http://ja.wcontology.org/resource/Category:数値解析 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:理論計算機科学
• http://ja.wcontology.org/resource/Category:アルゴリズム的情報理論 ( describe )
  • http://wcontology.org/core#instanceOf ( describe )
    • http://ja.wcontology.org/resource/Category:理論計算機科学
• http://ja.wcontology.org/resource/Category:型理論 ( describe )
  • http://wcontology.org/core#instanceOf ( describe )
    • http://ja.wcontology.org/resource/Category:理論計算機科学
• http://ja.wcontology.org/resource/Category:情報理論 ( describe )
  • http://wcontology.org/core#instanceOf ( describe )
    • http://ja.wcontology.org/resource/Category:理論計算機科学
• http://ja.wcontology.org/resource/Category:進化的計算 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:理論計算機科学
• http://ja.wcontology.org/resource/Category:コンビネータ論理 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:理論計算機科学
• http://ja.wcontology.org/resource/Category:理論計算機科学の定理 ( describe )
  • http://wcontology.org/core#usedForConstraint ( describe )
    • http://ja.wcontology.org/resource/Category:理論計算機科学
• http://ja.wcontology.org/resource/Category:理論計算機科学者 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:理論計算機科学
• http://ja.wcontology.org/resource/Category:電子計算の数学 ( describe )
  • http://wcontology.org/core#subClassOf ( describe )
    • http://ja.wcontology.org/resource/Category:理論計算機科学
• http://ja.wcontology.org/resource/Category:形式言語 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:理論計算機科学
• http://ja.wcontology.org/resource/Category:理論計算機科学 ( describe )
  • http://www.w3.org/2002/07/owl#sameAs ( describe )
    • http://en.wcontology.org/resource/Category:Theoretical_computer_science
    • http://ja.dbpedia.org/resource/Category:理論計算機科学
  • http://www.w3.org/1992/02/22-rdf-syntax-ns#type ( describe )
    • http://wcontology.org/core#setCategory
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:理論
  • http://www.w3.org/ns/prov#wasDerivedFrom ( describe )
    • http://ja.wikipedia.org/wiki/Category:理論計算機科学?oldid=62460561
  • http://wcontology.org/core#subClassOf ( describe )
    • http://ja.wcontology.org/resource/Category:数学
    • http://ja.wcontology.org/resource/Category:計算機科学
• http://ja.wcontology.org/resource/Category:計算理論 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:理論計算機科学
• http://ja.wcontology.org/resource/Category:計算複雑性理論 ( describe )
  • http://wcontology.org/core#narrower ( describe )
    • http://ja.wcontology.org/resource/Category:理論計算機科学