サクサク読めて、アプリ限定の機能も多数!
Proof Driven Development
Hash のブックマーク 2012/01/27 11:26
Coqによる証明駆動開発で Merge Sort プログラムをつくってみた - にわとり小屋でのプログラミング[development][OCaml][scheme]Proof Driven Development2012/01/27 11:26
このブックマークにはスターがありません。 最初のスターをつけてみよう!
yosh.hateblo.jp2009/12/07
OCaml合宿で帰りの車の中でid:zyxwv さんにMergeSortの正しさをどうやって証明するか聞かれてとっさに証明できなかったので、合宿から帰ったあとに一生懸命証明してみた。 プログラムと証明の全体はこちら: yoshi...
18 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /
Proof Driven Development
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Coqによる証明駆動開発で Merge Sort プログラムをつくってみた - にわとり小屋でのプログラミング
OCaml合宿で帰りの車の中でid:zyxwv さんにMergeSortの正しさをどうやって証明するか聞かれてとっさに証明できなかったので、合宿から帰ったあとに一生懸命証明してみた。 プログラムと証明の全体はこちら: yoshi...
18 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /