Personal Information
Occupation
Graduate Student
Industry
Technology / Software / Internet
Website
htttp://konn-san.comAbout
I'm studying Math at University of Tsukuba.
My main interests are mathematical logic, set theory, computability theory and type theroy. I'd love to write programs in Haskell. This slideshare account provides slides mainly about Haskell, functional programming and formal methods.
Contact Details
