最新ニュース
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 として発表しました。
| ENGLISH |
末永幸平研究者が型システムを用いて資源のリークを防ぐ形式手法についての論文を SPLASH 2012 の OOPSLA Research Paper として発表しました。