前エントリで羅列した、微分を行う為の各種手続きを定義していく。 (define (variable? x) (symbol? x)) (define (same-variable? v1 v2) (and (variable? v1) (variable? v2) (eq? v1 v2))) (define (sum? x) (and (pair? x) (eq? (car x) '+))) (define (a…

数式を受け取り、その微分形式を求めるというお題を使っているセクション。 改めて、和や積を使って表現される数式に対する微分規則はこんな感じ。 dc ─ = 0 (cは定数か、xと異なる変数) dxdx ─ = 1 dxd(u + v) du dv ──── = ─ + ─ dx dx dxd(uv) dv du ─── …