五十嵐 淳 | 京都大学大学院情報学研究科
スポンサーリンク
概要
関連著者
-
五十嵐 淳
京都大学大学院情報学研究科
-
小林 直樹
東京大学大学院理学系研究科
-
伊奈 林太郎
京都大学大学院情報学研究科
-
岩間 太
東北大学大学院情報科学研究科
-
小林 直樹
東北大学大学院情報科学研究科
-
五十嵐 淳
東京大学大学院総合文化研究科
-
住井 英二郎
東京大学大学院情報理工学系研究科
-
小林 直樹
北海道日建設計
-
住井 英二郎
東北大学大学院情報科学研究科
著作論文
- Featherweight Java のための漸進的型付け
- 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム
- Generic Java : 多相的型付けによる安全かつ再利用性の高いオブジェクト指向プログラミング
- TACS 2001およびManfred Paul賞授賞式