Hiroki Mizuno
23 SlideShares 96 Abonné 69 Suivis
Personal Information
Entreprise/Lieu de travail
nagoya Japan
Profession
Software Developer
À propos
新米SEになりました。
Mots-clés
coq proof driven msgpack scala type checking formal proof ocaml ruby messagepack wankuma coq ruby
Tout plus
  • Documents
  • Infographies
Plus récents Les plus populaires

TypeSafe OSの試み

il y a 10 ans • 3245 Vues

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

il y a 10 ans • 10767 Vues

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

il y a 11 ans • 7137 Vues

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

il y a 11 ans • 1722 Vues

Java基礎

il y a 11 ans • 1273 Vues

Sml#探検隊

il y a 11 ans • 1014 Vues

どこでもCoq

il y a 11 ans • 1709 Vues

Coq for Moblie Phone @ ML名古屋

il y a 11 ans • 1507 Vues

Darcs紹介@20120423-scmbc

il y a 12 ans • 9012 Vues

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

il y a 12 ans • 3741 Vues

CoqによるMsgPackの証明

il y a 12 ans • 2160 Vues

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

il y a 12 ans • 4215 Vues

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

il y a 13 ans • 1249 Vues

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

il y a 13 ans • 2687 Vues

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

il y a 13 ans • 1346 Vues

Coqによる証明駆動開発

il y a 13 ans • 3072 Vues

NGK忘年会 2010 / CoqからRubyへ

il y a 13 ans • 582 Vues

From Coq to Ruby / CoqからRubyへ

il y a 13 ans • 1217 Vues

SacalaZa #1

il y a 13 ans • 678 Vues

CoqUn2010

il y a 13 ans • 2782 Vues