coqとは? わかりやすく解説

コ‐キュー【CoQ】

読み方:こきゅー

coenzyme Q》⇒ユビキノン


Coq

名前 コック

COQ

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/30 05:21 UTC 版)

COQ, Coq, coq




「COQ」の続きの解説一覧

Coq

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/06/01 22:15 UTC 版)

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




「Coq」の続きの解説一覧

Coq

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/13 06:25 UTC 版)

自動推論」の記事における「Coq」の解説

フランスで開発され証明支援システムで、仕様記述から実行可能なプログラム自動生成できる(生成するソースコードOCamlまたはHaskell)。仕様記述証明記述使われる言語Calculus of Inductive Constructions (CIC) と呼ばれている。

※この「Coq」の解説は、「自動推論」の解説の一部です。
「Coq」を含む「自動推論」の記事については、「自動推論」の概要を参照ください。

ウィキペディア小見出し辞書の「coq」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「coq」の関連用語

coqのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



coqのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
デジタル大辞泉デジタル大辞泉
(C)Shogakukan Inc.
株式会社 小学館
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのCOQ (改訂履歴)、Coq (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの自動推論 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2024 GRAS Group, Inc.RSS