Kazuhiro Inaba Last updated: 10/08/23 22:22
Name
Kazuhiro Inaba Nickname
kinaba e-mail
kinaba Affiliation
National Institute of Informatics, Japan Section
Information Systems Architecture Research Division Job title
Researcher Degree
Doctor of Computer Science Research funding number
30570311
Papers Kazuhiro Inaba and Haruo Hosoya
Theoretical Computer Science 411(38-39) 3481-3492 Aug 2010 [Refereed]
Journal version of the CIAA'09 paper with full proofs and more refined complexity analysis.
Bidirectionalizing Graph Transformations
S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, and K. Nakano
Proceedings of ICFP'10 (to appear) Sep 2010 [Refereed]
Kazuhiro Inaba and Haruo Hosoya
Proceedings of CIAA'09 94-104 Jul 2009 [Refereed]
Despite that the number of the elements of the answer set of
-ary regular query over a tree
can be as large as
, our representation allows to store the set using only
space, yet allowing efficient implementation of basic operations on the sets.
Kazuhiro Inaba
Doctoral Thesis (The University of Tokyo) Mar 2009 [Refereed]
Recompliation of the work publised at PLAN-X'08, CIAA'08, FSTTCS'08, and PLAN-X'09. The space complexities are, however, now reduced to
.
Kazuhiro Inaba and Sebastian Maneth
Proceedings of PLAN-X'09 Jan 2009 [Refereed]
Translation membership (is
?) for (1)
is in
(2)
is
(3)
is in
and
.
Biblio Boost C++ Librariesプログラミング
Kazuhiro Inaba
秀和システム Jul 2007 ISBN:4798017043
Google Maps API徹底活用ガイド
Kazuhiro Inaba
毎日コミュニケーションズ Sep 2006 ISBN:4839921474
Boost C++ Libraryプログラミング
Kazuhiro Inaba
秀和システム May 2004 ISBN:4798007862
Prizes Apr 2010
FFIT 9th Funai Research Promotion Award
Nov 2008
Google Code Jam World Finals 29th Place
Sep 2006
ACM-SIGPLAN ICFP Programming Contest 2nd Place
Mar 2003
ACM/ICPC Programming Contest World Finals (Beverly Hills) 11th Place
Dec 2001
MADO-NO-MORI OTEGARU-Software Prize
Career Apr 2009
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
Other
PC Member: PPL 2011
PC Member: X-Schemas 2009
PC Member: BenchmarX 2010
nii.ac.jp