■

λ入口メモ

λ計算

http://d.hatena.ne.jp/keyword/%A6%CB%B7%D7%BB%BB?kid=136136

ラムダ計算

http://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97

ラムダ計算ABC

http://members.at.infoseek.co.jp/nbz/ref/lambda.html
計算モデルの数理I: λ計算 2007 (PDF)

http://www.ipl.t.u-tokyo.ac.jp/lecture/computation-model2007/lambda.pdf

ラムダ計算入門 : 2005 年度「計算機ソフトウェア工学」授業資料 (PDF)

http://www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf

2005年度「計算機ソフトウェア工学」λ計算入門練習問題 (PDF)

http://www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/exercises2.pdf
不動点オペレータについて(Scheme)

http://www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/fix.html

Schemeでラムダ計算

http://www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/lambda.html

Y Combinator(Scheme)

http://www.loveruby.net/ja/misc/ycombinator.html

TuringとChurchの狭間で

http://blog.livedoor.jp/dankogai/archives/50458503.html
大学の掲示板らしきところ

http://www.tom.sfc.keio.ac.jp/~sakai/bbs/lisp.cgi?top=4

亀井さんの書き込み

http://hie.s64.xrea.com/xyzzy/ml/msg02494.html

Chapter 4 高階関数，多相性，多相的関数 ∈「Objective Caml 入門」

(下のほう)

http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/mltext/ocaml005.html
Recursive lambda expressions(C#3.0, 英語)

http://blogs.msdn.com/madst/archive/2007/05/11/recursive-lambda-expressions.aspx

ちゃんとした大学はいいなぁ。　授業でこんなことやるのか。
ついていく自信はありませんが（笑）うらやましい限りです・・・。

低学歴な僕は独学するしか・・・。