Inaba Kazuhiro

イナバカズヒロ | Inaba Kazuhiro

Affiliation and department：
Job title： Software Engineer
Homepage URL (1)： http://www.kmonos.net/

Research field (2)： Information theory , Information theory

Research keywords (12)： Bidirectional Transformation , Programming Language , プログラミング言語 , 双方向変換 , Graph Transformation , Tree Transducer , Automaton , XML , グラフ変換 , ツリートランスデューサ , オートマトン , 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 (23)：

T. Soma, N. Kakimura, K. Inaba, K. Kawarabayashi. Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm. Proceedings of ICML'14. 2014
Naoki Kobayashi, Kazuhiro Inaba, Takeshi Tsukada. Unsafe order-2 tree languages are context-sensitive. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2014. 8412. 149-163
Kazuhiro Inaba. Cute Algorithms. Programming Symposium 2012 Summer "Beautiful Code" reports. 2013. 75-82
Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano. Polynomial-time inverse computation for accumulative functions with multiple data traversals. Higher-Order and Symbolic Computation. 2012. 25. 1. 3-38
K. Matsuda, K. Inaba, K. Nakano. Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals. Proceedings of PEPM'12. 2012

ｍore...

MISC (5)：

Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato. Simulation-based Graph Schema for View Updatability Checking of Graph Queries. GRACE Technical Report (GRACE-TR-2011-01). 2011
篠埜功, HU Zhenjiang, 日高宗一郎, 稲葉一浩, 加藤弘之, 中野圭介. GRoundTramによるATLの双方向化の実現. 日本ソフトウエア科学会大会講演論文集(CD-ROM). 2011. 28th. ROMBUNNO.7C-2
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano. Towards State-based Interface to a Graph Roundtrip Transformation System GRoundTram (poster). Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, November 22 - December 1, 2010. 2010
Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato. Range Analysis of Graph Transformation for Simulation-based Schema (poster). Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, November 22 - December 1, 2010. 2010
Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano. Complete Validation of Graph Transformations. GRACE Technical Report GRACE-TR-2010-04. 2010

Books (5)：

Programmers' Grimoire Vol.2
Longgate 2011 ISBN:9784990529628
Programmers' Grimoire Vol.1
Longgate 2010 ISBN:9784990529604
Boost C++ Libraries Programming 2nd Ed.
Shuwa System 2007 ISBN:4798017043
Google Maps API Ultimate Guide
Mycom 2006 ISBN:4839921474
Boost C++ Library Programming
Shuwa System 2004 ISBN:4798007862

Professional career (1)：

Doctor of Computer Science

Work history (10)：

2011/04 - 現在 Google Inc. Software Engineer
2011/04 - 現在 Google Inc. Software Engineer
2009/04 - 2011/03 National Institute of Informatics Researcher
2009/04 - 2011/03 National Institute of Informatics
2006/04 - 2009/03 Graduate School of Computer Science, the University of Tokyo PhD Course Student

Show all

Committee career (18)：

2015/04 - 現在 Information Technology Standard Commission of Japan SC 22/C++ WG Member
2015/04 - 現在情報規格調査会 SC 22/C++ WG 委員
- 2014/03 SAC 2014 PC Member
- 2014/03 PPL 2014 PC Member
- 2014/03 PPL 2014 PC Member

Show all

Awards (12)：

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
2010/04 - 船井情報科学振興財団第9回船井研究奨励賞
2008/11 - Google Code Jam World Finals 29th 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