Nakano Keisuke 中野圭介

… Alternative Names

NAKANO Keisuke 中野圭介

Less

Researcher Number	30505839
Other IDs
Affiliation (Current)	2025: 東北大学, 電気通信研究所, 教授
Affiliation (based on the past Project Information) *help	2018 – 2024: 東北大学, 電気通信研究所, 教授 2016 – 2017: 電気通信大学, 大学院情報理工学研究科, 准教授 2014 – 2016: 電気通信大学, 情報理工学(系)研究科, 准教授 2013: 電気通信大学, 大学院・情報理工学研究科, 准教授 2013: 電気通信大学, 情報理工学研究科, 准教授 2011 – 2013: 電気通信大学, 先端領域教育研究センター, 准教授 2010 – 2011: 電気通信大学, 先端領域教育研究センター, 特任助教
Review Section/Research Field	Principal Investigator Theory of informatics / Basic Section 60010:Theory of informatics-related / Fundamental theory of informatics Except Principal Investigator Medium-sized Section 60:Information science, computer engineering, and related fields / Software / Basic Section 60010:Theory of informatics-related / Software
Keywords	Principal Investigator 形式木言語理論 / 双方向変換 / 木トランスデューサ / 計算モデル / 木オートマトン / 定理証明支援系 / データベース / 構造化文書 / プログラム検証 / 形式言語理論 … More / 計算可能性 / 計算理論 / プログラミング言語 / チューリング機械 / 計算可能関数 / ソフトウェア検証 / プログラム変換 / 結合子論理 / 型検査 / 等価性判定 / 等価性判定問題 / 木トランスデューサ理論 / ビュー更新 / 形式言語 / 構造化文書変換 / オートマトン理論 … More Except Principal Investigator 双方向変換 / Coq / 形式検証 / グラフ変換 / プログラム検証 / 確率的プログラミング / 数学の形式化 / データ来歴ビュー更新 / データ来歴 / ビュー更新 / 実体化ビュー / 一貫性保証 / データ利用ポリシー / 自立分散環境 / 連合学習 / プライバシ保護 / 協調分散システム / トランザクション高並列化 / サービスアライアンス / 自律分散環境 / 確率論 / ルベーグ積分 / 測度論 / モナド / 確率プログラミング / graphoid / 情報理論 / 条件付き独立 / ソフトウェア自己適応 / ソフトウェア共進化 / 自動双方向化 / ソフトウエア自己適応 / ソフトウエア共進化 / データ同期 / 双方向変換言語 / 型推論 / 静的解析 / 型システム / コンパイラ / プログラミング言語処理系 / 漸進的型システム / イベント駆動方式サーバ / 外部関数インタフェース / Just-in-timeコンパイラ / 実行時最適化 / 仮想機械 / JavaScrip / モデル変換 / プログラミング言語 / ソフトウエア工学 / モデル駆動ソフトウエア開発 / モデルコードの共進化 / モデル駆動ソフトウェア開発 / ソフトウェア工学 Less

Formal Foundations for Verification of Physical and Probabilistic Systems
- Principal Investigator
  
  Affeldt Reynald
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  National Institute of Advanced Industrial Science and Technology
双方向変換言語のための計算モデルとプログラミング言語への応用Principal Investigator
- Principal Investigator
  
  中野圭介
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Tohoku University
Formal verification of probabilistic graphical models and its application to artificial intelligence
- Principal Investigator
  
  Affeldt Reynald
- Project Period (FY)
  2018 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  National Institute of Advanced Industrial Science and Technology
Research on basic technology and application of CDMS to realize a democratic data distribution society
- Principal Investigator
  
  Yoshikawa Masatoshi
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Kyoto University
Development of software foundation based on certified formal tree language theoryPrincipal Investigator
- Principal Investigator
  
  Nakano Keisuke
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Tohoku University
  The University of Electro-Communications
Integrated and Fundamental for Large-Scale and Practical Bidirectional Graph Transformation
- Principal Investigator
  
  Hu Zhenjiang
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Mechanized formalization of formal tree languages in proof assistantsPrincipal Investigator
- Principal Investigator
  
  Keisuke Nakano
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Theory of informatics
- Research Institution
  The University of Electro-Communications
A Server-side JavaScript System for Developing Practical Web Applications
- Principal Investigator
  
  IWASAKI Hideya
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  The University of Electro-Communications
Study on Language Foundation for Bidirectional Model Transformation
- Principal Investigator
  
  HU Zhenjiang
- Project Period (FY)
  2010 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Efficient implementation and verification of practical structured-document transformation based on tree transducer theoryPrincipal Investigator
- Principal Investigator
  
  NAKANO Keisuke
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Electro-Communications

