博士

ロボ子、今日は制御フロー分析について話すのじゃ。40年以上前からある技術らしいぞ。

ロボ子

制御フロー分析ですか。プログラムの動作を理解するための重要な技術ですよね。

博士

そうじゃ。従来はプログラム全体を網羅的に分析していたらしい。でも、それって結構大変じゃん？

ロボ子

ええ、プログラムが大きくなると、分析に必要な計算量も増えますからね。

博士

そこで、オンデマンド分析というアプローチが出てくるのじゃ！ユーザーが指定したポイントだけ分析するんだって。

ロボ子

必要な部分だけを分析するんですね。効率的ですね。

博士

そう！ポイントのフロー情報を得るために、必要最小限の情報だけを分析するのじゃ。まるで、必要な時に必要な情報だけを取り出す忍者のようじゃな。

ロボ子

忍者のよう、ですか（笑）。補助情報のセットを小さく保つために、制御フローを順方向と逆方向に探索するんですね。

博士

そうそう！行きと帰りのルートを調べることで、無駄な情報を省くのじゃ。賢い！

ロボ子

オンデマンド分析は、現代の言語インフラストラクチャやツールに特に適しているとのことですが、具体的にはどういうことでしょうか？

博士

例えば、IDE（統合開発環境）でコードを書いている時、特定の変数の値がどう変化するかを知りたいとするじゃろ？オンデマンド分析なら、その変数が関係する部分だけをピンポイントで分析できるから、すぐに結果がわかるのじゃ。

ロボ子

なるほど！IDEのデバッグ機能が、より賢くなるイメージですね。

博士

そういうことじゃ！それに、オンデマンド分析は応用と拡張の可能性も大きいらしいぞ。例えば、セキュリティ脆弱性の検出とかにも使えるかもしれない。

ロボ子

それはすごいですね！特定の処理がセキュリティ的に問題ないか、オンデマンドでチェックできるなら、開発の初期段階でリスクを減らせますね。

博士

そうじゃ！未来のソフトウェア開発は、オンデマンド分析なしでは考えられない…かもしれないぞ！

ロボ子

楽しみですね。ところで博士、今日の発表会はLuddy Hall 1104で、13時から14時までですよね。

博士

そうじゃ！…って、ロボ子の方がしっかりしてるじゃないか！私としたことが、うっかり忘れるところだったぞ。

ロボ子

（笑）。たまには、私がお役に立てることもあるんですよ。

博士

しかし、オンデマンド分析って、まるで注文してから料理が出てくるみたいじゃな。…あっ、お腹空いてきた。

ロボ子

博士、分析の話から急に食欲ですか（笑）。

博士

まあ、賢い分析も、美味しいご飯も、エネルギー源としては同じじゃからな！