| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2010-10-14 17:00 ［招待講演］近年の一階論理定理証明プログラムの実際 ○岩沼宏治（山梨大）  SS2010-33 |
|
| 抄録 | （和） | 本稿では近年発展を遂げてきた一階論理定理証明システム，特に，応用上極めて重要な等号推論システムについて概説を行う．現在までのところ，等号推論の効率化は，上昇型推論戦略上の等号調整法の効率化によって達成されてきた．その基礎となる推論体系と最新の証明システムで使われている種々の工学的技術について概説する． |
| （英） | In this paper, we survey a first-order equational theorem proving mainly from a viewpoint of practice. Bottom-up theorem proving is a quite appropriate framework for equational inference, so we study its underlying advanced calculi and several technologies of state-of-the-art automated equational theorem proving systems. |
|
| キーワード | （和） | 一階論理 / 定理自動証明 / 等号推論 / インデキィシング / 索引 / / / |
| （英） | first-order logic / automated theorem proving / equational inference / indexing / engineering / / / | |
| 文献情報 | 信学技報, vol. 110, no. 227, SS2010-33, pp. 31-36, 2010年10月. | |
| 資料番号 | SS2010-33 | |
| 発行日 | 2010-10-07 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2010-33 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2010-10-14 - 2010-10-15 |
| 開催地（和） | 岩手県立大学 |
| 開催地（英） | Iwate Prefectural Univ. |
| テーマ（和） | 一般 |
| テーマ（英） | General |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2010-10-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | 近年の一階論理定理証明プログラムの実際 |
| サブタイトル（和） | |
| タイトル（英） | A Survey on Advanced Automated Equational Theorem Proving Systems |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 一階論理 / first-order logic |
| キーワード(2)（和/英） | 定理自動証明 / automated theorem proving |
| キーワード(3)（和/英） | 等号推論 / equational inference |
| キーワード(4)（和/英） | インデキィシング / indexing |
| キーワード(5)（和/英） | 索引 / engineering |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 岩沼 宏治 / Koji Iwanuma / イワヌマ コウジ |
| 第1著者 所属（和/英） | 山梨大学 (略称： 山梨大) University of Yamanashi (略称： Univ. Yamanashi) |
| 講演者 | 第1著者 |
| 発表日時 | 2010-10-14 17:00:00 |
| 発表時間 | 60分 |
| 申込先研究会 | SS |
| 資料番号 | SS2010-33 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | no.227 |
| ページ範囲 | pp.31-36 |
| ページ数 | 6 |
| 発行日 | 2010-10-07 (SS) |
[研究会発表申込システムのトップページに戻る]