[[PageOutline]]

 = λ計算に纏わる資料 =
 * wikipetan:ラムダ計算

 * see [../scheme]

 = recursion =
 * lambdaを使った無名再帰は可能か？
   * たとえば以下のschemeコード
{{{
#!scheme
(define (add n)
    (local
        (
            ;; n-th power of given funtion
            ;;   repeat : func num -> n-th power of func
            (define (repeat f n)
                (cond
                    [(= n 0) (lambda (x) x)]
                    [else
                        (lambda (x)
                            (f 
                                (
                                    (repeat f (- n 1))
                                    x
                                )
                            )
                        )
                    ]
                )
            )
        )
        (repeat add1 n)
    )
)
}}}
   * 上記コードにより以下が示される
{{{
#!scheme
> ((add 4) 10)
14
}}}
   * ここで、local内で定義されているrepeatを無名関数にすることは可能か？