株式会社エクスブリッジ

論文トラッカー｜東海・関東の大学の研究者

鄭 顕志

東京科学大学　科研費の研究 1件（生成AIと行政DX）

論文トラッカー › 生成AIと行政DX › 鄭 顕志

科研費の研究

形式手法と生成AIの連携・融合による保証付き設計エンジニアリング

科研費科学研究費助成事業・基金　2026年4月1日〜2029年3月31日
石川 冬樹（国立情報学研究所）、小林 努（国立研究開発法人宇宙航空研究開発機構）、鄭 顕志（東京科学大学・研究分担者）

高品質なソフトウェアシステムの核となる設計工程を対象とし，生成AIと形式手法の技術を連携・融合させ高効率・高信頼な開発方法論を確立する．AIが生成した設計モデル案からの記述完成，および要求・環境の変化への追随のため，部分的に整合性や妥当性を欠くモデルを修正するタスクが最重要となる．これに対し，人間の頭にある意図を引き出しつつ記述とのギャッ…

鄭 顕志さんの役割：研究分担者

研究者の情報：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（国立情報学研究所）、国会会議録検索システム（国立国会図書館）。掲載内容の訂正・削除のご依頼はお問い合わせからお送りください。

Kurage.AIKurage.AI に相談AIが何でも答えます