Software Developer, co-founder of DIGGLE (https://diggle.jp) Ruby / JavaScript / OCaml, studied Type Theory, Theorem Prover
Location
Tokyo
Organization
DIGGLE Inc.
Following Organizations
No Organizations you are following
Contributions
article is Liked
article is Stocked
posted an article
posted an article
article is Stocked
article is Liked
article is Liked