ところでこのスレッドに
　　　　　　　　　　　　　　　　Lambda Calculus
　　　　　　　　　　　　　を完全に修得した者はおるか？