设计抽象化.pptVIP

式の抽象としての関数 接線の傾き 数値 x, h から，x における関数 f の傾き (つまり f (x) ) の近似値を求める 入力と出力 Contract (規約) 実演１．高階関数 高階関数の例として，次の例を考える 実演１の手順 実演１の手順（続き） 実演２．接線の傾き 実演３．数列の和 * * * * * * 設計の抽象化 　 【キーワード】設計の抽象化，抽象関数，具体的関数，値としての関数を用いた抽象化 式 (* 3 12) (* 5 12) 複数の式の共通部分を １つの関数に抽象化 (define (foo n) (* n 12)) 関数 【関数の性質】 ?入力（引数）と出力（結果値） がある． ?パラメータが引数で置き換わる * d/dx 接線の傾き dc ２次関数の傾き 抽象関数 【抽象関数】 ? 関数の機能をより「一般化」したもの df 2x2 + 3x + 1 の傾き df は dc を参照 dc は d/df を参照 x f(x) 0 傾きは 接線 f(x) = 2x2 + 3x + 1 の接線の傾き f(x) = ax2 + bx + c の接線の傾き 抽象関数 df は dc を参照 抽象関数 一般の関数 f(x) の接線の傾き 抽象関数 df は dc を参照 dc は d/dx を参照 d/dx f2(3) の近似値 入力 出力