[Book] 定理証明手習い2017
- Author(s)
  Daniel P. Friedman, Carl Eastlund, 中野圭介
- Total Pages
  240
- Publisher
  ラムダノート社
- ISBN
  9784908686023
- Data Source
  KAKENHI-PROJECT-17K00007
[Journal Article] Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers2023
- Author(s)
  Paul Gallot, Sebastian Maneth, Keisuke Nakano, Charles Peyrat
- Journal Title
  
  arXiv
  
  Volume: 2307 Pages: 1-28
- Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11744
[Journal Article] Time-symmetric Turing machines for computable involutions2022
- Author(s)
  Nakano Keisuke
- Journal Title
  
  Science of Computer Programming
  
  Volume: 215 Pages: 102748-102748
- DOI
  10.1016/j.scico.2021.102748
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00007, KAKENHI-PROJECT-21K11744, KAKENHI-PROJECT-18H04093
[Journal Article] Streaming Ranked-Tree-to-String Transducers2021
- Author(s)
  Yuta Takahashi, Kazuyuki Asada, and Keisuke Nakano
- Journal Title
  
  Theoretical Computer Science (published online first)
  
  Volume: N/A
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H04093
[Journal Article] Idempotent Turing Machines2021
- Author(s)
  Nakano Keisuke
- Journal Title
  
  Mathematical Foundations of Computer Science
  
  Volume: 46
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K11744
[Journal Article] Idempotent Turing Machines2021
- Author(s)
  Nakano Keisuke
- Journal Title
  
  Mathematical Foundations of Computer Science
  
  Volume: 46
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00007
[Journal Article] Streaming ranked-tree-to-string transducers2021
- Author(s)
  Takahashi Yuta、Asada Kazuyuki、Nakano Keisuke
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 870 Pages: 165-187
- DOI
  10.1016/j.tcs.2020.12.033
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00007, KAKENHI-PROJECT-21K11744
[Journal Article] A Tangled Web of 12 Lens Laws2021
- Author(s)
  Nakano Keisuke
- Journal Title
  
  Reversible Computation
  
  Volume: 13 Pages: 185-203
- DOI
  10.1007/978-3-030-79837-6_11
- ISBN
  9783030798369, 9783030798376
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00007, KAKENHI-PROJECT-21K11744
[Journal Article] Involutory Turing Machines2020
- Author(s)
  Nakano Keisuke
- Journal Title
  
  Lecture Notes in Computer Science book series (LNCS)
  
  Volume: 12227 Pages: 54-70
- DOI
  10.1007/978-3-030-52482-1_3
- ISBN
  9783030524814, 9783030524821
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00007
[Journal Article] On properties of B-terms2020
- Author(s)
  Ikebuchi Mirai, Nakano Keisuke
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: 16 (2)
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00007
[Journal Article] Streaming Ranked-Tree-to-String Transducers2019
- Author(s)
  Takahashi Yuta、Asada Kazuyuki、Nakano Keisuke
- Journal Title
  
  Lecture Note in Computer Science
  
  Volume: 11601 Pages: 235-247
- DOI
  10.1007/978-3-030-23679-3_19
- ISBN
  9783030236786, 9783030236793
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00007, KAKENHI-PROJECT-18H03204
[Journal Article] Toward BX-Based Architecture for Controlling and Sharing Distributed Data2019
- Author(s)
  Ishihara Yasunori、Kato Hiroyuki、Nakano Keisuke、Onizuka Makoto、Sasaki Yuya
- Journal Title
  
  BigComp 2019
  
  Volume: - Pages: 1-5
- DOI
  10.1109/bigcomp.2019.8679145
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00007
[Journal Article] Towards a Complete Picture of Lens Laws2019
- Author(s)
  Keisuke Nakano
- Journal Title
  
  Proceedings of the Third Workshop on Software Foundations for Data Interoperability
  
  Volume: 3 Pages: 1-6
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00007
[Journal Article] Flexible Framework for Data Integration and Update Propagation: System Aspect2019
- Author(s)
  Asano Yasuhito、Herr Dennis-Florian、Ishihara Yasunori、Kato Hiroyuki、Nakano Keisuke、Onizuka Makoto、Sasaki Yuya
- Journal Title
  
  BigComp 2019
  
  Volume: - Pages: 1-5
- DOI
  10.1109/bigcomp.2019.8679236
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00007
[Journal Article] Evaluating an algorithm deciding equivalence of deterministic top-down tree-to-string transducers.2018
- Author(s)
  高橋祐多、中野圭介
- Journal Title
  
  Computer Software
  
  Volume: 35 Issue: 4 Pages: 52-71
- DOI
  10.11309/jssst.35.52
- NAID
  130007552516
- ISSN
  0289-6540
