���K����

1. Scheme���������Clet������fact�����`�����N���[�W����:env�X���b�g�� �����������������������������D
2. Scheme���������`������ integral ���Q�l���A������ ����������������sigma�����`�����B

   <cl> (sigma #'(lambda (x) x) 0 #'1+ 10)
   55 
   <cl> (sigma #'(lambda (x) (* x x)) 0 #'1+ 10)
   385 
   <cl> (sigma #'(lambda (x) (* x x x)) 0 #'1+ 10)
   3025
   

3. Scheme�������n�����������������s���s�������B

   
   <cl> (scheme-interpreter)
   
   ==> (letrec ((x car) (y x)) (y '(a b c)))
   
   ==> ((lambda (x)
          (let ((x 1) (y x)) (list x y)))
         2)
   
   ==> ((lambda (x)
          (letrec ((x 1) (y x))
             (list x y)))
        2)
   
   ==> ((lambda (x)
          (let* ((x 1) (y x)) (list x y)))
        2)
   
   ==> ((lambda (y)
          (letrec ((x (lambda (x) (list x)))
                   (y 1))
               (x y)))
        2)
   

   �e�����������������A�������B