Kazuhiro Inaba

J-GLOBAL         Last updated: Dec 8, 2015 at 15:15
Kazuhiro Inaba
National Institute of Informatics
Information Systems Architecture Research Division
Job title
Doctor of Computer Science
Research funding number
Twitter ID

Research Areas


Published Papers

T. Soma, N. Kakimura, K. Inaba, K. Kawarabayashi
Proceedings of ICML'14      Jun 2014   [Refereed]
N. Kobayashi, K. Inaba, T. Tsukada
Proceedings of FoSSaCS'14      Apr 2014   [Refereed]
K. Matsuda, K. Inaba, K. Nakano
Higher-Order and Symbolic Computation   25(1) 3-38   Sep 2013   [Refereed]
Journal versoin of PEPM'12 paper.
Kazuhiro Inaba
Programming Symposium 2012 Summer "Beautiful Code" reports   75-82   Jan 2013
K. Matsuda, K. Inaba, and K. Nakano
Proceedings of PEPM'12      Jan 2012   [Refereed]

Books etc

Programmers' Grimoire Vol.2
Dave Abrahams, 江添 亮, 小泉 将久, Masahiro Nakagawa, k.inaba, 水島 宏太, shelarcy, 菊池 正史, 近藤 貴俊, 柏田 知洋 (Part:Contributor, The Door To Dependent Types)
Longgate   Oct 2011   ISBN:978-4-9905296-2-8
Programmers' Grimoire Vol.1
Bjarne Stroustrup, 江添亮, 近藤貴俊, Egtra, melpon, 高橋晶, K.Inaba, zak, digitalghost, 津川知朗 (Part:Contributor, Hello,C++ World!)
Longgate   Aug 2010   ISBN:978-4-9905296-0-4
Boost C++ Libraries Programming 2nd Ed.
Kazuhiro Inaba
Shuwa System   Jul 2007   ISBN:4798017043
Google Maps API Ultimate Guide
Kazuhiro Inaba
Mycom   Sep 2006   ISBN:4839921474
Boost C++ Library Programming
Kazuhiro Inaba
Shuwa System   May 2004   ISBN:4798007862

Awards & Honors

Apr 2014
EATCS Best Paper Award, ETAPS 2014
Jan 2012
Best Paper Award, ACM SIGPLAN PEPM Workshop
Apr 2010
9th Funai Research Promotion Award, FFIT
Nov 2008
29th Place, Google Code Jam World Finals
Sep 2006
2nd Place, ACM-SIGPLAN ICFP Programming Contest

Academic & Professional Experience

Apr 2011
Software Engineer, Google Inc.
Apr 2009
Mar 2011
Researcher, National Institute of Informatics
Apr 2006
Mar 2009
PhD Course Student, Graduate School of Computer Science, the University of Tokyo
Apr 2004
Mar 2006
Master Cource Student, Graduate School of Computer Science, the University of Tokyo
Apr 2002
Mar 2004
University of Tokyo, Department of Information Science

Research Grants & Projects

Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(B))
Project Year: 2010 - 2013    Investigator(s): Zhenjiang HU
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(挑戦的萌芽研究)
Project Year: 2010 - 2011    Investigator(s): Zhenjiang HU
Japan Society for the Promotion of Science: Grant-in-Aid for JSPS Fellows
Project Year: 2006 - 2008    Investigator(s): Kazuhiro Inaba

Committee Memberships

Apr 2015
Information Technology Standard Commission of Japan  SC 22/C++ WG Member
Mar 2014
SAC 2014  PC Member
Mar 2014
PPL 2014  PC Member
Dec 2013
APLAS 2013  PC Member
Jun 2012
TTATT 2012  PC Member
Mar 2012
PPL 2012  PC Member
Mar 2011
PPL 2011  PC Member
Apr 2010
BenchmarX 2010  PC Member
Sep 2009
X-Schemas 2009  PC Member