冨田 一郎 | 名古屋工業大学 知能情報システム学科

スポンサーリンク

概要

• 冨田 一郎の詳細を見る
• 同名の論文著者
• 名古屋工業大学 知能情報システム学科の論文著者

関連著者

• 石井 直宏

  名古屋工業大学知能情報システム学科

• 石井 直宏

  名古屋工業大学

• 冨田 一郎

  名古屋工業大学 知能情報システム学科

• 石井 直宏

  名古屋工業大学 知能情報システム学科

• 高橋 健一

  広島市立大学大学院情報科学研究科

• 犬塚 信博

  名古屋工業大学知能情報システム学科

• 河辺 義信

  名古屋工業大学

• 犬塚 信博

  名古屋工業大学

• 高橋 健一

  広島市立大学

著作論文

• バイナリ・メソッドのための型付きオブジェクト計算
• 型付きオブジェクト指向計算における型推論の型導出可能性について
• 順序ソート付き項書換え系のカリー化に関する一考察
• Action Semanticsによる並列プログラミング言語の意味記述

スポンサーリンク