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

MUKAI Kuniaki  向井 国昭

ORCIDConnect your ORCID iD *help
… Alternative Names

向井 国明  ムカイ クニアキ

Less
Researcher Number 80245597
Affiliation (based on the past Project Information) *help 1996 – 1998: 慶応義塾大学, 環境情報学部, 教授
1995: Keio University, Faculty of Environmental Information, Professor, 環境情報学部, 教授
1993 – 1995: 慶應義塾大学, 環境情報学部, 助教授
Review Section/Research Field
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / Intelligent informatics
Keywords
Except Principal Investigator
constructive programming / computational complexity / programming semantics / artificial intelligence / relational calculus / computational logic / computer science / category theory / 構成的プログラミング / 計算量理論 … More / プログラミング意味論 / 人工知能 / 関係計算 / 計算論理学 / 計算機科学 / カテゴリー論 / Language acquisition / Parallelization of ILP / Automatic classification of e-mails / Data mining / Inductive logic programming / Higher order oncept learning / 類推 / メタプログラミング / 相対最小汎化 / 直交思考平面モデル / 科学的発見過程 / 技能獲得 / 機械学習の並列化 / 新述語の導入 / アナロジー / 発想推論(アプダクション) / 科学的発見・創造過程 / 帰納論理プログラミングの並列化 / 電子メイルの自動分類 / 言語獲得 / 帰納論理プログラミング並列化 / 電子メールの自動分類 / データベースからの知識獲得 / 帰納論理プログラミング / 高階概念獲得 Less
  • Research Projects

    (2 results)
  • Co-Researchers

    (10 People)
  •  An interdisciplinary study on categorical computer mathematics

    • Principal Investigator
      KAWAHARA Yasuo
    • Project Period (FY)
      1996 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      KYUSHU UNIVERSITY
  •  Research on Discovery and Creative Process Modelling in Logic

    • Principal Investigator
      FURUKAWA Koichi
    • Project Period (FY)
      1993 – 1995
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      Keio University
  • 1.  FURUKAWA Koichi (10245615)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  IMAI Mutumi (60255601)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  ISHIZAKI Shun (00245614)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  KAWAHARA Yasuo (90091181)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  MIYANO Satoru (50128104)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  SATO Masahiko (20027387)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  ONO Hiroakira (90055319)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  ARIKAWA Setsuo (40037221)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  KOBAYASHI Kojiro (00016148)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  林 晋 (40156443)
    # 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