帰納等式プログラミングにおける多相型を用いた一般化と再帰性の推論に関する研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
帰納等式プログラミングにおける多相型を用いた一般化と再帰性の推論に関する研究
- Author
-
石野, 明
- Author(Another name)
-
イシノ, アキラ
- University
-
北海道大学
- Types of degree
-
博士(工学)
- Grant ID
-
甲第4755号
- Degree year
-
1999-03-25
Note and Description
博士論文
Table of Contents
- 目次 / p1 (0003.jp2)
- 要旨 / p1 (0004.jp2)
- 第1章 序論 / p3 (0005.jp2)
- 1.1 帰納推論 / p3 (0005.jp2)
- 1.2 帰納等式プログラミング / p5 (0006.jp2)
- 1.3 型 / p7 (0007.jp2)
- 1.4 本研究の位置付け / p9 (0008.jp2)
- 1.5 構成 / p10 (0009.jp2)
- 第2章 帰納等式プログラミング / p13 (0010.jp2)
- 2.1 等式プログラミング / p13 (0010.jp2)
- 2.2 多相型 / p18 (0013.jp2)
- 2.3 帰納推論問題 / p20 (0014.jp2)
- 第3章 正しく型付けされた関数規則に対する一般化 / p25 (0016.jp2)
- 3.1 一般化関係 / p25 (0016.jp2)
- 3.2 最小汎化 / p27 (0017.jp2)
- 3.3 極小多重汎化 / p30 (0019.jp2)
- 第4章 多相型を用いた一般化 / p37 (0022.jp2)
- 4.1 多相型を用いた一般化の概要 / p37 (0022.jp2)
- 4.2 多相型を用いた一般化の形式的定義 / p39 (0023.jp2)
- 4.3 アルゴリズム / p41 (0024.jp2)
- 4.4 帰納等式プログラミングへの適用 / p44 (0026.jp2)
- 第5章 層状の再帰性 / p47 (0027.jp2)
- 5.1 準備 / p47 (0027.jp2)
- 5.2 層状再帰プログラム / p49 (0028.jp2)
- 5.3 例の提示の方法 / p53 (0030.jp2)
- 5.4 層状再帰プログラムの導出方法 / p55 (0031.jp2)
- 5.5 層状の再帰性の拡張 / p58 (0033.jp2)
- 第6章 再帰スキームを用いた再帰性の推論 / p63 (0035.jp2)
- 6.1 準備 / p63 (0035.jp2)
- 6.2 基本的な再帰性の推論手法 / p64 (0036.jp2)
- 6.3 中間関数を用いない2つの拡張 / p66 (0037.jp2)
- 6.4 関数規則の左辺と右辺にずれがある再帰性 / p68 (0038.jp2)
- 6.5 層状の再帰性 / p68 (0038.jp2)
- 第7章 複雑化を用いた再帰性の推論 / p71 (0039.jp2)
- 7.1 複雑化を用いた帰納推論 / p71 (0039.jp2)
- 7.2 基本戦略 / p72 (0040.jp2)
- 7.3 複雑化の定式化 / p73 (0040.jp2)
- 7.4 中間関数の導入による拡張 / p77 (0042.jp2)
- 7.5 帰納等式プログラミングvs.帰納論理 / p80 (0044.jp2)
- 第8章 実装 / p83 (0045.jp2)
- 8.1 再帰スキームを用いた再帰性の推論手法の実装 / p83 (0045.jp2)
- 8.2 複雑化を用いた再帰性の推論手法の実装 / p88 (0048.jp2)
- 第9章 結論 / p97 (0052.jp2)
- 9.1 型による一般化 / p97 (0052.jp2)
- 9.2 帰納等式プログラミング / p98 (0053.jp2)
- 謝辞 / p101 (0054.jp2)
- 参考文献 / p103 (0055.jp2)