WEKO3
アイテム
A Formal Proof-Theoretic Approach to Music Analysis using Labelled Lambek Calculus
https://ipsj.ixsq.nii.ac.jp/records/238198
https://ipsj.ixsq.nii.ac.jp/records/2381981a6befb8-6360-4198-82cc-b8f6d0fcc086
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-MUS24141004.pdf (891.7 kB)
2026年8月19日からダウンロード可能です。
|
Copyright (c) 2024 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, MUS:会員：¥0, DLIB:会員：¥0 | ||
| Item type | SIG Technical Reports(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-08-19 | |||||||||
| タイトル | ||||||||||
| タイトル | A Formal Proof-Theoretic Approach to Music Analysis using Labelled Lambek Calculus | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | A Formal Proof-Theoretic Approach to Music Analysis using Labelled Lambek Calculus | |||||||||
| 言語 | ||||||||||
| 言語 | eng | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | 音楽分析 | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||
| 資源タイプ | technical report | |||||||||
| 著者所属 | ||||||||||
| Scuola Normale Superiore, Classe di lettere e filosofia | ||||||||||
| 著者所属 | ||||||||||
| Asia University, Depatment of Data Science | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Scuola Normale Superiore, Classe di lettere e filosofia | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Asia University, Depatment of Data Science | ||||||||||
| 著者名 |
Matteo, Bizzarri
× Matteo, Bizzarri
× Satoshi, Tojo
|
|||||||||
| 著者名(英) |
Matteo, Bizzarri
× Matteo, Bizzarri
× Satoshi, Tojo
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 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). | |||||||||
| 論文抄録(英) | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 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). | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN10438388 | |||||||||
| 書誌情報 |
研究報告音楽情報科学（MUS） 巻 2024-MUS-141, 号 4, p. 1-5, 発行日 2024-08-19 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 2188-8752 | |||||||||
| Notice | ||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
