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

2025 Fiscal Year Abstract

プログラム検証技術の基礎付けと応用

Research Project

  • PDF
Project/Area Number 25H00446
Research Category

Grant-in-Aid for Scientific Research (S)

Allocation TypeSingle-year Grants
Review Section Broad Section J
Research InstitutionTohoku University

Principal Investigator

海野 広志  東北大学, 電気通信研究所, 教授 (80569575)

Co-Investigator(Kenkyū-buntansha) 塚田 武志  千葉大学, 大学院理学研究院, 教授 (50758951)
内藏 理史  早稲田大学, 教育・総合科学学術院, 講師(任期付) (10969364)
川島 英之  慶應義塾大学, 環境情報学部(藤沢), 准教授 (90407148)
龍田 真  国立情報学研究所, 情報学プリンシプル研究系, 教授 (80216994)
Project Period (FY) 2025-04-01 – 2030-03-31

URL: 

Published: 2025-05-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi