物理的・確率的システムの検証を支える形式的基盤の構築
詳細情報
| 科研費研究課題/領域番号 | 22H00520 [ KAKENで見る ] |
|---|---|
| 種目 | 基盤研究(A) |
| 採択年度 | 2022 |
| 代表者氏名 | Affeldt Reynald |
| 採択時の代表者所属 | 国立研究開発法人産業技術総合研究所 情報・人間工学領域 上級主任研究員 |
| 代表者の科研費研究者番号 | 40415641 |
| 科研費審査区分（中区分） | 60 （情報科学、情報工学） |
| 分析データ 推定科研費審査区分（中区分） | 60 （情報科学、情報工学） |
| 分析データ クラスタ | 1 （データサイエンス/情報数学・離散数学・数値計算） |