サクサク読めて、アプリ限定の機能も多数！
“正しくて厳格な仕様書というのは、いうなれば自然言語で書かれたプログラムそのものと言ってもいいわけで、それがプログラムより先に書けるならプログラマはこんな苦労しないよ、という気もしますね。”
shaphere939 のブックマーク 2013/12/07 10:12
このブックマークにはスターがありません。 最初のスターをつけてみよう！
blog-randmax.azurewebsites.net2013/12/06
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってた...
421 人がブックマーク・92 件のコメント
＼ コメントが サクサク読める アプリです ／
“正しくて厳格な仕様書というのは、いうなれば自然言語で書かれたプログラムそのものと言ってもいいわけで、それがプログラムより先に書けるならプログラマはこんな苦労しないよ、という気もしますね。”
このブックマークにはスターがありません。
最初のスターをつけてみよう！
プログラムに証明が付く日 | RANDMAX
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってた...
421 人がブックマーク・92 件のコメント
＼ コメントが サクサク読める アプリです ／