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
$ analyze @mizukami234
posted articles:
- Ruby:50%
- 数理論理学:50%
- シークエント計算:50%
- Rails:50%
- ActiveRecord:50%
answered questions:
- No data