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
• アクセス統計情報

関連リンク

目次

準備

• インストール
• Emacs

1. 手続きによる抽象の構築

• 1.1. プログラミングの要素
• 1.1.1. 式
• 1.1.2. 名前付けと環境
• 1.1.3. 合成式の評価
• 1.1.4. 合成手続
• 1.1.5. 手続き適用の置換えモデル
• 1.1.6. 条件式と述語
• 1.1.7. 例：ニュートン法による平方根
• 1.1.8. ブラックボックス抽象としての手続
• 補足：where節のネスト

• 1.2. 手続とその生成するプロセス
• 1.2.1. 線型再帰と反復
• 1.2.2. 木構造再帰
• 例: 両替の計算
• 1.2.3. 増加の程度
• 1.2.4. べき乗
• 1.2.5. 最大公約数

• (2006-06-13)

2. データによる抽象の構築

3. 標準部品化力，オブジェクトおよび状態

4. 超言語的抽象

5. レジスタ計算機での計算

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

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