5月マルレクへの招待

【 5月マルレクへの招待 】

====================
セミナーへのお申し込みはこちらからお願いします。
====================

5月のマルレクへのお誘いです。 

5月のマルレくは、「ソフトウェア開発サイクルの変革とAI Agent の動向」というテーマで開催します。

AI技術の発展が、社会のあらゆる分野に深い影響を及ぼすだろうということは、さまざまな人がさまざまな形で語っています。

今回のセミナーは、「あらゆる分野」にではなく、僕を含むソフトウェア開発につらなる世界に、AIがどのような変化をもたらすのかを考えようとしたものです。

  IT技術は、インターネットにしろスマートフォンにしろSNSにしろ、世界のあり方を大きく変えてきました。

IT技術者にとって、IT技術は、こうした変化の能動的な主体であり、それ以外の世界は変化を受ける受動的な客体であると考えても、大きな不都合はありませんでした。

ただ、AIという武器を得た新しいIT技術が、変えようとしている世界の一つに、他ならぬITの世界そのものが含まれていることには注意が必要です。

新しいIT技術が、変革の対象として選ぼうとしているのが、ソフトウェアの生産現場です。対象リストの中で、その優先順位はとても高いと僕は考えています。

【 セミナーの構成 】

セミナーは、次のような構成を考えています。

第一部:　ソフトウェア開発でのAI利用の動向
第二部：　ソフトウェア開発とAI Agent
第三部：　ソフトウェア開発の課題と未来

【 第一部：　ソフトウェア開発でのAI利用の動向 】

セミナーでは、まず、ソフトウェア開発でのAI利用の動向を確認したいと思います。

この分野へのIT技術者の関心は高く、さまざまなプロダクトが登場しています。そこでは、AI ベンダートップの楽観的な見通しと強気な発言が特徴的です。膨大な投資がなされています。

同時に、セキュリティに関心を持つ人の間では、かつてないほどの規模で AIに対する警戒心が広がっているように見えます。また「攻撃者としてのAI」からシステムを守る「防御者としてのAI」という議論も活発に展開されています。

【 第二部：　ソフトウェア開発とAI Agent 】

これまで、AIの利用はコード補完のような特定のタスクに限定されていましたが、現在ではより広範なソフトウェア開発ライフサイクル（SDLC）全体に関与し、自律的にタスクを実行する「AIエージェント」へと進化しつつあります。

これらのAIエージェントは、単なるコード生成ツールを超え、設計、テスト、デバッグ、コードレビューといった複雑なエンジニアリングタスクを支援、あるいは自動化する可能性を秘めています。

この第二部では、ソフトウェア開発におけるAIエージェントの導入の現状を見ていきたいと思います。

【 コード開発パイプライン・サンプル  】

セミナーでは、ソフトウェア開発そのものにAI Agentがどのように利用されているのかを簡単なサンプル・コードを通じて紹介します。

なぜ、AIベンダーのトップがソフトウェア開発の自動化にあれほど楽観的な見通しを持つのか、当初僕は疑問を持っていたのですが、その理由が分かったような気がします。

AIに仕事を丸投げすれば、それらしく動くシステムを作ることは、簡単なのです。ただ、問題は、それから先にあるはずです。

【 第三部：　ソフトウェア開発の課題と未来 】

セミナーの第三部では、こうしたAI Agent を利用したAI開発ツールが抱える問題を取り上げます。

一つには、現在の主要なAI開発ツールは、主にコード補完やチャット支援に重点を置いており、機能は限定的です。

大規模プロジェクトの複雑な構造やモジュール間の連携をAIに直接指示することは、まだできません。何よりも、人間が、機械にどういう形で、ソフトウェアの「仕様」を提示すべきか明確な指針が存在していません。

もう一つには、LLMは驚異的なコード生成能力を示す一方で、生成されたコードは、信頼性の問題をいくつか抱えています。

こうした中で、LLMのコード生成能力と形式手法の厳密性を統合するアプローチに注目が集まっています。こうした動きは、ソフトウェア開発の自動化において革新的な可能性を秘めていると、僕は考えています。

