{"_buckets": {"deposit": "30700da7-d0d2-46c3-b24e-3f946e3075b9"}, "_deposit": {"id": "19055", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "19055"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00019055"}, "item_10_alternative_title_19": {"attribute_name": "\u305d\u306e\u4ed6\u306e\u8a00\u8a9e\u306e\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_alternative_title": "Rewriting Induction for Constrained Term Rewriting Systems"}]}, "item_10_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2009-03", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "2", "bibliographicPageEnd": "96", "bibliographicPageStart": "80", "bibliographicVolumeNumber": "2", "bibliographic_titles": [{"bibliographic_title": "\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u8ad6\u6587\u8a8c, \u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0"}]}]}, "item_10_description_4": {"attribute_name": "\u6284\u9332", "attribute_value_mlt": [{"subitem_description": "\u5e30\u7d0d\u7684\u5b9a\u7406\u306e\u8a3c\u660e\u539f\u7406\u306e 1 \u3064\u3067\u3042\u308b\u6f5c\u5728\u5e30\u7d0d\u6cd5\u304c\u5236\u7d04\u4ed8\u304d\u9805\u66f8\u63db\u3048\u7cfb\u306b\u5bfe\u5fdc\u3059\u308b\u3088\u3046\u306b\u62e1\u5f35\u3055\u308c,\u547d\u4ee4\u578b\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u7b49\u4fa1\u6027\u691c\u8a3c\u306b\u5fdc\u7528\u3055\u308c\u3066\u3044\u308b.\u672c\u8ad6\u6587\u3067\u306f,\u5225\u306e\u8a3c\u660e\u539f\u7406\u3067\u3042\u308b\u66f8\u63db\u3048\u5e30\u7d0d\u6cd5\u3092\u5236\u7d04\u4ed8\u304d\u9805\u66f8\u304d\u63db\u3048\u7cfb\u306b\u5bfe\u5fdc\u3059\u308b\u3088\u3046\u306b\u62e1\u5f35\u3059\u308b\u3068\u3068\u3082\u306b,\u305d\u306e\u6b63\u3057\u3055\u3092\u8a3c\u660e\u3059\u308b.\u307e\u305f,\u62e1\u5f35\u3055\u308c\u305f\u66f8\u63db\u3048\u5e30\u7d0d\u6cd5\u306b\u57fa\u3065\u3044\u305f\u5e30\u7d0d\u7684\u5b9a\u7406\u306e\u8a3c\u660e\u6cd5\u3092\u63d0\u6848\u3059\u308b.\u3055\u3089\u306b,\u5e30\u7d0d\u7684\u5b9a\u7406\u3067\u306a\u3044\u3053\u3068\u3092\u793a\u3059\u53cd\u8a3c\u306e\u624b\u6cd5\u306b\u3064\u3044\u3066\u3082\u8b70\u8ad6\u3059\u308b. The implicit induction, which is one of induction principles for proving inductive theorems of equational theories, has been extended to deal with constrained term rewriting systems. It has been applied to a method for proving equivalence of imperative programs. In this paper, we extend another induction principle, the rewriting induction, to cope with the case of constrained term rewriting systems, and show its correctness. We also propose a method for proving inductive theorems being based on the extended rewriting induction. Moreover, we show a technique to disprove inductive theorems.", "subitem_description_type": "Abstract"}]}, "item_10_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "URI", "subitem_identifier_uri": "http://id.nii.ac.jp/1001/00060630/"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/21161"}]}, "item_10_publisher_32": {"attribute_name": "\u51fa\u7248\u8005", "attribute_value_mlt": [{"subitem_publisher": "\u4e00\u822c\u793e\u56e3\u6cd5\u4eba\u60c5\u5831\u51e6\u7406\u5b66\u4f1a"}]}, "item_10_rights_12": {"attribute_name": "\u6a29\u5229", "attribute_value_mlt": [{"subitem_rights": "\u3053\u3053\u306b\u63b2\u8f09\u3057\u305f\u8457\u4f5c\u7269\u306e\u5229\u7528\u306b\u95a2\u3059\u308b\u6ce8\u610f \u672c\u8457\u4f5c\u7269\u306e\u8457\u4f5c\u6a29\u306f\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u306b\u5e30\u5c5e\u3057\u307e\u3059\u3002\u672c\u8457\u4f5c\u7269\u306f\u8457\u4f5c\u6a29\u8005\u3067\u3042\u308b\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u306e\u8a31\u53ef\u306e\u3082\u3068\u306b\u63b2\u8f09\u3059\u308b\u3082\u306e\u3067\u3059\u3002\u3054\u5229\u7528\u306b\u5f53\u305f\u3063\u3066\u306f\u300c\u8457\u4f5c\u6a29\u6cd5\u300d\u306a\u3089\u3073\u306b\u300c\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u502b\u7406\u7db1\u9818\u300d\u306b\u5f93\u3046\u3053\u3068\u3092\u304a\u9858\u3044\u3044\u305f\u3057\u307e\u3059\u3002Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. Comments are welcome. Mail to address editj\uff20ipsj.or.jp, please."}]}, "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": "0387-5806", "subitem_source_identifier_type": "ISSN"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "\u5742\u7530, \u7ffc"}], "nameIdentifiers": [{"nameIdentifier": "55648", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u897f\u7530, \u76f4\u6a39"}], "nameIdentifiers": [{"nameIdentifier": "55649", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u5742\u90e8, \u4fca\u6a39"}], "nameIdentifiers": [{"nameIdentifier": "55650", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u9152\u4e95, \u6b63\u5f66"}], "nameIdentifiers": [{"nameIdentifier": "55651", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u8349\u5208, \u572d\u4e00\u6717"}], "nameIdentifiers": [{"nameIdentifier": "55652", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakata, Tsubasa"}], "nameIdentifiers": [{"nameIdentifier": "55653", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Nishida, Naoki"}], "nameIdentifiers": [{"nameIdentifier": "55654", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakabe, Toshiki"}], "nameIdentifiers": [{"nameIdentifier": "55655", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakai, Masahiko"}], "nameIdentifiers": [{"nameIdentifier": "55656", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "KUSAKARI, Keiichirou"}], "nameIdentifiers": [{"nameIdentifier": "55657", "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": "IPSJ-TPRO0202008.pdf", "filesize": [{"value": "342.4 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 342400.0, "url": {"label": "IPSJ-TPRO0202008.pdf", "url": "https://nagoya.repo.nii.ac.jp/record/19055/files/IPSJ-TPRO0202008.pdf"}, "version_id": "2af16f22-74a4-41b5-9741-ab3daacc0a2c"}]}, "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\u66f8\u63db\u3048\u7cfb\u306b\u304a\u3051\u308b\u66f8\u63db\u3048\u5e30\u7d0d\u6cd5", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "\u5236\u7d04\u4ed8\u304d\u9805\u66f8\u63db\u3048\u7cfb\u306b\u304a\u3051\u308b\u66f8\u63db\u3048\u5e30\u7d0d\u6cd5"}]}, "item_type_id": "10", "owner": "1", "path": ["312/313/314"], "permalink_uri": "http://hdl.handle.net/2237/21161", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_name_i18n": "\u516c\u958b\u65e5", "attribute_value": "2015-01-29"}, "publish_date": "2015-01-29", "publish_status": "0", "recid": "19055", "relation": {}, "relation_version_is_last": true, "title": ["\u5236\u7d04\u4ed8\u304d\u9805\u66f8\u63db\u3048\u7cfb\u306b\u304a\u3051\u308b\u66f8\u63db\u3048\u5e30\u7d0d\u6cd5"], "weko_shared_id": null}