カテゴリー: news
中学・高校生が研究室セミナーに体験参加
青稜中学校・高等学校の生徒約20名が当研究室を訪問し、研究室セミナーに体験参加しました。研究室の大学院生が発表した「代数的エフェクトハンドラのゲーム開発への応用」について一緒に議論に参加してもらいました。ゼミ終了後も研究室メンバーに対して熱心に質問を続けて下さい、有意義な時間を過ごしてもらえたと思います。
バージョンプログラミング言語のコンパイル手法に関するPPL 2024発表
田辺、Luthfan、青谷、増原による論文「Compilation Semantics for a Programming Language with Versions」が第26回プログラミングおよびプログラミング言語ワークショップ(PPL2024)のカテゴリ2に採択されました。本論文は既発表論文であり、昨年11月に台湾で開催されたAPLAS 2023で発表されました。
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
メンバー5名が学士論文を発表
5名の研究室メンバが学士論文の発表を行いました。
- Cahyono Jessica Belicia, Design and Implementation of a Block-based System for Learning How to Construct Algebraic Data Types
- 糟谷颯希, 複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性検査機構
- 川添裕功, 依存型付き言語に対するA-正規形から継続渡し形式への型保存変換
- 須田太斗, 深層学習モデルの形状不一致を型レベルで検査する手法の有向非巡回グラフへの拡張
- 谷口茜, Formalizing an Object-Oriented Programming Language With Delimited Control
エフェクトハンドラのための内在的型安全コンパイラに関するPEPM論文
津山、叢、増原による論文 “An Intrinsically-typed Compiler for Effect Handlers”がPEPM2024(The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation)に採択されました。2024年1月にイギリス-ロンドンで発表されます。
依存型付き言語の CPS 変換に関する発表 (@ PEPM 2024)
叢が POPL 2024 の併設ワークショップ PEPM 2024 で、”One-Pass CPS Translation of Dependent Types” というタイトルの発表を行います。
Vasconcelos先生によるセッション型に関するセミナー講演
リスボン大学のVasco Thudichum Vasconcelos先生が研究室を訪問し “System Fμω with Context-free Session Types” と題するセミナー講演を行っていただきました。セッション型の基礎から、その表現力に関する最新の進展までを解説していただき、大変勉強になるセミナーとなりました。