番原 睦則 Banbara Mutsunori

ID:9000283722569

神戸大学 学術情報基盤センター Information Science and Technology Center, Kobe University (2004年 CiNii収録論文より)

同姓同名の著者を検索

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

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

    田村 直之 , 番原 睦則

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

    日本ソフトウェア科学会大会講演論文集 21(0), 74-74, 2004

    J-STAGE DOI

ページトップへ