自己反映言語の効率的実装とそれを支える基盤技術

• 研究課題/領域番号: 22500025
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: お茶の水女子大学
• 研究代表者: 浅井 健一 お茶の水女子大学, 大学院人間文化創成科学研究科, 准教授 (10262156)
• 研究期間 (年度): 2010-04-01 – 2015-03-31
• 研究課題ステータス: 完了 (2014年度)
• 配分額: 4,290千円 (直接経費: 3,300千円、間接経費: 990千円); 2014年度: 780千円 (直接経費: 600千円、間接経費: 180千円); 2013年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2012年度: 780千円 (直接経費: 600千円、間接経費: 180千円); 2011年度: 780千円 (直接経費: 600千円、間接経費: 180千円); 2010年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
• キーワード: 自己反映言語 / 部分評価 / プログラム変換 / MetaOCaml

研究成果の概要

従来の自己反映言語において生じていた不具合の原因を特定した。その回避法として、言語の意味は直接形式に保ちつつ実装のみを非関数化した継続渡し形式にするという方法を提示した。これに基づいて MetaOCaml で自己反映言語を実装し、ユーザによって変更されたメタレベルインタプリタのコンパイルを実現した。一方、変更されたメタレベルインタプリタのもとでのコンパイルは現時点では難しいことを指摘し、その実現には MetaOCaml に束縛時解析が必要なことを示した。

研究成果

• [雑誌論文] Compiling a Reflective Language using MetaOCaml (2014)
  • 著者名/発表者名: Asai, K.
  • 雑誌名: International Conference on Generative Programming: Concepts and Experiences 巻: - ページ: 113-122
  • DOI: 10.1145/2658761.2658775
  • 査読あり / 謝辞記載あり
• [雑誌論文] 例外と限定継続命令をサポートする評価器からの仮想機械とコンパイラの導出 (2013)
  • 著者名/発表者名: 増子 萌、浅井 健一
  • 雑誌名: プログラミングおよびプログラミング言語ワークショップ論文集 巻: 15
  • 査読あり
• [雑誌論文] Functional un|unparsing (2012)
  • 著者名/発表者名: Asai, K., O. Kiselyov, and C.-c. Shan
  • 雑誌名: Higher-Order and Symbolic Computation 巻: Vol. 24, Issue 4 号: 4 ページ: 311-340
  • DOI: 10.1007/s10990-012-9087-2
  • 査読あり
• [雑誌論文] Reflection in Direct Style (2012)
  • 著者名/発表者名: Kenichi Asai
  • 雑誌名: Generative Programming and Component Engineering 巻: 10 ページ: 97-106
  • DOI: 10.1145/2047862.2047882
  • 査読あり
• [雑誌論文] Functional Derivation of a Virtual Machine for Delimited Continuations (2010)
  • 著者名/発表者名: Kenichi Asai, Arisa Kitani
  • 雑誌名: Principles and Practice of Declarative Programming ページ: 87-97
  • 査読あり
• [学会発表] MetaOCaml を使った自己反映言語のコンパイル (2014)
  • 著者名/発表者名: 浅井 健一
  • 学会等名: 第１６回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 阿蘇の司 ビラパークホテル(熊本県阿蘇市)
• [学会発表] データベースを用いたMikiβの拡張に向けて (2013)
  • 著者名/発表者名: 中野祥、浅井健一
  • 学会等名: プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 会津若松
• [学会発表] 探索アルゴリズムのための非決定性オペレータの実装 (2011)
  • 著者名/発表者名: 金子ちひろ、浅井健一
  • 学会等名: 第13回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 北海道札幌市
  • 年月日: 2011-03-09