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

YADAKE Kenro  矢竹 健朗

ORCIDConnect your ORCID iD *help
Researcher Number 60452116
Affiliation (based on the past Project Information) *help 2009 – 2010: Japan Advanced Institute of Science and Technology, 情報科学研究科, 特任助教
Review Section/Research Field
Principal Investigator
Software
Keywords
Principal Investigator
データ管理システム / データ管理領域 / オブジェクト指向 / 定理証明 / プログラム検証
  • Research Projects

    (1 results)
  • Research Products

    (2 results)
  •  Automating program verification on the data management domainPrincipal Investigator

    • Principal Investigator
      YADAKE Kenro
    • Project Period (FY)
      2009 – 2010
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Software
    • Research Institution
      Japan Advanced Institute of Science and Technology

All 2009

All Presentation

  • [Presentation] データ管理領域におけるプログラム検証の自動化に関する考察2009

    • Author(s)
      矢竹健朗
    • Organizer
      第165回ソフトウェア工学研究会
    • Place of Presentation
      石川
    • Year and Date
      2009-07-03
    • Data Source
      KAKENHI-PROJECT-21700025
  • [Presentation] データ管理領域におけるプログラム検証の自動化に関する考察2009

    • Author(s)
      矢竹健朗
    • Organizer
      第165回ソフトウェア工学研究会
    • Place of Presentation
      北陸先端科学技術大学院大学
    • Year and Date
      2009-07-03
    • Data Source
      KAKENHI-PROJECT-21700025

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