Hatena::ブログ(Diary)

みずぴー日記 Twitter

2010-11-27(土)

CoqPratyで『CoqからRubyへ』という発表をしてきた

CoqPratyで『CoqからRubyへ』という発表をしてきたを含むブックマーク

DSC_0385.JPG

CoqPartyに参加してきました。すっげー楽しかった。

発表したこと

  • CoqRuby Extractionを書いたときの話をしてきました。
  • Extractionを書けば、どの勉強会にもCoqの話で乗り込めるよ!
  • 内容がid:yoshihiro503さんとかぶってたので、生成されたコードの解説をメインでしてました。

感想

トラックバック - http://d.hatena.ne.jp/mzp/20101127/coqparty