田邉による漸進的型付けに関するNII軽井沢セミナーでの招待セミナー
田邉によるNII軽井沢セミナー招待講演が行われました。
本ワークショップは軽井沢にある国際高等セミナーハウスを使用して開催される、合宿形式かつ招待制のワークショップです。今回は国内のPL theory関連の若手研究者(助教相当)が招待されました。
田邉によるNII軽井沢セミナー招待講演が行われました。
本ワークショップは軽井沢にある国際高等セミナーハウスを使用して開催される、合宿形式かつ招待制のワークショップです。今回は国内のPL theory関連の若手研究者(助教相当)が招待されました。