• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

古典線形論理に基づいた論理型言語に関する研究

研究課題

研究課題/領域番号 10139224
研究種目

特定領域研究(A)

配分区分補助金
研究機関神戸大学

研究代表者

田村 直之  神戸大学, 工学部, 助教授 (60207248)

研究分担者 林 晋  神戸大学, 工学部, 教授 (40156443)
研究期間 (年度) 1998
研究課題ステータス 完了 (1998年度)
配分額 *注記
1,400千円 (直接経費: 1,400千円)
1998年度: 1,400千円 (直接経費: 1,400千円)
キーワード線形論理 / 論理型言語 / 静的解析
研究概要

Millerにより設計されたForumは,古典線形論理に基づいた仕様記述言語であり,RISCプロセッサの仕様記述,Algol風言語の仕様記述,SMLの仕様記述,関数論理型並列言語の仕様記述などに用いられており,ペンシルバニア州立大学,ハーヴェイ・マッド・カレッジ,セント・アンドリュース大学,マラガ大学,神戸大学などで処理系が開発されているが,Forumには効率的な実行が困難という問題点がある.本年度は,Forumの効率的実行を目標として,Forumプログラムの静的解析アルゴリズムの研究開発を行った.具体的には以下の研究開発を行った.
● Forumの実行過程,すなわち証明過程を有限のAND-ORグラフで表現する方法の研究
● そのAND-ORグラフ上で,静的解析を行い,実行されないノードを取り除くことによって,最適化されたAND-ORグラフを作成するアルゴリズムの開発
● 最適化されたAND-ORグラフを元に,Forumプログラムを効率良く実行する処理系の設計リスト整列プログラムをベンチマークとして,上記手法の有効性を調べた所,長さ6のリストの整列について,1000倍近い速度向上が得られた.

報告書

(1件)
  • 1998 実績報告書
  • 研究成果

    (5件)

すべて その他

すべて 文献書誌 (5件)

  • [文献書誌] J.Hodas: "Efficient Implementation of a Linear Logic Programming Language" Proc.of the 1998 Joint Int'l Conf.and Symp.on Logic Programming. 145-159 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] M.Banbara: "Compiling Resources in a Linear Logic Programming Language" Proc.of Workshop on Parallelism and Implementation Technology for Logic Programming Languages. 32-45 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] S.Hayashi: "Testing Proofs by Examples" Lecture Notes in Computer Science 1538. 1-3 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 住友亮翼: "証明アニメーション支援環境の構築" コンピュータ・ソフトウェア. (掲載予定). (1999)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 八杉満利子: "論理パズルとパズルの論理" 遊星社, 158 (1998)

    • 関連する報告書
      1998 実績報告書

URL: 

公開日: 1998-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi