Personal Information
Organización/Lugar de trabajo
nagoya Japan
Ocupación
Software Developer
Acerca de
新米SEになりました。
Etiquetas
coq
proof driven
msgpack
scala
type checking
formal
proof
ocaml
ruby
messagepack
wankuma
coq ruby
Ver más
Presentaciones
(23)Personal Information
Organización/Lugar de trabajo
nagoya Japan
Ocupación
Software Developer
Acerca de
新米SEになりました。
Etiquetas
coq
proof driven
msgpack
scala
type checking
formal
proof
ocaml
ruby
messagepack
wankuma
coq ruby
Ver más