{"_buckets": {"deposit": "87d48a93-c67d-40cd-9287-b4afb802aa8e"}, "_deposit": {"id": "21419", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "21419"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00021419"}, "item_10_alternative_title_19": {"attribute_name": "\u305d\u306e\u4ed6\u306e\u8a00\u8a9e\u306e\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_alternative_title": "Construction of Constrained Tree Automata Recognizing Ground Instances of Constrained Terms"}]}, "item_10_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2013-01", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "373", "bibliographicPageEnd": "12", "bibliographicPageStart": "7", "bibliographicVolumeNumber": "112", "bibliographic_titles": [{"bibliographic_title": "\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a\u6280\u8853\u7814\u7a76\u5831\u544a. SS, \u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u30b5\u30a4\u30a8\u30f3\u30b9"}]}]}, "item_10_description_4": {"attribute_name": "\u6284\u9332", "attribute_value_mlt": [{"subitem_description": "\u5236\u7d04\u4ed8\u304d\u9805\u66f8\u63db\u3048\u7cfb\u306e\u66f8\u63db\u3048\u5e30\u7d0d\u6cd5\u306b\u57fa\u3065\u3044\u305f\u5b9a\u7406\u81ea\u52d5\u8a3c\u660e\u306e\u969b\u306b\u3001\u5236\u7d04\u4ed8\u304d\u9805\u66f8\u63db\u3048\u7cfb\u306eR\u5b8c\u5168\u6027\u306e\u5224\u5b9a\u624b\u7d9a\u304d\u304c\u5fc5\u8981\u3067\u3042\u308b\u3002\u307e\u305f\u3001\u5bfe\u8c61\u306e\u5236\u7d04\u4ed8\u304d\u9805\u66f8\u63db\u3048\u7cfb\u304c\u5341\u5206\u5b8c\u5168\u6027\u3092\u6301\u3064\u5834\u5408\u306b\u3001\u5b9a\u7406\u81ea\u52d5\u8a3c\u660e\u4e2d\u306e\u63a8\u8ad6\u898f\u5247\u306e\u9069\u7528\u6761\u4ef6\u3092\u7de9\u548c\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3002\u3053\u308c\u3089\u306e\u6027\u8cea\u306f\u3001\u5236\u7d04\u4ed8\u304d\u9805\u306e\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u306e\u96c6\u5408\u306b\u95a2\u3059\u308b\u7a4d\u96c6\u5408\u7a7a\u554f\u984c\u306b\u5e30\u7740\u3067\u304d\u308b\u3002\u672c\u8ad6\u6587\u3067\u306f\u3001\u5236\u7d04\u4ed8\u304d\u9805\u306e\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u3092\u53d7\u7406\u3059\u308b\u5236\u7d04\u4ed8\u304d\u6728\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e\u69cb\u6210\u6cd5\u3092\u63d0\u6848\u3059\u308b\u3002\u3055\u3089\u306b\u3001\u5236\u7d04\u4ed8\u304d\u6728\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u4e2d\u3067\u3069\u306e\u5165\u529b\u57fa\u5e95\u9805\u3082\u5230\u9054\u3059\u308b\u3053\u3068\u306e\u306a\u3044\u72b6\u614b\u3092\u524a\u9664\u3059\u308b\u624b\u6cd5\u3092\u63d0\u6848\u3059\u308b\u3053\u3068\u3067\u3001R\u5b8c\u5168\u6027\u3084\u5341\u5206\u5b8c\u5168\u6027\u306e\u5224\u5b9a\u306e\u7cbe\u5ea6\u5411\u4e0a\u3068\u52b9\u7387\u5316\u3092\u3081\u3056\u3059\u3002 A theorem proving method for constrained term rewriting systems, which is based on rewriting induction, needs a decision procedure for R-completeness of constrained term rewriting systems. In addition, sufficient completeness of constrained term rewriting systems enables us to relax the side conditions of some inference rules in the proving method. These two properties of constrained term rewriting systems can be reduced to intersection emptiness problems related to sets of ground instances for constrained terms. In this paper, we propose a method to construct constrained tree automata recognizing ground instances of constrained terms. We also propose a method to remove states from a constrained tree automaton, to which no ground term transitions, thus improving the accuracy for the judgements of R-completeness and sufficient completeness.", "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/110009728075/"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/23563"}]}, "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_relation_40": {"attribute_name": "\u30b7\u30ea\u30fc\u30ba", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "IEICE Technical Report;SS2012-47"}]}]}, "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 \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": "\u4e2d\u91ce, \u9756\u5927"}], "nameIdentifiers": [{"nameIdentifier": "62165", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u897f\u7530, \u76f4\u6a39"}], "nameIdentifiers": [{"nameIdentifier": "62166", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u9152\u4e95, \u6b63\u5f66"}], "nameIdentifiers": [{"nameIdentifier": "62167", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u5742\u90e8, \u4fca\u6a39"}], "nameIdentifiers": [{"nameIdentifier": "62168", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u8349\u5208, \u572d\u4e00\u6717"}], "nameIdentifiers": [{"nameIdentifier": "62169", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "NAKANO, Yasuhiro"}], "nameIdentifiers": [{"nameIdentifier": "62170", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "NISHIDA, Naoki"}], "nameIdentifiers": [{"nameIdentifier": "62171", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKAI, Masahiko"}], "nameIdentifiers": [{"nameIdentifier": "62172", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKABE, Toshiki"}], "nameIdentifiers": [{"nameIdentifier": "62173", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "KUSAKARI, Keiichirou"}], "nameIdentifiers": [{"nameIdentifier": "62174", "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", "download_preview_message": "", "file_order": 0, "filename": "110009728075.pdf", "filesize": [{"value": "911.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 911000.0, "url": {"label": "110009728075.pdf", "url": "https://nagoya.repo.nii.ac.jp/record/21419/files/110009728075.pdf"}, "version_id": "74de108c-97f9-443e-a3bc-571e2575acda"}]}, "item_keyword": {"attribute_name": "\u30ad\u30fc\u30ef\u30fc\u30c9", "attribute_value_mlt": [{"subitem_subject": "\u5236\u7d04\u4ed8\u304d\u9805\u66f8\u63db\u3048\u7cfb", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u7a4d\u96c6\u5408\u7a7a\u554f\u984c", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u5341\u5206\u5b8c\u5168\u6027", "subitem_subject_scheme": "Other"}, {"subitem_subject": "constrained term rewriting system", "subitem_subject_scheme": "Other"}, {"subitem_subject": "intersection emptiness problem", "subitem_subject_scheme": "Other"}, {"subitem_subject": "suficient completeness", "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": "\u5236\u7d04\u4ed8\u304d\u9805\u306e\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u3092\u53d7\u7406\u3059\u308b\u5236\u7d04\u4ed8\u304d\u6728\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e\u69cb\u6210\u6cd5", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "\u5236\u7d04\u4ed8\u304d\u9805\u306e\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u3092\u53d7\u7406\u3059\u308b\u5236\u7d04\u4ed8\u304d\u6728\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e\u69cb\u6210\u6cd5"}]}, "item_type_id": "10", "owner": "1", "path": ["312/313/314"], "permalink_uri": "http://hdl.handle.net/2237/23563", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2016-02-23"}, "publish_date": "2016-02-23", "publish_status": "0", "recid": "21419", "relation": {}, "relation_version_is_last": true, "title": ["\u5236\u7d04\u4ed8\u304d\u9805\u306e\u30a4\u30f3\u30b9\u30bf\u30f3\u30b9\u3092\u53d7\u7406\u3059\u308b\u5236\u7d04\u4ed8\u304d\u6728\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e\u69cb\u6210\u6cd5"], "weko_shared_id": null}