Mutsunori Banbara

論文一覧:  1件中 1-1 を表示

  • 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム

    田村 直之 , 番原 睦則 , Naoyuki Tamura , Mutsunori Banbara , 神戸大学学術情報基盤センター , 神戸大学学術情報基盤センター , Information Science and Technology Center Kobe University , Information Science and Technology Center Kobe University

    本論文では,著者らの開発した線形論理型言語コンパイラ処理系のLLPを用いて,古典命題線形論理の論理式の証明探索を行うシステムLL2LLPについて述べる.本システムは,古典命題線形論理式を直観主義線形論理式に変換し,さらにLLPコンパイラを用いてLLP抽象機械命令にコンパイルしたのち実行することで高速な証明探索を実現している点に特徴がある.いくつかの線形論理式に対して,既存の線形論理定理証明システム …

    コンピュータソフトウェア = Computer software 22(1), 98-103, 2005-01-26

    CiNii 外部リンク 機関リポジトリ J-STAGE 参考文献23件 被引用文献1件

ページトップへ