{"_buckets": {"deposit": "60399d09-00cf-4cad-abf9-80c9cc3244fd"}, "_deposit": {"id": "18998", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "18998"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00018998", "sets": ["314"]}, "author_link": ["55368", "55369", "55370", "55371", "55372", "55373", "55374", "55375", "55376", "55377"], "item_10_alternative_title_19": {"attribute_name": "その他のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "Extending program-generation system GeneSys for allowing negation in equational specifications", "subitem_alternative_title_language": "en"}]}, "item_10_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2007-12", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "392", "bibliographicPageEnd": "48", "bibliographicPageStart": "43", "bibliographicVolumeNumber": "107", "bibliographic_titles": [{"bibliographic_title": "電子情報通信学会技術研究報告SS, ソフトウェアサイエンス", "bibliographic_titleLang": "ja"}]}]}, "item_10_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "プログラム生成系GeneSysは一階述語論理で記述された仕様からの実行可能なプログラム生成を目的とした手法である.本論文では,GeneSysで否定記号を含む論理式を扱うために既存の変換規則を拡張し,否定記号を用いた仕様からのプログラム生成の例を示す.また,否定記号に関連する変換規則などを新たに追加し,これによりプログラムの生成が可能になる例を示す. ", "subitem_description_language": "ja", "subitem_description_type": "Abstract"}, {"subitem_description": "Program-Generation System GeneSys has been proposed, which generated executable programs from first order equational specifications without negation. In this paper, we extend conversion rules of GeneSys in order to handle formulas with negation, and show a program-generation example from a specification with negation. We also propose new conversion rules related to negation and give a example that indicates benefits of the new rules.", "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/110006549281"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/21102"}]}, "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/110006549281", "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": "55368", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "酒井, 正彦", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55369", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "坂部, 俊樹", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55370", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "草刈, 圭一郎", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55371", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "西田, 直樹", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55372", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "KONDO, Satoru", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55373", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKAI, Masahiko", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55374", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKABE, Toshiki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55375", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "KUSAKARI, Keiichirou", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55376", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "NISHIDA, Naoki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55377", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "110006549281.pdf", "filesize": [{"value": "913.1 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 913100.0, "url": {"label": "110006549281.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/18998/files/110006549281.pdf"}, "version_id": "402e32cf-d087-441d-9d91-29fcb8ac06db"}]}, "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": "プログラム生成系GeneSysにおける等式仕様への否定の導入", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "プログラム生成系GeneSysにおける等式仕様への否定の導入", "subitem_title_language": "ja"}]}, "item_type_id": "10", "owner": "1", "path": ["314"], "permalink_uri": "http://hdl.handle.net/2237/21102", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2015-01-20"}, "publish_date": "2015-01-20", "publish_status": "0", "recid": "18998", "relation": {}, "relation_version_is_last": true, "title": ["プログラム生成系GeneSysにおける等式仕様への否定の導入"], "weko_shared_id": -1}