• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

YAMASAKI Susumu  山崎 進

ORCIDConnect your ORCID iD *help
Researcher Number 10026354
External Links
Affiliation (based on the past Project Information) *help 2003: OKAYAMA UNIVERSITY, Graduate School of Natural Science and Technology, Department of Intelligence Computing and System, Professor, 大学院・自然科学研究科, 教授
2002: 岡山大学, 自然科学研究科, 教授
2001: 岡山大学, 大学院・自然科学研究科, 教授
1994 – 1996: 岡山大学, 工学部, 教授
1990 – 1991: 岡山大学, 工学部, 教授
1987 – 1988: 岡山大学, 工学部, 教授
Review Section/Research Field
Principal Investigator
Intelligent informatics / Informatics
Except Principal Investigator
計算機工学 / Intelligent informatics / Informatics
Keywords
Principal Investigator
semantics / 意味論 / abduction framework / abductive proof procedure / SLDNF resolution / negation as failure / Three-valued stable model / Two-valued stable model / Logic program / 非単調推論 … More / 古典的否定 / 矛盾による否定 / 拡張論理プログラム / アブダクション / アブダクション枠組の制約条件 / 一般論理プログラム / 3値論理 / アブダクション手続き / アブダクションの枠組 / アブダクティブ手続き / SLDNF導出 / 失敗による否定 / 3値安定モデル / 2値安定モデル / 論理プログラム / resolution deduction / algebraic manipulation / dataflow / functional language / logic language / ユニフィケ-ション / 非決定性 / プログラム変換 / 形式意味論 / 導出演繹 / 代数的操作 / デ-タフロ- / 関数型言語 / 論理型言語 … More
Except Principal Investigator
人工知能 / Adaptive / Model / Learning / Interaction / Artificial Intelligence / Multi-Media / Pattern Recognition / Hierarchical structures / トップダウン手法 / ボトムアップ手法 / あいまい性 / データベース / 適応的 / 学習 / 対話 / モデル / マルチメディア / パターン理解 / 階層構造 / Euler Diagrams / Distributed Logic Programs / User Interface / A Contradiction-Free Proof Procedure / Visualization / Reasoning / オイラー図 / 分散論理プログラム / ユーザインタフェース / 矛盾解消 / 視覚化 / 推論 / differential equations / artificial intelligence / engineering problem solving / commonsense reasoning / dynamical systems / qualitative reasoning / 微分方程式 / 工学的問題解決 / 常識推論 / 力学系 / 定性推論 Less
  • Research Projects

    (5 results)
  • Co-Researchers

    (8 People)
  •  A Study on a Contradiction-Free Proof for User Interface and its Visualization

    • Principal Investigator
      SASAKURA Mariko
    • Project Period (FY)
      2001 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Intelligent informatics
    • Research Institution
      OKAYAMA UNIVERSITY
  •  Semantics and Proof Procedure for Abductive Logic ProgrammingPrincipal Investigator

    • Principal Investigator
      YAMASAKI Susumu
    • Project Period (FY)
      1994 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      Okayama University
  •  Studies on Development of A Software System for Qualitative Analysis of Dynamical Systems

    • Principal Investigator
      NISHIDA Toyoaki
    • Project Period (FY)
      1990 – 1991
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Kyoto University
  •  Integration of Logic and Functional Languages Based on DataflowPrincipal Investigator

    • Principal Investigator
      YAMASAKI Susumu
    • Project Period (FY)
      1990 – 1991
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Okayama University
  •  A Study for fusion with Pattern Recognition and Artificial Intelligence in the hierarchical structures

    • Principal Investigator
      SAKAI Toshiyuki
    • Project Period (FY)
      1987 – 1988
    • Research Category
      Grant-in-Aid for General Scientific Research (A)
    • Research Field
      計算機工学
    • Research Institution
      RYUKOKU UNIVERSITY
      Kyoto University
  • 1.  NISHIDA Toyoaki (70135531)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  KAWAHARA Tatsuya (00234104)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  YAMADA Atsushi (20240004)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  DOSHITA Shuji (00025925)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  SASAKURA Mariko (30284087)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  SAKAI Toshiyuki (70025790)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  OKADA Yoshihiro (30127063)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  MINOU Michihiko (70166099)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi