Keisuke Nakano's Web Site

FrontPage Index Search Changes Login

[English / Japanese]

トップ

研究

分野と業績

研究分野

形式的木変換（Tree Transducers）／形式木言語理論（Formal Tree Language Theory）／属性文法（Attribute Grammars）
関数型プログラミング（Functional Programming）／プログラム変換（Program Transformation）／関数融合（Function Fusion）
プログラム検証（Program Verification）／モデル検査（Model Checking）／定理証明支援系（Proof Assistants）
双方向変換（Bidirectional Transformation）／ビュー更新（View Updating）／データベースクエリの高速化（Query Optimization）

論文リスト

Keisuke Nakano: Time-symmetric Turing machines for computable involutions, Science of Computer Programming, Volume 215, 1 March 2022, 102748.
Yasuhito Asano, Yang Cao, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Masato Takeichi, Chuan Xiao, and Masatoshi Yoshikawa: Bidirectional Collaborative Frameworks for Decentralized Data Management, Software Foundations for Data Interoperability, First Online: 19 January 2022, Pages 13-51.
Keisuke Nakano: Idempotent Turing Machines, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Tallin, Estonia (hybrid), August 2021.
Keisuke Nakano: A Tangled Web of 12 Lens Laws, 13th International Conference on Reversible Computation (RC 2021), ~~Nagoya, Japan~~ Online, July 2021.
Yuta Takahashi, Kazuyuki Asada, and Keisuke Nakano: Streaming Ranked-Tree-to-String Transducers, Theoretical Computer Science, Elsevier, Volume 870, 16 May 2021, Pages 165-187.
Keisuke Nakano: Involutory Turing Machines, 12th International Conference on Reversible Computation (RC 2020), ~~Oslo, Norway~~ Online, July 2020.
Mirai Ikebuchi and Keisuke Nakano: On properties of B-terms, Logical Methods in Computer Science, Vol. 16 (2), June 2020.
Keisuke Nakano: Towards a Complete Picture of Lens Laws, 3rd Workshop on Software Foundations for Data Interoperability (SFDI2019+), Fukuoka, Japan, October 2019.
Yuta Takahashi, Kazuyuki Asada, and Keisuke Nakano: Streaming Ranked-Tree-to-String Transducers, 24th International Conference on Implementation and Application of Automata, Kosice, Slovakia, July 2019.
棚橋健人, 中野圭介: 数値や文字列に対するガードを含む累積引数付き再帰関数の融合, 第21回プログラミングおよびプログラミング言語ワークショップ (PPL2019), 花巻，2019年3月.
高橋祐多, 中野圭介: ランク付き木から文字列への決定性ストリーム変換器の表現力, 第21回プログラミングおよびプログラミング言語ワークショップ (PPL2019), 花巻，2019年3月.
Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, and Yuya Sasaki: Toward BX-based Architecture for Controlling and Sharing Distributed Data, Second Workshop on Software Foundations for Data Interoperability (SFDI 2019), Kyoto, Japan, February 2019.
Yasuhito Asano, Dennis-Florian Herr, Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, and Yuya Sasaki: Flexible framework for data integration and update propagation: system aspect, Second Workshop on Software Foundations for Data Interoperability (SFDI 2019), Kyoto, Japan, February 2019.
高橋祐多, 中野圭介: 木から文字列への決定性トップダウン変換の等価性判定アルゴリズムの実用性について, コンピュータソフトウェア, Vol. 35, No. 4 (2018), pp.52-71.
小澤祐也, 中野圭介: 定理証明支援系Coqにおける余帰納的証明のガード条件の漸進的検査, 第121回プログラミング研究発表会, 東京, 2018年10月.
高橋祐多, 中野圭介: 木から文字列への決定性降下型変換器の早期化, 第121回プログラミング研究発表会, 東京, 2018年10月.
阿部和敬, 中野圭介: 高階木変換器を経由したマクロ木変換器の直接的融合, 第121回プログラミング研究発表会, 東京, 2018年10月.
Mirai Ikebuchi and Keisuke Nakano: On repetitive right application of B-terms, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), pp.18:1-18:15, Oxford, UK, July 2018.
Mirai Ikebuchi and Keisuke Nakano: ComplCoq: Rewrite Hint Construction with Completion Procedures, The Coq Workshop 2018, Oxford, UK, July 2018.
山田伊織, 中野圭介: Coqにおける手続き的証明から宣言的証明への変換, 第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018), 米子，2018年3月.
近松万由子, 岩崎英哉, 中野圭介: 関数型言語の初学者のためのHaskellのビジュアルプログラミング環境, 第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018), 米子，2018年3月.
西山舜, 中野圭介: スタック構造の累積引数を持つ関数を融合するための木変換器合成, 第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018), 米子，2018年3月.
中川涼太, 中野圭介: 属性付き記号的木変換器の合成, 第20回プログラミングおよびプログラミング言語ワークショップ (PPL2018), 米子，2018年3月.
Kazuhiro Abe and Keisuke Nakano: Towards practical typechecking for macro forest transducers, Journal of Information Processing, Vol. 25 (2017), pp.962-974.
Daisuke Kinoshita and Keisuke Nakano: Bidirectional Certified Programming, 6th International Workshop on Bidirectional Transformation (BX 2017), Uppsala, Sweden, April 2017.
~~Mirai Ikebuchi and Keisuke Nakano~~ Obsolete!: On repetitive right application of B-terms, CoRR abs/1703.10938 (2017).
高橋祐多, 中野圭介: 木から文字列への決定性トップダウン変換の等価性判定の実装, 第19回プログラミングおよびプログラミング言語ワークショップ (PPL2017), 笛吹，2017年3月.
中川涼太, 中野圭介: 属性文法合成による関数融合の実装, 第19回プログラミングおよびプログラミング言語ワークショップ (PPL2017), 笛吹，2017年3月.
阿部和敬, 中野圭介: マクロ森トランスデューサの実用的な型検査に向けて, 第113回プログラミング研究発表会, 東京, 2017年3月.
北原元気, 中野圭介: 既存のコード資産を利用した制御構文補完機構, 第58回プログラミング・シンポジウム, 伊東, 2017年1月.
櫻井健二, 中野圭介: OCamlにおける手軽なデバッグ出力機構, 第58回プログラミング・シンポジウム, 伊東, 2017年1月.
丹治将貴, 中野圭介, 岩崎英哉: Rubyに対するGradual typingの導入に向けて, 第58回プログラミング・シンポジウム, 伊東, 2017年1月.
渡邉秀隆, 中野圭介: Grammatical Frameworkにおける語彙データの自動生成, 言語処理学会第21回年次大会, pp.836-839, 京都, 2015年3月.
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, and Yasunori Ishihara: Context-Preserving XQuery Fusion, Mathematical Structures in Computer Science, Vol. 25, No. 4 (2015), pp.916-941, Cambridge University Press.
Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, and Hideya Iwasaki: XQuery Streaming by Forest Transducers, 30th IEEE International Conference on Data Engineering (ICDE 2014), Chicago, Illinois, USA, March-April 2014.
Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, and Zhenjiang Hu: Optimization for Iterative Queries on MapReduce, Proceedings of the VLDB Endowment (PVLDB), Vol. 7, No. 4 (2013), pp.241-252.
田代克也, 中野圭介, 岩崎英哉: Ruby on Railsにおけるテストケース自動生成の提案と実装, 第93回プログラミング研究発表会, 東京, 2013年3月.
Kazutaka Matsuda, Kazuhiro Inaba, and Keisuke Nakano: Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals, Higher-Order and Symbolic Computation, Vol. 25, No. 1 (2013), pp.3-38, Springer.
Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, and Keisuke Nakano: Structural Recursion for Querying Ordered Graphs, 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013), Boston, Massachusetts, USA, September 2013.
Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, and Keisuke Nakano: A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches, 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013), Madrid, Spain, September 2013.
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano: GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations , Research paper of the special issue: Advanced programming techniques for construction of robust, generic and evolutionary programs (guest editors: Zhenjiang Hu, Shin-Cheng Mu and Stephanie Weirich), Progress in Informatics, No. 10, pp. 131-148, 2013.
★ Keisuke Nakano: Metamorphism in Jigsaw (Functional Pearl), Journal of Functional Programming, volume 23, issue 02 (2013), pp. 161-173.; Cambridge Coreアカウントを取得すればこのリンクから無料でPDFを入手可能です．著作権はCambridge University Pressに帰属します．; [known typo] p.165, l.3, pieces → p.
Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, and Keisuke Nakano: Structural Recursion for Querying Ordered Graphs, 第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013), 会津若松，2013年3月.
高田祥, 鵜川始陽, 中野圭介, 岩崎英哉: JavaScript 仮想機械におけるQuickeningの効果, 第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013), 会津若松，2013年3月.
★ 中野圭介: ジグソーパズルによる関数型プログラミング, 第54回プログラミング・シンポジウム, 箱根, 2013年1月.
★ Keisuke Nakano: Shall We Juggle, Coinductively?, The Second International Conference on Certified Programs and Proofs (CPP 2012), Kyoto, Japan, December 2012.
★ 中野圭介, 日高宗一郎, 胡振江, 稲葉一浩, 加藤弘之: 模倣に基づくグラフスキーマを利用したビュー更新可能性判定.コンピュータソフトウェア, Vol. 29, No. 2 (2012), pp.174-192.
白田靜哉, 中野圭介, 岩崎英哉: XQueryプログラムに対するMacro Forest Transducersを用いた型検査機構, 第14回プログラミングおよびプログラミング言語ワークショップ (PPL2012), 白浜，2012年3月.
~~Kazutaka Matsuda, Kazuhiro Inaba, and Keisuke Nakano~~ Obsolete!: Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals, ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (PEPM 2012), Philadelphia, Pennsylvania, USA, January 2012.
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano: GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper), 26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, November 2011.
篠埜功, 胡振江, 日高宗一郎, 稲葉一浩, 加藤弘之, 中野圭介: GRoundTramによるATLの双方向化の実現, 日本ソフトウェア科学会第28回大会, 那覇, 2011年9月.
加藤弘之, 鬼塚真, 日高宗一郎, 中野圭介, 胡振江: 漸進的グラフビュー更新の枠組みの提案, 日本ソフトウェア科学会第28回大会, 那覇, 2011年9月.
田村知博, 中野圭介, 鵜川始陽, 岩崎英哉: JavaScript におけるプログラム変換の効果, 夏のプログラミング・シンポジウム, 2011年9月.
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, and Isao Sasano: Marker-Directed Optimization of UnCAL Graph Transformations, 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011), Odense, Denmark, July 2011.
Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, and Keisuke Nakano: Graph-Transformation Verification using Monadic Second-Order Logic, 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011), Odense, Denmark, July 2011.
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano: Toward Bidirectionalization of ATL with GRoundTram, 2nd International Conference on Model Transformation (ICMT 2011), Zurich, Switzerland, June 2011.
~~★ 中野圭介, 日高宗一郎, 胡振江, 稲葉一浩, 加藤弘之~~ Obsolete!: 模倣に基づくグラフスキーマを利用したビュー更新可能性判定, 第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011), 札幌，2011年3月.
~~Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, and Yasunori Ishihara~~ Obsolete!: Context-Preserving XQuery Fusion, 8th ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, November 2010.
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, and Keisuke Nakano: Bidirectionalizing Graph Transformations, 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), Baltimore, Maryland, USA, September 2010.
★ Keisuke Nakano and Sebastian Maneth: Computing the Cost of Typechecking of Composition of Macro Tree Transducers. Information and Media Technologies, Number 4, Volume 4 (2009), pp. 846-856.
★ Keisuke Nakano, Zhenjiang Hu, and Masato Takeichi: Consistent Web Site Updating based on Bidirectional Transformation. International Journal on Software Tools for Technology Transfer, Volume 11, Number 6 (2009), pp. 453-468.
★ Keisuke Nakano: Composing Stack-Attributed Tree Transducers. Theory of Computing Systems, Volume 44, Issue 1 (2009), pp.1-38.
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, and Yasunori Ishihara: An XQuery Fusion with Preserving Document Order, 日本ソフトウェア科学会第26回大会, 松江, 2009年9月.
松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人: 補関数の生成による複製機能付きプログラムの自動双方向化.コンピュータソフトウェア, Vol. 26, No. 2 (2009), pp.56-75.
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, and Keisuke Nakano: Towards Compositional Approach to Model Transformation for Software Development. The Software Engineering Track of SAC 2009, Hawaii, USA, March 2009.
~~Keisuke Nakano and Sebastian Maneth~~ Obsolete!: Computing the Cost of Typechecking of Composition of Macro Tree Transducers, 第73回プログラミング研究発表会, 東京, 2009年3月.
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, and Keisuke Nakano: Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store, Programming Language Technologies for XML (PLAN-X 2009), Georgia, USA, January 2009.
~~Keisuke Nakano, Zhenjiang Hu, and Masato Takeichi~~ Obsolete!: Consistent Web Site Updating based on Bidirectional Transformation. The 10th IEEE International Symposium on Web Site Evolution, Beijing, China, October 2008.
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, and Keisuke Nakano: Towards Compositional Approach to Model Transformation for Software Development,日本ソフトウェア科学会第25回大会'', 東京, 2008年9月.
中野圭介, 劉東喜, 林康史, 胡振江, 武市正人: 双方向変換に基づくウェブパブリッシング支援システム Vu-X, 第70回情報処理学会全国大会, つくば, 2008年3月.
林康史, 劉東喜, 中野圭介, 胡振江, 武市正人: 依存関係記述スキーマによる双方向XMLアプリケーションの開発, 第70回情報処理学会全国大会, つくば, 2008年3月.
劉東喜, 林康史, 中野圭介, 胡振江, 武市正人: Developing Bidirectional XML Applications with Bi-X, 第70回情報処理学会全国大会, つくば, 2008年3月.
Sebastian Maneth and Keisuke Nakano: XML Type Checking for Macro Tree Transducers with Holes. Programming Language Technologies for XML (PLAN-X 2008), San Francisco, USA, January 2008.
Shin-Cheng Mu, Ta-Chung Tsai, and Keisuke Nakano: XML Stream Processing Using a Lazy Concurrent Language. Programming Language Technologies for XML (PLAN-X 2008), San Francisco, USA, January 2008.
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, and Masato Takeichi: Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions. The 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), Freiburg, Germany, October 2007.
Alain Frisch and Keisuke Nakano: Streaming XML Transformation Using Term Rewriting. Programming Language Technologies for XML (PLAN-X'07), Nice, France, January 2007.
★ Keisuke Nakano and Shin-Cheng Mu: A Pushdown Machine for Recursive XML Processing. The Fourth ASIAN Symposium on Programming Languages and Systems (APLAS'06), Sydney, Australia, November 2006. [abstract]|[pdf (full-version), 272kB].
★ 中野圭介, 森畑明昌, 胡振江, 武市正人: 双方向変換に基づくウェブページ更新機構. 日本ソフトウェア科学会第23回大会, 東京, 2006.
★ Keisuke Nakano: Streamlining Functional XML Processing.1st DIKU-IST Joint Workshop on Foundations of Software, Copenhagen, Denmark, September 2005. [abstract] [pdf, 200kB]
★ 中野圭介: Macro Forest Transducer からの XML ストリーム処理器の自動導出. 日本ソフトウェア科学会第22回大会, 仙台, 2005. [pdf, 336kB]
Susumu Nishimura and Keisuke Nakano: XML stream transformer generation through program composition and dependency analysis. Science of Computer Programming, Volume 54, Isuues 2-3, pp.257-290. Elsevier Publishers, 2005.
★ Keisuke Nakano: An Implementation Scheme for XML Transformation Languages through Derivation of Stream Processors.The Second ASIAN Symposium on Programming Languages and Systems (APLAS'04), Taipei, Taiwan, November 2004.
★ Keisuke Nakano: XML ストリーム処理器の自動導出が可能な XML 変換言語の設計.コンピュータソフトウェア, Vol. 21, No. 3 (2004), pp.206-212. ※掲載されているものは，一部の記号に不備があるため，こちらからダウンロードしたものを参照して下さい．[pdf(revised), 320kB, In Japanese]
~~★ Keisuke Nakano~~ Obsolete!: Composing Stack-Attributed Tree Transducers. Technical Report METR-2004-01, Major in Mathematical Informatics, University of Tokyo. [pdf(revised), 240kB].
西岡真吾, 中野圭介, 胡振江, 武市正人: 構造化文書の応需計算機構, 日本ソフトウェア科学会第21回大会, 東京, 2004年9月.
武市正人, 胡振江, 筧一彦, 林康史, 穆信成, 中野圭介: TreeCalc: Towards Programmable Structured Documents, 日本ソフトウェア科学会第20回大会, 長久手, 2003年9月.
中野圭介: XMLストリーム変換の自動導出が可能なXML変換言語の設計, 日本ソフトウェア科学会第20回大会, 長久手, 2003年9月.
伊藤徹, 香川考司, 角谷良彦, Jacques Garrigue, 中野圭介, 西村進, 林良生, 中島玲二: SOBA に基づいた共著支援システム, 第65回情報処理学会全国大会, 八王子, 2003年3月.
~~★ Keisuke Nakano~~ Obsolete!: Composing Stack-Attributed Tree Transducers. Submitted, 2002.
★ 中野圭介, 西村進: イベント駆動型文書変換器の自動生成.コンピュータソフトウェア, Vol. 19, No. 4 (2002), pp.289-295.
~~中野圭介, 西村進~~Obsolete!: イベント駆動型文書変換器の自動生成, 日本ソフトウェア科学会第18回大会, 函館, 2002年9月.
★ Keisuke Nakano and Susumu Nishimura: Deriving Event-Based Document Transformers from Tree-Based Specifications. Workshop on Language Descriptions, Tools and Applications (LDTA'01), Genova, Italy April 2001.
★ Keisuke Nakano: Attribute-Directed Extraction of a Context-Free Grammar. Master's Thesis, Research Institute for Mathematical Sciences, Kyoto University, February 2000.

Last modified:2021/08/21 14:19:42
Keyword(s):
References:[FrontPage] [Interests] [News] [TabTree]

Publication

研究分野

論文リスト