ソフトウェア開発サイクルの変革と AI Agent の動向
5月のマルレクへの招待
====================
セミナーへのお申し込みはこちらからお願いします。
https://sdlcagent.peatix.com/view
====================
↑ 見出しクリックでYouTubeへ； ↓ pdfはスクロールで全文読めます
はじめに
ソフトウェア開発でのAI利用の動向
AI利用の急速な拡大
ザッカーバーグの予測
このコンテンツにビデオはありません： ↓ pdfはスクロールで全文読めます
ザッカーバーグの予測（音声による概要）
AIベンダーの動向
このコンテンツにビデオはありません： ↓ pdfはスクロールで全文読めます
AIベンダーの動向（音声による概要）
広がる危機感
攻撃者としてのAI / 防御者としてのAI
このコンテンツにビデオはありません： ↓ pdfはスクロールで全文読めます
攻撃者としてのAI / 防御者としてのAI −− RSAC2025（音声による概要）
RSAC 2025 レポート AIとNHIによる脅威の拡大
このコンテンツにビデオはありません： ↓ pdfはスクロールで全文読めます
RSAC 2025 レポート AIとNHIによる脅威の拡大（音声による概要）
ソフトウェア開発とAI Agent
ソフトウェア開発へのAI Agent導入の動向
↑ 見出しクリックでYouTubeへ； ↓ pdfはスクロールで全文読めます
AI Agent導入の動向 （音声による概要）
Multi AI Agent プログラミング
↑ 見出しクリックでYouTubeへ； ↓ pdfはスクロールで全文読めます
A2A: Travel Agent サンプル
↑ 見出しクリックでYouTubeへ； ↓ pdfはスクロールで全文読めます
ADK: コード開発パイプライン・サンプル
↑ 見出しクリックでYouTubeへ； ↓ pdfはスクロールで全文読めます
System Message instruction とセキュリティ（音声による概要）
ソフトウェア開発の課題と未来
人間はAIに何を伝えるのか？
主要なAI開発ツールは、主にコード補完やチャット支援に重点を置いており、大規模プロジェクトの複雑な構造やモジュール間の連携をAIに直接指示する機能はまだ限定的です。
このコンテンツにビデオはありません： ↓ pdfはスクロールで全文読めます
大規模プロジェクトへの仕様の提示（音声による概要）
LLMと形式手法の統合
LLMは驚異的なコード生成能力を示す一方で、信頼性の問題をいくつか抱えています。LLMのコード生成能力と形式手法の厳密性を統合するアプローチは、ソフトウェア開発の自動化において革新的な可能性を秘めています。
このコンテンツにビデオはありません： ↓ pdfはスクロールで全文読めます
LLMと形式手法の統合の動向（音声による概要）
形式手法で利用される証明支援システム：CoqとLean（音声による概要）
人間と機械の関係を考える
ソフトウェア開発の現場で、人間の機械による代替が急速に進む可能性は高まっています。それは完全な無人化へと進むのでしょうか？ それは可能でしょうか？ ソフトウェア開発の現場に残された少数の人間には、どのような能力が必要とされるのでしょう？ 一人の人間が、多くのAIをコントロールすることは可能でしょうか？
補論 −− Agent論の二つの系譜
AI Agent 論
AI Agent 概念の成立と進化（音声による概要）
数学的 Agent 論
