トウジョウ　サトシ   TOJO Satoshi   東条　敏    所属   経営学部 データサイエンス学科    職種   教授
言語種別	日本語
発行・発表の年月	2024/08
形態種別	論文その他
標題	A Formal Proof-Theoretic Approach to Music Analysis Using Labeled Lambek Calculus
執筆形態	共著
掲載誌名	情報処理学会研究報告
掲載区分	国内