自己反映計算のための仮想簡約マシンの設計とその実装に関する研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
自己反映計算のための仮想簡約マシンの設計とその実装に関する研究
- Author
-
沼澤, 政信
- Author(Another name)
-
ヌマザワ, マサノブ
- University
-
北海道大学
- Types of degree
-
博士(工学)
- Grant ID
-
甲第4797号
- Degree year
-
1999-03-25
Note and Description
博士論文
Table of Contents
- 目次 / p1 (0003.jp2)
- 第1章 序論 / p5 (0008.jp2)
- 1.1 本論文の背景と目的 / p5 (0008.jp2)
- 1.2 本論文の構成 / p8 (0010.jp2)
- 第2章 簡約型計算モデルと自己反映計算 / p9 (0011.jp2)
- 2.1 抽象書換え系 / p9 (0011.jp2)
- 2.2 項書換え系と条件付き項書換え系 / p13 (0015.jp2)
- 2.3 自己反映計算 / p34 (0036.jp2)
- 2.4 項書換え系における自己反映計算 / p41 (0043.jp2)
- 第3章 自己反映仮想簡約マシンの設計 / p48 (0050.jp2)
- 3.1 仮想簡約マシン / p48 (0050.jp2)
- 3.2 自己反映仮想簡約マシン / p56 (0058.jp2)
- 第4章 自己反映仮想簡約マシンの実装 / p61 (0063.jp2)
- 4.1 CREPS処理系 / p61 (0063.jp2)
- 4.2 効率化 / p73 (0075.jp2)
- 4.3 プログラム例 / p76 (0078.jp2)
- 第5章 自己反映計算の展望 / p81 (0083.jp2)
- 5.1 書換え系と自己反映計算 / p81 (0083.jp2)
- 5.2 Java 言語と自己反映計算 / p82 (0084.jp2)
- 5.3 並行・分散システムと自己反映計算 / p84 (0086.jp2)
- 5.4 エージェントシステムと自己反映計算 / p85 (0087.jp2)
- 第6章 結論 / p96 (0098.jp2)
- 6.1 各章のまとめ / p96 (0098.jp2)
- 6.2 まとめ / p97 (0099.jp2)
- 謝辞 / p98 (0100.jp2)
- 参考文献 / p99 (0101.jp2)
- 付録 A / p103 (0105.jp2)
- A.1 証明 / p103 (0105.jp2)
- 付録 B / p105 (0107.jp2)
- B.1 CREPS処理系のプログラム / p105 (0107.jp2)