2010-11-27(土)
CoqPratyで『CoqからRubyへ』という発表をしてきた
CoqPartyに参加してきました。すっげー楽しかった。
発表したこと
From Coq to Ruby / CoqからRubyへ
View more presentations from mzpi.
- CoqのRuby Extractionを書いたときの話をしてきました。
- Extractionを書けば、どの勉強会にもCoqの話で乗り込めるよ!
- 内容がid:yoshihiro503さんとかぶってたので、生成されたコードの解説をメインでしてました。
感想
コメントを書く
トラックバック - http://d.hatena.ne.jp/mzp/20101127/coqparty
リンク元
- 134 http://1-byte.jp/2010/11/30/team_development/
- 45 http://reader.livedoor.com/reader/
- 34 http://www.kt.rim.or.jp/~kbk/zakkicho/
- 32 http://twitter.com/
- 19 http://d.hatena.ne.jp/
- 19 http://www.google.co.jp/search?q=git+submodule&ie=utf-8&oe=utf-8&aq=t&rls=org.mozilla:ja-JP-mac:official&hl=ja&client=firefox-a
- 17 https://www.google.co.jp/
- 16 http://www.kt.rim.or.jp/~kbk/zakkicho/index.html
- 14 http://b.hatena.ne.jp/t/ruby
- 14 http://pipes.yahoo.com/pipes/pipe.info?_id=242f50e5030d8e9e73ce52013bcbf820