- Year and Date
  2018-10-25
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00007, KAKENHI-PROJECT-17H06099
[Journal Article] ComplCoq: Rewrite Hint Construction with Completion Procedures2018
- Author(s)
  Mirai Ikebuchi and Keisuke Nakano
- Journal Title
  
  Proc. of the Coq Workshop 2018
  
  Volume: 1 Pages: 1-2
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03204
[Journal Article] On Repetitive Right Application of B-Terms2018
- Author(s)
  Mirai Ikebuchi, Keisuke Nakano
- Journal Title
  
  International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
  
  Volume: 3
- DOI
  10.4230/LIPIcs.FSCD.2018.18
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00007
[Journal Article] Towards Practical Typechecking for Macro Forest Transducers2017
- Author(s)
  Kazuhiro Abe, Keisuke Nakano
- Journal Title
  
  Journal of Information Processing
  
  Volume: 25 Issue: 0 Pages: 962-974
- DOI
  10.2197/ipsjjip.25.962
- NAID
  130006250672
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00007
[Journal Article] Bidirectional Certified Programming2017
- Author(s)
  Daisuke Kinoshita, Keisuke Nakano
- Journal Title
  
  CEUR Workshop Proceedings
  
  Volume: 1827 Pages: 31-38
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00007
[Journal Article] XQuery Streaming by Forest Transducers2015
- Author(s)
  Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, and Hideya Iwasaki
- Journal Title
  
  30th IEEE International Conference on Data Engineering
  
  Volume: 30 Pages: 952-963
- DOI
  10.1109/icde.2014.6816714
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25730002
[Journal Article] XQuery Streaming by Forest Transducers2014
- Author(s)
  Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, and Hideya Iwasaki
- Journal Title
  
  Proceedings of 30th International Conference on Data Engineering
  
  Volume: 30 Pages: 952-963
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25730002
[Journal Article] Context-Preserving XQuery Fusion2014
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano and Yasunori Ishihara
- Journal Title
  
  Mathematical Structures in Computer Science
  
  Volume: online Issue: 4 Pages: 916-941
- DOI
  10.1017/s096012951300008x
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-25730002, KAKENHI-PROJECT-26330097, KAKENHI-PROJECT-25240009
[Journal Article] Context-Preserving XQuery Fusion2013
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, and Yasunori Ishihara
- Journal Title
  
  Mathematical Structures in Computer Science
  
  Volume: 未定
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008
[Journal Article] Structural Recursion for Querying Ordered Graphs2013
- Author(s)
  Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, and Keisuke Nakano
- Journal Title
  
  Proceedings of 18th ACM SIGPLAN International Conference on Functional Programming
  
  Volume: 48 (9) Pages: 305-318
- DOI
  10.1145/2500365.2500608
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25730002
[Journal Article] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations2013
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano
- Journal Title
  
  Progress in Informatics
  
  Volume: 10
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008
[Journal Article] Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals2013
- Author(s)
  Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
- Journal Title
  
  Higher-Order and Symbolic Computation
  
  Volume: Volume 25, Issue 1 Issue: 1 Pages: 3-38
- DOI
  10.1007/s10990-013-9097-8
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-25240009, KAKENHI-PROJECT-25730002
[Journal Article] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations2013
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  Progress in Informatics
  
  Volume: Vol. 10 Pages: 131-148
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Context-Preserving XQuery Fusion2013
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
- Journal Title
  
  Mathematical Structures in Computer Science (MSCS)
  
  Volume: Vol. 23
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Metamorphism in Jigsaw2013
- Author(s)
  Keisuke Nakano
- Journal Title
  
  Journal of Functional Programming
  
  Volume: 23(2) Issue: 2 Pages: 161-173
- DOI
  10.1017/s0956796812000391
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008
[Journal Article] JavaScript 処理系におけるQuickening の効果2013
- Author(s)
  高田祥, 鵜川始陽, 中野圭介, 岩崎英哉
- Journal Title
  
  第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)論文集
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500038
[Journal Article] A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches2013
- Author(s)
  Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, and Keisuke Nakano
- Journal Title
  
  Proceedings of 15th International Symposium on Principles and Practice of Declarative Programming
  
  Volume: 15 Pages: 73-84
- DOI
  10.1145/2505879.2505903
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25730002
[Journal Article] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations.2013
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  Progress in Informatics
  
  Volume: No.10 Issue: 10 Pages: 131-148
- DOI
  10.2201/niipi.2013.10.7
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008, KAKENHI-PROJECT-23700047
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012
- Author(s)
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: (印刷中)(掲載確定)
- NAID
  130004549266
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Shall We Juggle, Co- inductively? In Proceedings of 2ndInternational Conference on Certified2012
- Author(s)
  Keisuke Nakano
