ログイン
言語:

WEKO3

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

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "6fd25eae-6137-4400-aa58-208df08c5617"}, "_deposit": {"id": "7648", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "7648"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00007648"}, "item_9_alternative_title_19": {"attribute_name": "\u305d\u306e\u4ed6\u306e\u8a00\u8a9e\u306e\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_alternative_title": "Transformation for Removing Context-Sensitivity of TRSs Obtained by Unraveling"}]}, "item_9_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2006-05", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "201", "bibliographicPageStart": "195", "bibliographicVolumeNumber": "1489", "bibliographic_titles": [{"bibliographic_title": "\u6570\u7406\u89e3\u6790\u7814\u7a76\u6240\u8b1b\u7a76\u9332"}]}]}, "item_9_description_4": {"attribute_name": "\u6284\u9332", "attribute_value_mlt": [{"subitem_description": "\u6761\u4ef6\u4ed8\u304d\u9805\u66f8\u63db\u3048\u7cfb\uff08CTRS\uff09\u304b\u3089\u305d\u308c\u3068\u540c\u7b49\u306e\u8a08\u7b97\u3092\u3059\u308b\u9805\u66f8\u63db\u3048\u7cfb\uff08TRS)\u306b\u5909\u63db\u3059\u308b\u624b\u6cd5\u3068\u3057\u3066\u7d10\u89e3\u304d\u5909\u63db\uff08unraveling\uff09\u304c\u3042\u308b\u3002\u3057\u304b\u3057\u3001\u5909\u63db\u306b\u3088\u3063\u3066\u5f97\u3089\u308c\u308bTRS\u304c\u8fd4\u9084\u524d\u306eCTRS\u3068\u540c\u7b49\u306a\u8a08\u7b97\u3092\u3059\u308b\u305f\u3081\u306b\u306f\u6587\u8108\u4f9d\u5b58\u6761\u4ef6\u3068\u6240\u5c5e\u5236\u7d04\u6761\u4ef6\u3092\u5fc5\u8981\u3068\u3059\u308b\u3002\u305d\u306e\u305f\u3081\u3001\u5909\u63db\u306b\u3088\u3063\u3066\u5f97\u3089\u308c\u308bTRS\u306f\u3001\u4e00\u822c\u7684\u306aTRS\u3068\u540c\u69d8\u306b\u306f\u6271\u3046\u3053\u3068\u304c\u3067\u304d\u306a\u3044\u3002\u672c\u7a3f\u3067\u306f\u3001\u7d10\u89e3\u304d\u5909\u63db\u306b\u3088\u3063\u3066\u5f97\u3089\u308c\u308bTRS\u304b\u3089\u6587\u8108\u4f9d\u5b58\u6761\u4ef6\u3092\u7de9\u548c\u3059\u308b\u305f\u3081\u306e\u5909\u63db\u306e\u624b\u6cd5\u3092\u63d0\u6848\u3057\u3001\u6587\u8108\u4f9d\u5b58\u6761\u4ef6\u3092\u9664\u53bb\u3059\u308b\u3053\u3068\u3092\u76ee\u6307\u3059\u3002", "subitem_description_type": "Abstract"}]}, "item_9_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/9351"}]}, "item_9_publisher_32": {"attribute_name": "\u51fa\u7248\u8005", "attribute_value_mlt": [{"subitem_publisher": "\u4eac\u90fd\u5927\u5b66\u6570\u7406\u89e3\u6790\u7814\u7a76\u6240"}]}, "item_9_select_15": {"attribute_name": "\u8457\u8005\u7248\u30d5\u30e9\u30b0", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_9_source_id_7": {"attribute_name": "ISSN\uff08print\uff09", "attribute_value_mlt": [{"subitem_source_identifier": "1880-2818", "subitem_source_identifier_type": "ISSN"}]}, "item_9_text_14": {"attribute_name": "\u30d5\u30a9\u30fc\u30de\u30c3\u30c8", "attribute_value_mlt": [{"subitem_text_value": "application/pdf"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "\u6c34\u8c37, \u77e5\u535a"}], "nameIdentifiers": [{"nameIdentifier": "21609", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "MIZUTANI, Tomohiro"}], "nameIdentifiers": [{"nameIdentifier": "21610", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u897f\u7530, \u76f4\u6a39"}], "nameIdentifiers": [{"nameIdentifier": "21611", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "NISHIDA, Naoki"}], "nameIdentifiers": [{"nameIdentifier": "21612", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u9152\u4e95, \u6b63\u5f66"}], "nameIdentifiers": [{"nameIdentifier": "21613", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKAI, Masahiko"}], "nameIdentifiers": [{"nameIdentifier": "21614", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u5742\u90e8, \u4fca\u6a39"}], "nameIdentifiers": [{"nameIdentifier": "21615", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKABE, Toshiki"}], "nameIdentifiers": [{"nameIdentifier": "21616", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u8349\u5208, \u572d\u4e00\u6717"}], "nameIdentifiers": [{"nameIdentifier": "21617", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "KUSAKARI, Keiichirou"}], "nameIdentifiers": [{"nameIdentifier": "21618", "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-19"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "1489_195-201.pdf", "filesize": [{"value": "527.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 527800.0, "url": {"label": "1489_195-201.pdf", "url": "https://nagoya.repo.nii.ac.jp/record/7648/files/1489_195-201.pdf"}, "version_id": "914bc755-bb12-4175-ac73-9b307f9c7f80"}]}, "item_keyword": {"attribute_name": "\u30ad\u30fc\u30ef\u30fc\u30c9", "attribute_value_mlt": [{"subitem_subject": "\u6761\u4ef6\u4ed8\u304d\u9805\u66f8\u66f8\u63db\u3048\u7cfb", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u30d7\u30ed\u30b0\u30e9\u30e0\u5909\u63db", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u7d10\u89e3\u304d\u5909\u63db", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u6587\u8108\u4f9d\u5b58\u66f8\u63db\u3048", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u6240\u5c5e\u5236\u7d04", "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": "departmental bulletin paper", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "\u7d10\u89e3\u304b\u308c\u305f\u9805\u66f8\u63db\u3048\u7cfb\u306e\u6587\u8108\u4f9d\u5b58\u6761\u4ef6\u306e\u9664\u53bb\u306e\u305f\u3081\u306e\u5909\u63db", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "\u7d10\u89e3\u304b\u308c\u305f\u9805\u66f8\u63db\u3048\u7cfb\u306e\u6587\u8108\u4f9d\u5b58\u6761\u4ef6\u306e\u9664\u53bb\u306e\u305f\u3081\u306e\u5909\u63db"}]}, "item_type_id": "9", "owner": "1", "path": ["312/313/314"], "permalink_uri": "http://hdl.handle.net/2237/9351", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2008-01-22"}, "publish_date": "2008-01-22", "publish_status": "0", "recid": "7648", "relation": {}, "relation_version_is_last": true, "title": ["\u7d10\u89e3\u304b\u308c\u305f\u9805\u66f8\u63db\u3048\u7cfb\u306e\u6587\u8108\u4f9d\u5b58\u6761\u4ef6\u306e\u9664\u53bb\u306e\u305f\u3081\u306e\u5909\u63db"], "weko_shared_id": null}
  1. A500 情報学部/情報学研究科・情報文化学部・情報科学研究科
  2. A500a 雑誌掲載論文
  3. 学術雑誌

紐解かれた項書換え系の文脈依存条件の除去のための変換

http://hdl.handle.net/2237/9351
4be881d6-37a0-462f-893d-159f3980711d
名前 / ファイル ライセンス アクション
1489_195-201.pdf 1489_195-201.pdf (527.8 kB)
Item type 紀要論文 / Departmental Bulletin Paper(1)
公開日 2008-01-22
タイトル
タイトル 紐解かれた項書換え系の文脈依存条件の除去のための変換
その他のタイトル
その他のタイトル Transformation for Removing Context-Sensitivity of TRSs Obtained by Unraveling
著者 水谷, 知博

× 水谷, 知博

WEKO 21609

水谷, 知博

Search repository
MIZUTANI, Tomohiro

× MIZUTANI, Tomohiro

WEKO 21610

MIZUTANI, Tomohiro

Search repository
西田, 直樹

× 西田, 直樹

WEKO 21611

西田, 直樹

Search repository
NISHIDA, Naoki

× NISHIDA, Naoki

WEKO 21612

NISHIDA, Naoki

Search repository
酒井, 正彦

× 酒井, 正彦

WEKO 21613

酒井, 正彦

Search repository
SAKAI, Masahiko

× SAKAI, Masahiko

WEKO 21614

SAKAI, Masahiko

Search repository
坂部, 俊樹

× 坂部, 俊樹

WEKO 21615

坂部, 俊樹

Search repository
SAKABE, Toshiki

× SAKABE, Toshiki

WEKO 21616

SAKABE, Toshiki

Search repository
草刈, 圭一朗

× 草刈, 圭一朗

WEKO 21617

草刈, 圭一朗

Search repository
KUSAKARI, Keiichirou

× KUSAKARI, Keiichirou

WEKO 21618

KUSAKARI, Keiichirou

Search repository
キーワード
主題Scheme Other
主題 条件付き項書書換え系
キーワード
主題Scheme Other
主題 プログラム変換
キーワード
主題Scheme Other
主題 紐解き変換
キーワード
主題Scheme Other
主題 文脈依存書換え
キーワード
主題Scheme Other
主題 所属制約
抄録
内容記述 条件付き項書換え系(CTRS)からそれと同等の計算をする項書換え系(TRS)に変換する手法として紐解き変換(unraveling)がある。しかし、変換によって得られるTRSが返還前のCTRSと同等な計算をするためには文脈依存条件と所属制約条件を必要とする。そのため、変換によって得られるTRSは、一般的なTRSと同様には扱うことができない。本稿では、紐解き変換によって得られるTRSから文脈依存条件を緩和するための変換の手法を提案し、文脈依存条件を除去することを目指す。
内容記述タイプ Abstract
出版者
出版者 京都大学数理解析研究所
言語
言語 jpn
資源タイプ
資源 http://purl.org/coar/resource_type/c_6501
タイプ departmental bulletin paper
ISSN(print)
収録物識別子タイプ ISSN
収録物識別子 1880-2818
書誌情報 数理解析研究所講究録

巻 1489, p. 195-201, 発行日 2006-05
フォーマット
application/pdf
著者版フラグ
値 publisher
URI
識別子 http://hdl.handle.net/2237/9351
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 20:08:43.362884
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