member – プログラミング研究室

About member

View all posts by member

木内と酒井が修士論文発表を行いました。研究内容のみならず、全員「聴衆を見て発表をしたで賞」に値する立派な発表態度でした。

糟谷によるバージョンプログラミング言語に関する研究が the 22nd Asian Symposium on Programming Languages and Systems (APLAS 2024) の SRC & Posters 部門に採択され、10月21日から25日にかけて開催された本会議期間中にポスター発表が行われました。おしくも最終選考には進めませんでしたが、ポスター発表に対して「聴衆賞」が与えられました。

熊本が日本ソフトウェア科学会第41回大会で対話型学習環境の研究について発表しました。

角田、増原、叢による論文「コード縮小と構文主導トークン生成を用いたエラー生成クイズの問題作成ツール」が第26回プログラミングおよびプログラミング言語ワークショップ(PPL2024)の査読付き論文として採択され、発表されます。

津山、叢、増原による論文 “An Intrinsically-typed Compiler for Effect Handlers”がPEPM2024(The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation)に採択されました。2024年1月にイギリス-ロンドンで発表されます。

第21回アジアプログラミング言語・システムシンポジウム(APLAS 2023)にて斉藤, Affeldtによる論文 “Experimenting with an Intrinsically-typed Probabilistic Programming Language in Coq”が採択され、発表を行います。

The 19th Theorem Proving and Provers meetingにて川添、斉藤、津山が定理証明支援系を使った研究について発表します。それぞれLean, Coq, Agdaを使っていて、定理証明支援系の多様性にも挑戦しています 🙂

Kazuki Ikemori, Youyou Cong, Hidehiko Masuharaによる論文 “Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators”が宣言的プログラミングの原理と実践に関する国際シンポジウム(PPDP 2023)に採択されました。論文はエフェクトハンドラと限定制御演算子の表現力が等しいことを、エフェクト/限定継続がラベルで区別可能な設定の下で示しています。論文発表は2023年10月にSPLASH国際会議の一部として開催されるシンポジウムで発表されます/ました。