{"_buckets": {"deposit": "5680c63d-708d-43a8-b4f8-0229d6280bf4"}, "_deposit": {"id": "19050", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "19050"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00019050"}, "item_10_alternative_title_19": {"attribute_name": "\u305d\u306e\u4ed6\u306e\u8a00\u8a9e\u306e\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_alternative_title": "\u5358\u7d14\u578b\u4ed8\u304d\u9805\u66f8\u304d\u63db\u3048\u7cfb\u306b\u304a\u3051\u308b\u9759\u7684\u4f9d\u5b58\u5bfe\u6cd5\u3068\u305d\u306e\u5468\u8fba"}]}, "item_10_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2008-02", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "505", "bibliographicPageEnd": "24", "bibliographicPageStart": "19", "bibliographicVolumeNumber": "107", "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": "\u6211\u3005\u304c\u63d0\u6848\u3057\u305f\u95a2\u6570\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u5f37\u529b\u306a\u505c\u6b62\u6027\u8a3c\u660e\u6cd5\u3067\u3042\u308b\u9759\u7684\u4f9d\u5b58\u5bfe\u6cd5\u306f\u4e00\u822c\u306b\u306f\u9069\u7528\u3067\u304d\u306a\u3044\u305f\u3081\u53d6\u308a\u6271\u3046\u30d7\u30ed\u30b0\u30e9\u30e0\u306b\u4e00\u5b9a\u306e\u5236\u9650\u3092\u8ab2\u3059\u5fc5\u8981\u304c\u3042\u308b.\u3053\u306e\u3088\u3046\u306a\u5236\u9650\u3068\u3057\u3066\u6211\u3005\u306f\u76f4\u63a5\u95a2\u6570\u6e21\u3057\u3068\u547c\u3070\u308c\u308b\u6027\u8cea\u3092\u63d0\u6848\u3057\u305f.\u672c\u8ad6\u6587\u3067\u306f\u3088\u308a\u9069\u7528\u7bc4\u56f2\u306e\u5e83\u3044\u95a2\u6570\u6e21\u3057\u306e\u5b89\u5168\u6761\u4ef6\u3092\u63d0\u6848\u3057,\u3053\u306e\u30af\u30e9\u30b9\u3067\u9759\u7684\u4f9d\u5b58\u5bfe\u6cd5\u304c\u5065\u5168\u3067\u3042\u308b\u3053\u3068\u3092\u793a\u3059.\u307e\u305f,\u4f9d\u5b58\u5bfe\u6cd5\u3067\u505c\u6b62\u6027\u3092\u8a3c\u660e\u3059\u308b\u969b\u306b\u306f,\u5f15\u6570\u5207\u308a\u843d\u3068\u3057\u6cd5\u3084\u5b9f\u52b9\u898f\u5247\u304c\u91cd\u8981\u3068\u306a\u308b.\u672c\u8ad6\u6587\u3067\u306f,\u65e2\u5b58\u306e\u5f15\u6570\u5207\u308a\u843d\u3068\u3057\u6cd5\u3068\u7570\u306a\u308a\u578b\u306e\u69cb\u9020\u3092\u7834\u58ca\u3057\u306a\u3044\u5f15\u6570\u5207\u308a\u843d\u3068\u3057\u6cd5\u3082\u4e0e\u3048\u308b.\u3055\u3089\u306b,\u5b9f\u52b9\u898f\u5247\u306e\u65e2\u5b58\u306e\u6210\u679c\u3092\u62e1\u5f35\u3057\u3066\u5f15\u6570\u5207\u308a\u843d\u3068\u3057\u6cd5\u3068\u7d44\u5408\u305b\u305f\u5b9f\u52b9\u898f\u5247\u306e\u6982\u5ff5\u3092\u4e0e\u3048\u308b. We proposed a static dependency pair method, which can effectively prove termination of functional programs. Since the method is not applicable in general, we proposed plain function-passing as a restriction. In this paper, we refine the method. Firstly we propose the notion of safely function-passing, which relax the restriction of plain function-passing. Next we improve the argument filtering method, which support dependency pair methods by generating a reduction pair from a given reduction order. Our argument filtering method does not destroy type structure unlike existing method. Hence our method can effectively apply reduction orders which make use of type information. Finally we combine argument filtering method and usable rules, which reduce the number of constraints.", "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/110006782682"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/21156"}]}, "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": "KUSAKARI, Keiichirou"}], "nameIdentifiers": [{"nameIdentifier": "55617", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKAI, Masahiko"}], "nameIdentifiers": [{"nameIdentifier": "55618", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u8349\u5208, \u572d\u4e00\u6717"}], "nameIdentifiers": [{"nameIdentifier": "55619", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u9152\u4e95, \u6b63\u5f66"}], "nameIdentifiers": [{"nameIdentifier": "55620", "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": "110006782682.pdf", "filesize": [{"value": "759.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 759800.0, "url": {"label": "110006782682.pdf", "url": "https://nagoya.repo.nii.ac.jp/record/19050/files/110006782682.pdf"}, "version_id": "7f143b98-ae4c-4608-b6fb-159e4b16d5ea"}]}, "item_keyword": {"attribute_name": "\u30ad\u30fc\u30ef\u30fc\u30c9", "attribute_value_mlt": [{"subitem_subject": "\u5358\u7d14\u578b\u4ed8\u304d\u9805\u66f8\u304d\u63db\u3048\u7cfb", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u505c\u6b62\u6027", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u9759\u7684\u4f9d\u5b58\u5bfe", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u5f15\u6570\u5207\u308a\u843d\u3068\u3057\u6cd5", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u5b9f\u52b9\u898f\u5247", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Simply-Typed Term Rewriting", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Termination", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Static Dependency Pair", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Argument Filtering", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Usable Rule", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "\u8a00\u8a9e", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "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": "Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques"}]}, "item_type_id": "10", "owner": "1", "path": ["312/313/314"], "permalink_uri": "http://hdl.handle.net/2237/21156", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2015-01-29"}, "publish_date": "2015-01-29", "publish_status": "0", "recid": "19050", "relation": {}, "relation_version_is_last": true, "title": ["Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques"], "weko_shared_id": null}