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

Okubo Naoko  大久保 梨思子

ORCIDConnect your ORCID iD *help
… Alternative Names

大久保 梨思子  オオクボ ナオコ

Less
Researcher Number 60837714
Other IDs
Affiliation (Current) 2025: 国立研究開発法人宇宙航空研究開発機構, 研究開発部門, 研究開発員
Affiliation (based on the past Project Information) *help 2022 – 2023: 国立研究開発法人宇宙航空研究開発機構, 研究開発部門, 研究開発員
Review Section/Research Field
Principal Investigator
Basic Section 60050:Software-related
Keywords
Principal Investigator
ランタイム検証 / 異常推論 / 形式手法 / ソフトウェア
  • Research Projects

    (1 results)
  • Co-Researchers

    (1 People)
  •  Development of Deductive Failure Reasoner with Stepwise Refinement and Theorem ProvingPrincipal Investigator

    • Principal Investigator
      大久保 梨思子
    • Project Period (FY)
      2022 – 2023
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Japan Aerospace EXploration Agency
  • 1.  小林 努 (10803405)
    # 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