プログラムの形式文法に基づく双方向化の研究

• 研究課題/領域番号: 22800003
• 研究種目: 研究活動スタート支援
• 配分区分: 補助金
• 研究分野: ソフトウエア
• 研究機関: 東北大学
• 研究代表者: 松田 一孝 東北大学, 情報科学研究科, 助教 (10583627)
• 研究期間 (年度): 2010 – 2011
• 研究課題ステータス: 完了 (2011年度)
• 配分額: 2,418千円 (直接経費: 1,860千円、間接経費: 558千円); 2011年度: 1,105千円 (直接経費: 850千円、間接経費: 255千円); 2010年度: 1,313千円 (直接経費: 1,010千円、間接経費: 303千円)
• キーワード: プログラミング言語 / プログラム変換 / 関数プログラミング / 双方向変換 / 逆計算

研究概要

双方向変換は, 様々な応用を持つため有用であるが, 双方向変換を手で書くのは手間でバグが入りやすい. この問題に対するアプローチの一つが双方向化であり, 通常の変換プログラムから双方向変換の導出を行う. 本研究成果として, 形式文法の知見を応用し新らたな双方向化の基盤技術を得た. 本技術を利用することにより, 多くのXML変換についてその出力が与えられたときに対応する全入力を多項式時間で求めることができるようになる.

研究成果

• [雑誌論文] Marker-directed Optimization of UnCAL Graph Transformations, LOPSTR 2011 (2012)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, and Isao Sasano
  • 雑誌名: 21st International Symposium on Logic-Based Program Synthesis and Transformation
  • 査読あり
• [雑誌論文] Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals, PEPM 2012 (2012)
  • 著者名/発表者名: Kazutaka Matsuda, Kazuhiro Inaba, and Keisuke Nakano
  • 雑誌名: ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation ページ: 5-14
  • 査読あり
• [雑誌論文] Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals (2012)
  • 著者名/発表者名: Kazutaka Matsuda, Kazuhiro Inaba and Keisuke Nakano
  • 雑誌名: In Proceedings of ACM SIGPLAN Partial Evaluation and Program Manipulation ページ: 5-14
  • DOI: 10.1145/2103746.2103752
  • 査読あり
• [雑誌論文] Marker-directed Optimization of UnCAL Graph Transformations (2012)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
  • 雑誌名: LOPSTR2011 : 21st International Symposium on Logic-Based Program Synthesis and Transformation, Revised Papers 巻: LNCS 7225(accepted)
  • 査読あり
• [学会発表] Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals (2012)
  • 著者名/発表者名: 松田一孝
  • 学会等名: プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 和歌山県西牟婁郡
  • 年月日: 2012-03-10
• [学会発表] Marker-directed Optimization of UnCAL Graph Transformations, LOPSTR 2011 (2011)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, and Isao Sasano
  • 学会等名: 21st International Symposium on Logic-Based Program Synthesis and Transformation
  • 発表場所: Odense, Denmark
  • 年月日: 2011-07-19
• [学会発表] 型システムによる高階木変換器の逆像計算 (2011)
  • 著者名/発表者名: 塚田武志, 松田一孝
  • 学会等名: 第13回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 札幌
  • 年月日: 2011-03-09
• [学会発表] Right Inverses in Bidirectionalization (2011)
  • 著者名/発表者名: Kazutaka Matsuda
  • 学会等名: Dagstuhl Seminar-Bidirectional Transformations"bx"
  • 発表場所: Dagstuhl, German
  • 年月日: 2011-01-20
• [学会発表] Right Inverses in Bidirectionalization (2011)
  • 著者名/発表者名: Kazutaka Matsuda
  • 学会等名: Dagstuhl Seminar-Bidirectional Transformations "bx"
  • 発表場所: Dagstuhl,ドイツ
  • 年月日: 2011-01-20
• [学会発表] A Short Review : Left Inverses vs. Right Inverses (2011)
  • 著者名/発表者名: Kazutaka Matsuda
  • 学会等名: 4th DIKU-IST Workshop
  • 発表場所: Tokyo, Japan
  • 年月日: 2011-01-11
• [学会発表] A Short Review : Left Inverses vs. Right Inverses (2011)
  • 著者名/発表者名: Kazutaka Matsuda
  • 学会等名: 4th DIKU-IST Workshop
  • 発表場所: 東京
  • 年月日: 2011-01-11
• [備考]
  • URL: http://www-kb.is.s.u-tokyo.ac.jp/~kztk/
• [備考]
  • URL: http://www.kb.ecei.tohoku.ac.jp/~kztk/
• [備考]
  • URL: http://www.kb.ecei.tohoku.ac.jp/~kztk/