| 研究課題/領域番号 |
25K15064
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60050:ソフトウェア関連
|
|---|
| 研究機関 | 山陽小野田市立山口東京理科大学 |
|---|
研究代表者 |
熊澤 努 山陽小野田市立山口東京理科大学, 工学部, 教授 (90847906)
|
|---|
| 研究分担者 |
滝本 宗宏 東京理科大学, 創域理工学部情報計算科学科, 教授 (00318205)
神林 靖 山陽小野田市立山口東京理科大学, 工学部, 教授 (40269527)
|
|---|
| 研究期間 (年度) |
2025-04-01 – 2028-03-31
|
| 研究課題ステータス |
交付 (2025年度)
|
| 配分額 *注記 |
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2027年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2026年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2025年度: 2,080千円 (直接経費: 1,600千円、間接経費: 480千円)
|
|---|
| キーワード | モデル検査 / 深層強化学習 / 言語モデル |
|---|
| 研究開始時の研究の概要 |
本研究では，ソフトウェアシステムを自動検証する技術であるモデル検査への，言語モデルに基づいた深層強化学習の適用可能性と有効性を明らかにする．深層強化学習には，近年特に自然言語処理分野において発展の目覚ましい大規模言語モデルをベースとする技術を用いることで先端的な検査技術を実装する．加えて，モデル検査技術において長く蓄積された知見や知識を実装し，深層強化学習の効率化を図る．これらの成果を組込んだ検査ソフトウェアを作成して，性能評価を行う．
|
