Keisuke Nakano's Web Site

FrontPage Index Search Changes Login

[English / Japanese]

Top

Research

Programming

Juggling

Contact

Interests/Publications

Activities

Project

Interests

Tree Transducers / Attribute Grammars
Formal Tree Language Theory
Functional Programming / Program Transformation (Fusion / Deforestation)
Program Verification / Model Checking / Proof Assistants
Structured Document (XML) Transformation
Bidirectional transformation / View Updating / Query Optimization

Publications

Keisuke Nakano: Idempotent Turing Machines, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Tallin, Estonia (hybrid), August 2021.
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: 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, accepted by Theoretical Computer Science (published online), Elsevier, January 2021.
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.
M. Ikebuchi and K. 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.
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.
K. Abe and K. Nakano: Towards practical typechecking for macro forest transducers, Journal of Information Processing, Vol. 25 (2017), pp.962-974.
~~Mirai Ikebuchi and Keisuke Nakano~~ Obsolete!: On repetitive right application of B-terms, CoRR abs/1703.10938 (2017).
H. Kato, S. Hidaka, Z. Hu, K. Nakano and Y. Ishihara: Context-Preserving XQuery Fusion, Mathematical Structures in Computer Science, Vol. 25, No. 4 (2015), pp.916-941, Cambridge University Press.
S. Hakuta, S. Maneth, K. Nakano, H. Iwasaki: XQuery Streaming by Forest Transducers, 30th IEEE International Conference on Data Engineering (ICDE 2014), Chicago, Illinois, USA, March-April 2014.
M. Onizuka, H. Kato, S. Hidaka, K. Nakano, Z. Hu: Optimization for Iterative Queries on MapReduce, Proceedings of the VLDB Endowment (PVLDB), Vol. 7, No. 4 (2013), pp.241-252.
K. Matsuda, K. Inaba, K. Nakano: Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals, Higher-Order and Symbolic Computation, September 2013, Springer.
S. Hidaka, K. Asada, Z. Hu, H. Kato, K. Nakano: Structural Recursion for Querying Ordered Graphs, 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013), Boston, Massachusetts, USA, September 2013.
K. Asada, S. Hidaka, H. Kato, Z. Hu, K. 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.
S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. 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.
K. Nakano: Metamorphism in Jigsaw (Functional Pearl), Journal of Functional Programming, volume 23, issue 02 (2013), pp. 161-173.; PDF is freely accessible here by registering for a Cambridge Core account. The copyright belongs to Cambridge University Press.; [known typo] p.165, l.3, pieces → p.
K. Nakano: Shall We Juggle, Coinductively?, The Second International Conference on Certified Programs and Proofs (CPP 2012), Kyoto, Japan, December 2012.
K. Matsuda, K. Inaba and K. Nakano: 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.
S. Hidaka, Z. Hu, K. Inaba, H. Kato and K. 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.
S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, K. Nakano and I. Sasano: Marker-Directed Optimization of UnCAL Graph Transformations, 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011), Odense, Denmark, July 2011.
K. Inaba, S. Hidaka, Z. Hu, H. Kato and K. 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.
I. Sasano, Z. Hu, S. Hidaka, K. Inaba, H. Kato and K. Nakano: Toward Bidirectionalization of ATL with GRoundTram, 2nd International Conference on Model Transformation (ICMT 2011), Zurich, Switzerland, June 2011.
H. Kato, S. Hidaka, Z. Hu, K. Nakano, Y. Ishihara: Context-Preserving XQuery Fusion, 8th ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, November 2010.
S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, K. Nakano: Bidirectionalizing Graph Transformations, 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), Baltimore, Maryland, USA, September 2010.
K. Nakano, S. Maneth: Computing the Cost of Typechecking of Composition of Macro Tree Transducers. Information and Media Technologies, Number 4, Volume 4 (2009), pp. 846-856.
K. Nakano, Z. Hu, M. 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.
K. Nakano: Composing Stack-Attributed Tree Transducers. Theory of Computing Systems, Volume 44, Issue 1 (2009), pp. 1-38.
S. Hidaka, Z. Hu, H. Kato, K. Nakano: Towards Compositional Approach to Model Transformation for Software Development. The Software Engineering Track of SAC 2009, Hawaii, USA, March 2009.
H.Kato, S. Hidaka, Z. Hu, Y. Ishihara, K. 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.
K. Nakano, Z. Hu, M. Takeichi: Consistent Web Site Updating based on Bidirectional Transformation. The 10th IEEE International Symposium on Web Site Evolution, Beijing, China, October 2008.
S. Maneth and K. Nakano: XML Type Checking for Macro Tree Transducers with Holes. Programming Language Technologies for XML (PLAN-X 2008), San Francisco, USA, January 2008.
S-C. Mu, T-C. Tsai and K. Nakano: XML Stream Processing Using a Lazy Concurrent Language. Programming Language Technologies for XML (PLAN-X 2008), San Francisco, USA, January 2008.
K. Matsuda, Z. Hu, K. Nakano, M. Hamana and M. 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.
A. Frisch and K. Nakano: Streaming XML Transformation Using Term Rewriting. Programming Language Technologies for XML (PLAN-X 2007), Nice, France, January 2007.
K. Nakano and S-C. Mu: A Pushdown Machine for Recursive XML Processing. The Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006), Sydney, Australia, November 2006. [abstract]|[pdf (full-version), 272kB].
K. Nakano, A. Morihata, Z. Hu and M. Takeichi: Webpage Updating System based on Bidirectional Transformation. 23rd JSSST Annual Conference, Tokyo, Japan, 2006.
K. Nakano: Streamlining Functional XML Processing. 1st DIKU-IST Joint Workshop on Foundations of Software, Copenhagen, Denmark, September 2005. [abstract] [pdf, 200kB]
K. Nakano: Automatic Derivation of an XML Stream Processor from a Macro Forest Transducer. 22nd JSSST Annual Conference, Sendai, Japan, 2005. [pdf, 336kB, In Japanese]
S. Nishimura and K. 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.
K. 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. [abstract] [pdf, 182kB]
K. Nakano: Towards Implementation of XML Transformation Languages Intended for Stream Processing. Computer Software, Vol. 21, No. 3 (2004), pp.48-54. [pdf(revised), 320kB, In Japanese]
~~K. Nakano.~~ Obsolete!: Composing Stack-Attributed Tree Transducers. Technical Report METR-2004-01, Major in Mathematical Informatics, University of Tokyo. [pdf(revised), 240kB].
~~K. Nakano.~~ Obsolete!: ~~Composing Stack-Attributed Tree Transducers. Submitted, 2002~~.
K. Nakano and S. Nishimura: Deriving Event-Based Document Transformers from Tree-Based Specifications. Workshop on Language Descriptions, Tools and Applications (LDTA'01), Genova, Italy April 2001. [abstract]
K. 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:24
Keyword(s):
References:[Interests] [News] [TabTree]