中野 圭介

J-GLOBALへ         更新日: 18/07/18 18:51
 
アバター
研究者氏名
中野 圭介
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 におけるデバッグ出力機構
受賞者: 櫻井健二, 中野圭介
 

論文

 
Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
ACM SIGPLAN Notices   48(9) 305-318   2013年9月   [査読有り]
Mirai Ikebuchi, Keisuke Nakano
3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK   18:1-18:15   2018年7月   [査読有り]
Kazuhiro Abe, Keisuke Nakano
Journal of Information Processing (JIP)   25 962-974   2017年12月   [査読有り]
Daisuke Kinoshita, Keisuke Nakano
Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017.   31-38   2017年4月   [査読有り]
Mirai Ikebuchi, Keisuke Nakano
CoRR   abs/1703.10938    2017年3月
木から文字列への決定性トップダウン変換の等価性判定の実装
高橋祐多,中野圭介
第19回プログラミングおよびプログラミング言語ワークショップ (PPL2017) 予稿集      2017年3月   [査読有り]
属性文法合成による関数融合の実装
中川涼太,中野圭介
第19回プログラミングおよびプログラミング言語ワークショップ (PPL2017) 予稿集      2017年3月   [査読有り]
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano and Yasunori Ishihara
Mathematical Structures in Computer Science   25(4) 916-941   2015年   [査読有り]
Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki
IEEE 30th International Conference on Data Engineering   952-963   2014年4月   [査読有り]
Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu:
Proceedings of the VLDB Endowment   7(4) 241-252   2013年12月   [査読有り]
Shizuya Hakuta,Sebastian Maneth,Keisuke Nakano,Hideya Iwasaki
CoRR   abs/1311.6570    2013年11月
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年9月   [査読有り]
Structural Recursion for Querying Ordered Graphs
Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013) 予稿集      2013年3月   [査読有り]
JavaScript 仮想機械におけるQuickeningの効果
高田祥,鵜川始陽,中野圭介,岩崎英哉
第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013) 予稿集      2013年3月   [査読有り]
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
Progress in Informatics   10 131-148   2013年3月   [査読有り]
Keisuke Nakano
Journal of Functional Programming   23(2) 161-173   2013年3月   [査読有り]
Keisuke Nakano
The Second International Conference on Certified Programs and Proofs (CPP 2012)   LNCS(7679) 160-172   2012年12月   [査読有り]
中野圭介, 日高宗一郎, 胡振江, 稲葉一浩, 加藤弘之
コンピュータソフトウェア   29(2) 174-192   2012年5月   [査読有り]
Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
Higher-Order and Symbolic Computation   25(1) 3-38   2012年3月   [査読有り]
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano.
21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)   -   2011年7月   [査読有り]
Graph-Transformation Verification using Monadic Second-Order Logic
Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato and Keisuke Nakano.
13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)   17-28   2011年7月   [査読有り]
Toward Bidirectionalization of ATL with GRoundTram
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato and Keisuke Nakano.
Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings   LNCS(6707) 138-151   2011年6月   [査読有り]
Context-Preserving XQuery Fusion
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori, Ishihara
Proc. of 8th ASIAN Symposium on Programming Languages and Systems (APLAS 2010)   LNCS(6461) 255-270   2010年11月   [査読有り]
Bidirectionalizing Graph Transformations
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
Proc. of 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)   45(9) 205-216   2010年9月   [査読有り]
Consistent Web Site Updating based on Bidirectional Transformation
Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
International Journal on Software Tools for Technology Transfer   11(6) 453-468   2009年   [査読有り]
Computing the Cost of Typechecking of Composition of Macro Tree Transducers
Keisuke Nakano, Sebastian Maneth
Information and Media Technologies   4(4) 846-856   2009年   [査読有り]
補関数の生成による複製機能付きプログラムの自動双方向化
松田 一孝, 胡 振江, 中野 圭介, 浜名 誠, 武市 正人
コンピュータソフトウェア   26(2) 56-75   2009年6月   [査読有り]
Composing Stack-Attributed Tree Transducers
Keisuke Nakano
Theory of Computing Systems   44(1) 1-38   2009年1月   [査読有り]
XML stream transformer generation through program composition and dependency analysis
Susumu Nishimura, Keisuke Nakano
Science of Computer Programming   54(2-3) 257-290   2005年2月   [査読有り]
XML ストリーム処理器の自動導出が可能な XML 変換言語の設計
中野 圭介
コンピュータソフトウェア   21(3) 206-212   2004年   [査読有り]
イベント駆動型文書変換器の自動生成
中野 圭介, 西村 進
コンピュータソフトウェア   19(4) 289-295   2002年   [査読有り]

