関数 f( x ) は,引数も戻り値も実数型である。この関数を使った,① ~ ⑤ から成る手続を考える。手続の実行を開始してから十分な回数を繰り返した後に,③ で表示される y の値に変化がなくなった。このとき成立する関係式はどれか。
| ① | x ← a | |
| ② | y ← f ( x ) | |
| ③ | y の値を表示する。 | |
| ④ | x ← y | |
| ⑤ | ② に戻る。 |
| ア | f ( a ) = y |
| イ | f ( y ) = 0 |
| ウ | f ( y ) = a |
| エ | f ( y ) = y |
手続きの実行を開始してから十分な回数を繰り返すと、値の変化がなくなったということは、処理を繰り返すと、一定の値に収束するということである。解答群で一定の値に収束する関係式は、エ)f ( y ) = y である。