Hideyuki Tanaka / 田中英行 (a.k.a. tanakh)

I am a software engineer in Japan. My current interests are functional programming, type-theory and compiler implementation.

Softwares

Skills

Programming Languages

  • Haskell, C/C++, x86/64 asm (well)
  • OCaml (w/o O), Scheme, Java, Scala, C#, F#, Python, PHP, Lua (normal)
  • Clean, Visual Basic (previously used)
  • Ruby, JavaScript, Perl (readonly)
  • Coq, Agda (learning)

Education

Experiences

ACM International Collegiate Programming Contest (ACM-ICPC)

Team “Combat” from Kyoto University.

The ICFP Programming Contest

Others