• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

A methodology for programming language design through general hygienic macro expansion

Research Project

Project/Area Number 26330079
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Software
Research InstitutionTokyo Institute of Technology

Principal Investigator

Wakita Ken  東京工業大学, 情報理工学院, 准教授 (10242265)

Co-Investigator(Kenkyū-buntansha) 渡部 卓雄  東京工業大学, 情報理工学院, 教授 (20222408)
佐々木 晃  法政大学, 情報科学部, 教授 (90396870)
Project Period (FY) 2014-04-01 – 2018-03-31
Project Status Completed (Fiscal Year 2017)
Budget Amount *help
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2016: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2015: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2014: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Keywordsソフトウェア / プログラミング / メタプログラミング / マクロシステム / Hygienic構文マクロ / ドメイン特化型言語 / シミュレーション言語 / 健全マクロ / 解析構文文法 / 構文解析 / プログラミング言語 / 言語間プログラム変換 / マクロ展開器 / ドメイン特化言語 / 構文解析器 / 構文マクロ / 健全性 / プログラム変換 / 仕様記述 / エージェント記述
Outline of Final Research Achievements

The research aimed at development of a framework for designing and implementing a new programming language frontends by means of a macro-based technology. The novelty of the proposed macro technology are twofold: incorporation of hygienic macro system and description of the syntax of the core programming language. Based on this technology, we have conducted research in several application areas including functional reactive programming targeted for programming embedded systems, domain specific languages for social simulation, automated code and document generation system for graphics and information visualization domains.

Report

(5 results)
  • 2017 Annual Research Report   Final Research Report ( PDF )
  • 2016 Research-status Report
  • 2015 Research-status Report
  • 2014 Research-status Report
  • Research Products

    (42 results)

All 2018 2017 2016 2015 2014

