稲葉 一浩

J-GLOBALへ         更新日: 15/12/08 15:15
 
アバター
研究者氏名
稲葉 一浩
 
イナバ カズヒロ
ハンドル
kinaba
eメール
kikikmonos.net
URL
http://www.kmonos.net/
所属
Google Inc.
職名
Software Engineer
学位
博士(情報理工学)
科研費研究者番号
30570311
Twitter ID
kinaba

プロフィール

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

研究分野

 
 

論文

 
T. Soma, N. Kakimura, K. Inaba, K. Kawarabayashi
Proceedings of ICML'14      2014年6月   [査読有り]
N. Kobayashi, K. Inaba, T. Tsukada
Proceedings of FoSSaCS'14   8412 149-163   2014年4月   [査読有り]
K. Matsuda, K. Inaba, K. Nakano
Higher-Order and Symbolic Computation   1-36   2013年9月   [査読有り]
Journal versoin of PEPM'12 paper.
稲葉 一浩
夏のプログラミング・シンポジウム2012「ビューティフルコード」報告集   75-82   2013年1月
K. Matsuda, K. Inaba, and K. Nakano
Proceedings of PEPM'12      2012年1月   [査読有り]

書籍等出版物

 
プログラミングの魔導書 Vol.2
Dave Abrahams, 江添 亮, 小泉 将久, Masahiro Nakagawa, k.inaba, 水島 宏太, shelarcy, 菊池 正史, 近藤 貴俊, 柏田 知洋 (担当:分担執筆, 範囲:The Door To Dependent Types)
ロングゲート   2011年10月   ISBN:978-4-9905296-2-8
プログラミングの魔導書 Vol.1
Bjarne Stroustrup, 江添亮, 近藤貴俊, Egtra, melpon, 高橋晶, K.Inaba, zak, digitalghost, 津川知朗 (担当:分担執筆, 範囲:Hello,C++ World!)
ロングゲート   2010年8月   ISBN:978-4-9905296-0-4
稲葉 一浩
秀和システム   2007年7月   ISBN:4798017043
稲葉 一浩
毎日コミュニケーションズ   2006年9月   ISBN:4839921474
稲葉 一浩
秀和システム   2004年5月   ISBN:4798007862

受賞

 
2014年4月
ETAPS 2014 EATCS Best Paper Award
 
2012年1月
ACM SIGPLAN PEPM Workshop Best Paper Award
 
2010年4月
船井情報科学振興財団 第9回 船井研究奨励賞
 
2008年11月
Google Code Jam World Finals 29th Place
 
2006年9月
ACM-SIGPLAN ICFP Programming Contest 2nd Place
 

経歴

 
2011年4月
 - 
現在
Google Inc. Software Engineer
 
2009年4月
 - 
2011年3月
国立情報学研究所 特任研究員
 
2006年4月
 - 
2009年3月
東京大学大学院情報理工学系研究科コンピュータ科学専攻 博士課程
 
2004年4月
 - 
2006年3月
東京大学大学院情報理工学系研究科コンピュータ科学専攻 修士課程
 
2002年4月
 - 
2004年3月
東京大学理学部情報科学科
 

競争的資金等の研究課題

 
文部科学省: 科学研究費補助金(基盤研究(B))
研究期間: 2010年 - 2013年    代表者: 胡 振江
文部科学省: 科学研究費補助金(挑戦的萌芽研究)
研究期間: 2010年 - 2011年    代表者: 胡 振江
日本学術振興会: 科学研究費補助金・特別研究員奨励費
研究期間: 2006年 - 2008年    代表者: 稲葉 一浩

委員歴

 
2015年4月
 - 
現在
情報規格調査会  SC 22/C++ WG 委員
 
 
 - 
2014年3月
PPL 2014  PC Member
 
 
 - 
2014年3月
SAC 2014  PC Member
 
 
 - 
2013年12月
APLAS 2013  PC Member
 
 
 - 
2012年6月
TTATT 2012  PC Member
 
 
 - 
2012年3月
PPL 2012  PC Member
 
 
 - 
2011年3月
PPL 2011  PC Member
 
 
 - 
2010年4月
BenchmarX 2010  PC Member
 
 
 - 
2009年9月
X-Schemas 2009  PC Member