第10回SIGPXにて2名の発表
高橋と叢が第10回SIGPX勉強会にて発表しました。高橋は”Implementation of Language-agnostic Live Programming Environment and Efficient Evaluation by Differential Execution”という題で修士論文としてまとめている研究内容についての発表を、叢は「Dagstuhl Seminar 参加報告 – 教育用プログラミング言語・システム」を発表しました。
名前付きエフェクトハンドラに関する論文（@ OOPSLA 2022）
以下の論文が OOPSLA 2022 に採択されました。
- Ningning Xie, Youyou Cong, Kazuki Ikemori, and Daan Leijen. First-Class Names for Effect Handlers.
国際会議SLE2022にてバージョン付きオブジェクト指向言語BatakJavaの論文を発表
Luthfan, 田辺, 青谷, 増原らの論文が国際会議Software Language Engineering (SLE ’22)に採録・発表されます。バージョンによって異なる定義を1つのプログラム中で扱えることを目指したバージョン付きプログラミングをオブジェクト指向言語に適用し、その言語設計と実現方法を提案しています。
👉 プロジェクト
SPLASH-Eにおいてブロック型プログラム設計学習環境に関する論文発表
能勢、叢、増原による論文 “Mio: a Block-Based Environment for Program Design” がSPLASH-E 2022に採録、発表されました。SPLASH-Eは計算機科学教育に関する活動・関心を持つソフトウェア工学・プログラミング言語研究者のための国際シンポジウムです。
COPの層活性機構に関する論文がInfoSoft誌に採録
Paul Leger, Nicolas Cardozo, Hidehiko Masuharaによる論文 “An Expressive and Modular Layer Activation Mechanism for Context-Oriented Programming” が Information and Software Technology に採録されました。この論文は文脈指向プログラミングのモジュール性を高める試みで、同時に高い記述力も提供するものです。JavaScriptを拡張した文脈指向言語上で有効性の実証を行っています。
この研究はPaul Leger氏が2019年に当研究室に滞在したときに開始されたものです。その時に行った様々な議論の結果の1つをこのように論文にすることができたのは、大変うれしいことです。
👉プロジェクト: Adaptive Interface Language for COP
ファジィな性質を表現するための型理論に関する発表 (@ LENLS 19)
以下の発表が LENLS 19 に採択されました。
- Youyou Cong. In Search of a Type Theory for Fuzzy Properties.
Castor先生来訪
ユトレヒト大学のFernando Castor先生が来訪しプログラム理解に関するセミナー講演を行っていただきました。また研究室メンバーと沢山の議論を行っていただきました。
対面でのセミナーを再開
2年半オンラインでしか活動できませんでしたが、10月から対面でのセミナーを再開しました。対面ならではのこと(「スクリーンに向かって喋らないでね!」とか)を再発見したり、集合写真を撮ったりできるようになったのは喜ばしいことです。
MPC 2022にてモナディック等式推論に関する論文発表
斉藤が the 14th International Conference on Mathematics of Program Construction (MPC 2022) に採択された論文 “Towards a Practical Library for Monadic Equational Reasoning in Coq” を発表します。この研究は産総研Reynald Affeldt博士との共同研究です。
エフェクトに関する発表（TyDe & HOPE）
以下の発表が ICFP 2022 に併設される TyDe および HOPE ワークショップに採択されました。
- Youyou Cong and Kenichi Asai. Towards Dependently-Typed Control Effects. The 7th Workshop on Type-Driven Development (TyDe 2022), Ljubljana, Slovenia, September 2022.
- Youyou Cong, Shin-ya Katsumata, Kazuki Niimi, and Jonathan Immanuel Brachthäuser. Monadic Semantics of Bidirectional Effects. The 10th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2022), Ljubljana, Slovenia, September 2022.