プログラミング研究室

限定継続命令の型付けに関する論文

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

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

5名の学生が新たに研究室に加わりました

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

• 谷口力斗 (修士課程)
• 斉藤歩夢 (学士課程)
• 竹内史 (学士課程@国際基督教大学)
• 角田和広 (学士課程)
• 津山勝輝 (学士課程)

一年前のお知らせにはこう書いていました「COVID-19のために物理的に顔を合わせることができていませんが、新旧メンバがオンラインで研究のための議論をし、親睦を深めていっています。これまで以上に一体感のある研究室を目指しましょう。」それから一年たち、研究室としてはこれまで以上に沢山の議論や会話をしたと思っています。通常の研究室活動に戻るにはまだ時間がかかりそうですが、それでも新しいメンバーとともに活発に研究が行っていけると思っています。

• People

2021年3月修了者

研究室メンバの学位記授与式がありました。去年に引き続きCOVID-19感染防止のために大学の学位記授与式はオンラインとなりました。

陳忻、Luthfan, 新美、小串が修士号を受けました。Luthfanは4月から博士課程に進学します。陳忻、新美、小串はソフトウェア企業でエンジニアとして働き始めます。古殿、池守、高橋は学士号を受け、4月から修士課程に進学します。

これからますます活躍してくれることを期待しています!

• 小串、新美、陳忻、Luthfanが修士論文を発表しました
• 池守、高橋、古殿による学士論文発表
• 令和2年度 東京工業大学学位記授与式挙行 (大学公式)