この春は5名の学生が新たに研究室に加入しました。
一年前のお知らせにはこう書いていました「COVID-19のために物理的に顔を合わせることができていませんが、新旧メンバがオンラインで研究のための議論をし、親睦を深めていっています。これまで以上に一体感のある研究室を目指しましょう。」それから一年たち、研究室としてはこれまで以上に沢山の議論や会話をしたと思っています。通常の研究室活動に戻るにはまだ時間がかかりそうですが、それでも新しいメンバーとともに活発に研究が行っていけると思っています。
研究室メンバの学位記授与式がありました。去年に引き続きCOVID-19感染防止のために大学の学位記授与式はオンラインとなりました。
陳忻、Luthfan, 新美、小串が修士号を受けました。Luthfanは4月から博士課程に進学します。陳忻、新美、小串はソフトウェア企業でエンジニアとして働き始めます。古殿、池守、高橋は学士号を受け、4月から修士課程に進学します。
これからますます活躍してくれることを期待しています!
以下の発表が PPL 2021 においてポスター賞として表彰されました。
ポスターと Agda のコードがここに公開されています。
申し訳ありません、このコンテンツはただ今 English のみです。
以下の研究が Lambda Days 2021 に採択されました。
研究室メンバの学士論文が発表されます。 (令和3年３月卒業 数理・計算科学系 学士論文発表会)
研究室メンバーが修士論文を発表しました。
本研究室で博士号を取得したMatthias Springerが令和2年度手島精一記念研究賞(博士論文賞)を受賞しました。博士論文賞は論文内容の独創性と研究の発展性の点で特に優れた博士論文を作成した者に、部門ごとに原則として各2件以内が選ばれるものです。
以下の論文が The Workshop on Partial Evaluation and Program Manipulation に採択されました。
増原がthe 18th Asian Symposium on Programming Languages and Systems (APLAS 2020)において基調講演”Object Support for GPU Programming: Why and How“を行いました。