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.
sicpstudygroup @ ウィキ - iwk
現在使っている処理系 Dr.Scheme 練習問題 １章の練習問題 ２章の練習問題（前半） ２章の練習問題（後半） ３章の練習問題（前半） ３章の練習問題（後半） ４章の練習問題 iwkの.emacs MEMO 3.2 The Environment Model of Evaluation 3.5.3 Exploiting the Stream Paradigm 第五世代コンピュータの資産を掘り起こす 第五世代コンピュータプロジェクトを読み解く Schemeについて 抽象データ型（ADT）とオブジェクト指向プログラミング（手続きによるデータ抽象（PDA）） モンタギュー意味論入門 Constructive Mechanics エーコと百科辞典 型理論 FSharp 微分幾何学再入門 本棚 フレーゲ哲学の最新像文脈原理に関する一冊 読み取れた結論としては、”Peter Aczelの形式系FS
FrontPage - アルゴリズムとデータ構造入門 - Kyoto Univ.
アルゴリズムとデータ構造入門 TAのページ 京都大学 工学部 情報学科 1回生配当の授業 アルゴリズムとデータ構造入門（奥乃先生担当)のTAが管理するページです。 連絡 (2007/10/01) 2007年度用に更新。 (2006/10/31) Meadowの使い方を公開しました。 (2006/11/14) 改行コードで困っていた方が多かったので改行コードに関する設定についてまとめました。 (2006/10/27) 質問掲示板を移行 使い勝手が悪く、あまり評判もよくないので質問掲示板を移行しました。これからは新しい方に質問を書いてください。 (2006/10/13) cygwinとTUTSchemeのインストールの説明に間違いがあったので追加・修正しました。 このページの通りにインストールを行って、Can't find a usable init.tcl in the following
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://sicpinclojure.com/
