稲葉一浩 (Kazuhiro Inaba) - マイポータル

基本情報

所属: Google Inc. Software Engineer

学位: 博士（情報理工学）

研究者番号: 30570311
J-GLOBAL ID: 201101027050749497
researchmap会員ID: B000000197

外部リンク: http://www.kmonos.net/

See http://www.kmonos.net/ for the detail of my activities.

研究キーワード

研究分野

論文

Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm

T. Soma, N. Kakimura, K. Inaba, K. Kawarabayashi

Proceedings of ICML'14 2014年6月査読有り
Unsafe order-2 tree languages are context-sensitive

Naoki Kobayashi, Kazuhiro Inaba, Takeshi Tsukada

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8412 149-163 2014年査読有り
キュート・アルゴリズム

稲葉一浩

夏のプログラミング・シンポジウム2012「ビューティフルコード」報告集 75-82 2013年1月
Polynomial-time inverse computation for accumulative functions with multiple data traversals

Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano

Higher-Order and Symbolic Computation 25(1) 3-38 2012年3月1日査読有り
Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals

K. Matsuda, K. Inaba, K. Nakano

Proceedings of PEPM'12 2012年1月査読有り
Marker-Directed Optimization of UnCAL Graph Transformations

S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Nakano, I. Sasano

Proceedings of LOPSTR'11 2011年7月査読有り
模倣に基づくグラフスキーマを利用したビュー更新可能性判定

中野圭介, 日高宗一郎, 胡振江, 稲葉一浩, 加藤弘之

Proceedings of PPL'11 2011年3月査読有り
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano

2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings 480-483 2011年査読有り
Graph-Transformation Verification using Monadic Second-Order Logic

Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano

PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING 17-28 2011年査読有り
Toward bidirectionalization of ATL with GRoundTram

Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6707 138-151 2011年査読有り
Bidirectionalizing Graph Transformations

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakana

ACM SIGPLAN NOTICES 45(9) 205-216 2010年9月査読有り
Compact representation for answer sets of n-ary regular queries

Kazuhiro Inaba, Haruo Hosoya

THEORETICAL COMPUTER SCIENCE 411(38-39) 3481-3492 2010年8月査読有り
Bidirectionalizing Graph Transformations

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano

ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING 205-216 2010年査読有り
Bidirectionalizing Structural Recursion on Graphs

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano

日本ソフトウェア科学会第26回大会 , 島根大学（松江キャンパス）, 2009年9月16日(水)～18日(金) 2009年9月
Complexity and Expressiveness of Models of XML Translations

Kazuhiro Inaba

Doctoral Thesis (The University of Tokyo) 2009年3月査読有り
Compact Representation for Answer Sets of n-ary Regular Queries

Kazuhiro Inaba, Haruo Hosoya

IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS 5642 94-104 2009年査読有り
The Complexity of Translation Membership for Macro Tree Transducers

Kazuhiro Inaba, Sebastian Maneth

Proceedings of PLAN-X'09 2009年1月査読有り
The Complexity of Tree Transducer Output Languages

Kazuhiro Inaba, Sebastian Maneth

Proceedings of FSTTCS'08 244-255 2008年12月査読有り
Multi-return macro tree transducers

Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth

IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS 5148 102-+ 2008年査読有り
XML Transformation Language Based on Monadic Second Order Logic

Kazuhiro Inaba, Haruo Hosoya

Proceedings of PLAN-X'07 49-60 2007年1月査読有り

もっとみる

書籍等出版物

プログラミングの魔導書 Vol.2

Dave Abrahams, 江添亮, 小泉将久, Masahiro Nakagawa, k.inaba, 水島宏太, shelarcy, 菊池正史, 近藤貴俊, 柏田知洋 (担当:分担執筆, 範囲:The Door To Dependent Types)

ロングゲート 2011年10月 (ISBN: 9784990529628)
プログラミングの魔導書 Vol.1

Bjarne Stroustrup, 江添亮, 近藤貴俊, Egtra, melpon, 高橋晶, K.Inaba, zak, digitalghost, 津川知朗 (担当:分担執筆, 範囲:Hello,C++ World!)

ロングゲート 2010年8月 (ISBN: 9784990529604)
Boost C++ Librariesプログラミング第2版

稲葉一浩

秀和システム 2007年7月 (ISBN: 4798017043)
Google Maps API徹底活用ガイド

稲葉一浩

毎日コミュニケーションズ 2006年9月 (ISBN: 4839921474)
Boost C++ Libraryプログラミング

稲葉一浩

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

受賞

2014年4月

EATCS Best Paper Award, ETAPS 2014

稲葉一浩
2012年1月

