指定された実行順に従ってmとnを更新し、最後に②から終了⑥へ進む条件m＝nを式にします。 初期状態： ①の後はm＝a、n＝bです。最初の③から⑤へ進むのでm＜n、すなわちa＜bです。 ⑤の実行後： n←n−mなので、m＝a、n＝b−aです。次の③から④へ進むのでa＞b−aとなります。 ④の実行後： m←m−nなので、m＝a−（b−a）＝2a−b、n＝b−aです。 終了条件： 最後に②から⑥へ進むにはm＝nが必要です。2a−b＝b−aを整理すると3a＝2bです。この関係なら、例えばa＝2、b＝3として指定順を確認できます。 ア： a＝2bではa＞bとなり、最初の③でm＜nとなる必要条件に反します。 イ： 2a＝bでは初回の減算後にm＝nとなり、指定された④まで進まず早く終了します。 ウ： 2a＝3bではa＝1.5bとなってa＞bなので、最初の分岐順と一致しません。 エ：正解。 3a＝2bならa＜bで、⑤、④を順に実行した後にm＝nとなり、指定の経路を通ります。 手順 m n 比較の結果 ① 初期値 2 3 （a＝2, b＝3 の例） ② m:n 2 3 ≠ → ③へ ③ m:n 2 3 ＜ → ⑤へ ⑤ n←n−m 2 1 ② m:n 2 1 ≠ → ③へ ③ m:n 2 1 ＞ → ④へ ④ m←m−n 1 1 ② m:n 1 1 ＝ → ⑥へ 3a＝2b を満たす a＝2、b＝3 で実際にたどると、問題で指定された順（②→③→⑤→②→③→④→②→⑥）になります。