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

2018 Fiscal Year Research Progress Assessment (Result)

高階モデル検査の深化と発展

Research Project

  • PDF
Project/Area Number 15H05706
Research Category

Grant-in-Aid for Scientific Research (S)

Allocation TypeSingle-year Grants
Research Field Theory of informatics
Research InstitutionThe University of Tokyo

Principal Investigator

Kobayashi Naoki  東京大学, 大学院情報理工学系研究科, 教授 (00262155)

Co-Investigator(Kenkyū-buntansha) 篠原 歩  東北大学, 情報科学研究科, 教授 (00226151)
佐藤 亮介  九州大学, システム情報科学研究院, 助教 (10804677)
五十嵐 淳  京都大学, 情報学研究科, 教授 (40323456)
海野 広志  筑波大学, システム情報系, 准教授 (80569575)
Project Period (FY) 2015-05-29 – 2020-03-31
Assessment Rating
Result (Rating)

A+: Progress in the research exceeds the initial goal. More than expected research results are expected.

URL: 

Published: 2019-05-15  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi