{"created":"2023-07-27T06:26:18.092545+00:00","id":9960,"links":{},"metadata":{"_buckets":{"deposit":"b80b119e-aefc-4795-b2a4-7c4bdf2a31ff"},"_deposit":{"created_by":3,"id":"9960","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"9960"},"status":"published"},"_oai":{"id":"oai:kanazawa-u.repo.nii.ac.jp:00009960","sets":["934:935:936"]},"author_link":["14652","402","14653"],"item_4_biblio_info_8":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2009-01-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"7","bibliographicPageEnd":"1411","bibliographicPageStart":"1401","bibliographicVolumeNumber":"E92-D","bibliographic_titles":[{"bibliographic_title":"IEICE Transactions on Information and Systems"}]}]},"item_4_description_21":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"We propose a user-defined on-demand matching strategy, called O-matching, in which users can control the order of matching arguments of each operation symbol. In ordinary matching schemes it is not important to set the order of matching, however, in on-demand matching schemes, it is very important since an input term may be changed while doing the on-demand matching process. O-matching is suitable to combine with the E-strategy, which is a user-defined reduction strategy in which users can control the order of reducing arguments. We show a sufficient condition under which the E-strategy with O-matching is correct for head normal forms, that is, any reduced term is a head normal form. Copyright © 2009 The Institute of Electronics, Information and Communication Engineers.","subitem_description_type":"Abstract"}]},"item_4_description_5":{"attribute_name":"提供者所属","attribute_value_mlt":[{"subitem_description":"金沢大学理工研究域電子情報学系","subitem_description_type":"Other"}]},"item_4_publisher_17":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"The Institute of Electronics, Information and Communication Engineers = 電子情報通信学会"}]},"item_4_relation_12":{"attribute_name":"DOI","attribute_value_mlt":[{"subitem_relation_type":"isIdenticalTo","subitem_relation_type_id":{"subitem_relation_type_id_text":"10.1587/transinf.E92.D.1401","subitem_relation_type_select":"DOI"}}]},"item_4_source_id_11":{"attribute_name":"NCID","attribute_value_mlt":[{"subitem_source_identifier":"AA10826272","subitem_source_identifier_type":"NCID"}]},"item_4_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0916-8532","subitem_source_identifier_type":"ISSN"}]},"item_4_version_type_25":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Nakamura, Masaki"}],"nameIdentifiers":[{},{}]},{"creatorNames":[{"creatorName":"Ogata, Kazuhiro"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Futatsugi, Kokichi"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-10-03"}],"displaytype":"detail","filename":"TE-PR-NAKAMURA-M-1401.pdf","filesize":[{"value":"277.7 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"TE-PR-NAKAMURA-M-1401.pdf","url":"https://kanazawa-u.repo.nii.ac.jp/record/9960/files/TE-PR-NAKAMURA-M-1401.pdf"},"version_id":"1f7ddc2e-7619-4a63-8969-928761acd6f2"}]},"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":"User-defined on-demand matching","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"User-defined on-demand matching"}]},"item_type_id":"4","owner":"3","path":["936"],"pubdate":{"attribute_name":"公開日","attribute_value":"2017-10-03"},"publish_date":"2017-10-03","publish_status":"0","recid":"9960","relation_version_is_last":true,"title":["User-defined on-demand matching"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-07-28T01:46:04.875480+00:00"}