{"created":"2021-03-01T06:16:05.982165+00:00","id":9337,"links":{},"metadata":{"_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":["312:313: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","filename":"IEICE_J90D_4_978.pdf","filesize":[{"value":"1.9 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2009-02-13"},"publish_date":"2009-02-13","publish_status":"0","recid":"9337","relation_version_is_last":true,"title":["単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:32:42.690326+00:00"}