Rchr
J-GLOBAL ID:201101027050749497   Update date: Dec. 08, 2015

Kazuhiro Inaba

イナバ カズヒロ | Kazuhiro Inaba
Affiliation and department:
Job title: Researcher
Homepage URL  (1): http://www.kmonos.net/
Research field  (1): Fundamental theory of informatics
Research keywords  (6): Programming Language ,  Bidirectional Transformation ,  Graph Transformation ,  Tree Transducer ,  Automaton ,  XML
Research theme for competitive and other funds  (3):
  • 2010 - 2013 Study on Language Foundation for Bidirectional Model Transformation
  • 2010 - 2011 Towards Model Transformation Validation from Model Validation
  • 2006 - 2008 XML processing system based on formal logic
Papers (19):
  • T. Soma, N. Kakimura, K. Inaba, K. Kawarabayashi. Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm. Proceedings of ICML'14. 2014
  • N. Kobayashi, K. Inaba, T. Tsukada. Unsafe Order-2 Tree Languages are Context-Sensitive. Proceedings of FoSSaCS'14. 2014
  • K. Matsuda, K. Inaba, K. Nakano. Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals. Higher-Order and Symbolic Computation. 2013. 25. 1. 3-38
  • Kazuhiro Inaba. Cute Algorithms. Programming Symposium 2012 Summer "Beautiful Code" reports. 2013. 75-82
  • K. Matsuda, K. Inaba, and K. Nakano. Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals. Proceedings of PEPM'12. 2012
more...
Books (5):
  • Boost C++ Library Programming
    Shuwa System 2004 ISBN:4798007862
  • Google Maps API Ultimate Guide
    Mycom 2006 ISBN:4839921474
  • Boost C++ Libraries Programming 2nd Ed.
    Shuwa System 2007 ISBN:4798017043
  • Programmers' Grimoire Vol.1
    Longgate 2010 ISBN:978-4-9905296-0-4
  • Programmers' Grimoire Vol.2
    Longgate 2011 ISBN:978-4-9905296-2-8
Professional career (1):
  • Doctor of Computer Science
Work history (5):
  • 2002/04 - 2004/03 University of Tokyo, Department of Information Science
  • 2004/04 - 2006/03 Graduate School of Computer Science, the University of Tokyo Master Cource Student
  • 2006/04 - 2009/03 Graduate School of Computer Science, the University of Tokyo PhD Course Student
  • 2009/04 - 2011/03 National Institute of Informatics Researcher
  • 2011/04 - 現在 Google Inc. Software Engineer
Committee career (9):
  • 2015/04 - 現在 Information Technology Standard Commission of Japan SC 22/C++ WG Member
  • - 2014/03 SAC 2014 PC Member
  • - 2014/03 PPL 2014 PC Member
  • - 2013/12 APLAS 2013 PC Member
  • - 2012/06 TTATT 2012 PC Member
Show all
Awards (8):
  • 2014/04 - ETAPS 2014 EATCS Best Paper Award
  • 2012/01 - ACM SIGPLAN PEPM Workshop Best Paper Award
  • 2010/04 - FFIT 9th Funai Research Promotion Award
  • 2008/11 - Google Code Jam World Finals 29th Place
  • 2006/09 - ACM-SIGPLAN ICFP Programming Contest 2nd Place
Show all
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page