形式手法と生成ＡＩの協調でゲーム開発の生産性を高める生成・検証サイクルの構築
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-26K15121 |
|---|---|
| 研究種目 | 基盤研究(C) |
| 研究分野 | |
| 研究機関 | 岡山県立大学 |
| 代表研究者 | 横川 智教 |
| 研究分担者 | 天嵜 聡介 |
| 研究分担者 | 阿萬 裕久 |
| 研究期間 開始年月日 | 2026/4/1 |
| 研究期間 終了年度 | 2028 |
| 研究ステータス | 交付 (2026/4/1) |
| 配分額（合計） | 4,420,000 (直接経費 :3,400,000、間接経費 :1,020,000) |
| 配分額（履歴） |
2028年度：1,170,000 (直接経費 :900,000、間接経費 :270,000) 2027年度：1,170,000 (直接経費 :900,000、間接経費 :270,000) 2026年度：2,080,000 (直接経費 :1,600,000、間接経費 :480,000) |
| キーワード | モデル検査 生成AI ビデオゲーム開発 仕様抽出 自動検証 |