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

中村 明  ナカムラ アキラ

ORCIDConnect your ORCID iD *help
Researcher Number 00296790
Affiliation (based on the past Project Information) *help 2000 – 2001: 国際基督教大学, 教養学部, 準教授
Review Section/Research Field
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics)
Keywords
Except Principal Investigator
computable tree functions / primitive recursive functions / recursive functions / binary tree / theory of computation / 木構造を扱うアルゴリズム / 二分木上の関数 / 計算可能性 / 原始帰納法 / 項代数 … More / 証明論 / 型理論 / 数理論理学の歴史 / コンピュータの歴史 / 万能コンピュータ / 二分木上の計算可能関数 / 原始帰納的関数 / 帰納的関数 / 二分木 / 計算論 Less
  • Research Projects

    (1 results)
  • Co-Researchers

    (3 People)
  •  A study of proof theory and theory of computation in a type-theoretical approach

    • Principal Investigator
      TAKAHASHI Masako
    • Project Period (FY)
      2000 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      College of Liberal Arts, International Christian University
  • 1.  TAKAHASHI Masako (00015588)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  OSAKI Kenji (60160834)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  POGOSYAN Grant (90234640)
    # 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