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

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

発表したこと

NGK忘年会 2010 / CoqからRubyへ

View more presentations from mzpi.

発表動画@Ustream

CoqPartyのスライドの使いまわしです。
Coq楽しいよ、盛り上ってるよ、って話をだらだらしてきました。

Coq入門記事

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

• プログラマのための Coq - zyxwvの日記
• ガリク先生の講義資料
• 浅井先生のゼミ資料

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

懇親会の感想・メモ

• Scala座でニアミスした[twitter:@PG_kura]さんとやっと話せた
• [twitter:@fate_fox]がしっかりしすぎててビビる
• Boost.勉強会 名古屋は4月ごろ開催予定 by [twitter:@bleis]
• 2月ごろに温泉にとまりこみでハッカソンやりたいね。仮タイトル:「NagoyaHackathon #2〜リリカル温泉〜」
• [twitter:@wof_moriguchi]さんは次回のわんくまでF#かCoqの話をする