{"created":"2021-03-01T06:26:27.368768+00:00","id":19001,"links":{},"metadata":{"_buckets":{"deposit":"32c44ce2-dd02-4c30-9399-a3492de2a6ae"},"_deposit":{"id":"19001","owners":[],"pid":{"revision_id":0,"type":"depid","value":"19001"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00019001"},"item_10_alternative_title_19":{"attribute_name":"\u305d\u306e\u4ed6\u306e\u8a00\u8a9e\u306e\u30bf\u30a4\u30c8\u30eb","attribute_value_mlt":[{"subitem_alternative_title":"Program Generation Based on Transformation of Conditional Equations"}]},"item_10_biblio_info_6":{"attribute_name":"\u66f8\u8a8c\u60c5\u5831","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2009-12","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"343","bibliographicPageEnd":"42","bibliographicPageStart":"37","bibliographicVolumeNumber":"109","bibliographic_titles":[{"bibliographic_title":"\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a\u6280\u8853\u7814\u7a76\u5831\u544aSS, \u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u30b5\u30a4\u30a8\u30f3\u30b9"}]}]},"item_10_description_4":{"attribute_name":"\u6284\u9332","attribute_value_mlt":[{"subitem_description":"\u4ee5\u524d\u306b\u6211\u3005\u304c\u63d0\u6848\u3057\u305f\u30d7\u30ed\u30b0\u30e9\u30e0\u751f\u6210\u7cfbGeneSys\u306f,\u4e00\u968e\u8ff0\u8a9e\u8ad6\u7406\u5f0f\u3067\u8868\u73fe\u3055\u308c\u305f\u4ed5\u69d8\u304b\u3089\u5b9f\u884c\u53ef\u80fd\u306a\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u751f\u6210\u3059\u308b\u304c,\u5909\u63db\u904e\u7a0b\u306e\u8ad6\u7406\u5f0f\u304c\u8907\u96d1\u306b\u306a\u308a\u3084\u3059\u3044\u6b20\u70b9\u304c\u3042\u308b.\u672c\u7a3f\u3067\u306f,\u4ed5\u69d8\u306e\u8868\u73fe\u65b9\u6cd5\u3092\u6761\u4ef6\u4ed8\u304d\u7b49\u5f0f(\u30db\u30fc\u30f3\u7bc0)\u306b\u5236\u9650\u3057,\u5358\u7d14\u304b\u3064\u76f4\u89b3\u7684\u306a\u30d7\u30ed\u30b0\u30e9\u30e0\u751f\u6210\u7cfb\u306e\u69cb\u7bc9\u3092\u76ee\u6307\u3059.\u305d\u306e\u4e0a\u3067,\u30d7\u30ed\u30b0\u30e9\u30e0\u751f\u6210\u306e\u3044\u304f\u3064\u304b\u306e\u5b9f\u4f8b\u3092\u6319\u3052\u308b. Program-generation system GeneSys, which we have ever proposed, generates executable programs from first order equational specifications. The system is, however, apt to create complicated formulas during transformation. Instead, in this paper, we use conditional equations (Horn clauses) as specifications to try constructing a more simple and more intuitive system. On that basis, we give examples of program generation.","subitem_description_type":"Abstract"}]},"item_10_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"URI","subitem_identifier_uri":"http://ci.nii.ac.jp/naid/110008001255"},{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/21105"}]},"item_10_publisher_32":{"attribute_name":"\u51fa\u7248\u8005","attribute_value_mlt":[{"subitem_publisher":"\u4e00\u822c\u793e\u56e3\u6cd5\u4eba\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a"}]},"item_10_rights_12":{"attribute_name":"\u6a29\u5229","attribute_value_mlt":[{"subitem_rights":"(c)\u4e00\u822c\u793e\u56e3\u6cd5\u4eba\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a\u3002\u672c\u6587\u30c7\u30fc\u30bf\u306f\u5b66\u5354\u4f1a\u306e\u8a31\u8afe\u306b\u57fa\u3065\u304dCiNii\u304b\u3089\u8907\u88fd\u3057\u305f\u3082\u306e\u3067\u3042\u308b"}]},"item_10_select_15":{"attribute_name":"\u8457\u8005\u7248\u30d5\u30e9\u30b0","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_10_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0913-5685","subitem_source_identifier_type":"ISSN"}]},"item_creator":{"attribute_name":"\u8457\u8005","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"\u9577\u5cf6, \u6b63\u61b2"}],"nameIdentifiers":[{"nameIdentifier":"55398","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"\u9152\u4e95, \u6b63\u5f66"}],"nameIdentifiers":[{"nameIdentifier":"55399","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"\u5742\u90e8, \u4fca\u6a39"}],"nameIdentifiers":[{"nameIdentifier":"55400","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"\u897f\u7530, \u76f4\u6a39"}],"nameIdentifiers":[{"nameIdentifier":"55401","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"\u8349\u5208, \u572d\u4e00\u6717"}],"nameIdentifiers":[{"nameIdentifier":"55402","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"NAGASHIMA, Masanori"}],"nameIdentifiers":[{"nameIdentifier":"55403","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKAI, Masahiro"}],"nameIdentifiers":[{"nameIdentifier":"55404","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKABE, Toshiki"}],"nameIdentifiers":[{"nameIdentifier":"55405","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"NISHIDA, Naoki"}],"nameIdentifiers":[{"nameIdentifier":"55406","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KUSAKARI, Keiichirou"}],"nameIdentifiers":[{"nameIdentifier":"55407","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"\u30d5\u30a1\u30a4\u30eb\u60c5\u5831","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"110008001255.pdf","filesize":[{"value":"736.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"110008001255.pdf","url":"https://nagoya.repo.nii.ac.jp/record/19001/files/110008001255.pdf"},"version_id":"8c4ca253-f205-4404-82cf-ae82f3f3a3f8"}]},"item_keyword":{"attribute_name":"\u30ad\u30fc\u30ef\u30fc\u30c9","attribute_value_mlt":[{"subitem_subject":"\u30d7\u30ed\u30b0\u30e9\u30e0\u751f\u6210","subitem_subject_scheme":"Other"},{"subitem_subject":"\u6761\u4ef6\u4ed8\u304d\u7b49\u5f0f","subitem_subject_scheme":"Other"},{"subitem_subject":"\u30db\u30fc\u30f3\u7bc0","subitem_subject_scheme":"Other"},{"subitem_subject":"\u9805\u66f8\u63db\u3048\u7cfb","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"\u8a00\u8a9e","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"\u8cc7\u6e90\u30bf\u30a4\u30d7","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"\u6761\u4ef6\u4ed8\u304d\u7b49\u5f0f\u306e\u5909\u63db\u306b\u57fa\u3065\u304f\u30d7\u30ed\u30b0\u30e9\u30e0\u751f\u6210","item_titles":{"attribute_name":"\u30bf\u30a4\u30c8\u30eb","attribute_value_mlt":[{"subitem_title":"\u6761\u4ef6\u4ed8\u304d\u7b49\u5f0f\u306e\u5909\u63db\u306b\u57fa\u3065\u304f\u30d7\u30ed\u30b0\u30e9\u30e0\u751f\u6210"}]},"item_type_id":"10","owner":"1","path":["312/313/314"],"pubdate":{"attribute_name":"\u516c\u958b\u65e5","attribute_value":"2015-01-20"},"publish_date":"2015-01-20","publish_status":"0","recid":"19001","relation_version_is_last":true,"title":["\u6761\u4ef6\u4ed8\u304d\u7b49\u5f0f\u306e\u5909\u63db\u306b\u57fa\u3065\u304f\u30d7\u30ed\u30b0\u30e9\u30e0\u751f\u6210"],"weko_creator_id":"1","weko_shared_id":null},"updated":"2021-03-01T16:25:45.614396+00:00"}