ログイン
言語:

WEKO3

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

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "b051e030-34bb-4a73-94f8-5b7e2062e588"}, "_deposit": {"id": "9337", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "9337"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00009337", "sets": ["314"]}, "author_link": ["26668", "26669", "26670", "26671", "26672", "26673", "26674", "26675", "26676", "26677"], "item_10_alternative_title_19": {"attribute_name": "その他のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "Usable Rules and Labeling Product-Typed Terms for Dependency Pair NIetho in Simply-Typed Term Rewriting Systems", "subitem_alternative_title_language": "en"}]}, "item_10_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2007", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "4", "bibliographicPageEnd": "989", "bibliographicPageStart": "978", "bibliographicVolumeNumber": "J90D", "bibliographic_titles": [{"bibliographic_title": "電子情報通信学会論文誌", "bibliographic_titleLang": "ja"}]}]}, "item_10_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "単純型項書換え系は高階の関数プログラムの計算モデルであり,その重要な性質に停止性がある.単純塑項書換え系の停止性証明法として草刈と酒井は強計算依存対法を提案した. これは,静的な再帰の部分で無限ループが発生しないことを示すことにより停止性を証明する手法である・本論文では,強計算依存対法により停止性証明を行う際に解く必要のある制約を取り扱いやすいように削減・変換する二つの方法を提案する. 一つは実効規則の概念の導入であり,制約を劇的に削減することができる. もう一つは直積型項へのラベル付け法の導入であり,制約の解法の選択肢を増加させることができる.", "subitem_description_language": "ja", "subitem_description_type": "Abstract"}]}, "item_10_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/11111"}]}, "item_10_publisher_32": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "電子情報通信学会", "subitem_publisher_language": "ja"}]}, "item_10_rights_12": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "Copyright 2007 IEICE", "subitem_rights_language": "en"}]}, "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": "18804535", "subitem_source_identifier_type": "PISSN"}]}, "item_10_text_14": {"attribute_name": "フォーマット", "attribute_value_mlt": [{"subitem_text_value": "application/pdf"}]}, "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": "楼井, 敬大", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "26668", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKURAI, Takahiro", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "26669", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "草刈, 圭一朗", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "26670", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "KUSAKARI, Keiichirou", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "26671", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "酒井, 正彦", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "26672", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKAI, Masahiko", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "26673", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "坂部, 俊樹", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "26674", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKABE, Toshiki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "26675", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "西田, 直樹", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "26676", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "NISHIDA, Naoki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "26677", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-20"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "IEICE_J90D_4_978.pdf", "filesize": [{"value": "1.9 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 1900000.0, "url": {"label": "IEICE_J90D_4_978.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/9337/files/IEICE_J90D_4_978.pdf"}, "version_id": "095ae038-2fea-47a6-b25d-f2d7cb9933fb"}]}, "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"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け", "subitem_title_language": "ja"}]}, "item_type_id": "10", "owner": "1", "path": ["314"], "permalink_uri": "http://hdl.handle.net/2237/11111", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2009-02-13"}, "publish_date": "2009-02-13", "publish_status": "0", "recid": "9337", "relation": {}, "relation_version_is_last": true, "title": ["単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け"], "weko_shared_id": -1}
  1. A500 情報学部/情報学研究科・情報文化学部・情報科学研究科
  2. A500a 雑誌掲載論文
  3. 学術雑誌

単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け

http://hdl.handle.net/2237/11111
http://hdl.handle.net/2237/11111
c2f65f4f-a48f-4a99-91db-1b1ffe472329
名前 / ファイル ライセンス アクション
IEICE_J90D_4_978.pdf IEICE_J90D_4_978.pdf (1.9 MB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2009-02-13
タイトル
タイトル 単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け
言語 ja
その他のタイトル
その他のタイトル Usable Rules and Labeling Product-Typed Terms for Dependency Pair NIetho in Simply-Typed Term Rewriting Systems
言語 en
著者 楼井, 敬大

× 楼井, 敬大

WEKO 26668

ja 楼井, 敬大

Search repository
SAKURAI, Takahiro

× SAKURAI, Takahiro

WEKO 26669

en SAKURAI, Takahiro

Search repository
草刈, 圭一朗

× 草刈, 圭一朗

WEKO 26670

ja 草刈, 圭一朗

Search repository
KUSAKARI, Keiichirou

× KUSAKARI, Keiichirou

WEKO 26671

en KUSAKARI, Keiichirou

Search repository
酒井, 正彦

× 酒井, 正彦

WEKO 26672

ja 酒井, 正彦

Search repository
SAKAI, Masahiko

× SAKAI, Masahiko

WEKO 26673

en SAKAI, Masahiko

Search repository
坂部, 俊樹

× 坂部, 俊樹

WEKO 26674

ja 坂部, 俊樹

Search repository
SAKABE, Toshiki

× SAKABE, Toshiki

WEKO 26675

en SAKABE, Toshiki

Search repository
西田, 直樹

× 西田, 直樹

WEKO 26676

ja 西田, 直樹

Search repository
NISHIDA, Naoki

× NISHIDA, Naoki

WEKO 26677

en NISHIDA, Naoki

Search repository
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
権利
言語 en
権利情報 Copyright 2007 IEICE
キーワード
主題Scheme Other
主題 単純型項書換え系
キーワード
主題Scheme Other
主題 停止性
キーワード
主題Scheme Other
主題 強計算依存対法
キーワード
主題Scheme Other
主題 実効規則
キーワード
主題Scheme Other
主題 ラベル付け
抄録
内容記述 単純型項書換え系は高階の関数プログラムの計算モデルであり,その重要な性質に停止性がある.単純塑項書換え系の停止性証明法として草刈と酒井は強計算依存対法を提案した. これは,静的な再帰の部分で無限ループが発生しないことを示すことにより停止性を証明する手法である・本論文では,強計算依存対法により停止性証明を行う際に解く必要のある制約を取り扱いやすいように削減・変換する二つの方法を提案する. 一つは実効規則の概念の導入であり,制約を劇的に削減することができる. もう一つは直積型項へのラベル付け法の導入であり,制約の解法の選択肢を増加させることができる.
言語 ja
内容記述タイプ Abstract
出版者
言語 ja
出版者 電子情報通信学会
言語
言語 jpn
資源タイプ
資源タイプresource http://purl.org/coar/resource_type/c_6501
タイプ journal article
出版タイプ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
ISSN
収録物識別子タイプ PISSN
収録物識別子 18804535
書誌情報 ja : 電子情報通信学会論文誌

巻 J90D, 号 4, p. 978-989, 発行日 2007
フォーマット
application/pdf
著者版フラグ
値 publisher
URI
識別子 http://hdl.handle.net/2237/11111
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 12:00:37.980168
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