| 1 プログラムによる計算の表現 1 |
| 1.1 簡易プログラミング言語「Sプログラム」入門 1 |
| 1.2 データのコード化 : 2進コード 5 |
| 1.3 標準形SプログラムとSプログラムのコード化 8 |
| 1.4 Sプログラム計算可能性 14 |
| 1.5 while文とfor-times文 22 |
| ティータイム 34 |
| 2 チューリング機械による計算の表現 36 |
| 2.1 チューリング機械入門 36 |
| 2.2 データのコード化 : 2進コード 47 |
| 2.3 チューリング機械のプログラミング・テクニック 51 |
| 2.4 チューリング機械計算可能性 65 |
| 3 帰納的関数による計算の表現 73 |
| 3.1 原始帰納的関数・帰納的関数入門 73 |
| 3.2 原始帰納的関数のプログラミング・テクニック 78 |
| 3.3 データのコード化 : ゲーデル数 82 |
| 3.4 帰納的 vs. プログラム計算可能性 89 |
| 3.5 帰納的 vs. チューリング機械計算可能性 98 |
| 3.6 原始帰納的関数と帰納的関数 109 |
| ティータイム 114 |
| 4 ラムダ計算による計算の表現 116 |
| 4.1 λ－式・λ－計算入門 116 |
| 4.2 λ－計算による計算可能性 127 |
| ティータイム 138 |
| 5 並列・並行・分散計算の表現 140 |
| 5.1 並列・並行・分散計算のための記述法概観 141 |
| 5.2 論理回路 : 並列計算の効率解析のために 151 |
| 5.3 ペトリネット : 並行計算の設計・解析のために 169 |
| ティータイム 186 |
| 練習問題の解説 188 |
| 参考文献 206 |
| 索引 208 |
| 1 プログラムによる計算の表現 1 |
| 1.1 簡易プログラミング言語「Sプログラム」入門 1 |
| 1.2 データのコード化 : 2進コード 5 |
図書
