情報工学基礎論のもくじ

  1. 序論
    1. 情報理論とは
    2. 通信系モデル
    3. 情報源符合化
    4. その他の符合化
    5. アナログ情報の量子化と情報量
    6. パターン認識
    7. 命題論理と述語論理
    8. ニューラルネットワーク
  2. 情報量
    1. 事象と確率
    2. 条件付き確率
    3. 完全事象系
  3. 情報源
    1. 情報源の統計的表現
    2. 記憶のない定常情報源
    3. エルゴード情報源
    4. 記憶のある情報源
    5. 一般化されたマルコフ情報源
    6. 状態の分類
    7. マルコフ情報源の定常分布
  4. 情報源符合化
    1. 離散的情報源の符合化
    2. 瞬時符合であるための必要十分条件
    3. 符合の木
    4. クラフトの不等式
    5. 平均符合長の限界
    6. ハフマン符合化
    7. ブロック符合化
    8. 情報源符合化定理
    9. 非等長情報源記号系列に対するハフマン符合化
  5. 離散的通信路
    1. 通信路モデル
    2. 記憶のない定常通信路
    3. 相互情報量
    4. 通信路容量
    5. 記憶のない一様通信路の通信路容量
    6. 情報伝送速度
    7. 通信路符合化定理
  6. 通信路符合化法
    1. 組織符合
    2. 単一パリティ検査符合
    3. 水平垂直パリティ検査符合
    4. 線形符合
    5. ハミング距離
    6. 線形符合の加法性
    7. 最小距離・最小重みと誤り訂正能力
    8. パリティ検査方程式
    9. 単一誤り訂正ハミング符合
    10. バースト誤り
    11. 巡回符合
    12. 巡回ハミング符合
  7. 標本化定理
    1. 簡単な例
    2. フーリエ級数
    3. フーリエ変換
    4. 標本化定理の導出
    5. デルタ関数
    6. インパルス応答
    7. 自己相関関数とパワースペクトル
    8. 標本値列からの復元
  8. アナログ通信
    1. 確立密度関数
    2. アナログ情報源のエントロピー
    3. 最大エントロピー定理
    4. 通信路容量
    5. 量子化雑音
    6. ベクトル量子化
  9. 統計的パターン認識
    1. 多次元ガウス分布
    2. 統計的決定法
  10. 命題論理
    1. 論理式
    2. 論理式の構成法
    3. 論理式の解釈
    4. 意味の木
    5. 命題論理式の標準形
  11. 述語論理
    1. 論理式の構成法
    2. 恒真性と充足性
    3. 節形
    4. 導出節
    5. 単一化
    6. 導出原理
  12. ニューラルネットワーク計算
    1. ニューラルネットワークの形態
    2. 階層型ネットワークと誤差逆伝搬学習アルゴリズム
    3. 相互結合型ネットワーク
    付録
    A1.デイビス・パットナムのアルゴリズム
    A2.命題論理の公理系
    A3.エルブラン空間
もとに戻る