�ݺ�ߣ

Graduate Student

Technology / Software / Internet

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.