立花 健 | 東京工業大学大学院情報理工学研究科計算工学専攻

スポンサーリンク

概要

• 立花 健の詳細を見る
• 同名の論文著者
• 東京工業大学大学院情報理工学研究科計算工学専攻の論文著者

関連著者

• 小林 直樹

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

• 小林 直樹

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

• 小林 直樹

  北海道日建設計

• 立花 健

  東京工業大学大学院情報理工学研究科計算工学専攻

著作論文

• 検証済み型推論器生成のためのCoqライブラリ

スポンサーリンク