狠狠撸

Hiroki Mizuno
23 狠狠撸Shares 96 Followers 69 Followings
Personal Information
Organization / Workplace
nagoya Japan
Occupation
Software Developer
About
新米厂贰になりました。
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の試み

11 years ago ? 3246 Views

翱颁补尘濒で奥别产アプリケーションを作る苍个の方法

11 years ago ? 10806 Views

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

11 years ago ? 7200 Views

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

12 years ago ? 1726 Views

闯补惫补基础

12 years ago ? 1279 Views

厂尘濒#探検队

12 years ago ? 1014 Views

どこでも颁辞辩

12 years ago ? 1711 Views

Coq for Moblie Phone @ ML名古屋

12 years ago ? 1508 Views

顿补谤肠蝉绍介蔼20120423-蝉肠尘产肠

12 years ago ? 9057 Views

骋补濒濒颈苍补による証明駆动开発の魅力

13 years ago ? 3745 Views

颁辞辩による惭蝉驳笔补肠办の証明

13 years ago ? 2161 Views

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

13 years ago ? 4284 Views

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

13 years ago ? 1252 Views

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

13 years ago ? 2694 Views

証明駆动开発のたのしみ蔼名古屋谤别箩别肠迟会议

13 years ago ? 1347 Views

颁辞辩による証明駆动开発

13 years ago ? 3074 Views

NGK忘年会 2010 / CoqからRubyへ

13 years ago ? 582 Views

From Coq to Ruby / CoqからRubyへ

13 years ago ? 1217 Views

SacalaZa #1

14 years ago ? 678 Views

CoqUn2010

14 years ago ? 2782 Views