PPL 2024 ポスター発表
第26回プログラミングおよびプログラミング言語ワークショップで研究室メンバーが7件のポスター発表を行いました。
- 糟谷颯希, 増原英彦, 青谷知幸, 田辺裕大, Luthfan Anshar Lubis. 複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性機構の提案
- 谷口茜, 叢悠悠, 増原英彦. 限定継続演算子を持つオブジェクト指向言語の形式化
- 川添裕功, 叢悠悠, 増原英彦. 依存型付き言語におけるA-正規形から継続渡し形式への型保存変換
- 酒井大我, 増原英彦, 叢悠悠. ブロック型プログラミング学習環境における問題解決支援のための目的文変形・提示機能の提案
- Jessica Belicia Cahyono, 叢悠悠, 増原英彦. A Block-Based Environment for Learning Data Modeling
- Jacob Lindahl, 増原英彦, 叢悠悠. Preventing Metadata Leakage in Communication over Public Channels
- 斉藤歩夢, Reynald Affeldt. Towards equational reasoning for probabilistic programs in Coq