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

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

研究課題

研究課題/領域番号 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に基づく手法を,より実用的な変換が扱えるように拡張したことである.

報告書

(4件)
  • 2014 実績報告書   研究成果報告書 ( PDF )
  • 2013 実施状況報告書
  • 2012 実施状況報告書
  • 研究成果

    (10件)

すべて 2015 2013 2012 その他

すべて 雑誌論文 (3件) (うち査読あり 3件、 謝辞記載あり 1件) 学会発表 (3件) 備考 (4件)

  • [雑誌論文] "Bidirectionalization for Free" for Monomorphic Transformations2015

    • 著者名/発表者名
      Kazutaka Matsuda
    • 雑誌名

      Science of Computer Programming

      巻: 未定 ページ: 79-109

    • DOI

      10.1016/j.scico.2014.07.008

    • 関連する報告書
      2014 実績報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem2013

    • 著者名/発表者名
      Kazutaka Matsuda, Meng Wang
    • 雑誌名

      Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming

      巻: なし ページ: 297-308

    • DOI

      10.1145/2505879.2505888

    • 関連する報告書
      2013 実施状況報告書
    • 査読あり
  • [雑誌論文] FliPpr: A Prettier Invertible Printing System2013

    • 著者名/発表者名
      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
    • 関連する報告書
      2012 実施状況報告書
    • 査読あり
  • [学会発表] A Type Class for Bidirectionalization: Or, a Light-Weight Approach to the View-Update Problem2013

    • 著者名/発表者名
      松田一孝,Meng Wang
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 発表場所
      東京大学(東京都)
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] Relating a data structure and its text representation: A case study of pretty-printing and parsing2013

    • 著者名/発表者名
      Kazutaka Matsuda
    • 学会等名
      BIRS Workshop: Bi-directional transformations (BX) - Theory and Applications Across Disciplines (13w5115)
    • 発表場所
      Banff International Research Station (Banff, Canada)
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals2012

    • 著者名/発表者名
      Kazutaka Matsuda
    • 学会等名
      1st International Workshop on Trends in Tree Automata and Tree Transducers
    • 発表場所
      Nagoya, Japan
    • 関連する報告書
      2012 実施状況報告書
  • [備考] 研究代表者のwebサイト

    • URL

      http://www-kb.is.s.u-tokyo.ac.jp/~kztk/

    • 関連する報告書
      2014 実績報告書
  • [備考] 昨年度および今年度の成果をまとめたライブラリ

    • URL

      https://hackage.haskell.org/package/bff-mono

    • 関連する報告書
      2014 実績報告書
  • [備考] 研究代表者のウェブサイト

    • URL

      http://www-kb.is.s.u-tokyo.ac.jp/~kztk/

    • 関連する報告書
      2013 実施状況報告書
  • [備考] 今年度の成果を実装したライブラリの入手先

    • URL

      https://bitbucket.org/kztk/bff-mono

    • 関連する報告書
      2013 実施状況報告書

URL: 

公開日: 2013-05-31   更新日: 2019-07-29  

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

Powered by NII kakenhi