ログイン
言語:

WEKO3

  • トップ
  • コミュニティ
  • ランキング
AND
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "7e70cc73-e83f-45b8-8e76-2e8c754f358c"}, "_deposit": {"id": "19000", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "19000"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00019000"}, "item_10_alternative_title_19": {"attribute_name": "\u305d\u306e\u4ed6\u306e\u8a00\u8a9e\u306e\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_alternative_title": "Argument Filtering and Usable Rules in Higher-Order Rewrite Systems"}]}, "item_10_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2009-12", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "343", "bibliographicPageEnd": "30", "bibliographicPageStart": "25", "bibliographicVolumeNumber": "109", "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": "\u9805\u66f8\u63db\u3048\u7cfb(TRS)\u306e\u62e1\u5f35\u3068\u3057\u3066\u9ad8\u968e\u95a2\u6570\u3092\u76f4\u63a5\u6271\u3048\u308b\u5358\u7d14\u578b\u4ed8\u304d\u9805\u66f8\u63db\u3048\u7cfb(STRS)\u3084\u3055\u3089\u306b\u03bb\u62bd\u8c61\u3082\u6271\u3048\u308b\u9ad8\u968e\u66f8\u63db\u3048\u7cfb(HRS)\u304c\u63d0\u6848\u3055\u308c\u3066\u3044\u308b.\u9759\u7684\u4f9d\u5b58\u5bfe\u6cd5\u306f\u3053\u308c\u3089\u9ad8\u968e\u306e\u7cfb\u306b\u304a\u3051\u308b\u975e\u5e38\u306b\u5f37\u529b\u306a\u505c\u6b62\u6027\u8a3c\u660e\u6cd5\u3067\u3042\u308b.\u9759\u7684\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\u306e\u6982\u5ff5\u304c\u91cd\u8981\u3068\u306a\u308b.\u3053\u308c\u3089\u306fTRS\u4e0a\u3067\u63d0\u6848\u3055\u308cSTRS\u4e0a\u306b\u62e1\u5f35\u3055\u308c\u3066\u3044\u308b\u304c, HRS\u4e0a\u3067\u306f\u77e5\u3089\u308c\u3066\u3044\u306a\u3044.\u672c\u8ad6\u6587\u3067\u306fHRS\u4e0a\u306e\u5f15\u6570\u5207\u308a\u843d\u3068\u3057\u6cd5\u3068\u5b9f\u52b9\u898f\u5247\u306e\u6982\u5ff5\u3092\u4e0e\u3048\u308b.\u3055\u3089\u306b\u6211\u3005\u306e\u6210\u679c\u306f\u5358\u306a\u308b\u62e1\u5f35\u3067\u306f\u306a\u304f,\u5f15\u6570\u5207\u308a\u843d\u3068\u3057\u6cd5\u3067\u8981\u6c42\u3055\u308c\u3066\u3044\u305f\u9069\u7528\u6761\u4ef6\u3092\u53d6\u308a\u9664\u304d,\u5b9f\u52b9\u898f\u5247\u306e\u5b9a\u7fa9\u304b\u3089\u9ad8\u968e\u5909\u6570\u3092\u4ecb\u3057\u305f\u4f9d\u5b58\u6027\u3092\u53d6\u308a\u9664\u304f\u3068\u3044\u3046\u6539\u826f\u3082\u4f34\u3063\u3066\u3044\u308b. Simply-typed term rewriting systems (STRSs) and higher-order rewrite systems (HRSs) have been proposed to extend term rewriting systems (TRSs). These systems can handle higher-order functions directly, and moreover HRSs are allowed to have a A-abstraction syntax. Static dependency pair methods are very powerful methods for proving termination of these higher-order systems. Notions of argument filtering and usable rules play important roles in proving termination by the static dependency pair method. These notions are proposed on TRSs, and extended to STRSs. However, we have not known these notions on HRSs. In this paper, we extend notions of argument filtering and usable rules onto HRSs. In addition, these extensions include some enhancements : removing an applicable condition demanded by existing argument filtering methods on STRSs, and removing a dependency through higher-order variables from the definition of usable rule.", "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/110008001253"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/21104"}]}, "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": "\u9234\u6728, \u7fd4"}], "nameIdentifiers": [{"nameIdentifier": "55388", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u8349\u5208, \u572d\u4e00\u6717"}], "nameIdentifiers": [{"nameIdentifier": "55389", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u5742\u90e8, \u4fca\u6a39"}], "nameIdentifiers": [{"nameIdentifier": "55390", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u9152\u4e95, \u6b63\u5f66"}], "nameIdentifiers": [{"nameIdentifier": "55391", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u897f\u7530, \u76f4\u6a39"}], "nameIdentifiers": [{"nameIdentifier": "55392", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SUZUKI, Sho"}], "nameIdentifiers": [{"nameIdentifier": "55393", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "KUSAKARI, Keiichirou"}], "nameIdentifiers": [{"nameIdentifier": "55394", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKABE, Toshiki"}], "nameIdentifiers": [{"nameIdentifier": "55395", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKAI, Masahiro"}], "nameIdentifiers": [{"nameIdentifier": "55396", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "NISHIDA, Naoki"}], "nameIdentifiers": [{"nameIdentifier": "55397", "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": "110008001253.pdf", "filesize": [{"value": "931.4 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 931400.0, "url": {"label": "110008001253.pdf", "url": "https://nagoya.repo.nii.ac.jp/record/19000/files/110008001253.pdf"}, "version_id": "49709686-468d-4580-a485-1040da4b01dc"}]}, "item_keyword": {"attribute_name": "\u30ad\u30fc\u30ef\u30fc\u30c9", "attribute_value_mlt": [{"subitem_subject": "\u9ad8\u968e\u66f8\u63db\u3048\u7cfb", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u505c\u6b62\u6027", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u9759\u7684\u4f9d\u5b58\u5bfe\u6cd5", "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"}]}, "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": "\u9ad8\u968e\u66f8\u63db\u3048\u7cfb\u306b\u304a\u3051\u308b\u5f15\u6570\u5207\u308a\u843d\u3068\u3057\u6cd5\u3068\u5b9f\u52b9\u898f\u5247", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "\u9ad8\u968e\u66f8\u63db\u3048\u7cfb\u306b\u304a\u3051\u308b\u5f15\u6570\u5207\u308a\u843d\u3068\u3057\u6cd5\u3068\u5b9f\u52b9\u898f\u5247"}]}, "item_type_id": "10", "owner": "1", "path": ["312/313/314"], "permalink_uri": "http://hdl.handle.net/2237/21104", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2015-01-20"}, "publish_date": "2015-01-20", "publish_status": "0", "recid": "19000", "relation": {}, "relation_version_is_last": true, "title": ["\u9ad8\u968e\u66f8\u63db\u3048\u7cfb\u306b\u304a\u3051\u308b\u5f15\u6570\u5207\u308a\u843d\u3068\u3057\u6cd5\u3068\u5b9f\u52b9\u898f\u5247"], "weko_shared_id": null}
  1. A500 情報学部/情報学研究科・情報文化学部・情報科学研究科
  2. A500a 雑誌掲載論文
  3. 学術雑誌

