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

KURA Satoshi  内藏 理史

ORCIDConnect your ORCID iD *help
Researcher Number 10969364
Other IDs
Affiliation (Current) 2025: 早稲田大学, 教育・総合科学学術院, 講師(任期付)
Affiliation (based on the past Project Information) *help 2025: 早稲田大学, 教育・総合科学学術院, 講師(任期付)
Review Section/Research Field
Principal Investigator
Basic Section 60050:Software-related
Except Principal Investigator
Broad Section J
Keywords
Principal Investigator
圏論 / hyperproperty / モデル検査 / 形式検証
Except Principal Investigator
学習理論 / 最適化理論 / 計算論 / 論理学 / プログラム検証
  • Research Projects

    (2 results)
  • Co-Researchers

    (4 People)
  •  Foundations and Applications of Program Verification Techniques

    • Principal Investigator
      海野 広志
    • Project Period (FY)
      2025 – 2029
    • Research Category
      Grant-in-Aid for Scientific Research (S)
    • Review Section
      Broad Section J
    • Research Institution
      Tohoku University
  •  hyperpropertyと余代数的時相論理の融合とそのプログラム検証への応用Principal Investigator

    • Principal Investigator
      内藏 理史
    • Project Period (FY)
      2025 – 2029
    • Research Category
      Grant-in-Aid for Early-Career Scientists
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Waseda University
  • 1.  海野 広志 (80569575)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  塚田 武志 (50758951)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  川島 英之 (90407148)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  龍田 真 (80216994)
    # 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