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

2021 年度 研究進捗評価(検証)

• 研究課題/領域番号: 15H05706
• 研究種目: 基盤研究(S)
• 配分区分: 補助金
• 研究分野: 情報学基礎理論
• 研究機関: 東京大学
• 研究代表者: 小林 直樹 東京大学, 大学院情報理工学系研究科, 教授 (00262155)
• 研究分担者: 篠原 歩 東北大学, 情報科学研究科, 教授 (00226151) ; 佐藤 亮介 九州大学, システム情報科学研究院, 助教 (10804677) ; 五十嵐 淳 京都大学, 情報学研究科, 教授 (40323456) ; 海野 広志 筑波大学, システム情報系, 准教授 (80569575)
• 研究期間 (年度): 2015-05-29 – 2020-03-31

評価記号

検証結果 (区分)

A+