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

HARAO Masateru  原尾 政輝

ORCIDConnect your ORCID iD *help
Researcher Number 44266272
Affiliation (based on the past Project Information) *help 1993: Kyushu Institute of Technology Professor, 情報工学部, 教授
Review Section/Research Field
Principal Investigator
情報工学
Keywords
Principal Investigator
知識表現 / 論理プログラム / 高階論理 / 型理論 / 類推 / 法的推論 / 法律知識 / 判決予測 / 類推判決 / 推論 … More / 一般化知識 / 知識獲得 / 定理証明システム / 論理言語 / lambda-計算 / 推論機構 / 知能ソフトウェア / 類推システム / 高階プログラム言語 / 定理証明 / 知識ベース / 自然演繹証明 / ML / Type theory / Knowledge representation / Inference machanism / Intelligent software / analogical system / Higher order program language / Theorem proving / Logic program Less
  • Research Projects

    (3 results)
  • Co-Researchers

    (1 People)
  •  高階論理に基づく法的正当化推論機構の研究Principal Investigator

    • Principal Investigator
      原尾 政輝
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Kyushu Institute of Technology
  •  類似性に基づく一般化知識の獲得と推論Principal Investigator

    • Principal Investigator
      原尾 政輝
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Kyushu Institute of Technology
  •  Formalization of Higher Order Ingerence Mechanism Based on Type Theory and Its Application to Analogical Reasoning SystemPrincipal Investigator

    • Principal Investigator
      HARAO Masateru, 原尾 政輝
    • Project Period (FY)
      1992 – 1993
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      情報工学
    • Research Institution
      Kyushu Institute of Technology
  • 1.  原尾 政輝 (00006272)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi