メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
HARAO Masateru
原尾 政輝
Connect 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)
Project Start Year (Newest)
Project Start Year (Oldest)
高階論理に基づく法的正当化推論機構の研究
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 System
Principal 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
# of Projects (Dsc)
# of Projects (Asc)
1.
原尾 政輝
(00006272)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
×
Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.
×
×