制御演算子に関する論文

以下の論文が 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件の論文発表があります。

(さらに…)

Khatchadourian先生来訪

ニューヨーク市立大学ハンター校のRaffi Khatchadourian先生が来訪し8月10日から24日まで研究室に滞在しました。セミナー講演のほか研究室メンバーと沢山の議論を行っていただきました。

この訪問は日本学術振興会再招聘事業の支援を受けており、2年前に予定されていました。COVID-19のために(何度も)延期を余儀なくされましたが、ようやく実現されたものです。

セミナー講演(ハイブリッド形式)

高橋が情報処理学会コンピュータサイエンス領域奨励賞を受賞

高橋修祐が2022年度の情報処理学会コンピュータサイエンス領域奨励賞を受賞しました。これは、情報処理学会第136回プログラミング研究発表会における研究発表「データ構造ライブプログラミングのための言語実現フレームワークに基づくオブジェクトグラフ収集手法」によるものです。

👉プロジェクト

COP 2022国際ワークショップにおいてバージョン付きプログラミング言語に関する講演

田辺Luthfan青谷増原による論文「A Step toward Programming with Versions in Real-World Functional Languages」がInternational Workshop on Context-Oriented Programming and Advanced Modularity (COP’22)に採択され、2022年6月7日にBerlinにて開催されるCOP’22国際ワークショップにて発表されました。