記号処理演習, 目次

記号処理演習目次

アリストテレスとゲーデル

記号処理演習

参考文献
ライセンス

Ⅰ 開発環境

Ⅱ 基本事項

Ⅲ 基本データ構造

1.1 リストとは
1.2 言語仕様

2.1 乱数生成

3. 高階関数

3.1 高階関数とは
3.2 言語仕様

4.1 言語仕様

4.2 課題
4.3 モジュール

Racket 単純木

Racket 赤黒木

5. ハッシュ表

5.1 言語仕様

5.2 課題
5.3 プログラム

6.1 副作用とは
6.2 言語仕様

6.3 課題
6.4 プログラム

7. 二次元配列

7.1 課題
7.2 プログラム

8. スタック

8.1 スタックとは
8.2 言語仕様

8.3 プログラム

8.4 可変スタック実装

9.1 キューとは
9.2 言語仕様

9.3 プログラム

10. 優先度付きキュー

10.1 優先度付きキューとは
10.2 言語仕様

10.3 可変二分ヒープ実装

10.4 課題
10.5 プログラム

Ⅳ グラフ理論

1. 定義と可視化

定義1.1 グラフ

無向グラフの例1.1

有向グラフの例1.2

1.3 データ表現

可変構造体graph

グラフライブラリ

無向グラフの例1.1

有向グラフの例1.2

1.4 同型概念

定義1.2 グラフ同型

定義1.3 完全グラフ

定義1.4 二部グラフ

1.5 行列表現

定義1.5 接続行列

定理1.6 接続行列による同型判定

定義1.7 隣接行列

定理1.8 隣接行列による同型判定

定義1.9 隣接リスト

定理1.10 隣接リストによる同型判定

無向グラフの例1.1

有向グラフの例1.2

定義1.11 近傍

定義1.12 次数

命題1.13 次数=入次数+出次数

命題1.14 入次数和=出次数和

無向グラフの例1.1

有向グラフの例1.2

命題1.15 次数の和

系1.16 奇数次数の頂点数

定義1.17 正則グラフ

1.7 部分グラフ

定義1.18 部分グラフ

定義1.19 誘導部分グラフ

2. 道と閉路

2.1 道と閉路

定義2.1 歩道,小道,道

定義2.2 連結性

定義2.3 連結成分

2.2 オイラーグラフ

定義2.6 オイラー回路

定理2.8 オイラーグラフ

系2.9 準オイラーグラフ

無向グラフの例2.1

2.3 ケーニヒスベルクの橋

図2.10 ケーニヒスベルクの橋

無向グラフの例2.2

3. 木と最小全域木
4. グラフ探索

4.1 グラフ探索
4.2 幅優先探索(BFS)

無向グラフの例2.1

4.3 深さ優先探索(DFS)

無向グラフの例2.1

4.4 再帰的DFS

無向グラフの例2.1

5. 根付き全域木

5.1 幅優先探索(BFS)

無向グラフの例2.1

5.2 深さ優先探索(DFS)

無向グラフの例2.1

6. 最短経路問題

6.1 最短経路問題
6.2 ダイクストラのアルゴリズム

重み付きグラフの例6.1

Ⅴ 探索問題

Ⅵ 形式言語

This document is licensed under the MIT License.
Copyright (C) 2024 Takeshi Umetani