松野 裕 | 東京大学大学院新領域創成科学研究科基盤情報学専攻

スポンサーリンク

概要

• 松野 裕の詳細を見る
• 同名の論文著者
• 東京大学大学院新領域創成科学研究科基盤情報学専攻の論文著者

関連著者

• 佐藤 周行

  東京大学情報基盤センター

• 佐藤 周行

  東京大学

• 松野 裕

  東京大学大学院新領域創成科学研究科基盤情報学専攻

• 佐藤 周行

  国立情報学研究所

• 松野 裕

  束京大学大学院新領域創成科学研究科

著作論文

• 最適化の検証を行うコンパイラのための型システム(サイバー増大号)
• Flow Analytic Type System for Array Bound Checks

スポンサーリンク