shun_mizukami

status

• Software developer in Tokyo
• Co-founder, CTO at DIGGLE K. K.

skills

• Ruby
• JavaScript
• less than 1y or hobby = OCaml / Scala / Coq / Go / Python
• Product Management
• Web Marketing

studied

• Theorem Prover (Coq)
• Type Theory
• Math

links

• GitHub
• Blog
• LinkedIn
• Wantedly
• Twitter
• Facebook
• Instagram

contact

shun(at)mizukami.sh