2020年3月修了者
研究室メンバの学位記授与式がありました。COVID-19感染防止のために式典が縮小されたため、お祝いもオンラインになりました。
伊澤、叔、田辺が修士号を受けました。伊澤と田辺は4月から博士課程に進学します。叔は日本最大級のECモール会社でエンジニアとして働き始めます。能勢は学士号を受け、4月から修士課程に進学します。
これからますます活躍してくれることを期待しています!
研究室メンバの学位記授与式がありました。COVID-19感染防止のために式典が縮小されたため、お祝いもオンラインになりました。
伊澤、叔、田辺が修士号を受けました。伊澤と田辺は4月から博士課程に進学します。叔は日本最大級のECモール会社でエンジニアとして働き始めます。能勢は学士号を受け、4月から修士課程に進学します。
これからますます活躍してくれることを期待しています!
新美 和生と増原 英彦による論文『Lift中間表現における動的長配列の追加』が情報処理学会論文誌プログラミング (PRO92)に採択されました。
(追記) 本論文は情報処理学会論文誌:プログラミング, Vol.13, No.3, pp.1-12, June 1, 2020として刊行されました。
増原が「学生による議論を核とした授業形式の設計とプログラミング科目での実施」について2020年度の東工大教育賞・優秀賞を受賞しました。
以下のメンバーがPPL2020でポスター・デモ発表をします.
Alex Potanin 先生(ヴィクトリア大学ウェリントン)に、以下のタイトルでご講演いただきました。Potanin 先生は、攻撃に強いウェブプログラミング言語 Wyvern の開発を行っています。
講演 1: Wyvern – Security by Design
講演 2: Decidable Subtyping for Path Dependent Types
Lift中間表現における動的長配列の追加(新美、増原)が情報処理学会 第127回プログラミング研究発表会で発表されます。