Coq and Why : Formal Verification Tools
2. 自己紹介ハンドル名 : tmiyaBlog : Functional Programming Memohttp://study-func-prog.blogspot.com/Scalaとか主として関数型言語関係の勉強のメモ仕事 :SIer勤務（時々プログラミングの仕事）興味: 形式手法（モデル検査とか定理証明とか）、関数型言語とか2007- : Scala普及活動“A Scala Tutorial for Java Programmer” を和訳Step by Step Scala講師を数回ITproにScala 2.8の記事を書きました形式仕様 : まだまだ勉強中Coq : 社内勉強会向けにちょっと調べたAgda : 産総研のセミナーを聞いたB-method : 先日セミナーを聞いたという訳で、専門家じゃないです。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Formal methods20100529
