SlideShare a Scribd company
  • Home
  • Explore
  • Upload
  • Login
  • Signup
SlideShare a Scribd company
  • Upload
  • Home
  • Explore
  • Login
  • Signup
×
×
×
×
×
×

Hiromi Ishii

Hiromi Ishii
  • Following Follow   Processing…
  • 19 SlideShares
  • 34 Followers
  • 0 Clipboards

Modal header

One fine body…

    • 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.
Twitter
Followers (34)
  • Takayuki Goto
  • Shuhei Sakurai
  • ssuser9634de
  • Kan Sakamoto
  • Daisuke Kanaizumi
  • yano takafumi
Following (3)
  • Yuma Kurogome
  • T. Suwa
  • Hiroshi Takase

View all Likes

  • A new technique for proving non regularity based on the measure of a language A new technique for proving n... by sinya8282 6 years ago
  • EPUBのナビゲーションを理解しよう EPUBのナビゲーションを理解しよう by lost_and_f... 9 years ago
  • パターン認識と機械学習入門 パターン認識と機械学習入門 by mmktakahashi 9 years ago
  • About
  • Support
  • Terms
  • Privacy
  • Copyright

© 2022 SlideShare from Scribd
  • English
  • Español
  • Português
  • Français
  • Deutsch