Hiroki Mizuno
23 SlideShares 96 Followers 69 Followings
Personal Information
Organization / Workplace
nagoya Japan
Occupation
Software Developer
About
新米SEになりました。
Tags
coq proof driven msgpack scala type checking formal proof ocaml ruby messagepack wankuma coq ruby
See more
  • Documents
  • Infographics
Latest Most Popular

TypeSafe OSの試み

10 years ago • 3245 Views

OCamlでWebアプリケーションを作るn個の方法

10 years ago • 10769 Views

#NGK2012B Excelによる設計書について

11 years ago • 7142 Views

Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について

11 years ago • 1723 Views

Java基礎

11 years ago • 1273 Views

Sml#探検隊

11 years ago • 1014 Views

どこでもCoq

11 years ago • 1709 Views

Coq for Moblie Phone @ ML名古屋

11 years ago • 1507 Views

Darcs紹介@20120423-scmbc

12 years ago • 9012 Views

Gallinaによる証明駆動開発の魅力

12 years ago • 3741 Views

CoqによるMsgPackの証明

12 years ago • 2160 Views

「Frama-Cによるソースコード検証」 (mzp)

13 years ago • 4217 Views

20110424 action scriptを使わないflash勉強会

13 years ago • 1249 Views

Coq to Rubyによる証明駆動開発@名古屋ruby会議02

13 years ago • 2688 Views

証明駆動開発のたのしみ@名古屋reject会議

13 years ago • 1346 Views

Coqによる証明駆動開発

13 years ago • 3072 Views

NGK忘年会 2010 / CoqからRubyへ

13 years ago • 582 Views

From Coq to Ruby / CoqからRubyへ

13 years ago • 1217 Views

SacalaZa #1

13 years ago • 678 Views

CoqUn2010

13 years ago • 2782 Views