Scheme（言語：R5RS）を用いて関数を微分するプログラム

Scheme（言語R5RS）で、関数を微分するプログラムを作りたいのですが、以下のプログラムでは実行には至りませんでした。どこが間違っているのか、訂正するべきか教えてください。

Scheme
1(define diff
2  (lambda (f)
3    (map (lambda (t) (cond ((number? t) 0)
4                           ((equal? t 'x) 1)
5                           ((equal? t '+) +)
6                           ((equal? t '-) -)
7                           ((equal? t '*) `(+ '(* number 1) '(* 0 x)))
8                           ((equal? t '**) `(* number '(* 1 '(** x '(- number 1)))))
9                           ) f)
10    )))

行動規範の内容に同意します

回答2件

気になるところをとりあえず2+1点ほど。

                           ) f)

fはおそらくmapの第2引数にしたかったのだと思いますが、lambda式のほうの中に入っています。そのため、mapの第2引数がありません。

                           ((equal? t '+) +)
                           ((equal? t '-) -)

結果に書いた+や-は評価されるので、+関数や-関数の実体が返されます。おそらくそれぞれ'+と'-と書くのが、期待される挙動ではないでしょうか。

                           ((equal? t '*) `(+ '(* number 1) '(* 0 x)))
                           ((equal? t '**) `(* number '(* 1 '(** x '(- number 1)))))

numberやxも存在しない変数です。まあこの記述内容ですと、結果も「number」や「x」と出力されるだけで、エラーにはなりませんが。

投稿2018/08/20 16:04

編集2018/08/20 16:08