東京工業大学 田辺裕大 様：Programming Language with Versions

千葉工業大学人工知能・ソフトウェア技術研究センター（ステアラボ） では、従来機械学習や自然言語処理等の人工知能に関するセミナー（ステアラボ人工知能セミナー） を開催して参りましたが、この度、ソフトウェア技術に関連する最先端の研究について第一線の研究者をお招きしてご講演頂く「ステアラボソフトウェア技術セミナー」をオンライン形式で開催することに致しました。

今回は東京工業大学の田辺裕大様に「Programming Language with Versions」というタイトルでご講演いただきます。

どなたでも無料でご参加いただけます。 参加申し込みをして頂くと具体的なアクセス情報が表示されます。オンライン形式のため特に定員数は設けておりませんので皆様奮ってご参加ください。

※ ただし、あまりに多数の申し込みを頂いた場合は参加登録を打ち切る等の対応をさせて頂く可能性もございますのでその際は何卒ご容赦下さい。

日時

2024年5月24日（金）15:00〜16:00

講演形態

オンライン：Cisco Webex Meetings を使用します。アクセス方法は参加登録をして頂いた方にのみお知らせします。

講演者

東京工業大学 田辺裕大 様

演題

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 では時間の制約で紹介できなかった技術的詳細（安全性の原理・型システム設計・バージョン推論・コンパイル手法）や予備評価、関連する更新支援技術、将来の課題についても紹介する。