構成的論理に基づくプログラムの合成と解析の研究

この論文をさがす

著者

    • 後藤, 滋樹, 1948- ゴトウ, シゲキ

書誌事項

タイトル

構成的論理に基づくプログラムの合成と解析の研究

著者名

後藤, 滋樹, 1948-

著者別名

ゴトウ, シゲキ

学位授与大学

東京大学

取得学位

工学博士

学位授与番号

乙第10041号

学位授与年月日

1991-02-14

注記・抄録

博士論文

報告番号: 乙10041 ; 学位授与年月日: 1991-02-14 ; 学位の種別: 論文博士 ; 学位の種類: 工学博士 ; 学位記番号: 第10041号 ; 研究科・専攻: 工学系研究科情報工学専攻

目次

  1. もくじ / p1 (0003.jp2)
  2. 1 序論 / p1 (0004.jp2)
  3. 1.1 本研究の目的 / p1 (0004.jp2)
  4. 1.2 本研究の背景 / p7 (0007.jp2)
  5. 2 直観主義論理に基づくプログラム理論 / p15 (0011.jp2)
  6. 2.1 古典論理と構成的論理 / p15 (0011.jp2)
  7. 2.2 古典論理の問題点 / p19 (0013.jp2)
  8. 2.3 直観主義論理による問題の解決 / p22 (0015.jp2)
  9. 2.4 論理式とプログラムとの対応関係 / p28 (0018.jp2)
  10. 3 直観主義論理によるプログラムの合成法 / p33 (0020.jp2)
  11. 3.1 関数によるプログラムの表現 / p33 (0020.jp2)
  12. 3.2 有限のタイプの汎関数 / p37 (0022.jp2)
  13. 3.3 ゲーデル解釈を応用したプログラム合成 / p45 (0026.jp2)
  14. 3.4 プログラム合成の例 / p47 (0027.jp2)
  15. 4 無限リストの論理的な解釈 / p51 (0029.jp2)
  16. 4.1 正規化による計算機構 / p51 (0029.jp2)
  17. 4.2 新しい推論規則 / p58 (0033.jp2)
  18. 4.3 無限の要素を含む正規化 / p64 (0036.jp2)
  19. 4.4 並列論理プログラミングとの比較 / p71 (0039.jp2)
  20. 5 無限リストを応用したプログラムの解析法 / p75 (0041.jp2)
  21. 5.1 正規化によるプログラムの解析 / p75 (0041.jp2)
  22. 5.2 トレース情報によるプログラムの表現 / p79 (0043.jp2)
  23. 5.3 有限のトレースによる近似 / p85 (0046.jp2)
  24. 5.4 適用領域の拡大 / p95 (0051.jp2)
  25. 6 結論─考察・今後の研究課題 / p101 (0054.jp2)
  26. 6.1 直観主義論理に基づくプログラム理論について / p101 (0054.jp2)
  27. 6.2 直観主義論理によるプログラムの合成法について / p105 (0056.jp2)
  28. 6.3 無限リストの論理的な解釈について / p109 (0058.jp2)
  29. 6.4 無限リストを応用したプログラムの解析法について / p112 (0060.jp2)
  30. 謝辞 / p117 (0062.jp2)
  31. 参考文献 / p119 (0063.jp2)
  32. A 詳細な証明および実例 / p127 (0067.jp2)
  33. A.1 realizeする数の詳細 / p127 (0067.jp2)
  34. A.2 プログラム合成の実例 / p129 (0068.jp2)
  35. A.3 部分パラメータの論理的な性質 / p137 (0072.jp2)
  36. A.4 分離された証明図の性質 / p139 (0073.jp2)
  37. A.5 トレースによるREVERSEプログラムの解析 / p141 (0074.jp2)
  38. B 本研究の動機 / p145 (0076.jp2)
13アクセス

各種コード

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