基本情報

所属
明治薬科大学 医療分子解析学研究室 准教授 (特命准教授)
法政大学大学院 理工学研究科 応用情報工学専攻 兼任講師
(兼任) 理工学部 兼任講師
学位
Master of Engineering(Tokyo University of Science, Graduate School of Science and Technology)
工学修士(東京理科大学大学院)
Master of Mathematics (Doctorandus Wiskunde)(Utrecht University)
数学修士(ユトレヒト大学)
Ph.D.(Shinshu University)
博士(学術)(信州大学)

通称等の別名
handle_0022
研究者番号
40842050
J-GLOBAL ID
201901005239555931

外部リンク

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


経歴

  16

論文

  25

MISC

  16

講演・口頭発表等

  5

所属学協会

  1

その他

  2
  • 2005年 - 2005年
    Mizarの記号辞書を編纂した。 http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/mizardictionary1.htm
  • 1989年1月 - 1990年1月
    日本・オランダ政府交換留学生に選ばれる。(授業料免除、生活費・往復航空機券支給)