帰納等式プログラミングにおける多相型を用いた一般化と再帰性の推論に関する研究

この論文をさがす

著者

    • 石野, 明 イシノ, アキラ

書誌事項

タイトル

帰納等式プログラミングにおける多相型を用いた一般化と再帰性の推論に関する研究

著者名

石野, 明

著者別名

イシノ, アキラ

学位授与大学

北海道大学

取得学位

博士(工学)

学位授与番号

甲第4755号

学位授与年月日

1999-03-25

注記・抄録

博士論文

目次

  1. 目次 / p1 (0003.jp2)
  2. 要旨 / p1 (0004.jp2)
  3. 第1章 序論 / p3 (0005.jp2)
  4. 1.1 帰納推論 / p3 (0005.jp2)
  5. 1.2 帰納等式プログラミング / p5 (0006.jp2)
  6. 1.3 型 / p7 (0007.jp2)
  7. 1.4 本研究の位置付け / p9 (0008.jp2)
  8. 1.5 構成 / p10 (0009.jp2)
  9. 第2章 帰納等式プログラミング / p13 (0010.jp2)
  10. 2.1 等式プログラミング / p13 (0010.jp2)
  11. 2.2 多相型 / p18 (0013.jp2)
  12. 2.3 帰納推論問題 / p20 (0014.jp2)
  13. 第3章 正しく型付けされた関数規則に対する一般化 / p25 (0016.jp2)
  14. 3.1 一般化関係 / p25 (0016.jp2)
  15. 3.2 最小汎化 / p27 (0017.jp2)
  16. 3.3 極小多重汎化 / p30 (0019.jp2)
  17. 第4章 多相型を用いた一般化 / p37 (0022.jp2)
  18. 4.1 多相型を用いた一般化の概要 / p37 (0022.jp2)
  19. 4.2 多相型を用いた一般化の形式的定義 / p39 (0023.jp2)
  20. 4.3 アルゴリズム / p41 (0024.jp2)
  21. 4.4 帰納等式プログラミングへの適用 / p44 (0026.jp2)
  22. 第5章 層状の再帰性 / p47 (0027.jp2)
  23. 5.1 準備 / p47 (0027.jp2)
  24. 5.2 層状再帰プログラム / p49 (0028.jp2)
  25. 5.3 例の提示の方法 / p53 (0030.jp2)
  26. 5.4 層状再帰プログラムの導出方法 / p55 (0031.jp2)
  27. 5.5 層状の再帰性の拡張 / p58 (0033.jp2)
  28. 第6章 再帰スキームを用いた再帰性の推論 / p63 (0035.jp2)
  29. 6.1 準備 / p63 (0035.jp2)
  30. 6.2 基本的な再帰性の推論手法 / p64 (0036.jp2)
  31. 6.3 中間関数を用いない2つの拡張 / p66 (0037.jp2)
  32. 6.4 関数規則の左辺と右辺にずれがある再帰性 / p68 (0038.jp2)
  33. 6.5 層状の再帰性 / p68 (0038.jp2)
  34. 第7章 複雑化を用いた再帰性の推論 / p71 (0039.jp2)
  35. 7.1 複雑化を用いた帰納推論 / p71 (0039.jp2)
  36. 7.2 基本戦略 / p72 (0040.jp2)
  37. 7.3 複雑化の定式化 / p73 (0040.jp2)
  38. 7.4 中間関数の導入による拡張 / p77 (0042.jp2)
  39. 7.5 帰納等式プログラミングvs.帰納論理 / p80 (0044.jp2)
  40. 第8章 実装 / p83 (0045.jp2)
  41. 8.1 再帰スキームを用いた再帰性の推論手法の実装 / p83 (0045.jp2)
  42. 8.2 複雑化を用いた再帰性の推論手法の実装 / p88 (0048.jp2)
  43. 第9章 結論 / p97 (0052.jp2)
  44. 9.1 型による一般化 / p97 (0052.jp2)
  45. 9.2 帰納等式プログラミング / p98 (0053.jp2)
  46. 謝辞 / p101 (0054.jp2)
  47. 参考文献 / p103 (0055.jp2)
0アクセス

各種コード

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