データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-23K24824 |
|---|---|
| 研究種目 | 基盤研究(B) |
| 研究分野 | |
| 研究機関 | 名古屋大学 |
| 代表研究者 | 関 浩之 |
| 研究分担者 | 小川 瑞史 |
| 研究分担者 | 結縁 祥治 |
| 研究分担者 | 橋本 健二 |
| 研究期間 開始年月日 | 2022/4/1 |
| 研究期間 終了年度 | 2024 |
| 研究ステータス | 交付 (2024/4/1) |
| 配分額（合計） | 13,910,000 (直接経費 :10,700,000、間接経費 :3,210,000) |
| 配分額（履歴） |
2024年度：4,550,000 (直接経費 :3,500,000、間接経費 :1,050,000) 2023年度：4,550,000 (直接経費 :3,500,000、間接経費 :1,050,000) 2022年度：4,810,000 (直接経費 :3,700,000、間接経費 :1,110,000) |
| キーワード | 計算論的ゲーム構造 プログラム自動合成 プライバシー保護 形式言語理論 レジスタ計算モデル プログラム自動生成 重み付き計算モデル |