もう一つ、大事な問題があります。それは、こうした変化が進む中で、人間と機械との関係がどのように変化し、特に人間には、どのようなスキルが必要とされるかということです。

いくつかの方向は提案されているのですが、問題を難しくしているのは、機械が進化するスピードと人間が成長するスピードには、大きなギャップがあることだと思います。


−−−−-−−−-−−−−-−−−−−−−−-

====================
セミナーへのお申し込みはこちらからお願いします。
https://sdlcagent.peatix.com/view
====================
blog page
https://maruyama097.blogspot.com/2025/05/5_01585134614.html

マルレク「ソフトウェア開発サイクルの変革と AI Agent の動向 」まとめページ　
https://www.marulabo.net/docs/sdlc/

マルレク「フトウェア開発サイクルの変革と AI Agent の動向 」のショートムービーの再生リスト
https://www.youtube.com/playlist?list=PLQIrJ0f9gMcNu1_67bfQT4URZLzb1k9Wh

ショートムービー「 5月マルレクへの招待 」のpdf
https://drive.google.com/file/d/1oOUZ5iMeN9xQEf5OJte1-ST-1ruHKxJW/view?usp=sharing

ショートムービー「 5月マルレクへの招待 」
https://youtu.be/1VzRzhok-4U?list=PLQIrJ0f9gMcNu1_67bfQT4URZLzb1k9Wh

コメント

コメントを投稿

このブログの人気の投稿

初めにことばありき

旧約の「創世記」の「光よあれ」は、ビッグバンを思わせて、物理学者はちょっと萌えるかもしれないのだが、新約の「ヨハネによる福音書」には、言語学者が喜びそうなフレーズがある。 「初めに言があった。言は神と共にあった。言は神であった。」 僕が知っていたのは、「はじめにことばありき」という訳だったのだが。この口語訳での「言」は、英訳だとこうなっている。 "In the beginning was the Word, and the Word was with God, and the Word was God." 「言」= "Word" である。はじめにあったのは、Wordであって、Language ではない。だから、新しい口語訳では、普段、あまり馴染みない「言」という訳語を使ったのかも。「初めに語があった」では、なんかしまらないんだろうな。（僕は、「はじめにことばありき」というフレーズの方が好きだ。） ちなみに、「ヨハネによる福音書」は、英語では、"Gospel of John" という。「ジョンのゴスペル」である。でも、そう日本語に訳してしまうと、ジョン・レノンがバラードではなく、ゴスペルを歌っているようで、まずいんだろうな。 「ことば」・「言」・"Word" と訳されている、元々の言葉を調べてみると面白い。 キリスト教のオーソドックスな原典であるラテン語訳聖書では、この部分は、こうなる。 "In principio erat Verbum, et Verbum erat apud Deum, et Deus erat Verbum" 「イン・プリンキピオー・エラト・ウェルブム」 英訳 Word のラテン語の原語は、Verbum である。この単語、英語に直訳すれば、Verbである。「初めに、動詞があった。」　言語学の「従属性文法 (Dependency Grammar) 」理論の人たち、喜びそう。 もっとも、英語のVerbは、元々は、動詞というより広く言葉全体をさしてたらしい。そのことは、「ノンバーバル・コミュニケーション (Non-Verbal Communication) 」というのが、動詞を使わないコミュニケーション...
続きを読む

密度行列とは何か？