高階書換え系における引数切り落とし法と実効規則

http://hdl.handle.net/2237/21104
31a857c6-8ecc-4a26-b089-e62adde35feb
名前 / ファイル ライセンス アクション
110008001253.pdf 110008001253.pdf (931.4 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2015-01-20
タイトル
タイトル 高階書換え系における引数切り落とし法と実効規則
その他のタイトル
その他のタイトル Argument Filtering and Usable Rules in Higher-Order Rewrite Systems
著者 鈴木, 翔

× 鈴木, 翔

WEKO 55388

鈴木, 翔

Search repository
草刈, 圭一朗

× 草刈, 圭一朗

WEKO 55389

草刈, 圭一朗

Search repository
坂部, 俊樹

× 坂部, 俊樹

WEKO 55390

坂部, 俊樹

Search repository
酒井, 正彦

× 酒井, 正彦

WEKO 55391

酒井, 正彦

Search repository
西田, 直樹

× 西田, 直樹

WEKO 55392

西田, 直樹

Search repository
SUZUKI, Sho

× SUZUKI, Sho

WEKO 55393

SUZUKI, Sho

Search repository
KUSAKARI, Keiichirou

× KUSAKARI, Keiichirou

WEKO 55394

KUSAKARI, Keiichirou

Search repository
SAKABE, Toshiki

× SAKABE, Toshiki

WEKO 55395

SAKABE, Toshiki

Search repository
SAKAI, Masahiro

× SAKAI, Masahiro

WEKO 55396

SAKAI, Masahiro

Search repository
NISHIDA, Naoki

× NISHIDA, Naoki

WEKO 55397

NISHIDA, Naoki

Search repository
権利
権利情報 (c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである
キーワード
主題Scheme Other
主題 高階書換え系
キーワード
主題Scheme Other
主題 停止性
キーワード
主題Scheme Other
主題 静的依存対法
キーワード
主題Scheme Other
主題 引数切り落とし法
キーワード
主題Scheme Other
主題 実効規則
抄録
内容記述 項書換え系(TRS)の拡張として高階関数を直接扱える単純型付き項書換え系(STRS)やさらにλ抽象も扱える高階書換え系(HRS)が提案されている.静的依存対法はこれら高階の系における非常に強力な停止性証明法である.静的依存対法で停止性を証明する際には引数切り落とし法や実効規則の概念が重要となる.これらはTRS上で提案されSTRS上に拡張されているが, HRS上では知られていない.本論文ではHRS上の引数切り落とし法と実効規則の概念を与える.さらに我々の成果は単なる拡張ではなく,引数切り落とし法で要求されていた適用条件を取り除き,実効規則の定義から高階変数を介した依存性を取り除くという改良も伴っている. Simply-typed term rewriting systems (STRSs) and higher-order rewrite systems (HRSs) have been proposed to extend term rewriting systems (TRSs). These systems can handle higher-order functions directly, and moreover HRSs are allowed to have a A-abstraction syntax. Static dependency pair methods are very powerful methods for proving termination of these higher-order systems. Notions of argument filtering and usable rules play important roles in proving termination by the static dependency pair method. These notions are proposed on TRSs, and extended to STRSs. However, we have not known these notions on HRSs. In this paper, we extend notions of argument filtering and usable rules onto HRSs. In addition, these extensions include some enhancements : removing an applicable condition demanded by existing argument filtering methods on STRSs, and removing a dependency through higher-order variables from the definition of usable rule.
内容記述タイプ Abstract
出版者
出版者 一般社団法人電子情報通信学会
言語
言語 jpn
資源タイプ
資源タイプresource http://purl.org/coar/resource_type/c_6501
タイプ journal article
ISSN
収録物識別子タイプ ISSN
収録物識別子 0913-5685
書誌情報 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス

巻 109, 号 343, p. 25-30, 発行日 2009-12
著者版フラグ
値 publisher
URI
識別子 http://ci.nii.ac.jp/naid/110008001253
識別子タイプ URI
URI
識別子 http://hdl.handle.net/2237/21104
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 16:25:48.058359
Show All versions

Share

Mendeley CiteULike Twitter Facebook Print Addthis

Cite as

Export

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by CERN Data Centre & Invenio


Powered by CERN Data Centre & Invenio