An OCaml programmer at IT Planning Inc. Loves Haskell, OCaml and Pi-calculi and their type system. Was an researcher at a university but now does programming tasks (relatively) well.

• (Relatively) Fluent in OCaml, Haskell, Java, C++ and JavaScript.
• Sometimes write Android applications (got 10,000+ DLs : https://sites.google.com/site/keigoattic/home/marbling-demo).