カテゴリー: news
エフェクトハンドラの表現力に関するPPDP論文
Kazuki Ikemori, Youyou Cong, Hidehiko Masuharaによる論文 “Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators”が宣言的プログラミングの原理と実践に関する国際シンポジウム(PPDP 2023)に採択されました。論文はエフェクトハンドラと限定制御演算子の表現力が等しいことを、エフェクト/限定継続がラベルで区別可能な設定の下で示しています。論文発表は2023年10月にSPLASH国際会議の一部として開催されるシンポジウムで発表されます/ました。
層活性のモジュール化論文をICSME 2023で発表
Paul Leger, Nicolas Cardozo, and Hidehiko Masuharaが書きInfoSoft論文誌に採録された論文“An Expressive and Modular Layer Activation Mechanism for Context-Oriented Programming”が2023年10月1-6日にコロンビア・ボゴタで開催される第39回ソフトウェアの維持・発展に関する国際会議(ICSME)の論文誌先行トラックにて発表されます。
👉Project: Adaptive Interface Language for COP
新規メンバーと修了者
Rifqi Adlan Apriyadiが修士課程を修了しました。修了後は日本企業でエンジニアとして働くそうです。今後益々の活躍を期待しています。
2019年に研究室に滞在したことがあるベルリン工科大学の修士課程学生Sherif Omarが交換留学生として研究室に加わりました。これから1年間、修士論文の完成に向けて自然言語によるプログラミング環境の研究を行います。
学位記授与式の日にささやかな歓送迎会を行いました。このところ公私に忙しい研究室メンバーが多いためか、全員が集まれなかったのですが、一緒に研究をすることの楽しさを感じる時間でした。
日本ソフトウェア科学会大会でコンピュータと教育に関する2件の発表
木内と酒井がそれぞれコンピュータと教育に関する研究発表を2023年度日本ソフトウェア科学会第40回大会で行います。大会は東京大学本郷キャンパスおよびオンラインのハイブリッド形式で開催されます。
- 木内康介, 増原英彦, 叢悠悠. 学習者自身が物理現象をモデル化するシミュレータ SimSym の提案
- 酒井大我, 増原英彦, 叢悠悠.プログラミング教育のための目的文作成手順の提案と目的文作成支援環境の予備設計
継続を学ぶためのプログラミング言語の設計に関する発表 (@ Scheme 2023)
以下の発表が Scheme 2023 に採録されました。
- Youyou Cong. Designing a Language for Learning Continuations.
音楽のための型システムに関する論文 (@ FARM 2023)
以下の論文が ICFP 2023 の併設ワークショップ FARM 2023 で発表されます。
- Youyou Cong. Weighted Refinement Types for Counterpoint Composition.
TyDe 2023にて確率的プログラミング言語形式化に関する発表
型駆動開発に関する国際ワークショップ(TyDe 2023)にて斉藤, AffeldtによるExtended abstract “An Intrinsically-typed Probabilistic Programming Language in Coq”が採択され、発表を行います。
Rose Bohrer先生のセミナー講演
Worcester Polytechnic InstituteのRose Bohrer先生が研究室セミナーで “Homotopy Type Theory for Sewn Quilts” と題する講演を行いました。キルティングを記述する言語のための型システムとしてホモトピー型理論を用いる大変興味深い講演でした。
Apriyadiによる修士論文発表
研究メンバによる修士論文の発表が行われました。
- Rifqi Adlan Apriyadi, Adding User-Definable Representation Conversion to Debugger State Visualization