書換え型計算モデルへの変換を利用した実行時エラー検証技術の構築
詳細情報
| 科研費研究課題/領域番号 | 24KJ1240 [ KAKENで見る ] |
|---|---|
| 種目 | 特別研究員奨励費 |
| 採択年度 | 2024 |
| 代表者氏名 | 小嶋 美咲 |
| 採択時の代表者所属 | 名古屋大学 情報学研究科 特別研究員(PD) |
| 代表者の科研費研究者番号 | - |
| 科研費審査区分（中区分） | 60 （情報科学、情報工学） |
| 分析データ 推定科研費審査区分（中区分） | 60 （情報科学、情報工学） |
| 分析データ クラスタ | 46 （データサイエンス/機械学習・AI） |