研究課題
永続シグナルを、Webフロントエンドから利用できるようにした。特に、前年度において構築したJavaScript内の永続シグナルDSLにおける問題点（永続シグナルが多プロセス間（ネットワーク上の他ホスト含む）で共有されたときに、他プロセスで更新される永続シグナルの値更新時の即時的な計算ができない）を解決し、JavaScriptにおける永続シグナルの仕組みを、SignalJのそれと同等なものとした。これにより、永続シグナルはバックエンド／フロントエンドの区別無く利用するものとなり、本研究が目指すものは多層プログラミング言語からサーバレスな言語へと変貌した。また、分散永続シグナルの理論や実装の精緻化に取り組んだ。実装としては、ある時点以前の永続シグナル間の内容を整合させるチェックポイント機構を実現した。理論としては、初年度に取り組んだSignalJの核言語を基に、個々の永続シグナルをプロセスとしてモデル化したプロセス計算（永続シグナル間の値伝播を表現）をその核言語に統合し、シングルスレッド抽象（SignalJユーザの視点）に並行プロセスとしての永続シグナル（値伝播の視点）を取り入れた新たな計算体系を実現した。この体系において、チェックポイント機構の整合性（チェックポイントとして記録された時刻印以前の値伝播の記録は、永続シグナルの定義と必ず整合する）を保証する定理を証明した（投稿中）。永続シグナルは時系列データベースを内包する仕組みであるが、その存在は暗黙的であるため、永続シグナルを定義する際に時系列データベースを意識することはない。そのため、永続シグナルの定義を変更する際には、時系列データベースのスキーマが暗黙的に変わらなければならない場合がある。それを実現するため、既存のデータベーススキーマ進化言語をもとに、永続シグナルのための進化言語について、理論的な検討を行った（投稿中）。
令和5年度が最終年度であるため、記入しない。
すべて 2024 2023
すべて 雑誌論文 (8件) (うち査読あり 8件) 学会発表 (4件)
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2024)
巻: 1 ページ: 134,145
10.1145/3635800.3636968
COP 2023: Proceedings of the 15th ACM International Workshop on Context-Oriented Programming and Advanced Modularity
巻: 1 ページ: 9,14
10.1145/3605154.3605852
REBLS 2023: Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
巻: 1 ページ: 25,30
10.1145/3623506.3623576
Information and Software Technology
巻: 156 ページ: 1,14
10.1016/j.infsof.2022.107132
Proceedings of the 1st ACM International Workshop on Future Debugging Techniques
巻: 1 ページ: 5,10
10.1145/3605155.3605863
Journal of Systems and Software
巻: 203 ページ: 1,17
10.1016/j.jss.2023.111728
Proceedings of the 25th International Symposium onPrinciples and Practice of Declarative Programming (PPDP 2023)
巻: 1 ページ: 1,13
10.1145/3610612.3610616
Proceedings of the 21st Asian Symposium on Programming Languages and Systems (APLAS 2023)
巻: 1 ページ: 3,23
10.1007/978-981-99-8311-7_1
