NGK忘年会 2010 / CoqからRubyへ

1,346 views

Published on

  • Be the first to comment

  • Be the first to like this

NGK忘年会 2010 / CoqからRubyへ

  1. 1. From Coq to RubyCoq Ruby / @mzp 2010/12/4 NGK
  2. 2. •• SE• http://twitter.com/mzp
  3. 3. Proof Cafe• 4• @• Coq• CPDT••
  4. 4. Coq••• !
  5. 5. SkillMaps 2• http://skillmaps.appspot.com/skilllist.html•↑ OCaml 83 Coq 71 Scala 69 .... C# 26
  6. 6. Coq2010/8/29
  7. 7. NagoyaHackathon 2010/10/9
  8. 8. CoqParty 2010/11/27
  9. 9. Extraction• Coq • Coq → OCaml • Coq → Haskell • Coq → Scheme• • Coq → Ruby @ Hackathon
  10. 10. &
  11. 11. • Coq !!• Coq ProofCafe( ) • 12/18( )•
  12. 12. • NagoyaRubyKaigi 02• 2011 2 26 ↑

×