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

京都大学 白眉センター

| ENGLISH |

最新ニュース

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