一対一でない相互変換のためのプログラム逆計算

• 研究課題/領域番号: 24700020
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: ソフトウエア
• 研究機関: 東京大学
• 研究代表者: 松田 一孝 東京大学, 情報理工学(系)研究科, 助教 (10583627)
• 研究期間 (年度): 2012-04-01 – 2015-03-31
• 研究課題ステータス: 完了 (2014年度)
• 配分額: 2,990千円 (直接経費: 2,300千円、間接経費: 690千円); 2014年度: 910千円 (直接経費: 700千円、間接経費: 210千円); 2013年度: 910千円 (直接経費: 700千円、間接経費: 210千円); 2012年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
• キーワード: プログラミング言語 / プログラム変換 / 関数プログラミング / 双方向変換 / プログラム逆計算 / 領域特化言語

研究成果の概要

プログラム逆計算は，プログラムが与えられたときに，そのプログラムの出力から対応する入力を計算するプログラムを求める．本プロジェクトの目的は，プログラム逆計算による多対一の関係にある相互変換プログラムの構成である．本プロジェクトの主な成果は次の二つである．一つ目は，整形出力プログラムを入力とし，構文解析プログラムを出力するシステムの作成である．二つ目は，双方向変換──通常の変換と，変換後のデータに対する変更を元データに書き戻す逆方向変換の組──を通常の一方向の変換プログラムから構成するfree theoremに基づく手法を，より実用的な変換が扱えるように拡張したことである．

研究成果

• [雑誌論文] "Bidirectionalization for Free" for Monomorphic Transformations (2015)
  • 著者名/発表者名: Kazutaka Matsuda
  • 雑誌名: Science of Computer Programming 巻: 未定 ページ: 79-109
  • DOI: 10.1016/j.scico.2014.07.008
  • 査読あり / 謝辞記載あり
• [雑誌論文] Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem (2013)
  • 著者名/発表者名: Kazutaka Matsuda, Meng Wang
  • 雑誌名: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming 巻: なし ページ: 297-308
  • DOI: 10.1145/2505879.2505888
  • 査読あり
• [雑誌論文] FliPpr: A Prettier Invertible Printing System (2013)
  • 著者名/発表者名: Kazutaka Matsuda and Meng Wang
  • 雑誌名: Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013 巻: LNCS 7792 ページ: 101-120
  • DOI: 10.1007/978-3-642-37036-6_6
  • ISBN: 9783642370359, 9783642370366
  • 査読あり
• [学会発表] A Type Class for Bidirectionalization: Or, a Light-Weight Approach to the View-Update Problem (2013)
  • 著者名/発表者名: 松田一孝，Meng Wang
  • 学会等名: 日本ソフトウェア科学会第30回大会
  • 発表場所: 東京大学（東京都）
• [学会発表] Relating a data structure and its text representation: A case study of pretty-printing and parsing (2013)
  • 著者名/発表者名: Kazutaka Matsuda
  • 学会等名: BIRS Workshop: Bi-directional transformations (BX) - Theory and Applications Across Disciplines (13w5115)
  • 発表場所: Banff International Research Station (Banff, Canada)
• [学会発表] Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals (2012)
  • 著者名/発表者名: Kazutaka Matsuda
  • 学会等名: 1st International Workshop on Trends in Tree Automata and Tree Transducers
  • 発表場所: Nagoya, Japan
• [備考] 研究代表者のwebサイト
  • URL: http://www-kb.is.s.u-tokyo.ac.jp/~kztk/
• [備考] 昨年度および今年度の成果をまとめたライブラリ
  • URL: https://hackage.haskell.org/package/bff-mono
• [備考] 研究代表者のウェブサイト
  • URL: http://www-kb.is.s.u-tokyo.ac.jp/~kztk/
• [備考] 今年度の成果を実装したライブラリの入手先
  • URL: https://bitbucket.org/kztk/bff-mono