5X-7 生成音楽理論分析システムのための和声解析(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)

スポンサーリンク

概要

• 論文の詳細を見る

• 本論文では、音楽理論Generative Theory of Tonal Music(GTTM)に基づき、『還元』における解析作業を自動化するシステムについて述べる。還元とは、音楽表層から抽象的な構造を段階的に抽出することを意味し、楽譜情報を階層的に解析するGTTMにおいて重要な概念である。本研究では、機能和声を考慮した楽曲構造の解析についての自動化を目標とし、まずその基礎として、和声解析の実現・評価を目指す。

• 一般社団法人情報処理学会の論文
• 2008-03-13

著者

• 水谷 哲也

  筑波大学

• 水谷 哲也

  筑波大学大学院システム情報工学研究科

• 居福 修寛

  筑波大学第三学群情報学類

• 安江 梓

  筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻

• 安江 梓

  筑波大学第三学群情報学類

• 鈴木 龍生

  筑波大学大学院システム情報工学研究科

• 七澤 尚資

  筑波大学大学院システム情報工学研究科

• 鈴木 達生

  筑波大学大学院システム情報工学研究科

• Mizutani Tetsuya

  Institute Of Information Science University Of Tsukuba

• 水谷 哲也

  筑波大学大学院 システム情報工学研究科 コンピュータサイエンス専攻

• 安江 梓

  筑波大学大学院 システム情報工学研究科 コンピュータサイエンス専攻

• Mizutani Tetsuya

  Department Of Computer Science University Of Tsukuba

関連論文

• 楽曲構造や演奏表情の表現と自動協調システム
• 5C-6 ヒューマンファクターを包含する記号論理体系に基づく実時間知的システムの分析(複雑系,一般セッション,人工知能と認知科学)
• 知性と感性の情報学的討究(6)ヒューマンファクターを包含する記号論理体系に基づく信楽列車事故の分析
• 知性と感性の情報学的討究V : 時制に依存する命題の事例化規則とサウンドネス(佐藤照子先生追悼号)
• 知性と感性の情報学的討究(4)人工知能論における協調系の数理的表現について
• 知性と感性の情報学的討究III : @-calculusに基づく協調システムの検証例-アンサンブル・プログラム
• 知性と感性の情報学的討究II : 時制数論体系@-calculusの基礎分析
• 知性と感性の情報学的討究(1)コンピュータによる知的発想--原理と応用
• 音楽の構造的機能とそれに基づく演奏創造
• 芸術的演奏生成を目的とする協調演奏システム
• アゴーギクルールのパラメータ値の自動決定システムの構築
• 演奏生成の論理的表現 : ルールを用いた演奏生成と協調演奏
• ソフトウェア指向形式解析体系による実時間知的プログラムの検証
• エンヴェロープ理論による実時間知的プログラムの検証
• 有理時間を含むプログラムの仕様表現および動作解析
• 時間の論理の束モデルを用いた並行プログラム系の検証
• 時間の論理の語モデルに対する同値性判定手続きの実現
• ランデブーを含むvirtual textによる自動伴奏システムの表現とその検証
• 軌跡準同型によるプログラムの仕様の保存性
• ν-定義可能行為によるプログラムの検証
• 5T-6 実時間演奏データと楽譜情報との対応システム(音楽信号処理,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
• 5X-9 実時間協調演奏プログラムのための動的リハーサルシステム(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)
• 5X-8 リハーサルを用いた実時間協調演奏プログラム(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)
• 5X-7 生成音楽理論分析システムのための和声解析(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)
• 5X-6 階層的構造機能を用いた演奏生成モデル(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)
• CHANGES IN THE LUTEINIZING HORMONE β SUBUNIT AND PROLACTIN GENE EXPRESSIONS IN THE ANTERIOR PITUITARY GLAND DURING THE OVULATORY CYCLE OF LAYING HENS
• REPRESENTATIONS OF AUTONOMOUS REALTIME SYSTEMS
• REPRESENTATIONS OF AUTONOMOUS REALTIME SYSTEMS
• LABELED CALCULI APPLIED TO VERIFICATION AND ANALYSIS OF TIME-CONCERNED PROGRAMS II
• LABELED CALCULI APPLIED TO VERIFICATION AND ANALYSIS OF TIME-CONCERNED PROGRAMS I
• TENSE ARITHMETIC II : @-CALCULUS AS AN ADAPTATION FOR FORMAL NUMBER THEORY
• TENSE ARITHMETIC I : FORMALIZATION OF PROPERTIES OF PROGRAMS IN RATIONAL ARITHMETIC
• TENSE ARITHMETIC I : FORMALIZATION OF PROPERTIES OF PROGRAMS IN RATIONAL ARITHMETIC

もっと見る 閉じる

スポンサーリンク