自動定理証明と論理プログラミングへの線型理論のいくつかの応用

この論文をさがす

著者

    • 松岡, 聡 マツオカ, サトシ

書誌事項

タイトル

自動定理証明と論理プログラミングへの線型理論のいくつかの応用

著者名

松岡, 聡

著者別名

マツオカ, サトシ

学位授与大学

名古屋工業大学

取得学位

博士 (工学)

学位授与番号

甲第307号

学位授与年月日

2000-03-23

注記・抄録

博士論文

目次

  1. 論文要旨 / p1 (0004.jp2)
  2. 目次 / (0005.jp2)
  3. 1 はじめに / p1 (0006.jp2)
  4. 1.1 線型論理とは / p1 (0006.jp2)
  5. 1.2 線型シーケント計算 / p2 (0007.jp2)
  6. 1.3 本論文の構成 / p3 (0007.jp2)
  7. 2 プルーフ・ネットを用いた証明探索アルゴリズム / p7 (0009.jp2)
  8. 2.1 プルーフ・ネットとは / p7 (0009.jp2)
  9. 2.2 定数を持たない乗法加法的ブルーフ・ネットMALL / p9 (0010.jp2)
  10. 2.3 プルーフ・ストラクチャ構成アルゴリズム / p15 (0013.jp2)
  11. 2.4 帰納的エンパイアを用いたMALLプルーフ・ネットの判定条件 / p19 (0015.jp2)
  12. 2.5 MALLブルーフ・ネット構成アルゴリズム / p34 (0023.jp2)
  13. 3 プルーフ・ネットについての単一化アルゴリズム / p37 (0024.jp2)
  14. 3.1 IIMLLプルーフ・ネット / p37 (0024.jp2)
  15. 3.2 IIMLLについての単一化問題と=pn / p40 (0026.jp2)
  16. 3.3 IIMLLについての単一化手続き / p43 (0027.jp2)
  17. 4 加法的インタラクション・ネット / p57 (0034.jp2)
  18. 4.1 加法的インタラクション・ネットの定義 / p57 (0034.jp2)
  19. 4.2 加法的インタラクション・ネットの基本的な性質 / p59 (0035.jp2)
  20. 4.3 加法的インタラクション・ネットへのSLD-導出のエンコーディング / p61 (0036.jp2)
  21. 4.4 加法的インタラクション・ネットの合流性をもつ1部分体系 / p63 (0037.jp2)
  22. 4.5 乗法加法的プルーフ・ネットのAIN⁰へのエンコーディング / p65 (0038.jp2)
  23. 5 おわりに / p71 (0041.jp2)
  24. 5.1 プルーフ・ネットを用いた証明探索アルゴリズム / p71 (0041.jp2)
  25. 5.2 プルーフ・ネットについての単一化アルゴリズム / p72 (0042.jp2)
  26. 5.3 加法的インタラクション・ネット / p72 (0042.jp2)
  27. 謝辞 / p75 (0043.jp2)
2アクセス

各種コード

  • NII論文ID(NAID)
    500000187885
  • NII著者ID(NRID)
    • 8000000188168
  • DOI(NDL)
  • NDL書誌ID
    • 000000352199
  • データ提供元
    • NDL ONLINE
    • NDLデジタルコレクション
ページトップへ