- Journal Title
  
  Programs and Proofs
  
  Pages: 160-172
- DOI
  10.1007/978-3-642-35308-6_14
- ISBN
  9783642353079, 9783642353086
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012
- Author(s)
  中野圭介, 日高宗一郎，胡振江，稲葉一浩，加藤弘之
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 29 (2) Pages: 174-192
- NAID
  130004549266
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008
[Journal Article] Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals2012
- Author(s)
  Kazutaka Matsuda, Kazuhiro Inaba and Keisuke Nakano
- Journal Title
  
  In Proceedings of ACM SIGPLAN Partial Evaluation and Program Manipulation
  
  Pages: 5-14
- DOI
  10.1145/2103746.2103752
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008, KAKENHI-PROJECT-22800003
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012
- Author(s)
  中野圭介, 日高宗一郎, 胡振江, 稲葉一浩, 加藤弘之
- Journal Title
  
  コンピュータソフトウエア
  
  Volume: 29巻2号 Pages: 174-192
- NAID
  130004549266
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Isao Sasano: Marker- Directed Optimization of UnCAL Graph Transformations2012
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
- Journal Title
  
  In Selected/revised papers from 21st International Symposium Logic-Based Program Synthesis and Transformation
  
  Volume: Vol.7225 Pages: 123-138
- DOI
  10.1007/978-3-642-32211-2_9
- ISBN
  9783642322105, 9783642322112
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008, KAKENHI-PROJECT-23700047
[Journal Article] View Updatability Checking with Simulation-based Graph Schema2012
- Author(s)
  中野圭介, 日高宗一郎,胡振江,稲葉一浩,加藤弘之
- Journal Title
  
  Computer Software
  
  Volume: 29 Issue: 2 Pages: 2_174-2_192
- DOI
  10.11309/jssst.29.2_174
- NAID
  130004549266
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008, KAKENHI-PROJECT-23700047
[Journal Article] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  In Proceedings of13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
  
  Pages: 17-28
- DOI
  10.1145/2003476.2003482
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2011
- Author(s)
  中野圭介,日高宗一郎,胡振江,稲葉一浩,加藤弘之
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 29巻2号 Pages: 74-191
- NAID
  130004549266
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2011
- Author(s)
  中野圭介, 日高宗一郎, 胡振江, 稲葉一浩, 加藤弘之
- Journal Title
  
  プログラミングおよびプログラミング言語ワークショップ予稿集
  
  Volume: 13 Pages: 146-160
- NAID
  130004549266
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008
[Journal Article] Toward Bidirectionalization of ATL with GRoundTram2011
- Author(s)
  Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  In Proceedings of 4th International Conference on Theory and Practice of Model Transformations
  
  Pages: 138-151
- DOI
  10.1007/978-3-642-21732-6_10
- ISBN
  9783642217319, 9783642217326
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008
[Journal Article] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, K.Nakano.
- Journal Title
  
  ACM SIGPLAN Notices-ICFP'10
  
  Volume: 45-9 Pages: 205-216
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008
[Journal Article] Bidirectionalizing GraphTransformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
- Journal Title
  
  In Proceedings of15th ACM SIGPLAN International Conference on Functional Programming
  
  Pages: 205-216
- DOI
  10.1145/1863543.1863573
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008
[Journal Article] Context-preserving XQuery fusion2010
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhinjiang Hu, Keisuke Nakano, Yasunori Ishihara.
- Journal Title
  
  Lecture Notes in Computer Science-APLAS'10
  
  Volume: 6461 Pages: 255-270
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008
[Journal Article] Yasunori Ishihara: Context-preserving XQuery fusion2010
- Author(s)
  H iroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano
- Journal Title
  
  In Proceedings of 8th Asian Symposium on Programming Languages and Systems
  
  Pages: 255-270
- DOI
  10.1007/978-3-642-17164-2_18
