Lisp

質問

Lisp

今リリカルLispをやっているのですが、
詰まってしまって答えがないので困っています。
問題は
(s n)を評価すると１＋２＋・・・＋ｎが返るように関数をsiを定義する（ただしsは次のように定義されている define (s n) (si n 0) )
という問題です。
一応自分なりに考えたのが
(define si (lambda (n x) (if (= n 1) (x) (si (- n 1) (+ n x)))))
なんですが無限ループのようになるのかこれを実行すると固まって落ちてしまいます。

ご指摘よろしくお願いします。

回答No.2

cametan_42 · ベストアンサー

(define (s n) (si n 0))

(define (si n x)
　(if (= n 0)
　　　　x
　　　(si (- n 1) (+ n x))))

回答No.3

Tacosan

ああ, どうでもいい話だけど, この形だと Scheme ではないかな. Lisp の「方言」といえば方言だけど, いろいろと違うところがあるので「似てるけど違う言語」と思った方がいいかもね.
そして, Lisp と Scheme の決定的な違いにより Lisp では (期待した動作をしないという点では同じだけど) 単に「関数 x が定義されていない」で終わるだけのはず. よほど腐った処理系でない限り「固まって落ちる」ということはない.

回答No.1

Tacosan

(if (= n 1) (x) (si (- n 1) (+ n x)))
のところ, なんで (x) なの?

補足

回答ありがとうございます。確かにｘじゃないですね。。
直してみて
(define si (lambda (n x) (if (= n 1) 1 (si (- n 1) (+ n x)))))
これでも間違いになるんですがもし分かればご指摘お願いします。]
ちなみに
(define si (lambda (n x) (if (= n 0) 0 (si (- n 1) (+ n x)))))
でも出来ませんでした。