WEKO3
アイテム
Linked Dataを用いた理論グリッドの構築 -公理的集合論の形式理論フラグメントを用いた事例研究
https://ipsj.ixsq.nii.ac.jp/records/187757
https://ipsj.ixsq.nii.ac.jp/records/187757612808c9-47fa-4283-95f5-89ade9771f6d
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z80-6L-09.pdf (377.1 kB)
|
Copyright (c) 2018 by the Information Processing Society of Japan
|
| Item type | National Convention(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2018-03-13 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | Linked Dataを用いた理論グリッドの構築 -公理的集合論の形式理論フラグメントを用いた事例研究 | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | データとウェブ | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||
| 資源タイプ | conference paper | |||||||||||||
| 著者所属 | ||||||||||||||
| 埼玉大 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 埼玉大 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 埼玉大 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 埼玉大 | ||||||||||||||
| 著者名 |
佐久間, 亜都武
× 佐久間, 亜都武
× 後藤, 祐一
× 高, 宏彪
× 程, 京徳
|
|||||||||||||
| 論文抄録 | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | 自動定理発見は計算機に定理を自動的に証明させるのではなく、計算機に未知の定理を自動的に発見させることである。自動定理発見のためのインフラストラクチャとして理論グリッドおよびその理論的基礎が提案された。理論グリッドはさまざまな論理体系に基づく、さまざまな形式理論の部分集合を組織化し、管理する環境である。しかし、理論グリッドは未だ構築されていない。本研究ではデータをWeb上で相互にリンク付けして公開できる仕組みであるLinked Dataを用いた理論グリッドの構築法を提案した。また、公理的集合論の形式理論の部分集合を格納する理論グリッドのプロトタイプを構築した。 | |||||||||||||
| 書誌レコードID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AN00349328 | |||||||||||||
| 書誌情報 |
第80回全国大会講演論文集 巻 2018, 号 1, p. 463-464, 発行日 2018-03-13 |
|||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
