サーカムスクリプションに基づく計算法に関する基礎的研究

この論文をさがす

著者

    • 岩沼, 宏治 イワヌマ, コウジ

書誌事項

タイトル

サーカムスクリプションに基づく計算法に関する基礎的研究

著者名

岩沼, 宏治

著者別名

イワヌマ, コウジ

学位授与大学

東北大学

取得学位

工学博士

学位授与番号

乙第5543号

学位授与年月日

1991-04-10

注記・抄録

博士論文

目次

  1. 目次 / (0004.jp2)
  2. 1章 序章 / p1 (0007.jp2)
  3. 1.1 研究の背景 / p2 (0008.jp2)
  4. 1.2 本研究の内容 / p12 (0018.jp2)
  5. 2章 極小定義式の導出 / p17 (0023.jp2)
  6. 2.1 はじめに / p18 (0024.jp2)
  7. 2.2 2階論理と述語サーカムスクリプション / p19 (0025.jp2)
  8. 2.3 点別サーカムスクリプションとその問題点 / p23 (0029.jp2)
  9. 2.4 述語サーカムスクリプションの簡約 / p29 (0035.jp2)
  10. 2.5 極小定義式の導出 / p32 (0038.jp2)
  11. 2.6 むすび / p38 (0044.jp2)
  12. 補遺 / p39 (0045.jp2)
  13. 3章 述語サーカムスクリプションの一階論理式への等価変換手法 / p46 (0052.jp2)
  14. 3.1 はじめに / p47 (0053.jp2)
  15. 3.2 述語の再帰 / p48 (0054.jp2)
  16. 3.3 非再帰的な述語サーカムスクリプションの等価変換 / p54 (0060.jp2)
  17. 3.4 他研究との比較 / p58 (0064.jp2)
  18. 3.5 むすび / p60 (0066.jp2)
  19. 補遺 / p61 (0067.jp2)
  20. 4章 述語サーカムスクリプションの質問変換に基づく計算手法 / p65 (0071.jp2)
  21. 4.1 はじめに / p66 (0072.jp2)
  22. 4.2 述語サーカムスクリプションに於ける質問変換 / p68 (0074.jp2)
  23. 4.3 導出原理風の質問変換 / p73 (0079.jp2)
  24. 4.4 質問変換とSLD木導出計算の類似性 / p80 (0086.jp2)
  25. 4.5 ME展開 / p86 (0092.jp2)
  26. 4.6 正規化戦略 / p88 (0094.jp2)
  27. 4.7 変換の能力 / p101 (0107.jp2)
  28. 4.8 むすび / p102 (0108.jp2)
  29. 補遺 / p104 (0110.jp2)
  30. 5章 並列サーカムスクリプションのパラメーター消去手法 / p111 (0117.jp2)
  31. 5.1 はじめに / p112 (0118.jp2)
  32. 5.2 並列サーカムスクリプション / p113 (0119.jp2)
  33. 5.3 パラメーター消去のための基本定理 / p118 (0124.jp2)
  34. 5.4 正負のパラメーターの消去 / p122 (0128.jp2)
  35. 5.5 極小,極大定義式を用いたパラメーター消去 / p125 (0131.jp2)
  36. 5.6 むすび / p132 (0138.jp2)
  37. 補遺 / p132 (0138.jp2)
  38. 6章 並列サーカムスクリプションの2つの計算手法 / p140 (0146.jp2)
  39. 6.1 はじめに / p141 (0147.jp2)
  40. 6.2 並列サーカムスクリプションの一階論理式への変換 / p142 (0148.jp2)
  41. 6.3 並列サーカムスクリプションの質問変換 / p157 (0163.jp2)
  42. 6.4 むすび / p172 (0178.jp2)
  43. 補遺A / p173 (0179.jp2)
  44. 補遺B / p179 (0185.jp2)
  45. 7章 結論 / p181 (0187.jp2)
  46. 謝辞 / p187 (0193.jp2)
  47. 参考論文 / p190 (0196.jp2)
  48. 付録A MILO導出法の一般化の困難さについて / p196 (0202.jp2)
  49. 発表論文リスト / p206 (0212.jp2)
1アクセス

各種コード

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