λ入口メモ

λ計算
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


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


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