Best Paper Award, ACM SIGPLAN PEPM Workshop

稲葉一浩
2010年4月

9th Funai Research Promotion Award, FFIT

稲葉一浩
2010年4月

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

稲葉一浩
2008年11月

29th Place, Google Code Jam World Finals
2006年9月

2nd Place, ACM-SIGPLAN ICFP Programming Contest
2006年3月

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

稲葉一浩
2003年3月

11th Place, ACM/ICPC Programming Contest World Finals (Beverly Hills)
2001年12月

OTEGARU-Software Prize, MADO-NO-MORI

稲葉一浩
2001年12月

お手軽ソフト賞, 窓の杜大賞

稲葉一浩
2001年12月

OSP2001, Internet Association Japan

稲葉一浩
2001年12月

オンラインソフトウェア大賞：入賞, 財団法人インターネット協会

稲葉一浩

経歴

2011年4月 - 現在

Google Inc., Software Engineer
2011年4月 - 現在

Google Inc., Software Engineer
2009年4月 - 2011年3月

国立情報学研究所
2009年4月 - 2011年3月

国立情報学研究所, 特任研究員
2006年4月 - 2009年3月

Graduate School of Computer Science, the University of Tokyo, PhD Course Student
2006年4月 - 2009年3月

東京大学大学院情報理工学系研究科コンピュータ科学専攻, 博士課程
2004年4月 - 2006年3月

Graduate School of Computer Science, the University of Tokyo, Master Cource Student
2004年4月 - 2006年3月

東京大学大学院情報理工学系研究科コンピュータ科学専攻, 修士課程
2002年4月 - 2004年3月

University of Tokyo, Department of Information Science
2002年4月 - 2004年3月

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

MISC

Simulation-based Graph Schema for View Updatability Checking of Graph Queries

Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato

GRACE Technical Report (GRACE-TR-2011-01) 2011年5月
GRoundTramによるATLの双方向化の実現

篠埜功, HU Zhenjiang, 日高宗一郎, 稲葉一浩, 加藤弘之, 中野圭介

日本ソフトウエア科学会大会講演論文集(CD-ROM) 28th ROMBUNNO.7C-2 2011年
Towards State-based Interface to a Graph Roundtrip Transformation System GRoundTram (poster)

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano

Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, November 22 - December 1, 2010 2010年12月
Range Analysis of Graph Transformation for Simulation-based Schema (poster)

Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato

Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, November 22 - December 1, 2010 2010年12月
Complete Validation of Graph Transformations

Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano

GRACE Technical Report GRACE-TR-2010-04 2010年5月

共同研究・競争的資金等の研究課題

双方向モデル変換の言語的基盤技術に関する研究

文部科学省科学研究費補助金(基盤研究(B)) 基盤研究(B) 2010年 - 2013年

胡振江, 稲葉一浩, 日高宗一郎, 加藤弘之, 稲葉一弘, 中野圭介, 篠埜功, 江本健斗, 松田一孝
モデルの型検査からモデル変換の型検査へ

文部科学省科学研究費補助金(挑戦的萌芽研究) 挑戦的萌芽研究 2010年 - 2011年

胡振江, 稲葉一浩, 日高宗一郎, 加藤弘之
形式論理に基づくXML処理システム

日本学術振興会科学研究費補助金・特別研究員奨励費 2006年 - 2008年

稲葉一浩

委員歴

2015年4月 - 現在

Information Technology Standard Commission of Japan, SC 22/C++ WG Member
2015年4月 - 現在

情報規格調査会, SC 22/C++ WG 委員
- 2014年3月

SAC 2014, PC Member
- 2014年3月

PPL 2014, PC Member
- 2014年3月

PPL 2014, PC Member
- 2014年3月

SAC 2014, PC Member
- 2013年12月

APLAS 2013, PC Member
- 2013年12月

APLAS 2013, PC Member
- 2012年6月

TTATT 2012, PC Member
- 2012年6月

TTATT 2012, PC Member
- 2012年3月

PPL 2012, PC Member
- 2012年3月

PPL 2012, PC Member
- 2011年3月

PPL 2011, PC Member
- 2011年3月

PPL 2011, PC Member
- 2010年4月

BenchmarX 2010, PC Member
- 2010年4月

BenchmarX 2010, PC Member
- 2009年9月

X-Schemas 2009, PC Member
- 2009年9月

X-Schemas 2009, PC Member

稲葉一浩

基本情報

研究キーワード

研究分野

論文

書籍等出版物

受賞

経歴

MISC

共同研究・競争的資金等の研究課題

委員歴

メニュー

共著者の一覧

フォロー一覧