{"links":{},"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00238198","sets":["1164:5064:11558:11743"]},"path":["11743"],"owner":"44499","recid":"238198","title":["A Formal Proof-Theoretic Approach to Music Analysis using Labelled Lambek Calculus"],"pubdate":{"attribute_name":"公開日","attribute_value":"2024-08-19"},"_buckets":{"deposit":"2db1e2d3-25f8-4604-9609-c64c900c67de"},"_deposit":{"id":"238198","pid":{"type":"depid","value":"238198","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"A Formal Proof-Theoretic Approach to Music Analysis using Labelled Lambek Calculus","author_link":["652103","652102","652104","652105"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"A Formal Proof-Theoretic Approach to Music Analysis using Labelled Lambek Calculus"},{"subitem_title":"A Formal Proof-Theoretic Approach to Music Analysis using Labelled Lambek Calculus","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"音楽分析","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2024-08-19","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"Scuola Normale Superiore, Classe di lettere e filosofia"},{"subitem_text_value":"Asia University, Depatment of Data Science"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Scuola Normale Superiore, Classe di lettere e filosofia","subitem_text_language":"en"},{"subitem_text_value":"Asia University, Depatment of Data Science","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/238198/files/IPSJ-MUS24141004.pdf","label":"IPSJ-MUS24141004.pdf"},"date":[{"dateType":"Available","dateValue":"2026-08-19"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-MUS24141004.pdf","filesize":[{"value":"891.7 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"21"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"1644b113-bf77-4ee6-b7b0-3fd3d85d30b7","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2024 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Matteo, Bizzarri"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Satoshi, Tojo"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Matteo, Bizzarri","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Satoshi, Tojo","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10438388","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-8752","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"Music and language are thought to share a common origin, leading to numerous research endeavors that have sought to analyze music through a compositional approach, grounded in linguistic grammar rules. In this study, we extend and refine this method, demonstrating that the analysis can be systematically represented using rigorous proof theory, akin to how formal logic elucidates natural language semantics. Our approach involves the use of sequent calculus to construct a proof, notably extending Lambek calculus for categorial grammar to a labeled version. The introduction of labels enables each term within a sequent to be interpreted as a chord with a specified key (tonality).","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Music and language are thought to share a common origin, leading to numerous research endeavors that have sought to analyze music through a compositional approach, grounded in linguistic grammar rules. In this study, we extend and refine this method, demonstrating that the analysis can be systematically represented using rigorous proof theory, akin to how formal logic elucidates natural language semantics. Our approach involves the use of sequent calculus to construct a proof, notably extending Lambek calculus for categorial grammar to a labeled version. The introduction of labels enables each term within a sequent to be interpreted as a chord with a specified key (tonality).","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"5","bibliographic_titles":[{"bibliographic_title":"研究報告音楽情報科学（MUS）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2024-08-19","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"4","bibliographicVolumeNumber":"2024-MUS-141"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"updated":"2025-01-19T08:40:02.202084+00:00","created":"2025-01-19T01:41:17.006890+00:00","id":238198}