研究課題
昨年に採録された FLOPS 2020 と ECOOP 2020 での口頭発表を行なった.ECOOPでの内容は,多者間通信の静的型付けの枠組みであるマルチパーティセッション型をOCaml言語で利用可能にするための技法に関するものである.さらに,ECOOP 2020 の内容を拡張して論文誌に投稿すべく執筆を進めた.具体的には,実装面における非効率さの排除と,安全性に関する修正を行なった.さらに,「メッセージの到達性を保証しない通信環境」における取扱のため,マルチパーティセッション型そのものの表現能力の拡張に関する研究を進めた.これは,二者間の通信に関するバイナリーセッション型においてVasconcelosらがESOP 2020で発表したMixed Choiceを,多者間に拡張するための枠組みである.この枠組みは上記のOCaml実装からの着想を得ている.デッドロックフリー性といった安全性に関する証明が未完である.進行中の仕事を情報処理学会プログラミング研究会で発表した.
3: やや遅れている
上記の理論的発展のために必要な理論研究に関しては対面での連続した議論が重要であるように思われるが,今年度はCOVID-19のため出張ができなかった.また,同時に進めている所属先での講義についても実験や演習のリモート対応のため通常より重い負荷があった.
オンラインコミュニケーションツールを活用した定期的なミーティングを海外研究者と継続しており,これを継続させることで理論面での研究を発展させる.
出張ができなかったため,余剰が生じた.想定以上に研究期間が伸びたため,次年度にベンチマークと論文執筆用の計算機環境の更新に充てる.
すべて 2021 2020 その他
すべて 雑誌論文 (3件) (うち国際共著 1件、 査読あり 3件、 オープンアクセス 3件) 学会発表 (1件) 備考 (3件)
ECOOP 2020: 34th European Conference on Object-Oriented Programming
巻: 2020 ページ: 9:1-9:30
10.4230/LIPIcs.ECOOP.2020.9
Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14, 2020, Proceedings (Lecture Notes in Computer Science Book 12073)
巻: 12073 ページ: 66-87
10.1007/978-3-030-59025-3_5
PLACES 2020: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Dublin, Ireland
巻: 314 ページ: 61-75
10.4204/EPTCS.314.6
http://okmij.org/ftp/meta-programming/sessions/
http://github.com/keigoi/ocaml-mpst
https://github.com/curegit/session-csharp