Katsujukou Kineya

Kobe, Japan Functional Programming Enthusiast. I'm interested in: - Functional Programming - Logico-mathematical structures of programming - Formal Verification