Hatena::ブログ(Diary)

みずぴー日記 Twitter

2010-12-05(日)

NGK忘年会2010でCoqの紹介をしてきました

| NGK忘年会2010でCoqの紹介をしてきましたを含むブックマーク

DSC_0386.JPG

NGK忘年会2010(昼の部) : ATNDという名古屋の全コミュニティ合同の忘年会に参加してきました。

発表したこと

発表動画@Ustream

CoqPartyのスライドの使いまわしです。

Coq楽しいよ、盛り上ってるよ、って話をだらだらしてきました。

Coq入門記事

上のスライドでCoqに興味を持ってくれた人が数人いるらしいので、入門記事へのリンクを貼っておきます。

あとProofCafeもよろしくお願いします。

懇親会の感想・メモ

トラックバック - http://d.hatena.ne.jp/mzp/20101205/ngk