書換え系の性質の形式的検証に関する研究

この論文をさがす

著者

    • 能登, 正人 ノト, マサト

書誌事項

タイトル

書換え系の性質の形式的検証に関する研究

著者名

能登, 正人

著者別名

ノト, マサト

学位授与大学

北海道大学

取得学位

博士 (工学)

学位授与番号

甲第3856号

学位授与年月日

1996-03-25

注記・抄録

博士論文

v, 88p.

Hokkaido University(北海道大学). 博士(工学)

目次

  1. 目次 / p1 (0003.jp2)
  2. 1 序論 / p1 (0008.jp2)
  3. 1.1 背景・目的 / p1 (0008.jp2)
  4. 1.2 論文の構成 / p3 (0010.jp2)
  5. 2 書換え系 / p5 (0012.jp2)
  6. 2.1 抽象書換え系 / p6 (0013.jp2)
  7. 2.2 項書換え系 / p20 (0027.jp2)
  8. 3 項書換え系の停止性 / p34 (0041.jp2)
  9. 3.1 停止性 / p35 (0042.jp2)
  10. 3.2 経路順序 / p39 (0046.jp2)
  11. 4 拡張ステータスによる項書換え系の停止性検証 / p47 (0054.jp2)
  12. 4.1 拡張ステータス / p48 (0055.jp2)
  13. 4.2 例題 / p55 (0062.jp2)
  14. 4.3 まとめ / p56 (0063.jp2)
  15. 5 抽象書換え系理論による講座配属アルゴリズムの完備性の解析 / p57 (0064.jp2)
  16. 5.1 講座配属アルゴリズム / p58 (0065.jp2)
  17. 5.2 抽象書換え系としての定式化 / p60 (0067.jp2)
  18. 5.3 完備性 / p65 (0072.jp2)
  19. 5.4 情報処理上の留意点 / p77 (0084.jp2)
  20. 5.5 まとめ / p79 (0086.jp2)
  21. 6 結論 / p80 (0087.jp2)
  22. 6.1 各章のまとめ / p80 (0087.jp2)
  23. 6.2 まとめ / p82 (0089.jp2)
  24. 謝辞 / p84 (0091.jp2)
  25. 参考文献 / p85 (0092.jp2)
3アクセス

各種コード

  • NII論文ID(NAID)
    500000132858
  • NII著者ID(NRID)
    • 8000000967448
  • DOI(NDL)
  • 本文言語コード
    • jpn
  • NDL書誌ID
    • 000000297172
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