All Journal Article (8 results) (of which Peer Reviewed: 7 results,  Open Access: 1 results) Presentation (34 results) (of which Int'l Joint Research: 7 results,  Invited: 1 results)

  • [Journal Article] A Multi-Language Implementation Method for Hygienic Macro Definition Mechanisms2018

    • Author(s)
      高桑健太郎, 渡部卓雄
    • Journal Title

      Computer Software

      Volume: 35 Issue: 2 Pages: 2_33-2_39

    • DOI

      10.11309/jssst.35.2_33

    • NAID

      130007410578

    • ISSN
      0289-6540
    • Year and Date
      2018-04-24
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] 複雑系ネットワークの可視化 ―社会ネットワークを中心に―2018

    • Author(s)
      脇田建
    • Journal Title

      オペレーションズ・リサーチ

      Volume: 63 Pages: 13-19

    • Related Report
      2017 Annual Research Report
  • [Journal Article] アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価2016

    • Author(s)
      竹野創平,渡部卓雄
    • Journal Title

      コンピュータソフトウェア

      Volume: 33 Pages: 167-180

    • NAID

      130005124826

    • Related Report
      2015 Research-status Report
    • Peer Reviewed
  • [Journal Article] Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems2016

    • Author(s)
      Kensuke Sawada and Takuo Watanabe
    • Journal Title

      Modularity 2016, Constrained and Reactive Objects Workshop (CROW 2016)

      Volume: 15th Pages: 36-44

    • DOI

      10.1145/2892664.2892670

    • Related Report
      2015 Research-status Report
    • Peer Reviewed
  • [Journal Article] A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults2015

    • Author(s)
      Naoyuki Nagatou and Takuo Watanabe
    • Journal Title

      International Journal of Industrial Engineering: Theory, Applications and Practice

      Volume: 22 Pages: 494-508

    • Related Report
      2015 Research-status Report
    • Peer Reviewed
  • [Journal Article] A Reflective Implementation of an Actor-based Concurrent Context-Oriented System2015

    • Author(s)
      Sohei Takeno and Takuo Watanabe
    • Journal Title

      14th Workshop on Adaptive and Reflective Middleware (ARM 2015)

      Volume: 14th Pages: 1-6

    • DOI

      10.1145/2834965.2834972

    • Related Report
      2015 Research-status Report
    • Peer Reviewed
  • [Journal Article] Actario: A Framework for Reasoning About Actor Systems2015

    • Author(s)
      Shohei Yasutake and Takuo Watanabe
    • Journal Title

      5th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!@SPLASH 2015)

      Volume: N/A

    • Related Report
      2015 Research-status Report
    • Peer Reviewed
  • [Journal Article] Design and Implementation of an Advanced Source Code Reading Tool for Framework-based Software2015

    • Author(s)
      Yuu Ohmura and Takuo Watanabe
    • Journal Title

      Workshop on Computation: Theory and Practice (WCTP 2015)

      Volume: N/A Pages: 205-210

    • Related Report
      2015 Research-status Report
    • Peer Reviewed
  • [Presentation] アクターモデルと関数リアクティブプログラミングの融合による小規模組込みシステム開発2018

    • Author(s)
      渡部卓雄
    • Organizer
      組込み技術とネットワークに関するワークショップ(ETNET2018)
    • Related Report
      2017 Annual Research Report
  • [Presentation] プログラム依存グラフを用いた機能性によるソースコードの分類2018

    • Author(s)
      延原宙斗、佐々木晃
    • Organizer
      2018年電子情報通信学会総合大会
    • Related Report
      2017 Annual Research Report
  • [Presentation] 局所領域の情報からの予測にもとづく 歩行者モデルに対する回避行動アルゴリズムの研究2018

    • Author(s)
      永島拓弥、鎌田知也、佐々木晃
    • Organizer
      計測自動制御学会システム・情報部門第15回社会システム部会研究会
    • Related Report
      2017 Annual Research Report
  • [Presentation] Interactive high-dimensional visualization2018

    • Author(s)
      Ken Wakita, Riku Takano
    • Organizer
      Handai IDS-JFLI joint Workshop on Media and Graphics
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Fluid UI for HIGH-dimensional Analysis of Social Networks2018

    • Author(s)
      Riku Takano, Ken Wakita
    • Organizer
      ACM conference on Intelligent User Interface
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 汎言語的Hygienic構文マクロシステムの実装に向けて2017

    • Author(s)
      伊藤玲於奈、脇田建
    • Organizer
      第19回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      山梨県笛吹市石和温泉
    • Year and Date
      2017-03-08
    • Related Report
      2016 Research-status Report
  • [Presentation] 多言語に対応した衛生的マクロ機構導入方式2017

    • Author(s)
      高桑健太郎, 渡部卓雄
    • Organizer
      第19回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      山梨県笛吹市石和温泉
    • Year and Date
      2017-03-08
    • Related Report
      2016 Research-status Report
  • [Presentation] 数学的記号処理システムを用いた可視化システムとドキュメントの合成2017

    • Author(s)
      脇田建
    • Organizer
      第58回プログラミング・シンポジウム
    • Place of Presentation
      静岡県伊東市ラフォーレ伊東
    • Year and Date
      2017-01-06
    • Related Report
      2016 Research-status Report
  • [Presentation] 汎言語的Hygienic構文マクロシステムの実装に向けて2017

    • Author(s)
      伊藤玲於奈、脇田建
    • Organizer
      第58回プログラミング・シンポジウム
    • Place of Presentation
      静岡県伊東市ラフォーレ伊東
    • Year and Date
      2017-01-06
    • Related Report
      2016 Research-status Report
  • [Presentation] Actoverse: A Reversible Debugger for Actors2017

    • Author(s)
      Kazuhiro Shibanai, Takuo Watanabe
    • Organizer
      7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE_2017)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Reactive Reflection in an FRP Language for Small-Scale Embedded Systems2017

    • Author(s)
      Takuo Watanabe
    • Organizer
      Workshop on Meta-Programming Techniques and Reflection (META 2017)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 多言語に対応した衛生的マクロ機構導入方式2017

    • Author(s)
      高桑健太郎,_渡部卓雄
    • Organizer
      日本ソフトウェア科学会第34回大会
    • Related Report
      2017 Annual Research Report
  • [Presentation] アクターシステムを対象としたリバースデバッギングのためのフレームワーク2017

    • Author(s)
      柴内一宏, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第34回大会
    • Related Report
      2017 Annual Research Report
  • [Presentation] An Actor-Based Execution Model of an FRP Language for Small-Scale Embedded Systems2017

    • Author(s)
      Takuo Watanabe, Yuji Iwasaki
    • Organizer
      7th Workshop on Computation: Theory and Practice (WCTP 2017)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 小規模組み込みシステム向けFRP言語のための自己反映機構2017

    • Author(s)
      渡部卓雄
    • Organizer
      情報処理学会第45回組込みシステム研究会(SIGEMB45)
    • Related Report
      2017 Annual Research Report
  • [Presentation] An Actor-Based Runtime Monitoring System for Web and Desktop Applications2017

    • Author(s)
      Paul Lavery, Takuo Watanabe
    • Organizer
      18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and_Parallel/Distributed Computing (SNPD 2017)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Towards Reflection in an FRP Language for Small-Scale Embedded Systems2017

    • Author(s)
      Takuo Watanabe, Kensuke Sawada
    • Organizer
      2nd Workshop on Live Adaptation of Software SYstems (LASSY 2017)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] ビジュアルプログラミングとテキスト記述形式の連携による初学者向けプログラミング学習システムの提案2017

    • Author(s)
      山梨裕矢、佐々木晃
    • Organizer
      情報処理学会第59回プログラミング・シンポジウム
    • Related Report
      2017 Annual Research Report
  • [Presentation] ビジュアルブロックの自動生成を特徴としたブロック言語処理系開発システムの提案2017

    • Author(s)
      澤入圭佑、佐々木晃
    • Organizer
      情報処理学会第59回プログラミング・シンポジウム
    • Related Report
      2017 Annual Research Report
  • [Presentation] 対話的なネットワーク可視化分析のシェーダー実装による高速化2017

    • Author(s)
      高野陸、脇田建
    • Organizer
      日本ソフトウェア科学会 第34回大会講演論文集
    • Related Report
      2017 Annual Research Report
  • [Presentation] 関数型リアクティブプログラミングによる組み込みシステム向けDSLの実装2017

    • Author(s)
      中野史彬, 佐々木晃
    • Organizer
      情報処理学会第79回全国大会
    • Place of Presentation
      愛知県名古屋大学
    • Related Report
      2016 Research-status Report
  • [Presentation] OMetaのための衛生的マクロ定義機構導入方式2016

    • Author(s)
      星野友宏, 高桑健太郎, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第33回大会
    • Place of Presentation
      仙台市東北大学
    • Year and Date
      2016-09-06
    • Related Report
      2016 Research-status Report
  • [Presentation] 数学的記号処理システムを用いたソフトウェアの構成手法2016

    • Author(s)
      脇田建、高野陸、武田一起
    • Organizer
      日本ソフトウェア科学会第33回大会
    • Place of Presentation
      仙台市東北大学
    • Year and Date
      2016-09-06
    • Related Report
      2016 Research-status Report
  • [Presentation] 数式処理システムを用いた対話的高次元グラフ可視化方式の実装2016

    • Author(s)
      高野陸、脇田建
    • Organizer
      日本ソフトウェア科学会第 33 回大会
    • Place of Presentation
      仙台市東北大学
    • Year and Date
      2016-09-06
    • Related Report
      2016 Research-status Report
  • [Presentation] 数式処理システムを用いた力学モデルに基づく対話的グラフ可視化方式の実装2016

    • Author(s)
      武田一起、脇田建
    • Organizer
      日本ソフトウェア科学会第 33 回大会
    • Place of Presentation
      仙台市東北大学
    • Year and Date
      2016-09-06
    • Related Report
      2016 Research-status Report
  • [Presentation] エージェントシミュレーション向けブロック型ビジュアル言語の試作2016

    • Author(s)
      山梨裕矢、佐々木晃
    • Organizer
      計測自動制御学会第10回社会システム部会研究会
    • Place of Presentation
      沖縄県石垣市
    • Year and Date
      2016-03-16
    • Related Report
      2015 Research-status Report
  • [Presentation] WebアプリケーションのUIテスト支援用DSLの開発2016

    • Author(s)
      延原宙斗,佐々木晃
    • Organizer
      情報処理学会第78回全国大会
    • Place of Presentation
      神奈川県港北区
    • Year and Date
      2016-03-10
    • Related Report
      2015 Research-status Report
  • [Presentation] 数式→(実装,文書): OpenGL計算ライブラリ実装の経験から2016

    • Author(s)
      脇田建
    • Organizer
      第1回SIGPX勉強会
    • Place of Presentation
      東京
    • Year and Date
      2016-02-27
    • Related Report
      2015 Research-status Report
  • [Presentation] Python を拡張したGPGPU 向け言語開発環境の設計2016

    • Author(s)
      鎌田知也, 佐々木晃
    • Organizer
      第15回情報科学技術フォーラム
    • Place of Presentation
      富山市富山大学
    • Related Report
      2016 Research-status Report
  • [Presentation] 100万個の球を描く10の手法2015

    • Author(s)
      菊池巧、脇田建、佐藤仁
    • Organizer
      日本ソフトウェア科学会大会
    • Place of Presentation
      東京
    • Year and Date
      2015-09-08
    • Related Report
      2015 Research-status Report
  • [Presentation] 小規模組み込みシステムにおけるFRPの応用に向けて2015

    • Author(s)
      澤田賢祐, 鈴木康平, 渡部卓雄
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会(SIGSS)
    • Place of Presentation
      熊本
    • Year and Date
      2015-05-11
    • Related Report
      2015 Research-status Report
  • [Presentation] A Programming Environment for Visual Block-Based Domain-Specific Languages2015

    • Author(s)
      Azusa Kurihara, Akira Sasaki, Ken Wakita, Hiroshi Hosobe
    • Organizer
      The 2015 International Conference on Soft Computing and Software Engineering (SCSE 2015)
    • Place of Presentation
      Berkeley, California, USA
    • Year and Date
      2015-03-05 – 2015-03-06
    • Related Report
      2014 Research-status Report
  • [Presentation] Processingアプリケーション開発のための視覚的ドメイン特化言語の実装2014

    • Author(s)
      栗原あずさ, 佐々木晃, 脇田建, 細部博史
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋
    • Year and Date
      2014-09-07 – 2014-09-10
    • Related Report
      2014 Research-status Report
  • [Presentation] Hygienic Macro System for JavaScript and Its Light-weight Implementation Framework2014

    • Author(s)
      Ken Wakita, Kanako Homizu, Akira Sasaki
    • Organizer
      ILC '14 Proceedings of ILC 2014 on 8th International Lisp Conference
    • Place of Presentation
      Montreal, Canada
    • Year and Date
      2014-08-15 – 2014-08-17
    • Related Report
      2014 Research-status Report

URL: 

Published: 2014-04-04   Modified: 2019-03-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi