研究者
J-GLOBAL ID：200901032628277130   更新日: 2014年12月08日

町 英朋

マチ ヒデトモ | Machi Hidetomo
所属機関・部署：
常磐大学 コミュニティ振興学部 コミュニティ文化学科

常磐大学 コミュニティ振興学部 コミュニティ文化学科 について


職名： 准教授
研究分野 (2件)： ソフトウェア ,  情報学基礎論
研究キーワード (1件)： 形式的検証
競争的資金等の研究課題 (1件)：
  • 時制を扱う論理の構築,および検証への適用
学位 (1件)：
  • 工学 (筑波大学)
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM