• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2012 年度 研究成果報告書

木トランスデューサに基づく実用的な構造化文書変換の効率化と高信頼化

研究課題

  • PDF
研究課題/領域番号 22700008
研究種目

若手研究(B)

配分区分補助金
研究分野 情報学基礎
研究機関電気通信大学

研究代表者

中野 圭介  電気通信大学, 先端領域教育研究センター, 准教授 (30505839)

研究期間 (年度) 2010 – 2012
キーワードオートマトン理論 / 形式言語理論
研究概要

本研究課題の目標は,木トランスデューサ(TT)の理論をXML文書などの構造化文書の変換に応用し,TT理論の実用的側面を検証することである.TT理論は形式言語理論の研究者らが中心となり数学的興味から研究が進められてきたため,その実用性は疑問視されていたが,本研究の成果により構造化文書などの木構造データやその一般化であるグラフ構造データの変換プログラムの効率化や高信頼化に十分有用であることが確認できた.

  • 研究成果

    (16件)

すべて 2013 2012 2011 2010

すべて 雑誌論文 (10件) (うち査読あり 10件) 学会発表 (6件)

  • [雑誌論文] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations.2013

    • 著者名/発表者名
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
    • 雑誌名

      Progress in Informatics

      巻: No.10 ページ: 131-148

    • DOI

      DOI:10.2201/NiiPi.2013.10.7

    • 査読あり
  • [雑誌論文] Metamorphism in Jigsaw2013

    • 著者名/発表者名
      Keisuke Nakano
    • 雑誌名

      Journal of Functional Programming

      巻: 23(2) ページ: 161-173

    • DOI

      DOI:10.1017/S0956796812000391

    • 査読あり
  • [雑誌論文] Shall We Juggle, Co- inductively? In Proceedings of 2ndInternational Conference on Certified2012

    • 著者名/発表者名
      Keisuke Nakano
    • 雑誌名

      Programs and Proofs

      ページ: 160-172

    • DOI

      DOI:10.1007/978-3-642-35308-6_14

    • 査読あり
  • [雑誌論文] Isao Sasano: Marker- Directed Optimization of UnCAL Graph Transformations2012

    • 著者名/発表者名
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
    • 雑誌名

      In Selected/revised papers from 21st International Symposium Logic-Based Program Synthesis and Transformation

      ページ: 123-138

    • DOI

      DOI:10.1007/978-3-642-32211-2_9

    • 査読あり
  • [雑誌論文] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012

    • 著者名/発表者名
      中野圭介, 日高宗一郎,胡振江,稲葉一 浩,加藤弘之
    • 雑誌名

      コンピュータソフトウェア

      巻: 29(2) ページ: 174-192

    • DOI

      DOI:10.11309/jssst.29.2_174

    • 査読あり
  • [雑誌論文] Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals2012

    • 著者名/発表者名
      Kazutaka Matsuda, Kazuhiro Inaba and Keisuke Nakano
    • 雑誌名

      In Proceedings of ACM SIGPLAN Partial Evaluation and Program Manipulation

      ページ: 5-14

    • DOI

      DOI:10.1145/2103746.2103752

    • 査読あり
  • [雑誌論文] Graph-Transformation Verification using Monadic Second-Order Logic2011

    • 著者名/発表者名
      Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
    • 雑誌名

      In Proceedings of13th international ACM SIGPLAN symposium on Principles and practices of declarative programming

      ページ: 17-28

    • DOI

      DOI:10.1145/2003476.2003482

    • 査読あり
  • [雑誌論文] Toward Bidirectionalization of ATL with GRoundTram2011

    • 著者名/発表者名
      Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
    • 雑誌名

      In Proceedings of 4th International Conference on Theory and Practice of Model Transformations

      ページ: 138-151

    • DOI

      DOI:10.1007/978-3-642-21732-6_10

    • 査読あり
  • [雑誌論文] Yasunori Ishihara: Context-preserving XQuery fusion2010

    • 著者名/発表者名
      H iroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano
    • 雑誌名

      In Proceedings of 8th Asian Symposium on Programming Languages and Systems

      ページ: 255-270

    • DOI

      DOI:10.1007/978-3-642-17164-2_18

    • 査読あり
  • [雑誌論文] Bidirectionalizing GraphTransformations2010

    • 著者名/発表者名
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
    • 雑誌名

      In Proceedings of15th ACM SIGPLAN International Conference on Functional Programming

      ページ: 205-216

    • DOI

      DOI:10.1145/1863543.1863573

    • 査読あり
  • [学会発表] Progress Report on the Rho Property of B Combinators2012

    • 著者名/発表者名
      Keisuke Nakano
    • 学会等名
      37th TRS meeting
    • 発表場所
      仙台
    • 年月日
      20121100
  • [学会発表] Towards Certified Model Transformation.2012

    • 著者名/発表者名
      Keisuke Nakano
    • 学会等名
      Atlanmod-BiG Joint workshop on Bidirectionality in Model Transformations
    • 発表場所
      パリフランス
    • 年月日
      20120900
  • [学会発表] Metamorphism, Jigsaw and String Rewriting2012

    • 著者名/発表者名
      Keisuke Nakano
    • 学会等名
      36th TRS Meeting
    • 発表場所
      松江
    • 年月日
      20120200
  • [学会発表] View updatability checking for graph queries2011

    • 著者名/発表者名
      Keisuke Nakano
    • 学会等名
      Shonan seminar on Automated techniques for higher-order program verification
    • 発表場所
      葉山
    • 年月日
      20110900
  • [学会発表] View updatability checking with a graph schema2011

    • 著者名/発表者名
      Keisuke Nakano
    • 学会等名
      5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition
    • 発表場所
      西安 中国
    • 年月日
      20110500
  • [学会発表] 模倣に基づくグラフスキーマを利用したビュー更新可能性2011

    • 著者名/発表者名
      中野圭介,日高宗一郎,胡振江,稲葉一 浩,加藤弘之
    • 学会等名
      第13回プログラミングおよびプログラミング 言語ワークショップ
    • 発表場所
      札幌
    • 年月日
      20110300

URL: 

公開日: 2014-08-29  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi