HARAO Masatretu 原尾政輝

… Alternative Names

原尾政輝ハラオマサテル

HARAO Masateru 原尾正輝

Less

Researcher Number	00006272
Other IDs
Affiliation (based on the past Project Information) *help	2001 – 2004: 九州工業大学, 情報工学部, 教授 1998 – 1999: 九州工業大学, 情報工学部, 教授 1994 – 1996: 九州工業大学, 情報工学部, 教授 1992: 九州工業大学, 情報工学部, 教授 1989 – 1990: Kyushu Institute of Technology, Faculty of CS & SE, Prof., 情報工学部, 教授 1987 – 1988: 山形大学, 工学部, 教授 1986: Faculty of Eng. Yamagata Univ., Professor, 工学部, 教授
Review Section/Research Field	Principal Investigator Intelligent informatics / Informatics / 情報工学 Except Principal Investigator 計算機工学 / Intelligent informatics
Keywords	Principal Investigator 型理論 / 類推 / 知識表現 / 定理証明 / 推論機構 / 高階論理 / MRSA / Knowledge representation / Type theory / Theorem proving … More / 人工知能 / 論理プログラム / 高階単一化 / Theorem Proving / Resolution algorithm / Automated circuit synthesis / Circuit realization language / Specification logic / temporal and spatial modal logic / 回路レイアウト / 導出アルゴリズム / 回路自動合成 / 回路実現言語 / 仕様記述言語 / 時空間様相論理 / server & client system / decision support system / drug resistance / hospital-acquired disease / infective disease / association rule / data mining / エキスパートシステム / XML / ASP / Java / サーバー・クライアント方式 / 意思決定支援システム / 薬剤耐性菌 / 院内感染 / 感染症予測 / 相関規則 / データマイニング / Intelligent language / Heuristic reasoning / Analogical reasoning principle / Hypothetical reasoning / Intelligent reasoning / Logical framework / Logic / 知能言語 / 発見的推論 / 仮説推論 / 知的推論原理 / ロジカルフレームワーク / 論理 / Type Theory / Knowledge / Logical system / Learning / Theorem Prover / Intelligent Programming / Reasoning / Artificial Intelligence / 認識システム / 知能プログラミング / 並列分散処理 / 計算言語論 / 学習 / 高次推論原理 / Logic program / Higher order program language / analogical system / Intelligent software / Inference machanism / ML / 自然演繹証明 / 知識ベース / 高階プログラム言語 / 類推システム / 知能ソフトウェア / Inference mechanism / Analogical reasoning / Logic language / Mechanization of Proving system / Higher order unification / lambda-calculus / Higher order logic / 導出原理 / 計算の複雑さ / マッチング / 論理型言語 / 証明の機械化 / 単一化アルゴリズム / λー算法 / 述語論理 / 2階単一化 / 推論処理 / 知識構造 / 継承 / 高階一般化 / 順序ソート / ラムダ計算 / 法的知識表現 / 法的推論 / 類推証明 / 一般化知識 / 抽象化階層 / 概念階層 / サ-カムスクリプション / メタ推論 / 推論方式 / フレ-ム表現 / 様相論理 … More Except Principal Investigator Parallel processing / Systolic array / Cellular automata / Cellular information processing system / シストリックアレー / セルオートマトン / 並列処理 / シストリックアレ- / セルオ-トマトン / セル構造情報処理系 / automated deduction / functional programming / induction / machine learning / typed lambda-calculus / type theory / ユーザ・インタフェース / 定理証明 / 帰納推論 / 算術制約 / 制約 / 型付きλ計算 / 自動演繹 / 関数プログラミング / 帰納法 / 機械学習 / 型付き入計算 / 型理論 Less

Extraction of Prediction rules for Infective Diseases from Medical Inspection DataPrincipal Investigator
- Principal Investigator
  
  HARAO Masatretu
- Project Period (FY)
  2001 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyusyu Institute of Technology
順序ソート型理論に基づく知識表現と推論に関する研究Principal Investigator
- Principal Investigator
  
  原尾政輝
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyushu Institute of Technology
A General Study On Intelligent Reasoning Principles and Programming Languages For Artificial Intelligence.Principal Investigator
- Principal Investigator
  
  HARAO Masateru
- Project Period (FY)
  1995 – 1996
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyushu Institute of Technology
STUDIES ON REASONING PRINCIPLE BASED ON LOGICAL FRAMEWORK THEORY AND ITS APPLICATION TO HEURISTIC REASONING SYSTEMPrincipal Investigator
- Principal Investigator
  
  HARAO Masateru
- Project Period (FY)
  1995 – 1996
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  KYUSHU INSTITUTE OF TECHNOLOGY
型理論に基づく法的正当化推論機構の研究Principal Investigator
- Principal Investigator
  
  原尾政輝
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Kyushu Institute of Technology
Type Theory and its Application to Machine Learning
- Principal Investigator
  
  HAGIYA Masami
- Project Period (FY)
  1994 – 1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  University of Tokyo
類似性に基づく一般化知識の獲得と推論Principal Investigator
- Principal Investigator
  
  原尾政輝
- Project Period (FY)
  1992 – 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
可能世界モデルに基づく知識の表現とメタ推論機構に関する研究Principal Investigator
- Principal Investigator
  
  原尾政輝
- Project Period (FY)
  1989
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Kyushu Institute of Technology
Higher Order Unification and Mechanization of Higher Order Theorem Proving SystemPrincipal Investigator
- Principal Investigator
  
  HARAO Masateru
- Project Period (FY)
  1989 – 1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Informatics
- Research Institution
  Kyushu Institute of Technology
Cellular space approaches to parallel processing
- Principal Investigator
  
  INAGAKI Yasuyoshi
- Project Period (FY)
  1987 – 1989
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  計算機工学
- Research Institution
  Nagoya University
Design of a System Description Language based on a Temporal-Spatiol Modal Logic and its Application to Automated Circuit Synthesis Problems.Principal Investigator
- Principal Investigator
  
  HARAO Masateru
- Project Period (FY)
  1985 – 1986
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Informatics
- Research Institution
  YAMAGATA University

All 2005 2004

All Journal Article

[Journal Article] Disjunctive Rules Extracted from MRSA Data with Verification2005
- Author(s)
  K.Hirata, M.Harao, et al.
- Journal Title
  
  The First International Conference on Complex Medical Engineering (CME2005)
  
  Pages: 326-330
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13558036
[Journal Article] Extraction of Frequent Few-Overlapped Monotone DNF Formulas with Depth First Pruning2005
- Author(s)
  K.Hirata, M.Harao, et al.
- Journal Title
  
  Lecture Notes in Artificial Intelligence AI.3518
  
  Pages: 49-60
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13558036
[Journal Article] Risk Management System for Hospital-Acquired Infection Based on Bacterial Culture Database2005
- Author(s)
  K.Hirata, M.Harao, et al.
- Journal Title
  
  The First International Conference on Complex Medical Engineering (CME2005) (発表予定)
- Data Source
  KAKENHI-PROJECT-13558036
[Journal Article] from MRSA Data with Verif2005
- Author(s)
  K.Hirata, M.Harao, et al.
- Journal Title
  
  The First International Conference on Complex Medical Engineering (CME2005)
  
  Pages: 326-330
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13558036
[Journal Article] Extraction of Frequent Few-Overlapped Monotone DNF Formulas with Depth First Pruning2005
- Author(s)
  K.Hirata, M.Harao, et al.
- Journal Title
  
  Lecture Notes in Artificial Intelligence AI.3519
  
  Pages: 49-60
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-13558036
[Journal Article] Extracting Disjunctive Closed Rules from MRSA Data2005
- Author(s)
  K.Hirata, M.Harao, et al.
- Journal Title
  
  The First International Conference on Complex Medical Engineering (CME2005)
  
  Pages: 321-325
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13558036
[Journal Article] Risk Management System for Hospital-Acquired Infection Based on Bacterial Culture Database2005
- Author(s)
  K.Hirata, M.Harao, et al.
- Journal Title
  
  The First International Conference on Complex Medical Engineering (CME2005)
  
  Pages: 423-427
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13558036
[Journal Article] Disjunctive Rules Extracted from MRSA Data with Verification2005
- Author(s)
  K.Hirata, M.Harao, et al.
- Journal Title
  
  The First International Conference on Complex Medical Engineering (CME2005) (発表予定)
- Data Source
  KAKENHI-PROJECT-13558036
[Journal Article] Extracting Disjunctive Closed Rules from MRSA Data2005
- Author(s)
  K.Hirata, M.Harao, et al.
- Journal Title
  
  The First International Conference on Complex Medical Engineering (CME2005) (発表予定)
- Data Source
  KAKENHI-PROJECT-13558036
[Journal Article] Extracting Minimal and Closed Monotone DNF Formulas2004
- Author(s)
  K.Hirata, Harao, et al.
- Journal Title
  
  Lecture Notes in Artificial Intelligence AI.3245
  
  Pages: 298-305
- Data Source
  KAKENHI-PROJECT-13558036
[Journal Article] データライニングによる医療リスクマネジメント(1)〜(4)2004
- Author(s)
  横山茂樹, 原尾政輝, 平田耕一, 松岡喜美子
- Journal Title
  
  日本臨床検査医学会総会(第50回) 第50回
  
  Pages: 131-134
- Data Source
  KAKENHI-PROJECT-13558036
[Journal Article] Extracting Minimal and Closed Monotone DNF Formulas2004
- Author(s)
  K.Hirata, M.Harao, et al.
- Journal Title
  
  Lecture Notes in Artificial Intelligence AI.3245
  
  Pages: 298-305
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-13558036
[Journal Article] 院内感染予防支援のための規則抽出2004
- Author(s)
  池永, 平田, 原尾
- Journal Title
  
  日の国シンポジウム論文集 B-9
  
  Pages: 1-8
- Data Source
  KAKENHI-PROJECT-13558036

1. HAGIYA Masami (30156252)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. ASO Hirotomo (10005522)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. FUJITA Kenetsu (30228994)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. HARAO Masateru (44266272)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. IWANUMA Kouji (30176557)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. INOUE Katsumi (10252321)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. YONEZAKI Naoki (00126286)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. HIRATA Kouichi (20274558)

# of Collaborated Projects: 1 results

# of Collaborated Products: 13 results
9. YAMADA Keizo (60325579)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. INAGAKI Yasuyoshi (10023079)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. GOTO Munehiro (00021585)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. HIRATA Tomio (10144205)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. NAKAMURA Akira (50034400)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. YOKOYAMA Shigeki

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results

HARAO Masatretu 原尾 政輝

原尾 政輝 ハラオ マサテル

HARAO Masateru 原尾 正輝

Research Projects

Research Products

Co-Researchers

Extraction of Prediction rules for Infective Diseases from Medical Inspection DataPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

順序ソート型理論に基づく知識表現と推論に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A General Study On Intelligent Reasoning Principles and Programming Languages For Artificial Intelligence.Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

STUDIES ON REASONING PRINCIPLE BASED ON LOGICAL FRAMEWORK THEORY AND ITS APPLICATION TO HEURISTIC REASONING SYSTEMPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

型理論に基づく法的正当化推論機構の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Type Theory and its Application to Machine Learning

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

類似性に基づく一般化知識の獲得と推論Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Formalization of Higher Order Ingerence Mechanism Based on Type Theory and Its Application to Analogical Reasoning SystemPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

可能世界モデルに基づく知識の表現とメタ推論機構に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Higher Order Unification and Mechanization of Higher Order Theorem Proving SystemPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Cellular space approaches to parallel processing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Design of a System Description Language based on a Temporal-Spatiol Modal Logic and its Application to Automated Circuit Synthesis Problems.Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Disjunctive Rules Extracted from MRSA Data with Verification2005

Author(s)

Journal Title

Description

Data Source

HARAO Masatretu 原尾政輝

原尾政輝ハラオマサテル

HARAO Masateru 原尾正輝