{"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","sets":["312:313:314"]},"author_link":["55398","55399","55400","55401","55402","55403","55404","55405","55406","55407"],"item_10_alternative_title_19":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"Program Generation Based on Transformation of Conditional Equations","subitem_alternative_title_language":"en"}]},"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2009-12","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"343","bibliographicPageEnd":"42","bibliographicPageStart":"37","bibliographicVolumeNumber":"109","bibliographic_titles":[{"bibliographic_title":"電子情報通信学会技術研究報告SS, ソフトウェアサイエンス","bibliographic_titleLang":"ja"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"以前に我々が提案したプログラム生成系GeneSysは,一階述語論理式で表現された仕様から実行可能なプログラムを生成するが,変換過程の論理式が複雑になりやすい欠点がある.本稿では,仕様の表現方法を条件付き等式(ホーン節)に制限し,単純かつ直観的なプログラム生成系の構築を目指す.その上で,プログラム生成のいくつかの実例を挙げる. ","subitem_description_language":"ja","subitem_description_type":"Abstract"},{"subitem_description":"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_language":"en","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":"出版者","attribute_value_mlt":[{"subitem_publisher":"一般社団法人電子情報通信学会","subitem_publisher_language":"ja"}]},"item_10_relation_43":{"attribute_name":"関連情報","attribute_value_mlt":[{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"http://ci.nii.ac.jp/naid/110008001255","subitem_relation_type_select":"URI"}}]},"item_10_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"(c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである","subitem_rights_language":"ja"}]},"item_10_select_15":{"attribute_name":"著者版フラグ","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":"PISSN"}]},"item_1615787544753":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"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":"長島, 正憲","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55398","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"酒井, 正彦","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55399","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"坂部, 俊樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55400","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"西田, 直樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55401","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"草刈, 圭一朗","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55402","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"NAGASHIMA, Masanori","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55403","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKAI, Masahiro","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55404","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKABE, Toshiki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55405","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"NISHIDA, Naoki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55406","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KUSAKARI, Keiichirou","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55407","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","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","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/19001/files/110008001255.pdf"},"version_id":"8c4ca253-f205-4404-82cf-ae82f3f3a3f8"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"プログラム生成","subitem_subject_scheme":"Other"},{"subitem_subject":"条件付き等式","subitem_subject_scheme":"Other"},{"subitem_subject":"ホーン節","subitem_subject_scheme":"Other"},{"subitem_subject":"項書換え系","subitem_subject_scheme":"Other"}]},"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":"条件付き等式の変換に基づくプログラム生成","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"条件付き等式の変換に基づくプログラム生成","subitem_title_language":"ja"}]},"item_type_id":"10","owner":"1","path":["314"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2015-01-20"},"publish_date":"2015-01-20","publish_status":"0","recid":"19001","relation_version_is_last":true,"title":["条件付き等式の変換に基づくプログラム生成"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:07:15.370827+00:00"}