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

斉藤、角田、津山による学士論文発表

研究室メンバによる学士論文の発表が行われます。

研究室メンバによる修士論文の発表が行われます。

Fathul Asrar Alfansuri, Supporting Multiple Inheritance in a Python DSL for GPGPU
荒井滉平、仮想機械語を用いた第一級継続の実現方法とその比較
能勢純弥、Mio:プログラムデザインを支援するブロック学習環境

高橋修祐と伊澤侑祐，増原英彦，叢悠悠による論文「データ構造ライブプログラミングのための言語実現フレームワークに基づくオブジェクトグラフ収集手法」が情報処理学会論文誌プログラミングに採録されます。同学会英文論文誌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名の学生が新たに研究室に加入しました。

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