[B! 計算機科学][λ計算] chorinskyのブックマーク

chorinsky id:chorinsky

計算機科学とλ計算に関するchorinskyのブックマーク (4)

fam.cx
This domain may be for sale!
chorinsky 2011/09/25
lambda

計算機科学

λ計算

Scheme
リンク
Church numerals and Lambda Calculus
Church Numerals と Lambda Calculus アルゴリズムとデータ構造入門補足後半は佐藤雅彦先生に教えてもらいました. SICP Exercise 2.4 〜 Exercise 2.6 誤解を恐れずに大雑把にいうと, λ計算では名前つきのシンボル (名前付きの手続き) による再帰呼出しや special form が使えないところが Scheme と違うところです. そのため, λ計算を Scheme で行うためにはいろいろな工夫が必要となります. そのポイントは closure (閉包) と呼ばれる構造です. 自然数 n の Church numeral を c(n) とすると, c(n) f x = (f ... (f x)), ただし, f は n 回出現. となることを利用します. まず, c0 と successor を定義します. (SICP Ex.
chorinsky 2011/09/25
計算機科学

λ計算

ラムダ計算
リンク
λ計算 1 ' & $ % λ計算胡振江東京大学計数工学科 2006 年度 λ計算 2 ' & $ % 復習: 3 年の「プログラムの数理」 • 式：プログラム • 値（式の正規形）：計算の結果 • 簡約：計算その理論背��
λ計算 1 ' & $ % λ計算胡振江東京大学計数工学科 2006 年度 λ計算 2 ' & $ % 復習: 3 年の「プログラムの数理」 • 式：プログラム • 値（式の正規形）：計算の結果 • 簡約：計算その理論背景は？ λ計算 3 ' & $ % 教材井田哲雄、「計算モデルの基礎理論」（第４章）、岩波講座ソフトウェア科学１２、岩波書店、１９９１年、3700 円. (ISBN4-00-010352-0) λ計算 4 ' & $ % 参考資料 • H.P.Barendregt, ”The lambda calculus: its syntax and semantics”, Studies in logic and the foundations of mathematics, v.103, North-Holland, 1984. (ISBN 044487 5085).
chorinsky 2011/09/25
λ計算

計算機科学
リンク
ラムダ計算 λ...
► 2022 (2) ► 10月 (1) ► 2月 (1) ► 2021 (51) ► 11月 (2) ► 10月 (2) ► 9月 (4) ► 8月 (4) ► 7月 (4) ► 6月 (4) ► 5月 (3) ► 4月 (10) ► 3月 (7) ► 2月 (4) ► 1月 (7) ► 2020 (155) ► 12月 (7) ► 11月 (10) ► 10月 (8) ► 9月 (8) ► 8月 (11) ► 7月 (21) ► 6月 (19) ► 5月 (14) ► 4月 (20) ► 3月 (13) ► 2月 (10) ► 1月 (14) ► 2019 (293) ► 12月 (11) ► 11月 (12) ► 10月 (24) ► 9月 (29) ► 8月 (27) ► 7月 (36) ► 6月 (40) ► 5月 (24) ► 4月 (35) ► 3月 (42) ► 2月 (6
chorinsky 2011/04/05
プログラミング

ラムダ計算

Lisp

λ計算

計算機科学
リンク
1