- ISBN
  9783642171635, 9783642171642
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008
[Journal Article] Context-Preserving XQuery Fusion
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, YasunoriIshihara
- Journal Title
  
  Mathematical Structures in Computer Science (MSCS), Cambridge University Press
  
  Volume: (掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Characterizations of Partial Well-Behaved Lenses2024
- Author(s)
  Keishi Hashiba, Keisuke Nakano, Kazuyuki Asada, Kentaro Kikuchi
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）
- Data Source
  KAKENHI-PROJECT-21K11744
[Presentation] 木オートマトンと引数成長の概念を用いた組合せ子の停止性の反証 C12024
- Author(s)
  岩見宗弘, 中野圭介
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）
- Data Source
  KAKENHI-PROJECT-21K11744
[Presentation] 定理証明支援系によるJavaScriptプログラムの検証基盤の開発にむけて2023
- Author(s)
  上西真由, 中野圭介, 浅田和之, 菊池健太郎, 野木知優
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）
- Data Source
  KAKENHI-PROJECT-22H00520
[Presentation] 型変換による異なる定理証明支援系間の証明の再利用2023
- Author(s)
  菅野直孝, 中野圭介, 浅田和之, 菊池健太郎
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）
- Data Source
  KAKENHI-PROJECT-22H00520
[Presentation] 異なる定理証明支援系間の証明の再利用に向けた帰納型の変換2023
- Author(s)
  菅野直孝, 中野圭介, 浅田和之, 菊池健太郎
- Organizer
  日本ソフトウェア科学会第40回大会
- Data Source
  KAKENHI-PROJECT-21K11744
[Presentation] トップダウン型自動微分をもつ圏における訓練データ逆伝播法とそれによる勾配に基づく学習2023
- Author(s)
  中村卓武, 浅田和之, 菊池健太郎, 中野圭介
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）
- Data Source
  KAKENHI-PROJECT-22H00520
[Presentation] Time-symmetric Turing machines for computable involutions2022
- Author(s)
  中野圭介
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)
- Data Source
  KAKENHI-PROJECT-17K00007
[Presentation] Time-symmetric Turing machines for computable involutions2022
- Author(s)
  中野圭介
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)
- Data Source
  KAKENHI-PROJECT-21K11744
[Presentation] On Turing machines with syntactic restrictions2021
- Author(s)
  Nakano Keisuke
- Organizer
  The School of Computer and Cyber Sciences (CCS) Colloquium Series in Augusta University
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00007
[Presentation] Idempotent Turing Machines2021
- Author(s)
  Nakano Keisuke
- Organizer
  46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00007
[Presentation] A Tangled Web of 12 Lens Laws2021
- Author(s)
  Nakano Keisuke
