Hiromi Ishii

Hiromi Ishii
    • Japan
  • Work Graduate Student
  • Industry Technology / Software / Internet
  • Website htttp://konn-san.com
  • About 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.

View all Likes