ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_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", "sets": ["314"]}, "author_link": ["55617", "55618", "55619", "55620"], "item_10_alternative_title_19": {"attribute_name": "その他のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "単純型付き項書き換え系における静的依存対法とその周辺", "subitem_alternative_title_language": "ja"}]}, "item_10_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2008-02", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "505", "bibliographicPageEnd": "24", "bibliographicPageStart": "19", "bibliographicVolumeNumber": "107", "bibliographic_titles": [{"bibliographic_title": "電子情報通信学会技術研究報告SS, ソフトウェアサイエンス", "bibliographic_titleLang": "ja"}]}]}, "item_10_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "我々が提案した関数プログラムの強力な停止性証明法である静的依存対法は一般には適用できないため取り扱うプログラムに一定の制限を課す必要がある.このような制限として我々は直接関数渡しと呼ばれる性質を提案した.本論文ではより適用範囲の広い関数渡しの安全条件を提案し,このクラスで静的依存対法が健全であることを示す.また,依存対法で停止性を証明する際には,引数切り落とし法や実効規則が重要となる.本論文では,既存の引数切り落とし法と異なり型の構造を破壊しない引数切り落とし法も与える.さらに,実効規則の既存の成果を拡張して引数切り落とし法と組合せた実効規則の概念を与える. ", "subitem_description_language": "ja", "subitem_description_type": "Abstract"}, {"subitem_description": "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_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/110006782682"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/21156"}]}, "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/110006782682", "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": "KUSAKARI, Keiichirou", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55617", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKAI, Masahiko", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "55618", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "草刈, 圭一朗", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55619", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "酒井, 正彦", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "55620", "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": "110006782682.pdf", "filesize": [{"value": "759.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 759800.0, "url": {"label": "110006782682.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/19050/files/110006782682.pdf"}, "version_id": "7f143b98-ae4c-4608-b6fb-159e4b16d5ea"}]}, "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"}, {"subitem_subject": "実効規則", "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": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "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": "タイトル", "attribute_value_mlt": [{"subitem_title": "Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques", "subitem_title_language": "en"}]}, "item_type_id": "10", "owner": "1", "path": ["314"], "permalink_uri": "http://hdl.handle.net/2237/21156", "pubdate": {"attribute_name": "PubDate", "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": -1}
  1. A500 情報学部/情報学研究科・情報文化学部・情報科学研究科
  2. A500a 雑誌掲載論文
  3. 学術雑誌

Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques

http://hdl.handle.net/2237/21156
http://hdl.handle.net/2237/21156
97004e9e-96cc-41f4-86df-2751aeb227db
名前 / ファイル ライセンス アクション
110006782682.pdf 110006782682.pdf (759.8 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2015-01-29
タイトル
タイトル Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques
言語 en
その他のタイトル
その他のタイトル 単純型付き項書き換え系における静的依存対法とその周辺
言語 ja
著者 KUSAKARI, Keiichirou

× KUSAKARI, Keiichirou

WEKO 55617

en KUSAKARI, Keiichirou

Search repository
SAKAI, Masahiko

× SAKAI, Masahiko

WEKO 55618

en SAKAI, Masahiko

Search repository
草刈, 圭一朗

× 草刈, 圭一朗

WEKO 55619

ja 草刈, 圭一朗

Search repository
酒井, 正彦

× 酒井, 正彦

WEKO 55620

ja 酒井, 正彦

Search repository
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
権利
言語 ja
権利情報 (c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである
キーワード
主題Scheme Other
主題 単純型付き項書き換え系
キーワード
主題Scheme Other
主題 停止性
キーワード
主題Scheme Other
主題 静的依存対
キーワード
主題Scheme Other
主題 引数切り落とし法
キーワード
主題Scheme Other
主題 実効規則
キーワード
主題Scheme Other
主題 Simply-Typed Term Rewriting
キーワード
主題Scheme Other
主題 Termination
キーワード
主題Scheme Other
主題 Static Dependency Pair
キーワード
主題Scheme Other
主題 Argument Filtering
キーワード
主題Scheme Other
主題 Usable Rule
抄録
内容記述 我々が提案した関数プログラムの強力な停止性証明法である静的依存対法は一般には適用できないため取り扱うプログラムに一定の制限を課す必要がある.このような制限として我々は直接関数渡しと呼ばれる性質を提案した.本論文ではより適用範囲の広い関数渡しの安全条件を提案し,このクラスで静的依存対法が健全であることを示す.また,依存対法で停止性を証明する際には,引数切り落とし法や実効規則が重要となる.本論文では,既存の引数切り落とし法と異なり型の構造を破壊しない引数切り落とし法も与える.さらに,実効規則の既存の成果を拡張して引数切り落とし法と組合せた実効規則の概念を与える.
言語 ja
内容記述タイプ Abstract
抄録
内容記述 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.
言語 en
内容記述タイプ Abstract
出版者
言語 ja
出版者 一般社団法人電子情報通信学会
言語
言語 eng
資源タイプ
資源タイプresource http://purl.org/coar/resource_type/c_6501
タイプ journal article
出版タイプ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
関連情報
関連タイプ isVersionOf
識別子タイプ URI
関連識別子 http://ci.nii.ac.jp/naid/110006782682
ISSN
収録物識別子タイプ PISSN
収録物識別子 0913-5685
書誌情報 ja : 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス

巻 107, 号 505, p. 19-24, 発行日 2008-02
著者版フラグ
値 publisher
URI
識別子 http://ci.nii.ac.jp/naid/110006782682
識別子タイプ URI
URI
識別子 http://hdl.handle.net/2237/21156
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 16:24:12.893727
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

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

Confirm


Powered by WEKO3


Powered by WEKO3