- Organizer
  13th International Conference on Reversible Computation (RC 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00007
[Presentation] Idempotent Turing Machines2021
- Author(s)
  Nakano Keisuke
- Organizer
  46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11744
[Presentation] A Tangled Web of 12 Lens Laws2021
- Author(s)
  Nakano Keisuke
- Organizer
  13th International Conference on Reversible Computation (RC 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11744
[Presentation] On Turing machines with syntactic restrictions2021
- Author(s)
  Nakano Keisuke
- Organizer
  The School of Computer and Cyber Sciences (CCS) Colloquium Series in Augusta University
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11744
[Presentation] Involuotry Turing Machines2020
- Author(s)
  Keisuke Nakano
- Organizer
  12th International Conference on Reversible Computation (RC 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H04093
[Presentation] Involutory Turing Machines2020
- Author(s)
  Nakano Keisuke
- Organizer
  12th Conference on Reversible Computation (RC 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00007
[Presentation] Streaming Ranked-Tree-to-String Transducers2019
- Author(s)
  Yuta Takahashi, Kazuyuki Asada, Keisuke Nakano.
- Organizer
  International Conference on Implementation and Application of Automata (CIAA 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H04093
[Presentation] Toward BX-based Architecture for Controlling and Sharing Distributed Data2019
- Author(s)
  Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki
- Organizer
  IEEE Second Workshop on Software Foundations for Data Interoperability(SFDI 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H04093
[Presentation] モデル検査のパズル化2019
- Author(s)
  中野圭介
- Organizer
  夏のプログラミング・シンポジウム 2019
- Data Source
  KAKENHI-PROJECT-17K00007
[Presentation] Streaming Ranked-Tree-to-String Transducers2019
- Author(s)
  Yuta Takahashi, Kazuyuki Asada, Keisuke Nakano
- Organizer
  24th International Conference on Implementation and Application of Automata (CIAA 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03204
[Presentation] Towards a Complete Picture of Lens Laws2019
- Author(s)
  Keisuke Nakano
- Organizer
  Third Workshop on Software Foundations for Data Interoperability (SFDI 2019+)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H04093
[Presentation] On Repetitive Right Application of B-Terms2019
- Author(s)
  中野圭介
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-17K00007
[Presentation] Flexible framework for data integration and update propagation: system aspect2019
- Author(s)
  Yasuhito Asano, Dennis-Florian Herr, Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki
- Organizer
  IEEE Second Workshop on Software Foundations for Data Interoperability(SFDI 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H04093
[Presentation] 定理証明支援系Coqにおける余帰納的証明のガード条件の漸進的検査2018
- Author(s)
  小澤祐也, 中野圭介
- Organizer
  第121回プログラミング研究発表会
- Data Source
  KAKENHI-PROJECT-18H03204
[Presentation] 定理証明支援系Coqにおける余帰納的証明のガード条件の漸進的検査2018
- Author(s)
  小澤祐也, 中野圭介
- Organizer
  The 14th Theorem Proving and Provers meeting (TPP 2018)
- Data Source
  KAKENHI-PROJECT-18H03204
[Presentation] On Repetitive Right Application of B-Terms2018
- Author(s)
  Keisuke Nakano
- Organizer
  International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00007
[Presentation] ComplCoq: Rewrite Hint Construction with Completion Procedures2018
- Author(s)
  Mirai Ikebuchi and Keisuke Nakano
- Organizer
  The Coq Workshop 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03204
[Presentation] スタック構造の累積引数を持つ関数を融合するための木変換器合成2018
- Author(s)
  西山舜, 中野圭介
- Organizer
  第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018）
- Data Source
  KAKENHI-PROJECT-17K00007
[Presentation] Coqにおける手続き的証明から宣言的証明への変換2018
- Author(s)
  山田伊織, 中野圭介
- Organizer
  第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018）
- Data Source
  KAKENHI-PROJECT-17K00007
[Presentation] On the repetitive right application of B-terms2017
- Author(s)
  Keisuke Nakano
- Organizer
  Dagstuhl Seminar on Formal Methods of Transformations
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00007
[Presentation] Bidirectional Certified Programming2017
- Author(s)
  Daisuke Kinoshita, Keisuke Nakano
- Organizer
  6th International Workshop on Bidirectional Transformations (BX 2017)
- Place of Presentation
  Uppsala (Sweden)
- Year and Date
  2017-04-29
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Bidirectional Certified Programming2017
- Author(s)
  Keisuke Nakano
- Organizer
  Sixth International Workshop on Bidirectional Transformations
- Place of Presentation
  ウプサラ大学 (スウェーデン)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25730002
[Presentation] On properties of B-terms2016
- Author(s)
  Keisuke Nakano
- Organizer
  NJ Programming Languages and Systems Seminars
- Place of Presentation
  ペンシルバニア大学 (アメリカ)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25730002
[Presentation] イベント駆動式サーバのための並列JavaScript処理系の実装2014
- Author(s)
  藤井亮太，岩崎英哉，中野圭介，鵜川始陽
- Organizer
  第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014)
- Place of Presentation
  熊本県阿蘇市
- Data Source
  KAKENHI-PROJECT-23500038
[Presentation] XQuery Streaming by Forest Transducers2014
- Author(s)
  Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki
- Organizer
  30th IEEE International Conference on Data Engineering (ICDE 2014)
- Place of Presentation
  Holiday Inn Chicago Mart Plaza, Chicago, Illinois, USA
- Year and Date
  2014-04-03
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] XQuery Streaming by Forest Transducers2014
- Author(s)
  Keisuke Nakano
- Organizer
  30th International Conference on Data Engineering
- Place of Presentation
  Chicago, US
- Data Source
  KAKENHI-PROJECT-25730002
[Presentation] Optimization for Iterative Queries on MapReduce2014
- Author(s)
  Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu
- Organizer
  40th International Conference on Very Large Data Base (VLDB 2014)
- Place of Presentation
  Dragon Hotel, Hangzhou, China
- Year and Date
  2014-09-02
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches2013
- Author(s)
  Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
- Organizer
  15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013)
- Place of Presentation
  Complutense University of Madrid, Madrid, Spain
- Year and Date
  2013-09-16
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] XML stream processing based on tree transducer composition2013
- Author(s)
  Keisuke Nakano
- Organizer
  Dagstuhl Seminar on Tree Transducers and Formal Methods
- Place of Presentation
  Dagstuhl, Germany
- Invited
- Data Source
  KAKENHI-PROJECT-25730002
[Presentation] Structural Recursion for Querying Ordered Graphs2013
- Author(s)
  Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013)
- Place of Presentation
  Hilton Boston Logan Airport Hotel, Boston, Massachusetts, USA
- Year and Date
  2013-09-27
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] JavaScript 処理系に対する外部関数インタフェースの設計及び実装2013
- Author(s)
  谷村明, 岩崎英哉, 中野圭介, 鵜川始陽
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
- Place of Presentation
  福島県会津若松市
- Year and Date
  2013-03-04
- Data Source
  KAKENHI-PROJECT-23500038
[Presentation] Towards Certified Model Transformation2012
- Author(s)
  Keisuke Nakano
- Organizer
  Atlanmod-BiG Joint workshop on Bidirectionality in Model Transformations
- Place of Presentation
  Paris
- Data Source
  KAKENHI-PROJECT-22700008
[Presentation] Metamorphism, Jigsaw and String Rewriting2012
- Author(s)
  Keisuke Nakano
- Organizer
  36th TRS Meeting
- Place of Presentation
  松江
- Data Source
  KAKENHI-PROJECT-22700008
[Presentation] サーバサイドJavaScript 処理系の開発について2012
- Author(s)
  高田祥, 鵜川始陽, 中野圭介, 岩崎英哉
- Organizer
  第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2012)
- Place of Presentation
  和歌山県白浜町
- Year and Date
  2012-03-09
- Data Source
  KAKENHI-PROJECT-23500038
[Presentation] サーバサイドJavaScript処理系の開発について2012
- Author(s)
  高田祥, 鵜川始陽，中野圭介，岩崎英哉
- Organizer
  第14回プログラミングおよびプログラミング言語ワークショップ (PPL 2012)
- Place of Presentation
  和歌山県白浜町
- Data Source
  KAKENHI-PROJECT-23500038
[Presentation] Shall We Juggle, Coinductively?2012
- Author(s)
  Keisuke Nakano
- Organizer
  The Second International Conference on Certified Programs and Proofs (CPP 2012)
- Place of Presentation
  Kyoto
- Data Source
  KAKENHI-PROJECT-22700008
[Presentation] Metamorphism, Jigsaw and String Rewriting2012
- Author(s)
  Keisuke Nakano
- Organizer
  36th TRS Meeting
- Place of Presentation
  島根大学
- Year and Date
  2012-02-28
- Data Source
  KAKENHI-PROJECT-22700008
[Presentation] Towards Certified Model Transformation.2012
- Author(s)
  Keisuke Nakano
- Organizer
  Atlanmod-BiG Joint workshop on Bidirectionality in Model Transformations
- Place of Presentation
  パリフランス
- Data Source
  KAKENHI-PROJECT-22700008
[Presentation] Progress Report on the Rho Property of B Combinators2012
- Author(s)
  Keisuke Nakano
- Organizer
  37th TRS meeting
- Place of Presentation
  仙台
- Data Source
  KAKENHI-PROJECT-22700008
[Presentation] GRoundTram : An IntegratEd Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011)
- Place of Presentation
  Oread, Lawrence, Kansas, USA
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Toward bidirectionalization of ATL with GRoundTram2011
- Author(s)
  Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  International Conference on Model Transformation (ICMT 2011)
