Software Developer, co-founder of DIGGLE (https://diggle.jp) Ruby / JavaScript / OCaml, studied Type Theory, Theorem Prover
Location
Tokyo
Organization
DIGGLE Inc.
Participating Organizations(1)
Following Organizations
No Organizations you are following
Find Tags to follow
Search Tags