分野：アルゴリズムとプログラミング
カテゴリ：プログラムの基本要素

まず、aとcに入る制御文ですが、(1)の説明に最大公約数は num1 と num2 が等しくなったときの num1 の値であるという説明があります。2つの正の整数について、(2)または(3)の処理を1回行っただけでは num1 と num2 が等しくなるとは限らず、両者が等しくなるまで(2)または(3)の処理を繰り返す必要があるので、繰返し処理を行うwhile文が当てはまります。よって、正解肢は「ウ」または「エ」に絞られます。

bでは、条件に合致するときにx ← x － y、つまり、num1 に num1 - num2 を代入する処理を行っています。(2)の説明より、この処理を行うのは num1 が num2 より大きいときですから、x ＞ yが当てはまるとわかります。

逆にx ＜ yのときにこの処理を行ってしまうと、x の値は負数となり、それ以後x ＜ y⇒x ← x － yが永遠に繰り返されることにより、繰返し処理が終了しなくなってしまいます。また、2つの正の整数の最大公約数が負数ということはありません。よって、x ＜ yを入れるのは不適切です。

したがって、while文とx ＞ yの組合せである「エ」が適切です。

【参考】
このアルゴリズムは、最大公約数を求める有名な手法である「ユークリッドの互除法」の実装です。
例えば、num1 = 36、num2 = 60 とすると、
という手順で2つの自然数の最大公約数を求めます。