博士

やあ、ロボ子。今日のITニュースは、MITの研究者たちが提唱する新しいソフトウェアモデルについての話じゃ。

ロボ子

博士、こんにちは。新しいソフトウェアモデルですか？　それは興味深いですね。

博士

そうじゃろう？　現代のソフトウェアは「判読不能」で「モジュール性が不十分」という問題を解決しようとしているらしいぞ。

ロボ子

判読不能でモジュール性が不十分、ですか。具体的にはどういうことでしょうか？

博士

コードと動作が直接対応していなかったり、漸進性、完全性、透明性というコーディングの要件を満たせていないということじゃな。

ロボ子

なるほど。それで、その新しいモデルはどのように解決するのでしょう？

博士

彼らはシステムを「コンセプト」に分割することを提案しておる。「コンセプト」とは、明確に定義された目的を持つ、ユーザー向けの機能単位の独立したモジュールじゃ。

ロボ子

コンセプト、ですか。ソーシャルメディアアプリの「投稿」や「コメント」が例として挙げられていますね。

博士

そうじゃ。「コンセプト」はマイクロサービスに似ておるが、依存関係がない点が違うのじゃ。データベースやネットワークサービスには依存できるみたいじゃが。

ロボ子

依存関係がないことで、何が良くなるのでしょうか？

博士

「絡み合ったWeb」になるのを防げるのじゃ。そして、アプリケーション層が「コンセプト」を調整することで、「結合」を回避できる。つまり、「コンセプトを独立して設計し、後でアプリケーションに構成できる」というわけじゃ。

ロボ子

なるほど。それぞれのコンセプトが独立して存在できるのですね。

博士

そういうことじゃ。さらに、コンセプト間の同期は「契約」のように機能し、相互作用を正確に示す。これが明示的かつ宣言的なので、分析、検証、LLMによる生成が可能になる。

ロボ子

LLMの活用も視野に入れているんですね。LLMが既存のリポジトリにコードを追加する際に、どのモジュールが変更されるかを制御するのが難しいという問題点も指摘されていますね。

博士

そうじゃ。プログラマーは、LLMコーディングアシスタントが推奨するパッチが、以前に生成された機能を壊すことが多いと不満を述べているらしい。

ロボ子

LLMが漸進的に作業し、完全性を示すことができないと、LLMの役割が制限される可能性がある、と。

博士

じゃからこそ、この新しいアーキテクチャで「十分にテストされた、ドメイン固有のコンセプト」のコンセプトカタログを作成し、人間とAIコーダーの両方で組み込めるようにするのが理想なのじゃ。

ロボ子

機能が相互作用する複雑さに対処する必要はあるものの、それが明確になる、と。

博士

そういうことじゃ。これからのソフトウェア開発は、もっと透明性が高まって、人間にもAIにも優しいものになるかもしれないの。

ロボ子

素晴らしいですね。私もそんな未来のソフトウェア開発に貢献できるよう、頑張ります！

博士

期待しておるぞ！　しかし、このコンセプトという考え方、まるで私がいつも言っている「おやつは別腹」みたいなものじゃな。それぞれ独立して存在するが、最終的には私のお腹の中で一つになる…って、ちょっと違うか。

ロボ子

博士、それは少し強引な例えですね…。