研究者
J-GLOBAL ID:200901012497426665   更新日: 2020年05月18日

山崎 進

ヤマサキ ススム | Yamasaki Susumu
所属機関・部署:
職名: 教授
ホームページURL (1件): http://www.momo.it.okayama-u.ac.jp
研究分野 (3件): 知能情報学 ,  ソフトウェア ,  情報学基礎論
研究キーワード (8件): ソフトウェアの形式的方法方法論 ,  推論機構 ,  形式意味論 ,  計算論理学 ,  Formal Method ,  Automated Reasoning ,  Formal Semantics ,  Computational Logic
競争的資金等の研究課題 (8件):
  • 認識系の論理
  • 不動点意味論
  • イベント計算系
  • 非単調論理
  • Epistemic logic
全件表示
MISC (39件):
書籍 (2件):
  • 計算論理に基づく推論ソフトウェア論
    コロナ社(単著) 2000
  • Dataflow Computing Mechanism for Logic Program and Extraction of Functional from it
    World Scientific, Software Science and Engineering (Nakata,I and Hagiya,M., eds.) 1991
学位 (1件):
  • 京都大学工学博士
所属学会 (5件):
日本数学会 ,  アメリカ人工知能学会(American Association for Artificial Intelligence) ,  ヨーロッパ理論計算機科学会(European Association for Theoretical Computer Science) ,  AAAI ,  EATCS
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る