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

Nakano Hiroshi  中野 浩

ORCIDConnect your ORCID iD *help
… Alternative Names

NAKANO Hiroshi  中野 浩

Less
Researcher Number 30217799
Other IDs
Affiliation (Current) 2025: 龍谷大学, 先端理工学部, 教授
Affiliation (based on the past Project Information) *help 1995: Rykoku University, Department of Applied Mathematics and Informatics, Lecturer, 理工学部, 講師
1994: 龍谷大学, 理工学部, 助手
Review Section/Research Field
Except Principal Investigator
計算機科学
Keywords
Except Principal Investigator
Program logic / Program verification / Constructive programming / 構成的数学 / 型理論 / 形式的方法 / プログラム論理 / プログラム検証 / 構成的プログラミング
  • Research Projects

    (1 results)
  • Co-Researchers

    (3 People)
  •  The new aspects in constructive programming.

    • Principal Investigator
      HAYASHI Susumu
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Kobe University
      Ryukoku University
  • 1.  HAYASHI Susumu (40156443)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  KOBAYASHI Satoshi (70234820)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  小林 聡 (60195831)
    # 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