証明

証明

ある命題が真であることを示す有限の記号列。

Coqでは、tacticとGallinaを使って記述される。

* はてなダイアリーキーワード：証明

「証明」を含む日記

2011-01-29
- yoshihiro503の日記
2010-11-12
- yoshihiro503の日記
2010-08-29
- keigoiの日記
2010-03-31
- yoshihiro503の日記
2009-12-05
- mzpの日記
2009-11-26
- mzpの日記
2009-11-25
- mzpの日記
2009-11-24
- mzpの日記
2009-11-23
- mzpの日記

「証明」を含むキーワード

2010/12/02 08:02:47 はじめの一歩
2010/05/17 09:46:55 ペアプルービング
2010/12/09 16:31:42 clear
2010/05/22 17:15:53 Coq
2010/08/30 22:34:53 Coq庵

「証明」へのトラックバック (17) -

2012-04-24 22:40:43 みずぴー日記 - SCM Boot Camp in Nagoyaに行って、Darcsの紹介してきました
2011-12-31 21:41:27 みずぴー日記 - 2011年の振り替えり
2011-12-05 19:01:01 みずぴー日記 - Show Scriptコマンドによる証明の整形
2011-11-15 20:33:22 みずぴー日記 - LL名古屋発表資料『Coq/GaLLinaによる証明駆動開発の魅力』
2011-11-11 20:41:38 みずぴー日記 - VSTTE Competition参加記録
2011-09-28 20:05:23 みずぴー日記 - ProofSummit 2011 で『CoqによるMsgPackシリアライザの証明と実装』という話をしました。
2011-04-05 19:39:41 みずぴー日記 - MessagePack for OCamlを公開しました
2009-04-11 11:00:46 にわとり小屋でのプログラミング日記 - SICPのEx 2.4 をCoqで解いてみた
2009-03-18 22:39:20 にわとり小屋でのプログラミング日記 - Coqで、クイックソート
2009-01-24 11:16:09 にわとり小屋でのプログラミング日記 - Coqで高精度計算サイト