汎言語的メタプログラミング基盤としての健全な構文マクロ機構の研究

2013 年度 研究成果報告書

• 研究課題/領域番号: 23500034
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 東京工業大学
• 研究代表者: 脇田 建 東京工業大学, 情報理工学(系)研究科, 准教授 (10242265)
• 研究分担者: 佐々木 晃 法政大学, 情報科学部, 准教授 (90396870)
• 研究期間 (年度): 2011 – 2013
• キーワード: 構文マクロシステム / メタプログラミング / JavaScript / LISP

研究概要

マクロシステムはさまざまなプログラミング言語で使用されているが，多くの問題の原因となることも指摘されている．この点を改善するHygienic構文マクロシステムはLISPについて研究されてきたが，一般のプログラミング言語への応用は限定的であるため，われわれはこの系統的な実装方式にうちて研究し，その技術を応用してJavaScriput，およびScalaのためのHygienic構文マクロシステムを完成させた．研究成果として拡張可能な構文解析器の実装，および，汎用マクロ展開器の実装という二つの主要な困難を解決した．研究成果としてWebで実装を公開している．

研究成果

• [雑誌論文] 解析表現文法とScheme マクロ展開器を用いたJavaScript 向けHygienic 構文マクロシステムの実装 (2013)
  • 著者名/発表者名: 甫水佳奈子, 脇田建, 佐々木晃
  • 雑誌名: 情報処理学会論文誌. プログラミング 巻: 6(2) ページ: 85-101
  • URL: http://id.nii.ac.jp/1001/00094924/
  • 査読あり
• [学会発表] ビジュアルブロックを採用したドメイン特化言語とその開発ツールの実現手法 (2014)
  • 著者名/発表者名: 栗原あずさ, 佐々木晃, 脇田建
  • 学会等名: 電子情報通信学会ソフトウェアサイエンス研究会
  • URL: http://www.ieice.org/ken/paper/20140312aBML/
  • 発表場所: 那覇
  • 年月日: 2014-03-12
• [学会発表] 差分的に記述された解析表現文法に対する構文解析器の合成 (2013)
  • 著者名/発表者名: 森健輔, 脇田建
  • 学会等名: 日本ソフトウェア科学会創設30周年記念大会
  • URL: http://www.is.titech.ac.jp/~wakita/sites/jssst2013/program.pdf
  • 発表場所: 東京
  • 年月日: 2013-09-13
• [学会発表] 役割指向を用いた並行システムの記述と実装手法の提案 (2013)
  • 著者名/発表者名: 柏木孝仁, 佐々木晃, 田沼英樹
  • 学会等名: 第3回社会システム部会研究会
  • URL: http://www.socsys.org/symposium003/program/
  • 発表場所: 盛岡
  • 年月日: 2013-02-27
• [学会発表] Hygienic 構文マクロシステムを用いたJavaScript プログラミング (2013)
  • 著者名/発表者名: 脇田建, 甫水佳奈子, 佐々木晃
  • 学会等名: 第54回プログラミング・シンポジウム
  • URL: http://www.ipsj.or.jp/prosym/54/54program.html
  • 発表場所: 箱根
  • 年月日: 2013-01-11
• [学会発表] A proposal of implementation technique for hygienic syntactic macro system for JavaScript (2012)
  • 著者名/発表者名: Kanako Homizu, Ken Wakita, and Akira Sasaki
  • 学会等名: 10th Asian symposium on Programming languages and systems
  • 発表場所: 京都
  • 年月日: 2012-12-12
• [学会発表] Scheme 言語をルール記述言語とした役割指向記述の試み (2012)
  • 著者名/発表者名: 柏木孝仁, 佐々木晃, 田沼英樹
  • 学会等名: 情報処理学会全国大会
  • URL: http://id.nii.ac.jp/1001/00084585/
  • 発表場所: 名古屋
  • 年月日: 2012-03-06
• [学会発表] 構文マクロ定義を利用した動的拡張可能なエディタ (2011)
  • 著者名/発表者名: 甫水佳奈子, 脇田建, 佐々木晃
  • 学会等名: 日本ソフトウェア科学会第19回インタラクティブシステムとソフトウェアに関するワークショップ
  • URL: http://www.wiss.org/WISS2011Proceedings/PDF/066.pdf
  • 発表場所: 宮津
  • 年月日: 2011-12-12
• [備考] 甫水佳奈子, js-macro : A hygienic macro system for JavaScript(ホームページ等)
  • URL: https://github.com/homizu/js-macro
• [備考] 甫水佳奈子, マクロプログラミングサンプル集(ホームページ等)
  • URL: http://www.is.titech.ac.jp/~homizu8/ex-js/index.html
• [備考] 脇田建, 高級マクロシステム(ホームページ等)
  • URL: http://kwakita.wordpress.com/projects/macros