このページの先頭
白眉プロジェクト

京都大学 白眉センター

｜　ENGLISH　｜ > 学内専用ページはこちら

最新ニュース

5月26日13時（日本時刻に）第14期公募の応募者登録および提案書アップロードを締め切りました。 The applicant registration website closed on 26 May 2023, at 1:00 p.m.(Japan Time)
Home  ＞  最新ニュース  ＞ 末永幸平研究者が型システムを用いて資源のリークを防ぐ形式手法についての論文を SPLASH 2012 の OOPSLA Research Paper として発表しました。