Hiroki Mizuno
23 SlideShares 96 Seguidores 69 Seguindos
Personal Information
Organização/Local de trabalho
nagoya Japan
Cargo
Software Developer
Sobre
新米SEになりました。
Marcadores
coq proof driven msgpack scala type checking formal proof ocaml ruby messagepack wankuma coq ruby
Ver mais
  • Documentos
  • Infográficos
Mais recentes Mais populares

TypeSafe OSの試み

Há 10 anos • 3245 Visualizações

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

Há 10 anos • 10767 Visualizações

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

Há 11 anos • 7138 Visualizações

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

Há 11 anos • 1722 Visualizações

Java基礎

Há 11 anos • 1273 Visualizações

Sml#探検隊

Há 11 anos • 1014 Visualizações

どこでもCoq

Há 11 anos • 1709 Visualizações

Coq for Moblie Phone @ ML名古屋

Há 11 anos • 1507 Visualizações

Darcs紹介@20120423-scmbc

Há 12 anos • 9012 Visualizações

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

Há 12 anos • 3741 Visualizações

CoqによるMsgPackの証明

Há 12 anos • 2160 Visualizações

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

Há 12 anos • 4215 Visualizações

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

Há 13 anos • 1249 Visualizações

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

Há 13 anos • 2687 Visualizações

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

Há 13 anos • 1346 Visualizações

Coqによる証明駆動開発

Há 13 anos • 3072 Visualizações

NGK忘年会 2010 / CoqからRubyへ

Há 13 anos • 582 Visualizações

From Coq to Ruby / CoqからRubyへ

Há 13 anos • 1217 Visualizações

SacalaZa #1

Há 13 anos • 678 Visualizações

CoqUn2010

Há 13 anos • 2782 Visualizações