Keisuke NAKANO

J-GLOBAL         Last updated: Jan 17, 2019 at 14:44
 
Avatar
Name
Keisuke NAKANO
URL
http://millsmess.cs.uec.ac.jp/~ksk/en/
Affiliation
Tohoku University
Section
Research Institute of Electrical Communication Systems & Software Division
Job title
Associate Professor
Degree
Doctor of Science(Kyoto University)

Research Areas

 
 

Academic & Professional Experience

 
Jun 2003
 - 
Feb 2008
Researcher, Graduate School of Information Science and Technology, University of Tokyo
 
Mar 2008
 - 
Mar 2012
Assistant Professor, The Education and Research Center for Frontier Science, The University of Electro-Communications
 
Apr 2012
 - 
May 2013
Associate professor, The Education and Research Center for Frontier Science, The University of Electro-Communications
 
Jun 2013
 - 
Mar 2018
Associate professor, Faculty of Informatics and Engineering, University of Electro-Communications
 
Apr 2018
 - 
Today
Professor, Research Institute of Electrical Communication, Tohoku University
 

Education

 
Dec 1994
 - 
Mar 1997
数学科, Faculty of Science, The University of Tokyo
 
Apr 1997
 - 
Mar 2000
Research Institute for Mathematical Sciences, Graduate School of Science, Kyoto University
 
Apr 2000
 - 
May 2003
Research Institute for Mathematical Sciences, Graduate School of Science, Kyoto University
 

Awards & Honors

 
Jun 2004
Towards Implementation of XML Transformation Languages Intended for Stream Processing, 第20回日本ソフトウェア科学会記念大会高橋奨励賞, 日本ソフトウェア科学会
 
Jan 2012
Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals, ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation: A Best Paper Award, Programming committee of ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation
Winner: Kazutaka MATSUDA, Kazuhiro INABA, Keisuke NAKANO
 
Jan 2014
ジグソーパズルによる関数型プログラミング, プログラミングシンポジウム 山内奨励賞, 山内記念会
 
Jan 2018
OCaml@p: OCaml におけるデバッグ出力機構, プログラミングシンポジウム 山内奨励賞, 山内記念会
Winner: Kenji SAKURAI, Keisuke NAKANO
 

Published Papers

 
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   Jul 2018   [Refereed]
Mirai Ikebuchi, Keisuke Nakano
CoRR   abs/1703.10938    Mar 2017
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   Apr 2017   [Refereed]
Kazuhiro Abe, Keisuke Nakano
Journal of Information Processing (JIP)   25 962-974   Dec 2017   [Refereed]
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano and Yasunori Ishihara
Mathematical Structures in Computer Science   25(4) 916-941   2015   [Refereed]
Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki
IEEE 30th International Conference on Data Engineering   952-963   Apr 2014   [Refereed]
Shizuya Hakuta,Sebastian Maneth,Keisuke Nakano,Hideya Iwasaki
CoRR   abs/1311.6570    Nov 2013
Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu:
Proceedings of the VLDB Endowment   7(4) 241-252   Dec 2013   [Refereed]
Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming   73-84   Sep 2013   [Refereed]
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
Progress in Informatics   10 131-148   Mar 2013   [Refereed]
Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
ACM SIGPLAN Notices   48(9) 305-318   Sep 2013   [Refereed]
Keisuke Nakano
Journal of Functional Programming   23(2) 161-173   Mar 2013   [Refereed]
Keisuke Nakano
The Second International Conference on Certified Programs and Proofs (CPP 2012)   LNCS(7679) 160-172   Dec 2012   [Refereed]
Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba and Hiroyuki Kato
Computer Software   29(2) 174-192   May 2012   [Refereed]
Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
Higher-Order and Symbolic Computation   25(1) 3-38   Mar 2012   [Refereed]
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)   -   Jul 2011   [Refereed]
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   Jul 2011   [Refereed]
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   Jun 2011   [Refereed]
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   Nov 2010   [Refereed]
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   Sep 2010   [Refereed]
Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
International Journal on Software Tools for Technology Transfer   11(6) 453-468   2009   [Refereed]
Keisuke Nakano, Sebastian Maneth
Information and Media Technologies   4(4) 846-856   2009   [Refereed]
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, and Masato Takeichi
Computer Software   26(2) 56-75   Jun 2009   [Refereed]
Keisuke Nakano
Theory of Computing Systems   44(1) 1-38   Jan 2009   [Refereed]
Susumu Nishimura, Keisuke Nakano
Science of Computer Programming   54(2-3) 257-290   Feb 2005   [Refereed]
Keisuke Nakano
Computer Software   21(3) 206-212   2004   [Refereed]
Automatic Derivation of Event-Based Document Transformations
Keisuke Nakano and Susumu Nishimura
Computer Software   19(4) 289-295   2002   [Refereed]

Misc

 
田村知博, 中野圭介, 鵜川始陽, 岩崎英哉
情報処理学会夏のプログラミング・シンポジウム報告集   2011 19-26   Jan 2012
篠埜功, 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   Nov 2009
林康史, LIU Dongxi, 中野圭介, HU Zhenjiang, 武市正人
情報処理学会全国大会講演論文集   70th(5) 5.393-5.394   Mar 2008
中野圭介, LIU Dongxi, 林康史, HU Zhenjiang, 武市正人
情報処理学会全国大会講演論文集   70th(5) 5.391-5.392   Mar 2008
林康史, 劉東喜, 中野圭介, 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   Sep 2003
伊藤徹, 香川考司, 角谷良彦, GARRIGUE J, 中野圭介, 西村進, 林良生, 中島玲二
情報処理学会全国大会講演論文集   65th(4) 4.1-4.2   Mar 2003
中野圭介, 西村進
日本ソフトウエア科学会大会論文集   18th(2) 199-203   Sep 2001

Books etc

 
The Little Prover
Daniel Friedman, Carl Eastlund, Keisuke NAKANO (translation)
Oct 2017   ISBN:9784908686023

Conference Activities & Talks

 
XQueryプログラムに対するMacro Forest Transducersを用いた型検査機構
白田 靜哉, 中野 圭介, 岩崎 英哉
第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012)   Mar 2012   
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)   Nov 2011   
模倣に基づくグラフスキーマを利用したビュー更新可能性判定
Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba and Hiroyuki Kato
第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011)   Mar 2011   

Teaching Experience