tacticからのプログラム抽出
スポンサーリンク
概要
- 論文の詳細を見る
定理証明系の証明記述言語であるtacticからのプログラム抽出における問題について議論する.tacticは証明の構成手順を記述するための制御構造を持っており,プログラムの制御構造にあてはめて考えることができる.本稿ではいくつかの事例をとおしてtacticからプログラムを抽出するために次の2点が重要であることを指摘する.・tacticが扱うgoalのパターンを求めること ・goalのパターンを論理体系のなかで表現すること
- 一般社団法人情報処理学会の論文
- 1997-03-28
著者
関連論文
- 大規模ユーザデータベースシステムの開発
- 大規模ユーザデータベースシステムノ開発
- 実用的ネットワークアプリケーションプログラムの研究開発と開発環境の評価
- キャンパスネットワークのネイティブマルチキャスト化
- タクティクからのプログラム抽出とその応用
- tacticからのプログラム抽出
- キャンパスネットワーク利用規定・ガイドラインに関する諸問題
- キャンパスネットワークにおける障害 : 落雷
- 千葉大学計算機ネットワークにおける障害 : ネットワーク層
- 数学の形式化と計算機科学(2)
- 数学の形式化と計算機科学(1)
- 千葉大学計算機ネットワークにおける障害 : セキュリティ
- ネットワーク運営に関する規定・ドキュメントなどの整備状況
- 紙に埋め込まれたプログラムによる紙インタフェース
- 自然言語インターフェースを用いた検索結果の視覚化