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

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

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

2021年3月修了者

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

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

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

池守、高橋、古殿による学士論文発表

研究室メンバの学士論文が発表されます。 (令和3年3月卒業 数理・計算科学系 学士論文発表会)

  • 池守和槻, 代数的エフェクトを持つ計算体系F^effへのエフェクト強制の導入と健全性の証明 (PDF)
  • 古殿直也, 代数的エフェクトを備えた関数型言語 Koka に対する、エフェクト割り当て最適化 (PDF)
  • 高橋修祐, データ構造ライブプログラミング環境の汎言語的な構築手法 (PDF)