中野 圭介

J-GLOBALへ         更新日: 18/05/09 16:00
 
アバター
研究者氏名
中野 圭介
URL
http://www.riec.tohoku.ac.jp/~ksk/
所属
東北大学
部署
電気通信研究所 システム・ソフトウェア研究部門
職名
教授
学位
理学(博士)(京都大学)

研究分野

 
 

経歴

 
2003年6月
 - 
2008年2月
東京大学大学院情報理工学系研究科 産学官連携研究員
 
2008年3月
 - 
2012年3月
電気通信大学 先端領域教育研究センター 特任助教
 
2012年4月
 - 
2013年5月
電気通信大学 先端領域教育研究センター 准教授
 
2013年6月
 - 
2018年3月
電気通信大学 大学院情報理工学研究科 准教授
 
2018年4月
 - 
現在
東北大学 電気通信研究所 教授
 

学歴

 
1994年12月
 - 
1997年3月
東京大学 理学部 数学科
 
1997年4月
 - 
2000年3月
京都大学 理学研究科 数学・数理解析専攻
 
2000年4月
 - 
2003年5月
京都大学 理学研究科 数学・数理解析専攻
 

委員歴

 
2009年4月
 - 
2013年3月
情報処理学会  プログラミング研究会論文誌編集委員
 
2012年4月
 - 
2016年3月
日本ソフトウェア科学会  プログラミング論研究会運営委員
 
2012年4月
 - 
2016年3月
日本ソフトウェア科学会  企画委員
 
2013年4月
 - 
2017年3月
情報処理学会  プログラミング研究会 運営委員
 
2013年4月
 - 
現在
日本ソフトウェア科学会  編集委員
 
2015年4月
 - 
現在
情報処理学会  会員サービス部門編集委員
 
2017年4月
 - 
現在
情報処理学会 プログラミング研究会  幹事
 

受賞

 
2004年6月
日本ソフトウェア科学会 第20回日本ソフトウェア科学会記念大会高橋奨励賞 XMLストリーム変換の自動導出が可能なXML変換言語の設計
 
2012年1月
Programming committee of ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation: A Best Paper Award Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals
受賞者: 松田一孝, 稲葉一浩, 中野圭介
 
松田一孝博士 (東北大学) および稲葉一浩博士 (国立情報学研究所) との共同研究
2014年1月
山内記念会 プログラミングシンポジウム 山内奨励賞
 
2018年1月
山内記念会 プログラミングシンポジウム 山内奨励賞 OCaml@p: OCaml におけるデバッグ出力機構
受賞者: 櫻井健二, 中野圭介
 

論文

 
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano and Yasunori Ishihara
Mathematical Structures in Computer Science   25(4) 916-941   2015年   [査読有り]
Grammatical Frameworkにおける語彙データの自動生成
渡邉秀隆,中野圭介
言語処理学会 第21回年次大会   836-839   2015年3月
Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki
IEEE 30th International Conference on Data Engineering   952-963   2014年4月   [査読有り]
Optimization for Iterative Queries on MapReduce
Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu:
Proceedings of the VLDB Endowment   7(4) 241-252   2013年   [査読有り]
Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming   73-84   2013年   [査読有り]

書籍等出版物

 
定理証明手習い
Daniel P. Friedman, Carl Eastlund (著), 中野圭介 (監訳)
2017年10月   ISBN:9784908686023

講演・口頭発表等

 
XQueryプログラムに対するMacro Forest Transducersを用いた型検査機構
白田 靜哉, 中野 圭介, 岩崎 英哉
第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012)   2012年3月   
GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato and Keisuke Nakano
26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011)   2011年11月   
模倣に基づくグラフスキーマを利用したビュー更新可能性判定
中野圭介, 日高宗一郎, 胡振江, 稲葉一浩, 加藤弘之
第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011)   2011年3月   

担当経験のある科目