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

Présentations

(23)
Tout voir

CoqでGCの証明をしてみたよ(LT)

il y a 13 ans • 1033 Vues

Proove Mark&Sweep GC with Coq

il y a 13 ans • 925 Vues

OCamlAPISearchの紹介

il y a 13 ans • 717 Vues

CoqUn2010

il y a 13 ans • 2782 Vues

SacalaZa #1

il y a 13 ans • 678 Vues

From Coq to Ruby / CoqからRubyへ

il y a 13 ans • 1217 Vues

NGK忘年会 2010 / CoqからRubyへ

il y a 13 ans • 582 Vues

Coqによる証明駆動開発

il y a 13 ans • 3072 Vues

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

il y a 13 ans • 1346 Vues

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

il y a 13 ans • 2687 Vues

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

il y a 12 ans • 1249 Vues

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

il y a 12 ans • 4215 Vues

CoqによるMsgPackの証明

il y a 12 ans • 2160 Vues

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

il y a 12 ans • 3741 Vues

Darcs紹介@20120423-scmbc

il y a 12 ans • 9005 Vues

Coq for Moblie Phone @ ML名古屋

il y a 11 ans • 1507 Vues

どこでもCoq

il y a 11 ans • 1709 Vues

Sml#探検隊

il y a 11 ans • 1014 Vues

Java基礎

il y a 11 ans • 1273 Vues

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

il y a 11 ans • 1722 Vues

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

il y a 11 ans • 7136 Vues

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

il y a 10 ans • 10766 Vues

TypeSafe OSの試み

il y a 10 ans • 3245 Vues
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