講演資料
講義資料スライドの表紙です。上のスライド画像をクリックすると、同じ画面のまま全編のPDF資料を快適に閲覧・印刷することができます。
セミナーの概要
本セミナー「ソフトウェア開発サイクルの変革とAI Agentの動向」は、AI技術がソフトウェア開発という営みそのものをどう変革しつつあるかを、技術的事実と哲学的考察の両面から掘り下げる意欲的な試みです。
講師の丸山氏が冒頭で鋭く指摘するように、これまでIT技術は「世界を変える側」にあり、開発者自身はその変革の主体として立ってきました。しかし今や、AIという強力な武器を手にした新しいIT技術が、変革の対象リストの最優先事項として、他ならぬソフトウェアの生産現場そのものを標的に定めています [p.3]。この「変革する者が変革される」という逆説的な状況こそが、本セミナー全体を貫く根本的なテーマです。
セミナーは三部構成で展開されます。第一部では、ザッカーバーグ（Meta）の「近い将来AIが大部分のコードを書く」という予測を軸に、Google、Microsoft、OpenAI、Anthropic、Amazonといった主要AIベンダーの戦略を概観し、同時にRSAC 2025で浮き彫りになった「攻撃者としてのAI」という深刻なセキュリティ上の危機感を伝えます。第二部では、AI Agentプログラミングの具体的なサンプルコードに踏み込み、Multi AI Agentの協調・統合の仕組みをGoogle A2AサンプルやADKのコード開発パイプラインを通じて解説します。そして第三部では、「人間はAIに何を伝えるべきか？」という根本問題を提起し、LLMの信頼性の課題を克服する手段として形式手法との統合という革新的なアプローチを紹介し、人間と機械の役割変化という未来への問いで締めくくります。
本セミナーの最も重要な洞察の一つは、AI Agentプログラミングの本質的な変化点にあります。従来のソフトウェアが「どのように動くか」をプログラム言語で記述していたのに対し、AI Agentは「自然言語による指示（instruction）」がコードの中核を占めるという、まったく新しいパラダイムを生み出しています [p.139]。そしてこの変化は、SDLCの自動化という巨大な目標に向けて、「仕様とは何か」「人間は機械に何を、どう伝えるべきか」という根源的な問いを改めて人類に突きつけているのです。
講義のロードマップ
ここでは、セミナーの講演資料がどのようなパートから構成されているかを示します。また、それぞれのパートのポイントを紹介します。
■ Part 1: ソフトウェア開発でのAI利用の動向
AIのコード生成能力への関心が急速に高まる中、主要テクノロジー企業が競うように開発自動化に投資しています。同時に、AIがセキュリティの最大の脅威になりうるという業界全体の危機感も急速に広がっており、技術的楽観論と安全保障上の警戒感が混在する複雑な状況が描かれます [p.4]。
■ Part 2: ソフトウェア開発とAI Agent
AIのSDLCへの導入動向を概観した後、具体的なサンプルコードを通じてMulti AI Agentプログラミングの本質に迫ります。最大の発見は、AI Agentの振る舞いを規定する核心が「自然言語で書かれたLLMへの指示（instruction）」であるという、従来のプログラミングとの根本的な違いです [p.139, p.140]。
■ Part 3: ソフトウェア開発の課題と未来
SDLC全体の自動化という目標に対し、現在のAIには根本的な限界が存在します。特に「人間はAIに何をどう伝えるべきか」という仕様提示の問題は未解決であり、その解決策としてLLMと形式手法（Formal Methods）の統合という革新的なアプローチが注目されています [p.6, p.7, p.228]。
ページのナビゲート