アルゴリズム

計算機科学入門 第2版

L.ゴールドシュレーガー
A.リスター
武市正人
小川貴英
角田博保
近代科学社

第1章 序論

  • 1.計算機とアルゴリズム
  • 2.プログラムとプログラム言語
  • 3.ソフトウェアとハードウェアの階層
  • 4.アルゴリズムの重要性
  • 参考書

第2章 アルゴリズムの設計

  • 1.アルゴリズム・ プログラム・言語
  • 2.構文と意味
  • 3.アルゴリズムの洗練
  • 4.連続
  • 5.選択
  • 6.繰返し
  • 7.連続・選択・繰返しのまとめ
  • 8.モジュール性
  • 9.再帰性
  • 10.並行牲
  • 11.データ構造
  • 練習問題、参考書

第3章 アルゴリズムの理論

  • 1.計算可能性
    • 計算可能性の理論
    • Church-Turingの提唱
    • 停止問題
    • 計算不能問題
    • 部分計算可能性
    • 再帰定理
  • 2.計算の複雑さ
    • 計算資源
    • 分割統治法
    • 逐次計算の提唱
    • 実行不能間題
    • NP-完全性
    • 並列計算機
  • 3.正当性
    • プログラムの欠陥
    • 帰納法
    • 表明
    • 停止性
    • 資源の限度
  • 4.非手続き型アルゴリズム
    • 関数プログラミング
    • 論理プログラミング
    • 練習問題、参考書

第4章 アルゴリズムの実行:計算機のアーキテクチャ

  • 1.計算機の構造
  • 2.素子
    • 半導体
    • トランジスタ
    • ゲート
  • 3.構成要素
    • メモリ
    • 加算器
    • データバス
    • クロックとコントロールロジック
  • 4.マイクロプログラム方式の計算機
    • 計算機の構成要素
    • マイクロ命令
    • マイクロプログラムの例
  • 5.機械語
    • 簡単な機械語
    • インタプリタ
    • 複雑な機械語
  • 6.入力と出力
    • 入出力装置
    • 入出力の手法
  • 7.計算機ネットワーク
  • 8.並列計算機
  • 練習問題、参考書

第5章 アルゴリズムの実行:システムソフトウェア

  • 1.概説
  • 2.プログラム言語の変換
    • 解釈実行
    • 翻訳
  • 3.構文の定義
  • 4.コンパイラ
    • 語句解析
    • 構文解析
    • コード生成
    • コンパイラ作成系
    • アセンブラ
  • 5.オペレーティングシステム
    • 概要
    • プロセッサの割当て:ディスパッチャ
    • 記憶領域管理
    • スケジューリングと資源の割当て
    • 入出力の処理
    • ファイルシステム
    • ジョブ制御
  • 練習問題、参考書

第6章 アルゴリズムの実行:計算機の応用

  • 1.データ処理
    • データモデル
    • 関係モデル
    • レコード・ファイル・データベース
    • 順次ファイルのマージ処理
    • ソート処理
    • 順次ファイルの更新
  • 2.人工知能
    • 機械は考えるか
    • ゲーム
    • 自然言語の理解
    • 視覚的な認識
    • 知識の表現
    • エクスパートシステム
    • 練習問題、参考書

第7章 社会への影響

  • 1.雇用の問題
  • 2.プライバシーの問題
  • 3.計算機の悪用と対策
  • 4.自由意思
  • 5.人間不要論
  • 練習問題、参考書

索引