基本情報

所属
法政大学 理工学部応用情報工学科 助手
学位
理学士(東京理科大学)
工学修士(東京理科大学)
Doctorandus Wiskunde(数学修士)(ユトレヒト大学 (オランダ))
博士(学術)(信州大学)

研究者番号
40842050
J-GLOBAL ID
201901005239555931

外部リンク

名前は、井上茂雄(Takao Inoue)。茂雄は「たかお」と読む。専門は、数理論理学、計算機科学(Mizar形式化数学)、数学。博士(学術)[信州大学]、オランダのユトレヒト大学数学科卒(Doctorandus Wiskunde取得 [Universiteit Utrecht])、東京理科大学大学院理工学研究科経営工学専攻修了(工学修士)、東京理科大学理工学部応用生物科学科卒。

論文

  25

MISC

  12

講演・口頭発表等

  5

所属学協会

  1

その他

  2