• 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
知識表現 / 類推 / 型理論 / 高階論理 / 論理プログラム / Logic program / Theorem proving / Higher order program language / analogical system / Intelligent software … More / Inference machanism / Knowledge representation / Type theory / ML / 自然演繹証明 / 知識ベース / 定理証明 / 高階プログラム言語 / 類推システム / 知能ソフトウェア / 推論機構 / lambda-計算 / 論理言語 / 定理証明システム / 知識獲得 / 一般化知識 / 推論 / 類推判決 / 判決予測 / 法律知識 / 法的推論 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 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