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

event

DSC_0386.JPG

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

発表したこと

NGK忘年会 2010 / CoqからRubyへ
View more presentations from mzpi.
発表動画@Ustream

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

Coq入門記事

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

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

懇親会の感想・メモ

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