第7回ステアラボソフトウェア技術セミナー「Programming Language with Versions」のご案内

[安部達也]

皆様、

千葉工業大学の安部達也です。

東京工業大学の田辺裕大さん（https://yudaitnb.github.io/）に
Programming with Versions (PWV) における最新の結果についてお話しいただ
けることになりました。初めてこの話を聴くという方々だけでなく、PPL'24
で時間の制約上十分に話を聴けなかった・議論したかったのに、と残念に思っ
ていた皆様にもまた大変よい機会であると思います。ぜひご参加ください。

日時：2024年5月24日（金）15:00～16:00
場所：オンライン
参加費：無料
参加方法：https://stair-st.connpass.com/

講師：田辺裕大 様
演題：Programming Language with Versions
概要：
更新作業は現代で最も忌避される開発タスクの一つである。現代のソフトウェア開発は外部パッケージの使用に強く依存しており、外部パッケージの更新はソフトウェアの既存の振舞を破壊することがある。現代的な開発支援ツールはパッケージの依存性解析に基づいた更新支援を提供するが、コードベースの更新作業中には同一パッケージの複数バージョンへの同時依存が不可避的に生じ、実装を無視した解析を行う開発支援ツールではこの問題に有効な解決策を与えることができない。

Programming with Versions (PWV) は、この問題を解決するために近年提案された言語設計である。PWV 言語ではバージョンの概念を言語意味論に持ち込むことにより、単一のモジュールの新旧バージョンの機能を選択的に使用可能である。また、一貫した仕様に基づいたデータフローで計算が行われることを保証する。これらの機能は、膨大な作業コストを要していた更新作業の漸進化を可能にする。本講演では、APLAS'23 及び PPL'24 カテゴリ2で発表された論文 "Compilation Semantics for a Programming Language with Versions" に基づき、実験的な関数型 PWV 言語 VL 及びそのコア計算 λVL を通して、PWV の言語設計を解説する。特に、PPL'24 では時間の制約で紹介できなかった技術的詳細（安全性の原理・型システム設計・バージョン推論・コンパイル手法）や予備評価、関連する更新支援技術、将来の課題についても紹介する。

問合せ先：安部達也 <abe.t...@it-chiba.ac.jp>

[安部達也]

皆様、

千葉工業大学の安部達也です。

東京工業大学の田辺裕大さん（https://yudaitnb.github.io/）を講師に迎え
て開催されるセミナーの前日になりましたのでリマインダを送らせていただき
ます。ぜひご参加ください。

参加方法：https://stair-st.connpass.com/

安部