プログラミング研究室 – ページ 17 – 東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系

モナド的等式推論に関する発表（＠TPP2021）

斉藤がThe 17th Theorem Proving and Provers meeting (TPP 2021)にてモナド的等式推論に関するスライド発表をしました。

高橋修祐，伊澤侑祐，増原英彦，叢悠悠. データ構造ライブプログラミングのための言語実現フレームワークに基づくオブジェクトグラフ収集手法
- この研究は前回の研究会で発表されたものを進展させたものです。また、同時に投稿された論文が論文誌に採録されることが決定しました。
伊澤侑祐，堀江倫大*，緒方一則*，千葉立寛*. Java 静的コンパイラを用いた Quarkus フレームワークの性能評価
- この発表は伊澤がIBM東京基礎研究所(*)で行ったインターンシップの成果に基づいています。

この秋は2名の学生が新たに研究室に加入しました。

両名ともに日本への入国が許されるのを待っている状態ですが、遠隔会議を活用してすでに研究活動を精力的に始めています。早期に渡日がかない、さらに研究が加速させることを願っています。

荒井らが日本ソフトウェア科学会第38回大会でSchemeからWebAssemblyへのコンパイラに関する論文を発表しました。

荒井滉平, 増原英彦, 叢悠悠. WebAssemblyを対象にしたSchemeコンパイラの作成に向けて

津山、角田、竹内も同大会でポスター発表を行いました。

津山勝輝, 叢悠悠, 増原英彦. 型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて(PDF)
角田和広, 増原英彦, 叢悠悠. エラーを起こさせる初学者向けプログラミングドリルの提案(PDF)
竹内史, Raffi Khatchadourian, 叢悠悠. Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language

能勢がデザインレシピを用いた教育ツールに関する発表をScheme 2021 workshopでしました。

Junya Nose, Youyou Cong, Hidehiko Masuhara.
Design with Blocks, Code in Text: A Hybrid Environment for Program Design Recipe.

以下の研究が HOPE 2021 で発表されます。

Ningning Xie, Youyou Cong, Daan Leijen. First-class Names for Effect Handlers.

以下の研究が TyDe 2021 で発表されます。

Kazuki Niimi, Youyou Cong, Hidehiko Masuhara, Jonathan Immanuel Brachthäuser. Contextual Polymorphism Meets Bidirectional Effects.

以下の研究が情報処理学会第135回プログラミング研究発表会で発表されます。

高橋修祐, 伊澤侑祐, 増原英彦, 叢悠悠. 言語実現フレームワークに基づく汎言語的オブジェクトグラフ収集手法

以下の論文が FSCD 2021 に採択されました。

Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai.
A Functional Abstraction on Typed Invocation Contexts.

第16回オブジェクト指向言語・プログラム・システムの実現・コンパイラ・最適化に関するワークショップ(ICOOOLPS’21) (ECOOP’21に併設)にて以下の発表を行いました.

Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, and Youyou Cong. “Threaded Code Generation with a Meta-tracing JIT Compiler”. [pre-print]