Wrong confirmation ID ×

Hiromi Ishii

    • Japan
  • Work Undergraduate Student at Dept. of Math, School of Fundamenta Science and Engineering, Waseda Univ.l

  • Industry Technology / Software / Internet

  • Website

    blog.konn-san.com

  • About I’m studying Math at Waseda University. My interests are mathematical logic, set theory, category 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.

Not following anyone yet.

Tags (22)

alloy analyzer development formal methods functional generic programming ghc haskell instant-generics intern mystery arts crime pfi pfiseminar programming programming th haskell functional seminar syb techtalk template haskell type web yesod 形式手法

alloy analyzer development formal methods functional generic programming ghc haskell instant-generics intern mystery arts crime pfi pfiseminar programming programming th haskell functional seminar syb techtalk template haskell type web yesod 形式手法 …less

Hiromi Ishii's updates Load more