You need to have JavaScript enabled to use this page.
日本語
English
Sign up
Home
Researcher Search
Community Search
Kazuhiro Inaba
My portal
Neighbors |
Following
Zhenjiang Hu
11/01
, updated
Keisuke Nakano
08/02
, updated
Katsumi Inoue
06/30
, updated
Kenji Hatano
06/05
, updated
佐藤健
12/21
, updated
Makoto Kanazawa
12/09
, updated
more..
Kazuhiro Inaba
Last updated: 09/12/18 16:46
Name
Kazuhiro Inaba
Nickname
kinaba
e-mail
kinaba
nii.ac.jp
URL
http://www.kmonos.net/
Affiliation
National Institute of Informatics, Japan
Section
Information Systems Architecture Research Division
Job title
Researcher
Degree
Doctor of Computer Science
Research funding number
30570311
Research keyword
Programming Language(2)
,
Bidirectional Transformation(1)
,
Graph Transformation(1)
,
Tree Transducer(1)
,
Automaton(1)
,
XML(1)
Research area
Informatics /
Fundamental theory of informatics(15)
/ Formal Language
Papers
1
2
>
Compact Representation for Answer Sets of n-ary Regular Queries
Kazuhiro Inaba
Proceedings of CIAA'09 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.
Complexity and Expressiveness of Models of XML Translations
Kazuhiro Inaba
Doctoreal 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
.
The Complexity of Translation Membership for Macro Tree Transducers
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
.
The Complexity of Tree Transducer Output Languages
Kazuhiro Inaba and Sebastian Maneth
Proceedings of FSTTCS'08 244-255 Dec 2008
[Refereed]
Membership problem of
is in
and
. Corollary: OI-hierarchy (higher-order context-free grammar) is in
, and hence is context-sensitive.
Multi-Return Macro Tree Transducers
Kazuhiro Inaba and Haruo Hosoya and Sebastian Maneth
Lecture Note in Computer Science (Proceedings of CIAA'08) 5148 102-111 Jul 2008
[Refereed]
Multi-return
have good closure property on composition:
.
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
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
Dec 2001
Internet Association Japan OSP2001
Career
Mar 2009
National Institute of Informatics Researcher
Apr 2006
-
Mar 2009
Graduate School of Computer Science, the University of Tokyo PhD Course Student
Apr 2004
-
Mar 2006
Graduate School of Computer Science, the University of Tokyo Master Cource Student
Apr 2002
-
Mar 2004
University of Tokyo, Department of Information Science
Other
PC Member of X-Schemas 2009
http://ulita.ms.mff.cuni.cz/ws/X-Schemas09/
PC Member of BenchmarX 2010
http://ulita.ms.mff.cuni.cz/ws/BenchmarX10/