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

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

Links

• Twitter (@tanakh)
• GitHub (tanakh)
• Qiita (tanakh)
• TopCoder (haskell-master)
• Codeforces (tanakh)
• Old Blog (Japanese)

Softwares

• Haskell Implementation of MessagePack
  • msgpack
  • msgpack-rpc
• cmdline: A Command Line Parser fo C++
• Shu-thing: A vector shooter game
• hoe: Haskell One-liner Evaluator
• NES Emulator
  • C++ Implementation
  • Java Implementation
• Gameboy Advance Emulator
• oscm: A Scheme Interpreter written in OCaml
• HongoDB: A Simple Key Value Store

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

• 2006-2007 Graduate School of Information Science and Technology, The University of Tokyo
• 2001-2005 Dept. of Information Science, Kyoto University
• 1998-2000 Rakunan High School

Experiences

ACM International Collegiate Programming Contest (ACM-ICPC)

Team “Combat” from Kyoto University.

• 2004 Asia Regional: 1st Place
• 2004-2005 World Finals: 29th Place
• 2005 Asia Regional: 1st Place
• 2005-2006 World Finals: 19th Place

The ICFP Programming Contest

• 2004: 3rd Place as team “hasKilled”
• 2005: Third prize as team “Combat-Tanteidan” “Haskell is not too shabby.”
• 2010: First place as team “Pure Pure Code ++” “C++, Haskell, Python are the programming languages of choice for discriminating hackers.”
• 2011: 3rd Place as team “atomically $ save Madoka”

Others

• 第一回京都大学総長賞 (1st Annual President Prize of Kyoto University)
• Google Code Jam 2008: 43th Place