固定点2(未完成)

(setq  my
     (lambda ( f)
          (lambda (n)
            (if (> n 0)
                 (+  n  (funcall  (funcall f  f) (- n  1) ) )
               0
            )
         )
      )
)

(setq  my    
          (lambda (n)
            (if (> n 0)
                 (+  n  (funcall  my (- n  1) ) )
               0
            )
         )     
)

(setq  fixpoint
       (lambda (f)
          (funcall
                 (lambda (x)  (funcall  f (funcall x x )) )
                 (lambda (x)  (funcall  f (funcall x x )) )
          )
        )
)

(setq newmy  (funcall  fixpoint 
                    (lambda (s)
                        (lambda (n)
                          (if (> n 0) (+  n  (funcall  s (- n  1) ) )   0 )
                        ) 
                     )   
              ))