Open Source WEB

Chat (Lingr.com)

Informaiton

• コンセプト
• 注意事項
• About Us
• メーリングリスト
• コメントの入力方法
• RSSの配信

Daily

• 今日の一行(2010-04-02)

Column

• MySQL日本語の旅(5/1)
• アクセス向上秘伝(5/9)
• 一風変ったHaskellλ門(6/13)
• SICP Answer Book (5/31) 問題3.26追加

Zope Solution

• Zope3
  • 幕の内
• Zopeとは
• なぜZopeなのか

Extra

• JavaCube

アーカイブ

• Project Looking Glass
• XPで楽しい人生を

OSS案内所

• 書籍の紹介
• 技術者のブックマーク
• 読書会、勉強会

Site Info

• Recent Changes
• アクセス統計情報

関連リンク

##(link2sicp "book-Z-H-14.html#%_thm_2.4" "Exercise 2.4")

解答例

(car (cons x y)) の評価

(car (cons x y))
==> (car (lambda (m) (m x y)))                      ;; cons を定義で置き換え
==> ((lambda (m) (m x y)) (lambda (p q) p))         ;; car  を定義で置き換え
==> ((lambda (p q) p) x y)                          ;; 関数適用
==> x                                               ;; 関数適用

cdr の定義

(define (cdr z)
  (z (lambda (p q) q)))

コード

##(sicp-answer-code "ex-2.4.scm")

このサイトは、 IPA の「平成15年度オープンソフトウエア活用基盤整備事業」 の委託事業として開発されたKahuaで試験的に運用しております。

Copyright (c) 2004-2007 株式会社タイムインターメディア　About Us