FrontPage  Index  Search  Changes  Login

Publication

[English / Japanese]
トップ 研究 プログラミング ジャグリング 連絡先
分野と業績 学術活動 プロジェクト
 

研究分野

  • 辿節型木変換(Tree transducers)/ 形式木言語理論 / 属性文法
  • 関数型プログラミング / プログラム変換(特に関数融合)/ プログラム検証
  • 双方向変換(ビュー更新)/ データベースクエリの高速化

論文リスト

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
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)|http://www.pllab.riec.tohoku.ac.jp/ppl2013/], 会津若松,2013年3月.
高田 祥, 鵜川 始陽, 中野 圭介, 岩崎 英哉
JavaScript 仮想機械におけるQuickeningの効果, [[第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013)|http://www.pllab.riec.tohoku.ac.jp/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 ManethObsolete!
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
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 ストリーム処理器の自動導出. JSSST 第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. [abstract] [pdf, 1703kB]
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. [abstract] [pdf, 182kB]
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!
イベント駆動型文書変換器の自動生成, 日本ソフトウェア科学会第19回大会, 函館, 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. [abstract]
Keisuke Nakano
Attribute-Directed Extraction of a Context-Free Grammar. Master's Thesis, Research Institute for Mathematical Sciences, Kyoto University, February 2000.
Last modified:2017/05/18 12:40:34
Keyword(s):
References:[tabtree] [frontpage] [Interests] [FrontPage] [news] [TabTree] [News] [interests]