みんな大好きラムダ計算。ラムだけ遺産。裸無駄ぁ。スlambdaンク！
昨日ついったーで、計算論 計算可能性とラムダ計算の話が出ました。難しいよねーと。
とっつきやすい本や資料はないかなー。
参考
- ラムダ計算 - Wikipedia
- 型付きラムダ計算 - Wikipedia
- lambda calculus
- ラムダ計算
- ラムダ計算 - assari
- なんでもλ
- Schemeでラムダ計算
- ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記
- JavaScriptで学ぶ・プログラマのためのラムダ計算 - 檜山正幸のキマイラ飼育記
- 絵を描いて学ぶ・プログラマのためのラムダ計算 - 檜山正幸のキマイラ飼育記
- kazkaz diary - ラムダ計算 - ラムダ計算(1) , ラムダ計算(2)
- 第16回 すべてのものは関数である - 数理科学的バグ撲滅方法論のすすめ：ITpro
googleだと大学の授業の資料などが、たくさんヒットしますね。
- Ken-etsu FUJITA
- （PDF）ラムダ計算
- Eijiro Sumii
- （PDF）ラムダ計算入門
- 京都大学数理解析研究所 計算機科学研究分野
- Mathematical Structures in Computation Models
- （PDF）計算モデルの数理I: λ計算
- PPL2008
- （PDF）対称λ計算の基礎理論
- Computational Logic
- （PDF）ラムダ記法と(型のない) ラムダ計算
- （PDF）型付きラムダ計算
- 2007年度前期・数理科学展望III/自然数理特論２
- 講義一覧 | 現代論理学の諸問題 | 慶應OCW|
- Makoto Hamana Home Page
- （PDF）型付きラムダ計算の停止性
- PublicationBySequence - PukiWiki
- （PDF）型付き対称ラムダ計算の基礎理論
- プログラミング言語特論（2009年度）
- （PDF）第2章ラムダ計算（λ-calculus）
以前amazonのレビューを読んでこの本を購入しました。
計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)
私個人の感想は「難解・・・」。
同じ頃、ここ↓で見かけた論理と計算のしくみという本が気になります。
0 件のコメント:
コメントを投稿