• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2022 年度 研究概要(中間評価)

AI時代を見据えたプログラム検証技術

研究課題

  • PDF
研究課題/領域番号 20H05703
研究種目

基盤研究(S)

配分区分補助金
審査区分 大区分J
研究機関東京大学

研究代表者

小林 直樹  東京大学, 大学院情報理工学系研究科, 教授 (00262155)

研究分担者 五十嵐 淳  京都大学, 情報学研究科, 教授 (40323456)
塚田 武志  千葉大学, 大学院理学研究院, 准教授 (50758951)
吉仲 亮  東北大学, 情報科学研究科, 准教授 (80466424)
海野 広志  東北大学, 電気通信研究所, 教授 (80569575)
関山 太朗  国立情報学研究所, アーキテクチャ科学研究系, 准教授 (80828476)
佐藤 一誠  東京大学, 大学院情報理工学系研究科, 教授 (90610155)
佐藤 亮介  東京農工大学, 学内共同利用施設等, 准教授 (10804677)
研究期間 (年度) 2020-08-31 – 2025-03-31

URL: 

公開日: 2022-11-22  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi