{"created":"2021-03-01T06:06:45.685337+00:00","id":3018,"links":{},"metadata":{"_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":["423:424:425","453:454"]},"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","filename":"110002721720.pdf","filesize":[{"value":"1.3 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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"],"pubdate":{"attribute_name":"公開日","attribute_value":"2014-03-11"},"publish_date":"2014-03-11","publish_status":"0","recid":"3018","relation_version_is_last":true,"title":["汎用論証支援システムEUODHILOS-IIの設計と実装"],"weko_creator_id":"1","weko_shared_id":null},"updated":"2022-12-15T03:36:12.941646+00:00"}