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
Following tags(9)See all
Following Organizations
No following Organizations
Find Organizations to follow
Search Organizations