(最終更新日:2016-05-02 15:43:01)
  マツダ ナオスケ   Matsuda Naosuke
  松田 直祐
   所属   神奈川大学  理学部 情報科学科
   職種   助手
■ 現在の専門分野
数学基礎論 (キーワード:非古典論理 ラムダ計算)