For the audio browser users

Move to the content area

researchmap

日本語EnglishSign up

Kazuhiro Inaba

Last updated: 09/12/18 16:46

Name	Kazuhiro Inaba
Nickname	kinaba
e-mail	kinabanii.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

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/