YouTube

Got a YouTube account?

New: enable viewer-created translations and captions on your YouTube channel!

Japanese subtitles

← 02-46 Automated Inferring Solution

Get Embed Code
4 Languages

Showing Revision 1 created 06/09/2014 by K2480.

  1. それでは答え合わせをしましょう
  2. 出力変数だけでなく
    入力変数の正確な値域も把握したい場合は
  3. 平方根を呼び出して
    これらの値域を与える必要があります
  4. この場合xの正確な値域は0からmaxintです
  5. 0で平方根を呼び出し
    そのあと最大数で平方根を呼び出した場合
  6. xは0以上またはmaxint以下という結果になります
  7. これが実際の正確な値域です
  8. 同様に戻り値は常に0以上であり
  9. 常にmaxintの平方根以下なのです
  10. 1の値で平方根を呼び出してもさほど変化はありません
  11. 少しずつ範囲を拡大していきますが
    必要ないのでここでは0は取得しません
  12. ‐1で平方根を呼び出すと
    暗示的事前条件は満たされなくなります
  13. Daikonも予測しているように
  14. 負の数で平方根を呼び出した場合 失敗するでしょう
  15. この2つが正解です