アルゴリズム言語Schemeに関する第五改訂報告書

• 摘要
• はじめに
• 履歴
• 背景
• 謝辞
• 2. Schemeの概要
• 2.1 言語仕様
• 2.2 構文
• 2.3 記法と用語
• 2.3.1 プリミティブ、ライブラリ、オプション機能
• 2.3.2 エラー状況と不定の振舞い
• 2.3.3 見出しの形式
• 2.3.4 評価の例
• 2.3.5 命名規約
• 3. 辞書的規約
• 3.1 識別子
• 3.2 空白とコメント
• 3.3 その他の記法
• 4. 基本概念
• 4.1 変数、構文キーワード、領域
• 4.2 型の非共有性
• 4.3 外部表現
• 4.4 記憶モデル
• 4.5 正しい終端再帰
• 5. 式
• 5.1 プリミティブ式型
• 5.1.1 変数の参照
• 5.1.2 リテラル式
• 5.1.3 手続き呼び出し
• 5.1.4 手続き
• 5.1.5 条件式
• 5.1.6 割り当て
• 5.2 導出式型
• 5.2.1 条件節
• 5.2.2 バインディング構成手続き
• 5.2.3 順次処理式
• 5.2.4 繰り返し
• 5.2.5 遅延評価
• 5.2.6 バッククォート式
• 5.3 マクロ
• 5.3.1 構文キーワードのバインディング構成手続き
• 5.3.2 パターン言語
• 6. Program structure
• 6.1 プログラム
• 6.2 定義
• 6.2.1 トップレベルの定義
• 6.2.2 内部での定義
• 6.3 構文定義
• 7. 標準手続き
• 7.1 同値を調べる述語関数
• 7.2 数
• 7.2.1 数の種類
• 7.2.2 完全性
• 7.2.3 実装上の制限
• 7.2.4 数値定数の構文
• 7.2.5 数値演算
• 7.2.6 数値の入出力
• 7.3 その他のデータ型
• 7.3.1 論理式
• 7.3.2 ペアとリスト
• 7.3.3 シンボル
• 7.3.4 文字型
• 7.3.5 文字列
• 7.3.6 ベクタ
• 7.4 制御機能
• 7.5 Eval
• 7.6 入出力
• 7.6.1 ポート
• 7.6.2 入力
• 7.6.3 出力
• 7.6.4 システムインタフェース
• 8. 構文則と言語仕様
• 8.1 構文則
• 8.1.1 辞書的構造
• 8.1.2 外部表現
• 8.1.3 式
• 8.1.4 Quasiquotations
• 8.1.5 変換手続き
• 8.1.6 プログラムと定義
• 8.2 形式記号言語
• 8.3 導出式型
• 注
• 例
• References

This document was generated on December, 22 2007 using texi2html 1.57.