【12/14(木)17時より】CiNiiの常時SSL化(HTTPS接続)について

自己反映計算のための仮想簡約マシンの設計とその実装に関する研究

この論文をさがす

著者

    • 沼澤, 政信 ヌマザワ, マサノブ

書誌事項

タイトル

自己反映計算のための仮想簡約マシンの設計とその実装に関する研究

著者名

沼澤, 政信

著者別名

ヌマザワ, マサノブ

学位授与大学

北海道大学

取得学位

博士(工学)

学位授与番号

甲第4797号

学位授与年月日

1999-03-25

注記・抄録

博士論文

目次

  1. 目次 / p1 (0003.jp2)
  2. 第1章 序論 / p5 (0008.jp2)
  3. 1.1 本論文の背景と目的 / p5 (0008.jp2)
  4. 1.2 本論文の構成 / p8 (0010.jp2)
  5. 第2章 簡約型計算モデルと自己反映計算 / p9 (0011.jp2)
  6. 2.1 抽象書換え系 / p9 (0011.jp2)
  7. 2.2 項書換え系と条件付き項書換え系 / p13 (0015.jp2)
  8. 2.3 自己反映計算 / p34 (0036.jp2)
  9. 2.4 項書換え系における自己反映計算 / p41 (0043.jp2)
  10. 第3章 自己反映仮想簡約マシンの設計 / p48 (0050.jp2)
  11. 3.1 仮想簡約マシン / p48 (0050.jp2)
  12. 3.2 自己反映仮想簡約マシン / p56 (0058.jp2)
  13. 第4章 自己反映仮想簡約マシンの実装 / p61 (0063.jp2)
  14. 4.1 CREPS処理系 / p61 (0063.jp2)
  15. 4.2 効率化 / p73 (0075.jp2)
  16. 4.3 プログラム例 / p76 (0078.jp2)
  17. 第5章 自己反映計算の展望 / p81 (0083.jp2)
  18. 5.1 書換え系と自己反映計算 / p81 (0083.jp2)
  19. 5.2 Java 言語と自己反映計算 / p82 (0084.jp2)
  20. 5.3 並行・分散システムと自己反映計算 / p84 (0086.jp2)
  21. 5.4 エージェントシステムと自己反映計算 / p85 (0087.jp2)
  22. 第6章 結論 / p96 (0098.jp2)
  23. 6.1 各章のまとめ / p96 (0098.jp2)
  24. 6.2 まとめ / p97 (0099.jp2)
  25. 謝辞 / p98 (0100.jp2)
  26. 参考文献 / p99 (0101.jp2)
  27. 付録 A / p103 (0105.jp2)
  28. A.1 証明 / p103 (0105.jp2)
  29. 付録 B / p105 (0107.jp2)
  30. B.1 CREPS処理系のプログラム / p105 (0107.jp2)
1アクセス

各種コード

  • NII論文ID(NAID)
    500000172355
  • NII著者ID(NRID)
    • 8000000172630
  • DOI(NDL)
  • NDL書誌ID
    • 000000336669
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