稲葉一浩

イナバカズヒロ | Inaba Kazuhiro

所属機関・部署：
職名： Software Engineer
ホームページURL (1件)： http://www.kmonos.net/

研究分野 (2件)：情報学基礎論 , 情報学基礎論

研究キーワード (12件)： Bidirectional Transformation , Programming Language , プログラミング言語 , 双方向変換 , Graph Transformation , Tree Transducer , Automaton , XML , グラフ変換 , ツリートランスデューサ , オートマトン , XML

競争的資金等の研究課題 (3件)：

2010 - 2013 双方向モデル変換の言語的基盤技術に関する研究
2010 - 2011 モデルの型検査からモデル変換の型検査へ
2006 - 2008 形式論理に基づくXML処理システム

論文 (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
稲葉一浩. キュート・アルゴリズム. 夏のプログラミング・シンポジウム2012「ビューティフルコード」報告集. 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

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

書籍 (5件)：

プログラミングの魔導書 Vol.2
ロングゲート 2011 ISBN:9784990529628
プログラミングの魔導書 Vol.1
ロングゲート 2010 ISBN:9784990529604
Boost C++ Librariesプログラミング第2版
秀和システム 2007 ISBN:4798017043
Google Maps API徹底活用ガイド
毎日コミュニケーションズ 2006 ISBN:4839921474
Boost C++ Libraryプログラミング
秀和システム 2004 ISBN:4798007862

学位 (1件)：

博士(情報理工学)

経歴 (10件)：

2011/04 - 現在 Google Inc. Software Engineer
2011/04 - 現在 Google Inc. Software Engineer
2009/04 - 2011/03 国立情報学研究所
2009/04 - 2011/03 国立情報学研究所特任研究員
2006/04 - 2009/03 Graduate School of Computer Science, the University of Tokyo PhD Course Student

全件表示

委員歴 (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

全件表示

受賞 (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

全件表示

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

稲葉 一浩

稲葉一浩