{"created":"2023-05-15T15:32:20.789380+00:00","id":5215,"links":{},"metadata":{"_buckets":{"deposit":"e6e65510-42c1-4267-b2be-1f9372a0714f"},"_deposit":{"created_by":17,"id":"5215","owners":[17],"pid":{"revision_id":0,"type":"depid","value":"5215"},"status":"published"},"_oai":{"id":"oai:barrel.repo.nii.ac.jp:00005215","sets":["1:628"]},"author_link":["32522","32523","32525","32524","32515"],"item_1_biblio_info_5":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2013-06","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"6","bibliographicPageEnd":"2650","bibliographicPageStart":"2635","bibliographicVolumeNumber":"9","bibliographic_titles":[{},{"bibliographic_title":"International Journal of Innovative Computing, Information and Control ","bibliographic_titleLang":"en"}]}]},"item_1_description_18":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"To propose methods for making Equivalent Transformation (ET) rules is important for generating correct and sufficiently efficient programs from a specification which is a set of logical formulas. An ET rule is a procedure for replacing a clause set with another one while preserving declarative meaning. This paper proposes a new method for making ET rules via a Logical Equivalence (LE) from a specification. An LE describes an equivalence relationship between two logical formulas under some specified preconditions. We newly formulate an LE and define the correctness of LEs with respect to a specification. It is guaranteed by the method of this paper that an ET rule can be made from a correct LE. The method is useful for the generation of various programs. Many ET rules included in programs which solve constraint satisfaction problems, can be made by the method.","subitem_description_type":"Abstract"}]},"item_1_full_name_3":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"32525","nameIdentifierScheme":"WEKO"}],"names":[{"name":"三浦, 克宜"}]}]},"item_1_publisher_6":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"ICIC International "}]},"item_1_rights_12":{"attribute_name":"権利表記","attribute_value_mlt":[{"subitem_rights":"©2013 ICIC International "}]},"item_1_source_id_11":{"attribute_name":"書誌ID（NCID）","attribute_value_mlt":[{"subitem_source_identifier":"AA12218449","subitem_source_identifier_type":"NCID"}]},"item_1_source_id_7":{"attribute_name":"ISSN / EISSN","attribute_value_mlt":[{"subitem_source_identifier":"13494198 ","subitem_source_identifier_type":"ISSN"}]},"item_1_subject_16":{"attribute_name":"日本十進分類法","attribute_value_mlt":[{"subitem_subject":"375 ","subitem_subject_scheme":"NDC"}]},"item_1_subject_17":{"attribute_name":"NIIサブジェクト","attribute_value_mlt":[{"subitem_subject":"メディア・コミュニケーション","subitem_subject_scheme":"Other"}]},"item_1_version_type_15":{"attribute_name":"テキストバージョン","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Miura, Katsunori"}],"nameIdentifiers":[{"nameIdentifier":"32515","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Akama, Kiyoshi"}],"nameIdentifiers":[{"nameIdentifier":"32522","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Mabuchi, Hiroshi"}],"nameIdentifiers":[{"nameIdentifier":"32523","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Koike, Hidekatsu"}],"nameIdentifiers":[{"nameIdentifier":"32524","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-09-21"}],"displaytype":"detail","filename":"IJICIC2013-9-6.pdf","filesize":[{"value":"237.1 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"IJICIC2013-9-6","url":"https://barrel.repo.nii.ac.jp/record/5215/files/IJICIC2013-9-6.pdf"},"version_id":"960829e2-46b9-4543-be20-4bf6b24a0c5f"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Equivalent transformation (ET) rule","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"Logical equivalence (LE)","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"Equivalence relationship of clause sets","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"Rule generation mapping (RGM)","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"LE in Class S","subitem_subject_language":"en","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS"},{"subitem_title":"THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS","subitem_title_language":"en"}]},"item_type_id":"1","owner":"17","path":["628"],"pubdate":{"attribute_name":"公開日","attribute_value":"2018-09-21"},"publish_date":"2018-09-21","publish_status":"0","recid":"5215","relation_version_is_last":true,"title":["THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS"],"weko_creator_id":"17","weko_shared_id":-1},"updated":"2023-05-15T16:16:01.361946+00:00"}