- Place of Presentation
  Zurich, Switzerland
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Toward bidirectionalization of ATL with GRoundTram2011
- Author(s)
  Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  International Conference on Model Transformation (ICMT 2011)
- Place of Presentation
  Swiss Federal Intsitute of Technology Zurich, Zurich, Switzerland
- Year and Date
  2011-06-27
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] View updatability checking with a graph schema2011
- Author(s)
  Keisuke Nakano
- Organizer
  5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition
- Place of Presentation
  西安中国
- Data Source
  KAKENHI-PROJECT-22700008
[Presentation] 模倣に基づくグラフスキーマを利用したビュー更新可能性2011
- Author(s)
  中野圭介,日高宗一郎,胡振江,稲葉一浩,加藤弘之
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  札幌
- Data Source
  KAKENHI-PROJECT-22700008
[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
- Place of Presentation
  Odense, Denmark
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Marker-Directed Optimization of UnCAL Graph Transformations2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
- Organizer
  21^<st> International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
- Place of Presentation
  University of Southern Denmark, Odense, Denmark
- Year and Date
  2011-07-19
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] View updatablity checking for graph queries2011
- Author(s)
  Keisuke Nakano
- Organizer
  Automated techniques for higher-order program verification
- Place of Presentation
  湘南国際村センター
- Year and Date
  2011-09-26
- Data Source
  KAKENHI-PROJECT-22700008
[Presentation] JavaScript におけるプログラム変換の効果2011
- Author(s)
  田村知博, 中野圭介, 鵜川始陽, 岩崎英哉
- Organizer
  夏のプログラミング・シンポジウム2011「プログラミング言語, 作る人, 使う人」報告集
- Place of Presentation
  佐賀県唐津市
- Year and Date
  2011-09-02
- Data Source
  KAKENHI-PROJECT-23500038
[Presentation] View updatability checking for graph queries2011
- Author(s)
  Keisuke Nakano
- Organizer
  Shonan seminar on Automated techniques for higher-order program verification
- Place of Presentation
  葉山
- Data Source
  KAKENHI-PROJECT-22700008
[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
- Place of Presentation
  University of Southern Denmark, Odense, Denmark
- Year and Date
  2011-07-20
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] View Updatability Checking with a Graph Schema2011
- Author(s)
  Keisuke Nakano
- Organizer
  5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition
- Place of Presentation
  西安交通大学
- Year and Date
  2011-05-18
- Data Source
  KAKENHI-PROJECT-22700008
[Presentation] GroundTram : An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  26^<th> IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
- Place of Presentation
  The Oread, Kansas City, USA
