ドメイン専用言語の実装技術

• 研究課題/領域番号: 15H02682
• 研究種目: 基盤研究(B)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウェア
• 研究機関: 東京大学
• 研究代表者: 千葉 滋 東京大学, 大学院情報理工学系研究科, 教授 (80282713)
• 研究期間 (年度): 2015-04-01 – 2019-03-31
• 研究課題ステータス: 完了 (2019年度)
• 配分額: 17,940千円 (直接経費: 13,800千円、間接経費: 4,140千円); 2018年度: 4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円); 2017年度: 4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円); 2016年度: 4,290千円 (直接経費: 3,300千円、間接経費: 990千円); 2015年度: 4,810千円 (直接経費: 3,700千円、間接経費: 1,110千円)
• キーワード: ライブラリ / プログラミング言語 / ソフトウェア学 / ソフトウェア開発の効率化・安定化 / ソフトウェア開発効率化・安定化 / ソフトウエア開発効率化・安定化 / ソフトウエア学

研究成果の概要

本研究では埋め込み領域特化言語（埋め込みドメイン専用言語）の実装技術の研究をおこなった。(1) 埋め込み領域特化言語の実装を直接支援する言語機構を備えた汎用プログラミング言語を研究開発し、利用者が誤った領域特化言語のプログラムを書きにくくなるようにした。(2) 独自の構文をもった埋め込み領域特化言語の実装を可能にする言語機構 turnstile type を考案した。(3) メソッドチェインを用いた埋め込み領域特化言語の実装時に、チェイン中のメソッドの並びの正しさをホストとなる汎用言語の型検査を利用しておこなう新たな手法を開発した。

研究成果の学術的意義や社会的意義

汎用プログラミング言語上のライブラリとして実装される埋め込み領域特化言語は、独立したミニ・プログラミング言語風のプログラミング・インタフェースをもつライブラリともいえ、次世代の高機能ライブラリとして注目されている。本研究は、そのようなライブラリを実用化するための基礎技術を開発した。これは高品質なソフトウェアを少人数かつ短い時間で開発するための一助になる。

研究成果

• [雑誌論文] Generating a Generic Fluent API in Java (2020)
  • 著者名/発表者名: Tomoki Nakamaru and Shigeru Chiba
  • 雑誌名: The Art, Science, and Engineering of Programming 巻: 4 号: 3
  • DOI: 10.22152/programming-journal.org/2020/4/9
  • 査読あり
• [雑誌論文] Generating fluent embedded domain-specific languages with subchaining (2019)
  • 著者名/発表者名: Tomoki Nakamaru, Kazuhiro Ichikawa, Tetsuro Yamazaki, and Shigeru Chiba
  • 雑誌名: Journal of Computer Languages 巻: 50 ページ: 70-83
  • DOI: 10.1016/j.jvlc.2018.11.001
  • 査読あり
• [雑誌論文] Buffered Garbage Collection: An Approach to Collecting Self-Created Garbage Objects (2019)
  • 著者名/発表者名: Tetsuro Yamazaki, Shigeru Chiba
  • 雑誌名: Journal of Information Processing 巻: 27 号: 0 ページ: 479-488
  • DOI: 10.2197/ipsjjip.27.479
  • NAID: 130007690192
  • ISSN: 1882-6652
  • 査読あり
• [雑誌論文] Foreign language interfaces by code migration (2019)
  • 著者名/発表者名: Shigeru Chiba
  • 雑誌名: The 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2019) 巻: - ページ: 1-13
  • DOI: 10.1145/3357765.3359521
  • 査読あり
• [雑誌論文] Generating a fluent API with syntax checking from an LR grammar (2019)
  • 著者名/発表者名: Tetsuro Yamazaki, Tomoki Nakamaru, Kazuhiro Ichikawa, and Shigeru Chiba
  • 雑誌名: The ACM Proceedings of the ACM on Programming Languages (PACMPL) 巻: 3 号: OOPSLA ページ: 1-24
  • DOI: 10.1145/3360560
  • 査読あり
• [雑誌論文] Buffered Garbage Collection for Self-Reflective Customization (2018)
  • 著者名/発表者名: Tetsuro Yamazaki and Shigeru Chiba
  • 雑誌名: Proc. of 33rd Annual ACM Symposium on Applied Computing (SAC 2018) 巻: - ページ: 1256-1259
  • DOI: 10.1145/3167132.3167416
  • 査読あり
• [雑誌論文] Silverchain: A Fluent API Generator (2017)
  • 著者名/発表者名: Tomoki Nakamaru, Kazuhiro Ichikawa, Tetsuro Yamazaki, and Shigeru Chiba
  • 雑誌名: Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2017) 巻: vol.52 issue 12 ページ: 199-211
  • DOI: 10.1145/3136040.3136041
  • 査読あり
• [雑誌論文] Reducing calling convention overhead in object-oriented programming on embedded ARM thumb-2 platforms (2017)
  • 著者名/発表者名: Joseph Caldwell and Shigeru Chiba
  • 雑誌名: Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2017) 巻: vol.52 issue 12 ページ: 146-156
  • DOI: 10.1145/3136040.3136057
  • 査読あり
• [雑誌論文] User-Defined Operators Including Name Binding for New Language Constructs (2017)
  • 著者名/発表者名: Kazuhiro Ichikawa and Shigeru Chiba
  • 雑誌名: The Art, Science, and Engineering of Programming 巻: 1-2 号: 2
  • DOI: 10.22152/programming-journal.org/2017/1/15
  • 査読あり / オープンアクセス
• [雑誌論文] Expanding Event Systems to Support Signals by Enabling the Automation of Handler Bindings (2016)
  • 著者名/発表者名: Yung Yu Zhuang, Shigeru Chiba
  • 雑誌名: Journal of Information Processing 巻: 24 号: 4 ページ: 620-634
  • DOI: 10.2197/ipsjjip.24.620
  • NAID: 130005165246
  • ISSN: 1882-6652
  • 査読あり / オープンアクセス
• [雑誌論文] 有効範囲を既知のコールパスに限定する Ruby 向けの安全な クラス拡張 Method seals (2016)
  • 著者名/発表者名: 福室 嶺・千葉 滋
  • 雑誌名: 情報処理学会論文誌 プログラミング 巻: 9-4 ページ: 16-26
  • NAID: 170000148145
  • 査読あり / オープンアクセス
• [雑誌論文] Almost First-Class Language Embedding: Taming Staged Embedded DSLs (2016)
  • 著者名/発表者名: Maximilian Scherr and Shigeru Chiba
  • 雑誌名: ACM SIGPLAN Notices - GPCE '15 巻: 51-3 号: 3 ページ: 21-30
  • DOI: 10.1145/2936314.2814217
  • 査読あり
• [雑誌論文] Inverse Macro in Scala (2016)
  • 著者名/発表者名: Hiroshi Yamaguchi and Shigeru Chiba
  • 雑誌名: ACM SIGPLAN Notices - GPCE '15 巻: 51-3 ページ: 85-94
  • DOI: 10.1145/2814204.2814213
  • 査読あり
• [学会発表] Outlook on Composite Type Labels in User-Defined Type Systems (2017)
  • 著者名/発表者名: Antoine Tu, Shigeru Chiba
  • 学会等名: 34th JSSST conference, Keio university, September, 2017
• [学会発表] 型検査を用いたコンパイル時LR構文解析手法の提案 (2017)
  • 著者名/発表者名: 松永 智將, 市川 和央, 山崎 徹郎, 中丸 智貴, 千葉 滋
  • 学会等名: 日本ソフトウェア科学会第34回大会
• [備考] Silverchain
  • URL: https://github.com/csg-tokyo/silverchain