Misc

 
マクロ森トランスデューサの実用的な型検査に向けて
阿部和敬,中野圭介
第113回プログラミング研究発表会      2017年3月
OCaml@p: OCamlにおける手軽なデバッグ出力機構
櫻井健二,中野圭介
第58回プログラミング・シンポジウム予稿集      2017年1月
既存のコード資産を利用した制御構文補完機構
北原元気,中野圭介
第58回プログラミング・シンポジウム予稿集      2017年1月
Rubyに対するGradual typingの導入に向けて
丹治将貴,中野圭介,岩崎英哉
第58回プログラミング・シンポジウム予稿集      2017年1月
Grammatical Frameworkにおける語彙データの自動生成
渡邉秀隆,中野圭介
言語処理学会第21回年次大会論文集   836-839   2015年3月
田代克也, 中野圭介, 岩崎英哉
第93回プログラミング研究発表会      2013年3月
中野圭介
第54回プログラミング・シンポジウム予稿集      2013年1月
田村知博, 中野圭介, 鵜川始陽, 岩崎英哉
情報処理学会夏のプログラミング・シンポジウム報告集   2011 19-26   2012年1月
篠埜功, HU Zhenjiang, 日高宗一郎, 稲葉一浩, 加藤弘之, 中野圭介
日本ソフトウエア科学会大会講演論文集(CD-ROM)   28th ROMBUNNO.7C-2   2011年
加藤弘之, 鬼塚真, 日高宗一郎, 中野圭介, HU Zhenjiang
日本ソフトウエア科学会大会講演論文集(CD-ROM)   28th ROMBUNNO.5A-2   2011年
加藤弘之, 日高宗一郎, HU ZHENJIANG, 中野圭介, 石原靖哲
情報処理学会シンポジウムシリーズ(CD-ROM)   2009(3) ROMBUNNO.3B,3   2009年11月
林康史, LIU Dongxi, 中野圭介, HU Zhenjiang, 武市正人
情報処理学会全国大会講演論文集   70th(5) 5.393-5.394   2008年3月
中野圭介, LIU Dongxi, 林康史, HU Zhenjiang, 武市正人
情報処理学会全国大会講演論文集   70th(5) 5.391-5.392   2008年3月
林康史, 劉東喜, 中野圭介, LIU Dongxi, 武市正人
日本ソフトウエア科学会大会講演論文集(CD-ROM)   24th 1B-2   2007年
中野圭介, 森畑明昌, HU Zhenjiang, 武市正人
日本ソフトウエア科学会大会講演論文集(CD-ROM)   23rd 4B-3   2006年
中野圭介
日本ソフトウエア科学会大会講演論文集(CD-ROM)   22nd 6D-3   2005年
西岡真吾, 中野圭介, HU Zhenjiang, 武市正人
日本ソフトウエア科学会大会講演論文集(CD-ROM)   21st 3D-3   2004年
中野圭介
日本ソフトウエア科学会大会論文集   20th(Pt.2) 273-277   2003年9月
伊藤徹, 香川考司, 角谷良彦, GARRIGUE J, 中野圭介, 西村進, 林良生, 中島玲二
情報処理学会全国大会講演論文集   65th(4) 4.1-4.2   2003年3月
中野圭介, 西村進
日本ソフトウエア科学会大会論文集   18th(2) 199-203   2001年9月

書籍等出版物

 
定理証明手習い
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月   

担当経験のある科目