- Year and Date
  2011-11-10
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] JavaScriptにおけるプログラム変換の効果2011
- Author(s)
  田村知博，中野圭介，鵜川始陽，岩崎英哉
- Organizer
  夏のプログラミング・シンポジウム「プログラミング言語，作る人，使う人」
- Place of Presentation
  佐賀県唐津市
- Data Source
  KAKENHI-PROJECT-23500038
[Presentation] Marker-Directed Optimization of UnCAL Graph Transformations2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
- Organizer
  21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
- Place of Presentation
  Odense, Denmark
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- Organizer
  15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- Place of Presentation
  Baltimore, Maryland, USA
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- Organizer
  15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- Place of Presentation
  Hyatt Regency Inner Harbor, Baltimore, America
- Year and Date
  2010-09-28
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Context-Preserving XQuery Fusion2010
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
- Organizer
  Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010)
- Place of Presentation
  Shanghai, China
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Contest-Preserving XQuery Fusion2010
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
- Organizer
  8^<th> Asian Symposium on Programming Languages and Systems (APLAS2010)
- Place of Presentation
  Hengshan Hotel, Shanghai, China
- Year and Date
  2010-11-30
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] JavaScript 仮想機械におけるQuickeningの効果
- Author(s)
  高田祥, 鵜川始陽, 中野圭介, 岩崎英哉
- Organizer
  日本ソフトウェア科学会第15回プログラミングおよびプログラミング言語ワークショップ (PPL 2013)
- Place of Presentation
  福島県会津若松市
- Data Source
  KAKENHI-PROJECT-23500038
[Presentation] JavaScript処理系に対する外部関数インタフェースの設計及び実装
- Author(s)
  谷村明, 岩崎英哉, 中野圭介, 鵜川始陽
- Organizer
  日本ソフトウェア科学会第15回プログラミングおよびプログラミング言語ワークショップ (PPL 2013)
- Place of Presentation
  福島県会津若松市
- Data Source
  KAKENHI-PROJECT-23500038
[Presentation] Grammatical Frameworkにおける語彙データの自動生成
- Author(s)
  渡邉秀隆, 中野圭介
- Organizer
  言語処理学会第21回年次大会
- Place of Presentation
  京都大学
- Year and Date
  2015-03-16 – 2015-03-20
- Data Source
  KAKENHI-PROJECT-25730002

1. HU Zhenjiang (50292769)

# of Collaborated Projects: 2 results

# of Collaborated Products: 21 results
2. HIDAKA Soichiro (70321578)

# of Collaborated Projects: 2 results

# of Collaborated Products: 21 results
3. KATO Hiroyuki (10321580)

# of Collaborated Projects: 2 results

# of Collaborated Products: 21 results
4. EMOTO Kento (00587470)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. MATSUDA Kazutaka (10583627)

# of Collaborated Projects: 2 results

# of Collaborated Products: 5 results
6. Affeldt Reynald (40415641)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. 勝股審也 (30378963)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. J Garrigue (80273530)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. INABA Kazuhiro (30570311)

# of Collaborated Projects: 1 results

# of Collaborated Products: 14 results
10. SASANO Isao (10362021)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
11. IWASAKI Hideya (90203372)

# of Collaborated Projects: 1 results

# of Collaborated Products: 9 results
12. UGAWA Tomoharu (50423017)

# of Collaborated Projects: 1 results

# of Collaborated Products: 9 results
13. MORIHATA Akimasa (10582257)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. Yoshikawa Masatoshi (30182736)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 浅田和之 (00570251)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
16. 浅野泰仁 (20361157)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
17. 鬼塚真 (60726165)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
18. 才川隆文 (00897100)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 溝口佳寛 (80209783)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. ZHU Zirun

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Nakano Keisuke 中野 圭介

NAKANO Keisuke 中野 圭介

Research Projects

Research Products

Co-Researchers

Formal Foundations for Verification of Physical and Probabilistic Systems

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

双方向変換言語のための計算モデルとプログラミング言語への応用Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Formal verification of probabilistic graphical models and its application to artificial intelligence

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research on basic technology and application of CDMS to realize a democratic data distribution society

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of software foundation based on certified formal tree language theoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Integrated and Fundamental for Large-Scale and Practical Bidirectional Graph Transformation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Mechanized formalization of formal tree languages in proof assistantsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Server-side JavaScript System for Developing Practical Web Applications

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on Language Foundation for Bidirectional Model Transformation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Efficient implementation and verification of practical structured-document transformation based on tree transducer theoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 定理証明手習い2017

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Journal Article] Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers2023

Author(s)

Journal Title

Data Source

[Journal Article] Time-symmetric Turing machines for computable involutions2022

Author(s)

Journal Title

DOI

Data Source

Nakano Keisuke 中野圭介

NAKANO Keisuke 中野圭介