気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
9 usersがブックマーク
3
3
Church numerals と Lambda Calculus アルゴリズムとデータ構造入門 補足
9 users
winnie.kuis.kyoto-u.ac.jp/~okuno
winnie.kuis.kyoto-u.ac.jp/~okuno
記事へのコメント3件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Church numerals と Lambda Calculus アルゴリズムとデータ構造入門 補足
Church Numerals と 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.
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
winnie.kuis.kyoto-u.ac.jp/~okuno
winnie.kuis.kyoto-u.ac.jp/~okuno
winnie.kuis.kyoto-u.ac.jp/~okuno
winnie.kuis.kyoto-u.ac.jp/~okuno
blog.tinect.jp
dwango.co.jp
future-architect.github.io
tonarinoyj.jp
bunshun.jp
anond.hatelabo.jp
togetter.com
anond.hatelabo.jp
www.miyamanavi.net
weblearningplaza.jst.go.jp
2012/02/28 リンク