研究者
J-GLOBAL ID:200901057537366915
更新日: 2006年01月29日
毛利 元彦
モウリ モトヒコ | Mouri Motohiko
所属機関・部署:
旧所属 東京電機大学 理工学部 情報科学科
旧所属 東京電機大学 理工学部 情報科学科 について
「旧所属 東京電機大学 理工学部 情報科学科」ですべてを検索
職名:
助手
ホームページURL (1件):
http://www.j.dendai.ac.jp/~mouri/
研究分野 (1件):
情報学基礎論
研究キーワード (4件):
定理自動証明
, 数理論理学
, Automated Theorem Proving
, Mathematical logic
競争的資金等の研究課題 (2件):
2000 - 2005 様相論理の証明反駁アルゴリズム
2000 - 2005 Proof or Refutation Algorithm for Modal logics
MISC (4件):
Constructing counter-models for modal logic K4 from refutation trees. Bulletin of the Section of Logic. 2002. vol 31, No.2, pp81-90
Constructing counter-models for modal logic K4 from refutation trees. Bulletin of the Section of Logic. 2002. vol 31, No.2, pp81-90
Theorem Provers with Counter Models and xpe. Bulletin of the Section of Logic. 2001. vol 30, No.2, pp79-86
Theorem Provers with Counter Models and xpe Bulletin of the Section of Logic. Bulletin of the Section of Logic. 2001. vol 30, No.2, pp79-86
学歴 (4件):
- 2000 北陸先端科学技術大学院大学 情報科学研究科 情報処理学専攻
- 2000 北陸先端科学技術大学院大学
- 1992 東北大学 工学部 情報工学科
- 1992 東北大学
学位 (1件):
博士(情報科学) (北陸先端科学技術大学院大学)
経歴 (4件):
2003 - 東京電機大学理工学部 助手
2003 - Instructor, Tokyo Denki University
2002 - 北海道大学工学部 講師(中核的研究機関研究員)
2002 - Lecturere, Hokkaido University
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM