文脈の変化に応じて離散的に振舞いを変えるソフトウェアのためのプログラミング言語

一种软件编程语言，可以根据上下文的变化离散地改变其行为。

• 批准号: 16K16033
• 负责人: 青谷 知幸
• 金额: $ 2.58万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2016
• 资助国家: 日本
• 起止时间: 2016-04-01 至 2020-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16K16033/
• 关键词: プログラミング; 文脈指向プログラミング; 余作用; 反応型プログラミング; ワークフロー計算; 余エフェクト計算; 補償処理; mixin; プログラミング言語; モジュール化; 意味論; プログラム検査

文脈指向プログラミング言語のための計算体系λVへのMLモジュールの導入と、文脈指向プログラミングと反応型プログラミングの融合の研究に取り組んだ。λVLでは文脈ごとに振る舞いの変わるプログラムを表現するために、文脈ごとの値の積を用いている。関数も値であるため、文脈ごとに振る舞いの変わる関数は、文脈ごとの関数の積として表現することができる。言い換えると、それぞれの関数定義の中に文脈ごとの振る舞いを記述する。この方法では文脈ごとにプログラムをモジュール化することができない。例えばプログラムの版(バージョン)を文脈とみなすと、版ごとにプログラムを開発できず、関数ごとに各版における定義を列挙することになり、扱いづらい。MLモジュールの導入の足がかりとして全称量化子と存在量化子をλVLに余作用として導入することを考察し、情報処理学会の第124回プログラミング研究発表会で発表した。反応型プログラミングは値の変化に反応した計算を計画する手法である。文脈は時々刻々と変化するために、反応型プログラミングと文脈指向プログラミングは相性が良いはずである。例えばバッテリ残量に合わせてプログラムの振る舞いを変えたり、サーバプログラムを再起動することなく更新することでサーバプログラムの振る舞いが変わることが考えられる。融合方法のアイデアを国際研究集会COP'19で発表した。また反応型プログラミングにおいて値の変化を記録するために時系列データベースとの融合を提案し、国際会議Onward! 2019で発表した。

A study on the integration of context-oriented and anti-context-oriented language computing systems is presented.λVL is the product of context and value. The number of relations is equal to the number of relations in the context. In the middle of the sentence, there is a description of the number of words in the context. The method is to change the color of the paper. For example, if you want to change the content of the page, you can change the content of the page. If you want to change the content, you can change the content of the page. The 124th Session of the Information Processing Society (IPSS) was held in Beijing. The method of calculating the value of the inverse equation The context of the time to change, reverse type of change For example, if the residual amount is reduced, the vibration will be restarted. Fusion methods were presented at COP'19, an international research conference. International Conference Onward! 2019 is coming.

项目成果

コエフェクト計算に基づく量化型の再形式化

基于协效应计算的量化类型的重新形式化

• 发表时间: 2019
• 作者: 高橋克樹;木原崇雄;吉村勉;田辺 裕大
• 通讯作者: 田辺 裕大

Towards Modular Reasoning for Context-Oriented Programs

面向上下文的程序的模块化推理

• 发表时间: 2016
• 作者: Takehide Soh;Daniel Le Berre;Mutsunori Banbara;Naoyuki Tamura;Tomoyuki Aotani and Gary Leavens
• 通讯作者: Tomoyuki Aotani and Gary Leavens

Towards Automatic Decoration

走向自动化装饰

• 发表时间: 2016
• 作者: 田辺 裕大;青谷 知幸;増原 英彦;Tomoyuki Aotani and Tetsuo Kamina
• 通讯作者: Tomoyuki Aotani and Tetsuo Kamina

Harmonizing Signals and Events with a Lightweight Extension to Java

通过 Java 的轻量级扩展来协调信号和事件

• DOI: 10.22152/programming-journal.org/2018/2/5
• 发表时间: 2018
• 期刊: The Art, Science, and Engineering of Programming
• 作者: Kamina Tetsuo;Aotani Tomoyuki
• 通讯作者: Aotani Tomoyuki

A DSL for compensable and interruptible executions

用于可补偿和可中断执行的 DSL

• DOI: 10.1145/3141858.3141860
• 发表时间: 2017
• 期刊: Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
• 作者: Inoue Hiroaki;Aotani Tomoyuki;Igarashi Atsushi
• 通讯作者: Igarashi Atsushi