構成的論理に基づくプログラムの合成と解析の研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
構成的論理に基づくプログラムの合成と解析の研究
- 著者名
-
後藤, 滋樹, 1948-
- 著者別名
-
ゴトウ, シゲキ
- 学位授与大学
-
東京大学
- 取得学位
-
工学博士
- 学位授与番号
-
乙第10041号
- 学位授与年月日
-
1991-02-14
注記・抄録
博士論文
目次
- もくじ / p1 (0003.jp2)
- 1 序論 / p1 (0004.jp2)
- 1.1 本研究の目的 / p1 (0004.jp2)
- 1.2 本研究の背景 / p7 (0007.jp2)
- 2 直観主義論理に基づくプログラム理論 / p15 (0011.jp2)
- 2.1 古典論理と構成的論理 / p15 (0011.jp2)
- 2.2 古典論理の問題点 / p19 (0013.jp2)
- 2.3 直観主義論理による問題の解決 / p22 (0015.jp2)
- 2.4 論理式とプログラムとの対応関係 / p28 (0018.jp2)
- 3 直観主義論理によるプログラムの合成法 / p33 (0020.jp2)
- 3.1 関数によるプログラムの表現 / p33 (0020.jp2)
- 3.2 有限のタイプの汎関数 / p37 (0022.jp2)
- 3.3 ゲーデル解釈を応用したプログラム合成 / p45 (0026.jp2)
- 3.4 プログラム合成の例 / p47 (0027.jp2)
- 4 無限リストの論理的な解釈 / p51 (0029.jp2)
- 4.1 正規化による計算機構 / p51 (0029.jp2)
- 4.2 新しい推論規則 / p58 (0033.jp2)
- 4.3 無限の要素を含む正規化 / p64 (0036.jp2)
- 4.4 並列論理プログラミングとの比較 / p71 (0039.jp2)
- 5 無限リストを応用したプログラムの解析法 / p75 (0041.jp2)
- 5.1 正規化によるプログラムの解析 / p75 (0041.jp2)
- 5.2 トレース情報によるプログラムの表現 / p79 (0043.jp2)
- 5.3 有限のトレースによる近似 / p85 (0046.jp2)
- 5.4 適用領域の拡大 / p95 (0051.jp2)
- 6 結論─考察・今後の研究課題 / p101 (0054.jp2)
- 6.1 直観主義論理に基づくプログラム理論について / p101 (0054.jp2)
- 6.2 直観主義論理によるプログラムの合成法について / p105 (0056.jp2)
- 6.3 無限リストの論理的な解釈について / p109 (0058.jp2)
- 6.4 無限リストを応用したプログラムの解析法について / p112 (0060.jp2)
- 謝辞 / p117 (0062.jp2)
- 参考文献 / p119 (0063.jp2)
- A 詳細な証明および実例 / p127 (0067.jp2)
- A.1 realizeする数の詳細 / p127 (0067.jp2)
- A.2 プログラム合成の実例 / p129 (0068.jp2)
- A.3 部分パラメータの論理的な性質 / p137 (0072.jp2)
- A.4 分離された証明図の性質 / p139 (0073.jp2)
- A.5 トレースによるREVERSEプログラムの解析 / p141 (0074.jp2)
- B 本研究の動機 / p145 (0076.jp2)