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

ライブプログラミング環境Kanonの実現方式に関する研究が情報処理学会論文誌に採録決定

高橋修祐と伊澤侑祐，増原英彦，叢悠悠による論文「データ構造ライブプログラミングのための言語実現フレームワークに基づくオブジェクトグラフ収集手法」が情報処理学会論文誌プログラミングに採録されます。同学会英文論文誌Journal of Information Processingにも掲載されます。

Yusuke Izawa, Hidehiko Masuhara, and Carl Friedrich Bolz-Tereick. Two-level Just-in-Time Compilation with One Interpreter and One Engine. [paper]

以下の論文が The Journal of Object Technology (JOT) Special Issue for ICOOOLPS 2021 (JOT ICOOOLPS 21) に採録されました。

Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, and Youyou Cong. Threaded Code Generation with a Meta-Tracing JIT Compiler. [paper]

斉藤が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.