{"_buckets": {"deposit": "6d573fb7-f554-4c68-8eba-2e1d3e4f1e1d"}, "_deposit": {"id": "3018", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "3018"}, "status": "published"}, "_oai": {"id": "oai:niigata-u.repo.nii.ac.jp:00003018", "sets": ["454", "425"]}, "item_5_alternative_title_1": {"attribute_name": "その他のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "Design and Implementation of General Reasoning Assistant System EUODHILOS-II"}]}, "item_5_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1997-01", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "1", "bibliographicPageEnd": "22", "bibliographicPageStart": "9", "bibliographicVolumeNumber": "38", "bibliographic_titles": [{"bibliographic_title": "情報処理学会論文誌"}, {"bibliographic_title": "情報処理学会論文誌", "bibliographic_titleLang": "en"}]}]}, "item_5_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "EUODHILOS-IIは,PSI/SIMPOS上に実現されたBUODHILOSの可搬性と利用可能性を高めるために,GNU Emacs上に新たに作られた汎用の論証支援システムである.この論文では,まずEUODHIILOS-IIを広く普及しているGNU Emacs上に設計実現する際に問題となった諸点を議論する.次いで,EUODHILOS-IIの主要な構成要素である論理系定義,証明構築,証明指向のインタフェースに含まれる特徴的な仕様設計と実現方法について述べる.最後に,EUODHILOS-IIの利点をまとめ,設計思想が類似している他のシステムとの比較を与える.", "subitem_description_type": "Abstract"}, {"subitem_description": "EUODHILOS-II is a general reasoning assistant system for various logics built on top of GNU Emacs, aiming at highly portable and widely usable version of EUODHILOS built on PSI/SIMPOS. This paper first argues about the issues which raised in designing and implementing EUODHILOS-II on the widely prevailing platform GNU Emacs. Then, we describe the specification and the implementation methods of unique features in logic definition, proof construction and reasoning-oriented interface which are the main components of EUODUILOS-II. The paper concludes with discussing some advantages of EUODHJLOS-II and comparing it with other systems which have the similar design principle.", "subitem_description_type": "Abstract"}]}, "item_5_full_name_3": {"attribute_name": "著者別名", "attribute_value_mlt": [{"nameIdentifiers": [{"nameIdentifier": "40431", "nameIdentifierScheme": "WEKO"}], "names": [{"name": "Ohtani, Takeshi"}]}, {"nameIdentifiers": [{"nameIdentifier": "40432", "nameIdentifierScheme": "WEKO"}], "names": [{"name": "Sawamura, Hajime"}]}, {"nameIdentifiers": [{"nameIdentifier": "40433", "nameIdentifierScheme": "WEKO"}], "names": [{"name": "Minami, Toshiro"}]}]}, "item_5_publisher_7": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "情報処理学会"}]}, "item_5_relation_31": {"attribute_name": "異版である", "attribute_value_mlt": [{"subitem_relation_type": "isVersionOf", "subitem_relation_type_id": {"subitem_relation_type_id_text": "http://ci.nii.ac.jp/naid/110002721720", "subitem_relation_type_select": "URI"}}]}, "item_5_rights_15": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "一般社団法人情報処理学会"}, {"subitem_rights": "本文データは学協会の許諾に基づきCiNiiから複製したものである"}]}, "item_5_select_19": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_5_source_id_11": {"attribute_name": "書誌レコードID", "attribute_value_mlt": [{"subitem_source_identifier": "AN00116647", "subitem_source_identifier_type": "NCID"}]}, "item_5_source_id_9": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "03875806", "subitem_source_identifier_type": "ISSN"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "大谷, 武"}], "nameIdentifiers": [{"nameIdentifier": "40428", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "沢村, 一"}], "nameIdentifiers": [{"nameIdentifier": "40429", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "南, 俊朗"}], "nameIdentifiers": [{"nameIdentifier": "40430", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2019-07-30"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "110002721720.pdf", "filesize": [{"value": "1.3 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 1300000.0, "url": {"label": "110002721720.pdf", "url": "https://niigata-u.repo.nii.ac.jp/record/3018/files/110002721720.pdf"}, "version_id": "4e3029aa-a0ff-4eba-999f-b254ea56d031"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "汎用論証支援システムEUODHILOS-IIの設計と実装", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "汎用論証支援システムEUODHILOS-IIの設計と実装"}, {"subitem_title": "汎用論証支援システムEUODHILOS-IIの設計と実装", "subitem_title_language": "en"}]}, "item_type_id": "5", "owner": "1", "path": ["454", "425"], "permalink_uri": "http://hdl.handle.net/10191/26117", "pubdate": {"attribute_name": "公開日", "attribute_value": "2014-03-11"}, "publish_date": "2014-03-11", "publish_status": "0", "recid": "3018", "relation": {}, "relation_version_is_last": true, "title": ["汎用論証支援システムEUODHILOS-IIの設計と実装"], "weko_shared_id": null}