Submit Search
Upload
From Coq to Ruby / CoqからRubyへ
•
2 likes
•
1,217 views
Hiroki Mizuno
Follow
CoqPartyで話した内容
Read less
Read more
Report
Share
Report
Share
1 of 22
Download now
Download to read offline
Recommended
C++勉強会in広島プレゼン資料
C++勉強会in広島プレゼン資料
真一 北原
C++勉強会in広島の発表スライドです
TypeSafe OSの試み
TypeSafe OSの試み
Hiroki Mizuno
OCamlでWebアプリケーションを作るn個の方法
OCamlでWebアプリケーションを作るn個の方法
Hiroki Mizuno
#NGK2012B Excelによる設計書について
#NGK2012B Excelによる設計書について
Hiroki Mizuno
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について
Hiroki Mizuno
タイトルまちがえた..。決定性→決定可能性です。
Java基礎
Java基礎
Hiroki Mizuno
Sml#探検隊
Sml#探検隊
Hiroki Mizuno
どこでもCoq
どこでもCoq
Hiroki Mizuno
Recommended
C++勉強会in広島プレゼン資料
C++勉強会in広島プレゼン資料
真一 北原
C++勉強会in広島の発表スライドです
TypeSafe OSの試み
TypeSafe OSの試み
Hiroki Mizuno
OCamlでWebアプリケーションを作るn個の方法
OCamlでWebアプリケーションを作るn個の方法
Hiroki Mizuno
#NGK2012B Excelによる設計書について
#NGK2012B Excelによる設計書について
Hiroki Mizuno
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について
Hiroki Mizuno
タイトルまちがえた..。決定性→決定可能性です。
Java基礎
Java基礎
Hiroki Mizuno
Sml#探検隊
Sml#探検隊
Hiroki Mizuno
どこでもCoq
どこでもCoq
Hiroki Mizuno
Coq for Moblie Phone @ ML名古屋
Coq for Moblie Phone @ ML名古屋
Hiroki Mizuno
Darcs紹介@20120423-scmbc
Darcs紹介@20120423-scmbc
Hiroki Mizuno
#scmbc のLTで使ったDarcsの紹介スライド
Gallinaによる証明駆動開発の魅力
Gallinaによる証明駆動開発の魅力
Hiroki Mizuno
CoqによるMsgPackの証明
CoqによるMsgPackの証明
Hiroki Mizuno
ProofSummit2011 http://partake.in/events/ac41261d-6026-4d09-8814-5ad3e58446e8 における発表
「Frama-Cによるソースコード検証」 (mzp)
「Frama-Cによるソースコード検証」 (mzp)
Hiroki Mizuno
20110424 action scriptを使わないflash勉強会
20110424 action scriptを使わないflash勉強会
Hiroki Mizuno
Coq to Rubyによる証明駆動開発@名古屋ruby会議02
Coq to Rubyによる証明駆動開発@名古屋ruby会議02
Hiroki Mizuno
証明駆動開発のたのしみ@名古屋reject会議
証明駆動開発のたのしみ@名古屋reject会議
Hiroki Mizuno
Coqによる証明駆動開発
Coqによる証明駆動開発
Hiroki Mizuno
わんくま同盟 名古屋勉強会 #16 http://www.wankuma.com/seminar/20110115nagoya16/Default.aspx で使う予定だったスライド。 証明駆動開発の簡単な紹介。じゃっかんTDDにケンカを売ってる:)
NGK忘年会 2010 / CoqからRubyへ
NGK忘年会 2010 / CoqからRubyへ
Hiroki Mizuno
SacalaZa #1
SacalaZa #1
Hiroki Mizuno
CoqUn2010
CoqUn2010
Hiroki Mizuno
OCamlAPISearchの紹介
OCamlAPISearchの紹介
Hiroki Mizuno
Proove Mark&Sweep GC with Coq
Proove Mark&Sweep GC with Coq
Hiroki Mizuno
CoqでGCの証明をしてみたよ(LT)
CoqでGCの証明をしてみたよ(LT)
Hiroki Mizuno
More Related Content
More from Hiroki Mizuno
Coq for Moblie Phone @ ML名古屋
Coq for Moblie Phone @ ML名古屋
Hiroki Mizuno
Darcs紹介@20120423-scmbc
Darcs紹介@20120423-scmbc
Hiroki Mizuno
#scmbc のLTで使ったDarcsの紹介スライド
Gallinaによる証明駆動開発の魅力
Gallinaによる証明駆動開発の魅力
Hiroki Mizuno
CoqによるMsgPackの証明
CoqによるMsgPackの証明
Hiroki Mizuno
ProofSummit2011 http://partake.in/events/ac41261d-6026-4d09-8814-5ad3e58446e8 における発表
「Frama-Cによるソースコード検証」 (mzp)
「Frama-Cによるソースコード検証」 (mzp)
Hiroki Mizuno
20110424 action scriptを使わないflash勉強会
20110424 action scriptを使わないflash勉強会
Hiroki Mizuno
Coq to Rubyによる証明駆動開発@名古屋ruby会議02
Coq to Rubyによる証明駆動開発@名古屋ruby会議02
Hiroki Mizuno
証明駆動開発のたのしみ@名古屋reject会議
証明駆動開発のたのしみ@名古屋reject会議
Hiroki Mizuno
Coqによる証明駆動開発
Coqによる証明駆動開発
Hiroki Mizuno
わんくま同盟 名古屋勉強会 #16 http://www.wankuma.com/seminar/20110115nagoya16/Default.aspx で使う予定だったスライド。 証明駆動開発の簡単な紹介。じゃっかんTDDにケンカを売ってる:)
NGK忘年会 2010 / CoqからRubyへ
NGK忘年会 2010 / CoqからRubyへ
Hiroki Mizuno
SacalaZa #1
SacalaZa #1
Hiroki Mizuno
CoqUn2010
CoqUn2010
Hiroki Mizuno
OCamlAPISearchの紹介
OCamlAPISearchの紹介
Hiroki Mizuno
Proove Mark&Sweep GC with Coq
Proove Mark&Sweep GC with Coq
Hiroki Mizuno
CoqでGCの証明をしてみたよ(LT)
CoqでGCの証明をしてみたよ(LT)
Hiroki Mizuno
More from Hiroki Mizuno
(15)
Coq for Moblie Phone @ ML名古屋
Coq for Moblie Phone @ ML名古屋
Darcs紹介@20120423-scmbc
Darcs紹介@20120423-scmbc
Gallinaによる証明駆動開発の魅力
Gallinaによる証明駆動開発の魅力
CoqによるMsgPackの証明
CoqによるMsgPackの証明
「Frama-Cによるソースコード検証」 (mzp)
「Frama-Cによるソースコード検証」 (mzp)
20110424 action scriptを使わないflash勉強会
20110424 action scriptを使わないflash勉強会
Coq to Rubyによる証明駆動開発@名古屋ruby会議02
Coq to Rubyによる証明駆動開発@名古屋ruby会議02
証明駆動開発のたのしみ@名古屋reject会議
証明駆動開発のたのしみ@名古屋reject会議
Coqによる証明駆動開発
Coqによる証明駆動開発
NGK忘年会 2010 / CoqからRubyへ
NGK忘年会 2010 / CoqからRubyへ
SacalaZa #1
SacalaZa #1
CoqUn2010
CoqUn2010
OCamlAPISearchの紹介
OCamlAPISearchの紹介
Proove Mark&Sweep GC with Coq
Proove Mark&Sweep GC with Coq
CoqでGCの証明をしてみたよ(LT)
CoqでGCの証明をしてみたよ(LT)
Editor's Notes
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
Download now