プログラミング研究室

Vasconcelos先生によるセッション型に関するセミナー講演

リスボン大学のVasco Thudichum Vasconcelos先生が研究室を訪問し “System F^μ_ω with Context-free Session Types” と題するセミナー講演を行っていただきました。セッション型の基礎から、その表現力に関する最新の進展までを解説していただき、大変勉強になるセミナーとなりました。

岡山県の中学生の研修訪問

岡山県立岡山操山中学校の生徒3名が研修の一環として当研究室を訪問しました。学校で進めているプログラミング・可視化・作曲に関する課題研究についての紹介を受けるとももに、我々の研究を含む大学における研究活動全般を紹介しました。とても学習意欲の高い生徒さん達で、おどろくほど最先端のプログラミング事情に通じており、楽しい議論を交わすことができました。

新規メンバーと修了者

Rifqi Adlan Apriyadiが修士課程を修了しました。修了後は日本企業でエンジニアとして働くそうです。今後益々の活躍を期待しています。

2019年に研究室に滞在したことがあるベルリン工科大学の修士課程学生Sherif Omarが交換留学生として研究室に加わりました。これから1年間、修士論文の完成に向けて自然言語によるプログラミング環境の研究を行います。

学位記授与式の日にささやかな歓送迎会を行いました。このところ公私に忙しい研究室メンバーが多いためか、全員が集まれなかったのですが、一緒に研究をすることの楽しさを感じる時間でした。

Rose Bohrer先生のセミナー講演

Worcester Polytechnic InstituteのRose Bohrer先生が研究室セミナーで “Homotopy Type Theory for Sewn Quilts” と題する講演を行いました。キルティングを記述する言語のための型システムとしてホモトピー型理論を用いる大変興味深い講演でした。