researchmap

日本語English 新規登録

ログイン

閉じる

パスワード紛失

稲葉　一浩

おとなりの研究者 |

胡振江 04/09 更新	中野圭介 08/02 更新
井上克巳 04/09 更新	龍田　真 04/05 更新
金沢誠 05/18 更新	宇野毅明 07/02 更新

稲葉　一浩

更新日: 10/06/28 12:39

研究者氏名	稲葉　一浩
ハンドル	kinaba
eメール	kinabanii.ac.jp
URL	http://www.kmonos.net/
所属	国立情報学研究所
部署	アーキテクチャ科学研究系
職名	特任研究員
学位	博士（情報理工学）
科研費研究者番号	30570311

プロフィール

プログラミング言語理論に興味をもって情報科学の道に進んできましたが、最近では、正規言語や文脈自由言語をはじめとする、形式言語理論に興味のフォーカスがうつってきています。

研究キーワード

プログラミング言語(8) , 双方向変換(3) , グラフ変換(3) , ツリートランスデューサ(1) , オートマトン(1) , XML(10)

研究分野

情報学 / 情報学基礎(93) / 形式言語理論

論文

テキストで表示1 2 3 >

Bidirectionalizing Graph Transformations

S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, and K. Nakano

Proceedings of ICFP'10 (to appear) 2010年 [査読有り]

Compact Representation for Answer Sets of n-ary Regular Queries

Kazuhiro Inaba and Haruo Hosoya

Theoretical Computer Science 2010年 [査読有り]

Journal version of the CIAA'09 paper with full proofs and more refined complexity analysis.

Compact Representation for Answer Sets of n-ary Regular Queries

Kazuhiro Inaba and Haruo Hosoya

Proceedings of CIAA'09 94-104 2009年7月 [査読有り]

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

Doctoral Thesis (The University of Tokyo) 2009年3月 [査読有り]

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 2009年1月 [査読有り]

Translation membership (is

?) for (1)

is in

(2)

is

(3)

is in

and

.

書籍

テキストで表示

Boost C++ Librariesプログラミング

稲葉一浩

秀和システム 2007年7月 ISBN:4798017043

Google Maps API徹底活用ガイド

稲葉一浩

毎日コミュニケーションズ 2006年9月 ISBN:4839921474

Boost C++ Libraryプログラミング

稲葉一浩

秀和システム 2004年5月 ISBN:4798007862

受賞

テキストで表示1 2 >

2010年4月

船井情報科学振興財団第9回船井研究奨励賞

2008年11月

Google Code Jam World Finals 29th Place

2006年9月

ACM-SIGPLAN ICFP Programming Contest 2nd Place

2006年3月

東京大学大学院情報理工学系研究科研究科長賞

2003年3月

ACM/ICPC Programming Contest World Finals (Beverly Hills) 11th Place

経歴

テキストで表示

2009年4月

-

現在

国立情報学研究所特任研究員

2006年4月

-

2009年3月

東京大学大学院情報理工学系研究科コンピュータ科学専攻博士課程

2004年4月

-

2006年3月

東京大学大学院情報理工学系研究科コンピュータ科学専攻修士課程

2002年4月

-

2004年3月

東京大学理学部情報科学科

その他

PC Member: BenchmarX 2010
http://ulita.ms.mff.cuni.cz/ws/BenchmarX10/

PC Member: X-Schemas 2009
http://ulita.ms.mff.cuni.cz/ws/X-Schemas09/