神林靖（山陽小野田市立山口東京理科大学）の研究と国会の議論

科研費の研究

言語モデル型深層強化学習に基づくモデル検査技法の研究

科研費科学研究費助成事業・基金　2025年4月1日〜2028年3月31日

神林靖（山陽小野田市立山口東京理科大学・研究分担者）、熊澤努（山陽小野田市立山口東京理科大学・研究代表者）、滝本宗宏（東京理科大学・研究分担者）

本研究では，ソフトウェアシステムを自動検証する技術であるモデル検査への，言語モデルに基づいた深層強化学習の適用可能性と有効性を明らかにする．深層強化学習には，近年特に自然言語処理分野において発展の目覚ましい大規模言語モデルをベースとする技術を用いることで先端的な検査技術を実装する．加えて，モデル検査技術において長く蓄積された知見や知識を実…

神林靖さんの役割：研究分担者

研究者の情報：CiNii Research の研究者ページ

同じテーマの国会の議論

AIエージェントの安全と行政での利用国会での質疑・答弁 49件（最新 2026年7月10日）AI法とAIの安全性国会での質疑・答弁 301件（最新 2026年7月15日）デジタル民主主義とブロードリスニング国会での質疑・答弁 28件（最新 2026年7月8日）AIと子どもの安全（対話型AI・生成AIと未成年）国会での質疑・答弁 146件（最新 2026年7月27日）

研究の内容と国会の議論は、テーマが同じものを並べています。研究者ご本人が国会で発言したという意味ではありません。

出典：CiNii Research・KAKEN（国立情報学研究所）、国会会議録検索システム（国立国会図書館）。掲載内容の訂正・削除のご依頼はお問い合わせからお送りください。

神林 靖

科研費の研究

言語モデル型深層強化学習に基づくモデル検査技法の研究

同じテーマの国会の議論

神林靖