これまで、量子の状態をベクトルで表現してきました。例えば、量子ビットの状態は、状態ベクトルで表せば、|qubit> = a|0>+b|1> と、二つの状態ベクトルの「重ね合わせ」（ベクトルの和です）で表現されました。 それに対して、密度行列は、量子のシステムの状態を行列で表現したものです。では、どの　ようにしてベクトルで表される量子の状態を、行列で表すのでしょう？ 次のように考えます。ある量子システムで、状態|ψ_i>である確率をp_iとしましょう。この時、確率p_iを成分とする行列を考えます。 |qubit> = a|0>+b|1> の場合なら、|0>である確率p_0は |a|^2で、|1>である確率p_1は |b|^2になりますので、p_0とp_1、すなわち、|a|^2と|b|^2を成分とする行列を考えることにします。 ここでは、ベクトルの外積が行列になることを利用します。それでは、外積で作られる行列のどこにこの成分を割り当てるか考えましょう。うまい方法があります。 外積 |0><0|は、0行0列目の成分だけが1で、残りの成分は全て0の行列です。同様に、外積|1><1|は、1行1列目の成分だけが1で、残りの成分は全て0の行列です。 この時、p_0|0><0| + p_1|1><1|という行列として密度行列を定義します。0行0列目の成分がp_0で、1行1列目の成分がp_1の行列です。 　● 状態ベクトルを使った表示 　　　|qubit> = a|0>+b|1> 　● 密度行列を使った表示 　　　ρ = p_0|0><0| + p_1|1><1| = |a|^2|0><0| + |b|^2|1><1| 状態ベクトルを使った表示に出てくる a, bは複素数ですが、密度行列を使った表示に出てくる p_0, p_1 は、確率ですので 0と1の間に値を持つ実数です。これは、二つの表示スタイルの大きな違いです。 密度行列を作るのに利用した、確率 p_iと状態|ψ_i>のペア { p_i, |ψ_i> }の集まりを、「pureな状態のアンサンブル」といいます。その意味は、この量子システムで、状態|ψ_...
続きを読む

宇宙の終わりと黒色矮星

イメージ
【宇宙の終わりと黒色矮星】 図のようなストーリーで、「宇宙の終わりとエントロピー」という投稿を準備していたのだが、いろいろ雑念が湧いて気がすすまなくなる。その理由は別稿で。 この図は、「閉じられた部屋でのガスの拡散」というわかりやすいモデルで理解されるエントロピーの増大の法則が、あるフェーズから、宇宙規模でみれば、「全ての物質のブラックホールへの吸収・収斂」として現れると言うことを主張している。最初、ペンローズのこの話を読んだときには、目からウロコだった。 このストーリーにはもっと先がある。最近のシミュレーションでは、指数関数的に膨張する宇宙では、巨大なブラックホールに捕捉されるのは、宇宙全体の物質の10%程度だという。恒星起源のブラックホールは 10^67 年で、銀河系中心の巨大ブラックホールも 10^99年で、ホーキング放射で「蒸発」し姿を消す。 ブラックホールに捕捉されなかった宇宙の残りの90%の物質は、元それが属した銀河系から孤立したまま星の一生の進化を続ける。太陽の1.2倍程度の質量を持つ星は「白色矮星」になるのだが、「白色矮星」は 10^17年で「黒色矮星」に変わる。 「黒色矮星」は、現代の「宇宙の終末論」では、もっとも注目されている天体なのだが、それはまだ観測されていないと言う。というのも、この天体は光を出さないからだ。「黒色矮星」の中心は、最も安定な原子である鉄の「結晶」でできていて、温度は絶対零度近くに冷却されている。 「黒色矮星」は、とても長生きする天体である。陽子崩壊がおきるなら、黒色矮星の寿命は 10^32年程度だが、もし陽子が安定しているとすれば、太陽の 1.24倍程度の質量を持つ「黒色矮星」は、10^1600年後に突然崩壊して超新星爆発を起こす。もっと軽い、太陽の1.16倍程度の質量を持つ「黒色矮星」は、10^32000 年後（！）に超新星爆発を起こす。 このシナリオによれば、宇宙は、とてつもなく長い長い退屈な時間をかけて、その死を迎える。「黒色矮星」の超新星爆発は、宇宙の死を飾る最後の打ち上げ花火である。その後には、宇宙には何も起こらない。 この記事は、ジョン・バエズの "Black Dwarf Supernovae" を基にしたものだ。https://johncarlosbaez.wordpress.com/202...
続きを読む