タナベ ヨシノリ   Tanabe Yoshinori
  田辺 良則
   所属   鶴見大学  文学部 ドキュメンテーション学科
   職種   教授
こんな研究しています数理論理学を利用して,ソフトウェアの信頼性向上を図るための研究を行っています.