• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

原尾 政輝  HARAO Masateru

ORCIDORCID連携する *注記
研究者番号 44266272
所属 (過去の研究課題情報に基づく) *注記 1993年度: 九州工業大学, 情報工学部, 教授
審査区分/研究分野
研究代表者
情報工学
キーワード
研究代表者
知識表現 / 類推 / 型理論 / 高階論理 / 論理プログラム / Logic program / Theorem proving / Higher order program language / analogical system / Intelligent software … もっと見る / Inference machanism / Knowledge representation / Type theory / ML / 自然演繹証明 / 知識ベース / 定理証明 / 高階プログラム言語 / 類推システム / 知能ソフトウェア / 推論機構 / lambda-計算 / 論理言語 / 定理証明システム / 知識獲得 / 一般化知識 / 推論 / 類推判決 / 判決予測 / 法律知識 / 法的推論 隠す
  • 研究課題

    (3件)
  • 共同研究者

    (1人)
  •  高階論理に基づく法的正当化推論機構の研究研究代表者

    • 研究代表者
      原尾 政輝
    • 研究期間 (年度)
      1993
    • 研究種目
      重点領域研究
    • 研究機関
      九州工業大学
  •  類似性に基づく一般化知識の獲得と推論研究代表者

    • 研究代表者
      原尾 政輝
    • 研究期間 (年度)
      1993
    • 研究種目
      重点領域研究
    • 研究機関
      九州工業大学
  •  型理論に基づく高階推論機構の形式化とその類推処理への応用研究代表者

    • 研究代表者
      原尾 政輝, 原尾 政輝
    • 研究期間 (年度)
      1992 – 1993
    • 研究種目
      一般研究(C)
    • 研究分野
      情報工学
    • 研究機関
      九州工業大学
  • 1.  原尾 政輝 (00006272)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi