{"created":"2021-03-01T06:00:24.549922+00:00","id":7951,"links":{},"metadata":{"_buckets":{"deposit":"3c4d246a-b0ad-45f0-8a56-ad183ffdf47b"},"_deposit":{"id":"7951","owners":[],"pid":{"revision_id":0,"type":"depid","value":"7951"},"status":"published"},"_oai":{"id":"oai:kitami-it.repo.nii.ac.jp:00007951","sets":["1:87"]},"author_link":["44889","41150","41151","41152","41153"],"item_1646810750418":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_3_biblio_info_186":{"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_3_description_184":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"To propose methods for making Equivalent Transformation (ET) rules is\nimportant for generating correct and sufficiently efficient programs from a speci cation\nwhich is a set of logical formulas. An ET rule is a procedure for replacing a clause\nset with another one while preserving declarative meaning. This paper proposes a new\nmethod for making ET rules via a Logical Equivalence (LE) from a speci cation. An LE\ndescribes an equivalence relationship between two logical formulas under some speci ed\npreconditions. We newly formulate an LE and de ne the correctness of LEs with respect\nto a speci cation. It is guaranteed by the method of this paper that an ET rule can be\nmade from a correct LE. The method is useful for the generation of various programs.\nMany ET rules included in programs which solve constraint satisfaction problems, can be\nmade by the method.","subitem_description_type":"Abstract"}]},"item_3_full_name_183":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"44889","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"50636587","nameIdentifierScheme":"KAKEN","nameIdentifierURI":"https://nrid.nii.ac.jp/ja/nrid/1000050636587 "}],"names":[{"name":"三浦, 克宜","nameLang":"ja"}]}]},"item_3_link_221":{"attribute_name":"関連サイト","attribute_value_mlt":[{"subitem_link_url":"http://www.ijicic.org/contents.htm"}]},"item_3_publisher_212":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"ICIC International"}]},"item_3_rights_192":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"c 2013 ICIC International"}]},"item_3_select_195":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Miura, Katsunori","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Akama, Kiyoshi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Mabuchi, Hiroshi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Koike, Hidekatsu","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-11-22"}],"displaytype":"detail","filename":"2013.06_Theoretical Basis for making Equivalent Transformation Rules from Logical Equivalences for Program Synthesis.pdf","filesize":[{"value":"229.5 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"2013.06_Theoretical Basis for making Equivalent Transformation Rules from Logical Equivalences for Program Synthesis.pdf","url":"https://kitami-it.repo.nii.ac.jp/record/7951/files/2013.06_Theoretical Basis for making Equivalent Transformation Rules from Logical Equivalences for Program Synthesis.pdf"},"version_id":"ba492e26-f932-4bf6-b5c6-683e1fe9b20d"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Equivalent transformation (ET) rule","subitem_subject_scheme":"Other"},{"subitem_subject":"Logical equivalence (LE)","subitem_subject_scheme":"Other"},{"subitem_subject":"Equivalence relationship of clause sets","subitem_subject_scheme":"Other"},{"subitem_subject":"Rule generation mapping (RGM)","subitem_subject_scheme":"Other"},{"subitem_subject":"LE in Class S","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_language":"en"}]},"item_type_id":"3","owner":"1","path":["87"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2015-09-03"},"publish_date":"2015-09-03","publish_status":"0","recid":"7951","relation_version_is_last":true,"title":["THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2022-12-13T02:21:24.367138+00:00"}