Keisuke Nakano's Web Site - Publication Diff

  • Added parts are displayed like this.
  • Deleted parts are displayed like this.

!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:'''Involuotry Nakano:'''[[Involuotry Turing Machines''', Machines|https://doi.org/10.1007/978-3-030-52482-1_3]]''', ''[[12th International Conference on Reversible Computation (RC 2020)|https://reversible-computation-2020.github.io/]]'', ==Oslo, Norway== Online, July 2020.
:Mirai Ikebuchi and Keisuke Nakano:'''[[On properties of ''B''-terms|https://lmcs.episciences.org/6522]]''', ''[[Logical Methods in Computer Science|https://lmcs.episciences.org/]]'', Vol. 16 (2), June 2020.
:Keisuke Nakano:'''[[Towards a Complete Picture of Lens Laws|https://arxiv.org/abs/1910.10421]]''', ''[[3rd Workshop on Software Foundations for Data Interoperability (SFDI2019+)|http://www.prg.nii.ac.jp/projects/biscuits/third-workshop/]]'', Fukuoka, Japan, October 2019.
:Yuta Takahashi, Kazuyuki Asada, and Keisuke Nakano:'''[[Streaming Ranked-Tree-to-String Transducers|https://doi.org/10.1007/978-3-030-23679-3_19]]''', ''[[24th International Conference on Implementation and Application of Automata|http://im.saske.sk/ciaa2019/]]'', Kosice, Slovakia, July 2019.
:M. Ikebuchi and K. Nakano:[[On repetitive right application of B-terms|https://dx.doi.org/10.4230/LIPIcs.FSCD.2018.18]], ''[[3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)|http://www.cs.le.ac.uk/events/fscd2018/]]'', pp.18:1-18:15, Oxford, UK, July 2018.
:K. Abe and K. Nakano:'''[[Towards practical typechecking for macro forest transducers|https://doi.org/10.2197/ipsjjip.25.962]]''', ''[[Journal of Information Processing|http://www.ipsj.or.jp/english/jip/]]'', Vol. 25 (2017), pp.962-974.
:==Mirai Ikebuchi and Keisuke Nakano== ''Obsolete!'':=='''[[On repetitive right application of B-terms|http://arxiv.org/abs/1703.10938]]''', CoRR abs/1703.10938 (2017).==
:H. Kato, S. Hidaka, Z. Hu, K. Nakano and Y. Ishihara: ''' [[Context-Preserving XQuery Fusion|http://dx.doi.org/10.1017/S096012951300008X]]''', ''[[Mathematical Structures in Computer Science|http://journals.cambridge.org/action/displayJournal?jid=MSC]]'', Vol. 25, No. 4 (2015), pp.916-941, Cambridge University Press.
//
:S. Hakuta, S. Maneth, K. Nakano, H. Iwasaki: '''[[XQuery Streaming by Forest Transducers|http://dx.doi.org/10.1109/ICDE.2014.6816714]]''', ''[[30th IEEE International Conference on Data Engineering (ICDE 2014)|http://ieee-icde2014.eecs.northwestern.edu/]]'', Chicago, Illinois, USA, March-April 2014.
//
:M. Onizuka, H. Kato, S. Hidaka, K. Nakano, Z. Hu: '''[[Optimization for Iterative Queries on Map{{e(82)}}educe|http://www.vldb.org/pvldb/vol7/p241-onizuka.pdf]]''', ''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|http://link.springer.com/article/10.1007%2Fs10990-013-9097-8]]''', ''[[Higher-Order and Symbolic Computation|http://link.springer.com/journal/10990]]'', 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)|http://icfpconference.org/icfp2013/]]'', 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)|http://users.ugent.be/~tschrijv/PPDP2013/]]'', 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|http://dx.doi.org/10.2201/NiiPi.2013.10.7]]''' , ''Research paper of the special issue: [[Advanced programming techniques for construction of robust, generic and evolutionary programs|http://dx.doi.org/10.2201/NiiPi.2013.10.1]] (guest editors: Zhenjiang Hu, Shin-Cheng Mu and Stephanie Weirich), [[Progress in Informatics|http://www.nii.ac.jp/pi/]]'', No. 10, pp. 131-148, 2013.
//
:K. Nakano: '''[[Metamorphism in Jigsaw (Functional Pearl)|http://dx.doi.org/10.1017/S0956796812000391]]''', ''[[Journal of Functional Programming|http://journals.cambridge.org/action/displayJournal?jid=JFP]]'', volume 23, issue 02 (2013), pp. 161-173.
::''[[PDF is freely accessible here by registering for a Cambridge Core account|https://www.cambridge.org/core/journals/journal-of-functional-programming/article/div-classtitlemetamorphism-in-jigsawdiv/15F720F604C69433542883DF43EE88BC]]. The copyright belongs to Cambridge University Press.''
::[known typo] p.165, l.3, pieces {{e(8594)}} p.
//
:K. Nakano: '''[[Shall We Juggle, Coinductively?|http://dx.doi.org/10.1007/978-3-642-35308-6_14]]''', ''[[The Second International Conference on Certified Programs and Proofs (CPP 2012)|http://cpp12.kuis.kyoto-u.ac.jp/]]'', Kyoto, Japan, December 2012.
//
:K. Matsuda, K. Inaba and K. Nakano: '''[[Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals|http://dl.acm.org/citation.cfm?id=2103752]]''', ''[[ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (PEPM 2012)|http://www.program-transformation.org/PEPM12/]]'', 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)|http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6100104]]''', ''[[26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011)|http://www.continuinged.ku.edu/programs/ase/]]'', 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|http://link.springer.com/chapter/10.1007/978-3-642-32211-2_9]]''', ''[[21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)|http://users.dsic.upv.es/~lopstr11/]]'', Odense, Denmark, July 2011.
//
:K. Inaba, S. Hidaka, Z. Hu, H. Kato and K. Nakano: '''[[Graph-Transformation Verification using Monadic Second-Order Logic|http://portal.acm.org/citation.cfm?id=2003482]]''', ''[[13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)|http://www-ps.informatik.uni-kiel.de/ppdp11/]]'', Odense, Denmark, July 2011.
//
:I. Sasano, Z. Hu, S. Hidaka, K. Inaba, H. Kato and K. Nakano: '''[[Toward Bidirectionalization of ATL with GRoundTram|http://www.springerlink.com/content/475g165843hv58g5/]]''', ''[[2nd International Conference on Model Transformation (ICMT 2011)|http://www.model-transformation.org/]]'', Zurich, Switzerland, June 2011.
//
:H. Kato, S. Hidaka, Z. Hu, K. Nakano, Y. Ishihara: '''[[Context-Preserving XQuery Fusion|http://www.springerlink.com/content/926235x102726wl0/]]''', ''[[8th ASIAN Symposium on Programming Languages and Systems (APLAS 2010)|http://basics.sjtu.edu.cn/conference/aplas2010/]]'', Shanghai, China, November 2010.
//
:S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, K. Nakano: '''[[Bidirectionalizing Graph Transformations|http://portal.acm.org/citation.cfm?id=1863573]]''', ''[[15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)|http://www.icfpconference.org/icfp2010/]]'', Baltimore, Maryland, USA, September 2010.
//
:K. Nakano, S. Maneth:'''[[Computing the Cost of Typechecking of Composition of Macro Tree Transducers|http://www.jstage.jst.go.jp/article/imt/4/4/4_846/_article/]]'''. ''[[Information and Media Technologies|http://www.jstage.jst.go.jp/browse/imt]]'', Number 4, Volume 4 (2009), pp. 846-856.
//
:K. Nakano, Z. Hu, M. Takeichi:'''[[Consistent Web Site Updating based on Bidirectional Transformation|http://dx.doi.org/10.1007/s10009-009-0124-3]]'''. ''[[International Journal on Software Tools for Technology Transfer|http://www.springerlink.com/content/101563/]]'', Volume 11, Number 6 (2009), pp. 453-468.
//
:K. Nakano:'''[[Composing Stack-Attributed Tree Transducers|http://dx.doi.org/10.1007/s00224-008-9125-y]]'''. ''[[Theory of Computing Systems|http://www.springerlink.com/content/100369/]]'', 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|https://doi.org/10.1145/1529282.1529383]]'''. The Software Engineering Track of [[SAC 2009|http://www.acm.org/conferences/sac/sac2009/]], 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)|http://db.ucsd.edu/planx2009/]], 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|http://wse2008.fbk.eu/]]'', 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)|http://gemo.futurs.inria.fr/events/PLANX2008/]]'', 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)|http://gemo.futurs.inria.fr/events/PLANX2008/]]'', 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)|http://www.informatik.uni-bonn.de/~ralf/icfp07.html]]'', Freiburg, Germany, October 2007.
//
:[[A. Frisch|http://alain.frisch.fr/]] and K. Nakano:'''Streaming XML Transformation Using Term Rewriting'''. ''[[Programming Language Technologies for XML (PLAN-X 2007)|http://www.plan-x-2007.org/]]'', Nice, France, January 2007.
//
:K. Nakano and [[S-C. Mu|http://www.iis.sinica.edu.tw/%7Escm/]]:'''A Pushdown Machine for Recursive XML Processing'''. ''[[The Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006)|http://www.kb.ecei.tohoku.ac.jp/aplas2006]]'', Sydney, Australia, November 2006. [[[abstract]|http://www.springerlink.com/content/x024615201m73763]]|[[[pdf (full-version), 272kB]|http://www.riec.tohoku.ac.jp/%7eksk/pub/Nakano06aplas-full.pdf]].
//
:K. Nakano, A. Morihata, Z. Hu and M. Takeichi:'''Webpage Updating System based on Bidirectional Transformation'''. ''[[23rd JSSST Annual Conference|http://www.ipl.t.u-tokyo.ac.jp/jssst2006/]]'', Tokyo, Japan, 2006.
//
:K. Nakano:'''Streamlining Functional XML Processing'''. ''[[1st DIKU-IST Joint Workshop on Foundations of Software|http://www.diku.dk/DIKU-IST05/]]'', Copenhagen, Denmark, September 2005. [[[abstract]|http://www.diku.dk/DIKU-IST05/abstracts.html#t6]] [[[pdf, 200kB]|http://www.riec.tohoku.ac.jp/%7eksk/pub/Nakano05diku.pdf]]
//
:K. Nakano:'''Automatic Derivation of an XML Stream Processor from a Macro Forest Transducer'''. ''[[22nd JSSST Annual Conference|http://www.nue.riec.tohoku.ac.jp/jssst2005/]]'', Sendai, Japan, 2005. [[[pdf, 336kB, In Japanese]|http://www.riec.tohoku.ac.jp/%7eksk/pub/Nakano05jssst.pdf]]
//
:[[S. Nishimura|http://www.math.kyoto-u.ac.jp/%7Esusumu/]] and K. Nakano:'''[[XML stream transformer generation through program composition and dependency analysis|https://doi.org/10.1016/j.scico.2004.07.001]]'''. ''[[Science of Computer Programming|http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/description]]'', 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)|http://www.comp.nus.edu.sg/%7Eaplas/]]'', Taipei, Taiwan, November 2004. [[[abstract]|http://www.springerlink.com/index/DPTYF14DN4VFVYLM]] [[[pdf, 182kB]|http://www.riec.tohoku.ac.jp/%7eksk/pub/Nakano04aplas.pdf]]
//
: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]|http://www.riec.tohoku.ac.jp/%7eksk/pub/Nakano04compsoft.pdf]]
//
:==K. Nakano.== ''Obsolete!'':=='''Composing Stack-Attributed Tree Transducers'''. ''Technical Report METR-2004-01, [[Major in Mathematical Informatics, University of Tokyo|http://www.i.u-tokyo.ac.jp/mi/mi-e.htm]]''. [[[pdf(revised), 240kB]|http://www.riec.tohoku.ac.jp/%7eksk/pub/Nakano04metr.pdf]]==.
//
:==K. Nakano.== ''Obsolete!'':=='''Composing Stack-Attributed Tree Transducers'''. ''Submitted, 2002''==.
//
:K. Nakano and [[S. Nishimura|http://www.math.kyoto-u.ac.jp/%7Esusumu/]]:'''Deriving Event-Based Document Transformers from Tree-Based Specifications'''. ''[[Workshop on Language Descriptions, Tools and Applications (LDTA'01)|http://www-sop.inria.fr/oasis/LDTA/ldta.html]]'', Genova, Italy April 2001. [[[abstract]|http://www.elsevier.nl/gej-ng/31/29/23/73/27/show/Products/notes/index.htt#013]]
//
:K. Nakano:'''Attribute-Directed Extraction of a Context-Free Grammar'''. ''Master's Thesis'', Research Institute for Mathematical Sciences, Kyoto University, February 2000.