カテゴリー: news
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.
制御演算子に関する論文
以下の論文が LMCS に採録されました。
- Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai. A Functional Abstraction of Typed Invocation Contexts. Logical Methods in Computer Science (LMCS) Special Issue on Selected Papers of the 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021).
日本ソフトウェア科学会大会で2件の発表
東京大学本郷キャンパスおよびオンラインのハイブリッド形式で開催される2022年度日本ソフトウェア科学会第39回大会にて2件の論文発表があります。
- 木内康介, 増原英彦, 叢悠悠. 学習者自身が物理現象をモデル化するシミュレータ SimSym の提案
- Taiga Sakai, Hidehiko Masuhara and Youyou Cong. ——- 酒井大我, 増原英彦, 叢悠悠. プログラミング教育のための目的文作成手順の提案と目的文作成支援環境の予備設計
PPLサマースクールでの計算効果についての講義
叢悠悠がPPLサマースクール2022「計算効果入門 ― プログラミングから理論まで ―」でNIIの勝股審也先生、関山太朗先生とともに講師を勤めます。