Software Developer, co-founder of DIGGLE (https://diggle.jp) Ruby / JavaScript / OCaml, studied Type Theory, Theorem Prover