Rchr
J-GLOBAL ID：200901023918073432
Update date: Sep. 21, 2024
NAKANO Keisuke
NAKANO Keisuke
Affiliation and department：
Job title：
Associate Professor
Research field (2)：
Software
, Information theory
Research keywords (7)：
Programming Language Theory
, Tree Transducer Theory
, Formal Language Theory
, Proof Assistants
, Bidirectional Transformation
, Functional Programming
, Program Transformation
Research theme for competitive and other funds (10)：
- 2022 - 2026 Formal Foundations for Verification of Physical and Probabilistic Systems
- 2021 - 2025 双方向変換言語のための計算モデルとプログラミング言語への応用
- 2018 - 2022 民主的データ流通社会を実現するCDMSの基盤技術と応用に関する研究
- 2017 - 2022 Development of software foundation based on certified formal tree language theory
- 2018 - 2021 Formal verification of probabilistic graphical models and its application to artificial intelligence
- 2013 - 2017 Mechanized formalization of formal tree languages in proof assistants
- 2013 - 2017 Integrated and Fundamental for Large-Scale and Practical Bidirectional Graph Transformation
- 2010 - 2014 Study on Language Foundation for Bidirectional Model Transformation
- 2011 - 2013 A Server-side JavaScript System for Developing Practical Web Applications
- 2010 - 2012 Efficient implementation and verification of practical structured-document transformation based on tree transducer theory
Show all
Papers (76)：
-
Paul Gallot, Sebastian Maneth, Keisuke Nakano, Charles Peyrat. Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers. 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). 2024. 138:1-138:20
-
Keisuke Nakano, Munehiro Iwami. Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version). 2024
-
Paul Gallot, Sebastian Maneth, Keisuke Nakano, Charles Peyrat. Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers. 2023
-
Keisuke Nakano. Time-symmetric Turing machines for computable involutions. Science of Computer Programming. 2022. 215. 102748-102748
-
Yasuhito Asano, Yang Cao, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, et al. Bidirectional Collaborative Frameworks for Decentralized Data Management. Communications in Computer and Information Science. 2022. 13-51
ｍore...
MISC (25)：
-
櫻井健二, 中野圭介. OCaml@p: OCamlにおける手軽なデバッグ出力機構. 第58回プログラミング・シンポジウム予稿集. 2017
-
丹治将貴, 中野圭介, 岩崎英哉. Rubyに対するGradual typingの導入に向けて. 第58回プログラミング・シンポジウム予稿集. 2017
-
田代克也, 中野圭介, 岩崎英哉. Ruby on Railsにおけるテストケース自動生成の提案と実装'. 第93回プログラミング研究発表会. 2013
-
田村知博, 中野圭介, 鵜川始陽, 岩崎英哉. JavaScriptにおけるプログラム変換の効果. 情報処理学会夏のプログラミング・シンポジウム報告集. 2012. 2011. 19-26
-
Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato. Simulation-based Graph Schema for View Updatability Checking of Graph Queries. GRACE Technical Report (GRACE-TR-2011-01). 2011
ｍore...
Books (1)：
-
The Little Prover
2017 ISBN:9784908686023
Lectures and oral presentations (3)：
-
XQueryプログラムに対するMacro Forest Transducersを用いた型検査機構
(第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012) 2012)
-
GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)
(26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011) 2011)
-
模倣に基づくグラフスキーマを利用したビュー更新可能性判定
(第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011) 2011)
Education (4)：
- 2000 - 2003 Kyoto University Graduate School of Science Research Institute for Mathematical Sciences
- 1997 - 2000 Kyoto University Graduate School of Science Research Institute for Mathematical Sciences
- 1996 - 1997 The University of Tokyo Faculty of Science Department of Mathematics
- 1994 - 1996 The University of Tokyo College of Arts and Sciences
Professional career (1)：
- Doctor of Science (Kyoto University)
Work history (5)：
- 2018/04 - 現在 Tohoku University Research Institute of Electrical Communication Professor
- 2013/06 - 2018/03 University of Electro-Communications Faculty of Informatics and Engineering Associate professor
- 2012/04 - 2013/05 The Education and Research Center for Frontier Science, The University of Electro-Communications Associate professor
- 2008/03/01 - 2012/03/31 The Education and Research Center for Frontier Science, The University of Electro-Communications Assistant Professor
- 2003/06/01 - 2008/02/29 Graduate School of Information Science and Technology, University of Tokyo Researcher
Committee career (8)：
- 2020/04 - 現在 情報処理学会 プログラミング研究会 主査
- 2013/04 - 現在 日本ソフトウェア科学会 編集委員
- 2017/04 - 2020/03 情報処理学会 プログラミング研究会 幹事
- 2015/04 - 2019/03 情報処理学会 会員サービス部門編集委員
- 2013/04 - 2017/03 情報処理学会 プログラミング研究会 運営委員
- 2012/04 - 2016/03 日本ソフトウェア科学会 企画委員
- 2012/04 - 2016/03 日本ソフトウェア科学会 プログラミング論研究会運営委員
- 2009/04 - 2013/03 情報処理学会 プログラミング研究会論文誌編集委員
Show all
Awards (4)：
- 2018/01 - 山内記念会 プログラミングシンポジウム 山内奨励賞 OCaml@p: OCaml におけるデバッグ出力機構
- 2014/01 - 山内記念会 プログラミングシンポジウム 山内奨励賞 ジグソーパズルによる関数型プログラミング
- 2012/01 - 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
- 2004/06 - 日本ソフトウェア科学会 第20回日本ソフトウェア科学会記念大会高橋奨励賞 Towards Implementation of XML Transformation Languages Intended for Stream Processing
Association Membership(s) (3)：
日本ソフトウェア科学会
, 情報処理学会
, Association for Computing Machinery (ACM)
