サクサク読めて、アプリ限定の機能も多数!
somemo のブックマーク 2013/10/10 05:40
迷路の試験問題を解いてみた - にわとり小屋でのプログラミング[algorithm][coq][OCaml]2013/10/10 05:40
このブックマークにはスターがありません。 最初のスターをつけてみよう!
yosh.hateblo.jp2010/01/19
参考:人材獲得作戦・4 試験問題ほか: 人生を書き換える者すらいた。 Lv4に評価されるためには、最短性の完全なチェックが必要だったのでCoqで証明してみた。 まず、accessiblesという関数を定義し、以下の性質...
27 人がブックマーク・5 件のコメント
\ コメントが サクサク読める アプリです /
somemo のブックマーク 2013/10/10 05:40
このブックマークにはスターがありません。
最初のスターをつけてみよう!
迷路の試験問題を解いてみた - にわとり小屋でのプログラミング
yosh.hateblo.jp2010/01/19
参考:人材獲得作戦・4 試験問題ほか: 人生を書き換える者すらいた。 Lv4に評価されるためには、最短性の完全なチェックが必要だったのでCoqで証明してみた。 まず、accessiblesという関数を定義し、以下の性質...
27 人がブックマーク・5 件のコメント
\ コメントが サクサク読める アプリです /