書換え系の性質の形式的検証に関する研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
書換え系の性質の形式的検証に関する研究
- Author
-
能登, 正人
- Author(Another name)
-
ノト, マサト
- University
-
北海道大学
- Types of degree
-
博士 (工学)
- Grant ID
-
甲第3856号
- Degree year
-
1996-03-25
Note and Description
博士論文
Table of Contents
- 目次 / p1 (0003.jp2)
- 1 序論 / p1 (0008.jp2)
- 1.1 背景･目的 / p1 (0008.jp2)
- 1.2 論文の構成 / p3 (0010.jp2)
- 2 書換え系 / p5 (0012.jp2)
- 2.1 抽象書換え系 / p6 (0013.jp2)
- 2.2 項書換え系 / p20 (0027.jp2)
- 3 項書換え系の停止性 / p34 (0041.jp2)
- 3.1 停止性 / p35 (0042.jp2)
- 3.2 経路順序 / p39 (0046.jp2)
- 4 拡張ステータスによる項書換え系の停止性検証 / p47 (0054.jp2)
- 4.1 拡張ステータス / p48 (0055.jp2)
- 4.2 例題 / p55 (0062.jp2)
- 4.3 まとめ / p56 (0063.jp2)
- 5 抽象書換え系理論による講座配属アルゴリズムの完備性の解析 / p57 (0064.jp2)
- 5.1 講座配属アルゴリズム / p58 (0065.jp2)
- 5.2 抽象書換え系としての定式化 / p60 (0067.jp2)
- 5.3 完備性 / p65 (0072.jp2)
- 5.4 情報処理上の留意点 / p77 (0084.jp2)
- 5.5 まとめ / p79 (0086.jp2)
- 6 結論 / p80 (0087.jp2)
- 6.1 各章のまとめ / p80 (0087.jp2)
- 6.2 まとめ / p82 (0089.jp2)
- 謝辞 / p84 (0091.jp2)
- 参考文献 / p85 (0092.jp2)