Hiroki Mizuno, profile picture

Hiroki Mizuno

23 Slideshow
Sort by
TypeSafe OSの試み
byHiroki Mizuno
 
OCamlでWebアプリケーションを作るn個の方法
byHiroki Mizuno
 
#NGK2012B Excelによる設計書について
byHiroki Mizuno
 
Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について
byHiroki Mizuno
 
Java基礎
byHiroki Mizuno
 
Sml#探検隊
byHiroki Mizuno
 
どこでもCoq
byHiroki Mizuno
 
Coq for Moblie Phone @ ML名古屋
byHiroki Mizuno
 
Darcs紹介@20120423-scmbc
byHiroki Mizuno
 
Gallinaによる証明駆動開発の魅力
byHiroki Mizuno
 
CoqによるMsgPackの証明
byHiroki Mizuno
 
「Frama-Cによるソースコード検証」 (mzp)
byHiroki Mizuno
 
20110424 action scriptを使わないflash勉強会
byHiroki Mizuno
 
Coq to Rubyによる証明駆動開発@名古屋ruby会議02
byHiroki Mizuno
 
証明駆動開発のたのしみ@名古屋reject会議
byHiroki Mizuno