What is it, naokirin?

2012-03-22から1日間の記事一覧

来春プログラミングする人のためのTODO list

来春プログラミングするのは私です。人にお勧めしたいことも含みつつ、書いてみることにします。(自分のために書いているので、やってないことも含みますがご了承ください。) Coq http://coq.inria.fr/ 定理証明支援器として知られるCoqです。 特定の値に対…