Coqは、証明支援システムの一つ。Coqの核はプログラミング言語を用いる。フランス国立情報学自動制御研究所のPI.R2チーム(PPS研究所内にある)が、エコール・ポリテクニーク、フランス国立工芸院、パリ第7大学、パリ第11大学と(かつてリヨン高等師範学校とも)共同して開発している。Hugo Herbelinが事実上の開発代表者である。

Property Value
dbo:abstract
  • Coqは、証明支援システムの一つ。Coqの核はプログラミング言語を用いる。フランス国立情報学自動制御研究所のPI.R2チーム(PPS研究所内にある)が、エコール・ポリテクニーク、フランス国立工芸院、パリ第7大学、パリ第11大学と(かつてリヨン高等師範学校とも)共同して開発している。Hugo Herbelinが事実上の開発代表者である。 (ja)
  • Coqは、証明支援システムの一つ。Coqの核はプログラミング言語を用いる。フランス国立情報学自動制御研究所のPI.R2チーム(PPS研究所内にある)が、エコール・ポリテクニーク、フランス国立工芸院、パリ第7大学、パリ第11大学と(かつてリヨン高等師範学校とも)共同して開発している。Hugo Herbelinが事実上の開発代表者である。 (ja)
dbo:latestReleaseVersion
  • 8.10.2
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2827761 (xsd:integer)
dbo:wikiPageLength
  • 3483 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 91323745 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:wikiPageUsesTemplate
prop-ja:スクリーンショット
  • 240 (xsd:integer)
prop-ja:プログラミング言語
prop-ja:ライセンス
prop-ja:ロゴ
prop-ja:公式サイト
prop-ja:初版
  • 4.100000 (xsd:double)
prop-ja:名称
  • Coq (ja)
  • Coq (ja)
prop-ja:対応os
prop-ja:対応言語
  • 多言語対応 (ja)
  • 多言語対応 (ja)
prop-ja:最新版
  • 8.100000 (xsd:double)
prop-ja:種別
  • 定理証明支援系 (ja)
  • 定理証明支援系 (ja)
prop-ja:開発者
  • フランス国立情報学自動制御研究所, パリ第7大学, エコール・ポリテクニーク, パリ第11大学, リヨン高等師範学校 (ja)
  • フランス国立情報学自動制御研究所, パリ第7大学, エコール・ポリテクニーク, パリ第11大学, リヨン高等師範学校 (ja)
dct:subject
rdf:type
rdfs:comment
  • Coqは、証明支援システムの一つ。Coqの核はプログラミング言語を用いる。フランス国立情報学自動制御研究所のPI.R2チーム(PPS研究所内にある)が、エコール・ポリテクニーク、フランス国立工芸院、パリ第7大学、パリ第11大学と(かつてリヨン高等師範学校とも)共同して開発している。Hugo Herbelinが事実上の開発代表者である。 (ja)
  • Coqは、証明支援システムの一つ。Coqの核はプログラミング言語を用いる。フランス国立情報学自動制御研究所のPI.R2チーム(PPS研究所内にある)が、エコール・ポリテクニーク、フランス国立工芸院、パリ第7大学、パリ第11大学と(かつてリヨン高等師範学校とも)共同して開発している。Hugo Herbelinが事実上の開発代表者である。 (ja)
rdfs:label
  • Coq (ja)
  • Coq (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • Coq (ja)
  • Coq (ja)
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is prop-ja:influencedBy of
is owl:sameAs of
is foaf:primaryTopic of