Japanese subtitles

← 01ps-02 Optional Improvements

Get Embed Code
4 Languages

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

  1. 宿題をするためには確認した変数の値域が必要です
  2. 本気ならもう少し詳しい情報を集めましょう
  3. 変数のタイプを記録しましょう
  4. 例えばxは2と同じタイプだとかです
  5. あるいは決まったパターンを見つけましょう
  6. 例えば変数xは値2、4、16の配列にあると
    リポートすることができますね
  7. そして変数間の関係です
  8. square_root関数では
    y変数は常に戻り値と同じ値になります
  9. 返されるのはyなので驚くことではありませんが
    面白い特徴です
  10. 同様にsquare_root関数の戻り値は
  11. 平方根で算出する値より少ないか
    等しいかのどちらかです
  12. 変数間の相関関係を知るためには次のようにします
  13. まずはパターンを見つけて
  14. そのパターンを全変数でインスタンス化します
  15. そして複数の実行で
    そのパターンが有効であることを確認しましょう
  16. それを基に独自の動的不変条件チェッカを
    作成してください
  17. そうすれば次の世代が
    アサーションを書きやすくなるでしょう