岩間 太 | 東北大学大学院情報科学研究科

スポンサーリンク

概要

• 岩間 太の詳細を見る
• 同名の論文著者
• 東北大学大学院情報科学研究科の論文著者

関連著者

• 小林 直樹

  東京大学大学院理学系研究科

• 岩間 太

  東北大学大学院情報科学研究科

• 小林 直樹

  東北大学大学院情報科学研究科

• 小林 直樹

  北海道日建設計

• 五十嵐 淳

  京都大学大学院情報学研究科

• 岩間 太

  東京大学理学部

• 小林 直樹

  東京工業大学情報理工学研究科

• 小林 直樹

  東京工業大学地球惑星科学科

著作論文

• 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム
• JVMにおけるロックの整合性検証のための新しい型システム

スポンサーリンク