[論文レビュー] Current Trends and Future Research Directions for Interactive Music

Mauricio Toro|arXiv (Cornell University)|Oct 5, 2018

Music Technology and Sound Studies参考文献 79被引用数 17

ひとこと要約

この論文は、シーケンサーやメタインstrument、プロセス計算機といった、インタラクティブ音楽のための形式的枠組みをレビューおよび比較し、厳密な意味論と正しさの保証に重点を置いている。形式的アプローチと商業的ツールキットの間のギャップを特定し、将来的な研究がこの隔たりを埋めるよう提言することで、より信頼性が高く表現力に富んだインタラクティブ音楽システムの実現を目指す。

ABSTRACT

In this review, it is explained and compared different software and formalisms used in music interaction: sequencers, computer-assisted improvisation, meta- instruments, score-following, asynchronous dataflow languages, synchronous dataflow languages, process calculi, temporal constraints and interactive scores. Formal approaches have the advantage of providing rigorous semantics of the behavior of the model and proving correctness during execution. The main disadvantage of formal approaches is lack of commercial tools.

研究の動機と目的

• インタラクティブ音楽システムで用いられる既存のソフトウェアおよび形式的記述法を分析・比較すること。
• 形式的アプローチ（強力な意味論と正しさの保証を提供）と実用的で商業的に利用可能なツールとの間のトレードオフを特定すること。
• 形式的手法用の商業的ツールキットの欠如が、インタラクティブ音楽アプリケーションへの採用の主な障壁であることを強調すること。
• インタラクティブ音楽技術の現在のトレンドをマッピングし、未開拓の研究分野を特定すること。
• 将来的な研究を、形式的手法と実用的で使いやすいツールを統合する方向へ導くこと。

提案手法

• スコアフォローやデータフロー言語、プロセス計算機を含む、10の形式的およびソフトウェアベースのアプローチを調査・分類すること。
• 各アプローチが形式的意味論を用いて複雑な音楽的インタラクションを表現できるかを評価すること。
• リアルタイム音楽処理に適した同期的および非同期的データフロー・モデルの比較。
• 時間依存的な音楽的行動を指定するための時間的制約およびインタラクティブスコアを分析すること。
• プロセス計算機やスコアフォローサイステムといった形式的モデルの表現力と正しさの保証を評価すること。
• 理論的利点があるにもかかわらず、形式的音楽インタラクションシステム用の産業水準のツールが存在しないことを強調すること。

実験結果

リサーチクエスチョン

• RQ1 現在のインタラクティブ音楽システムで用いられる主な形式的記述法は何か。また、それらは表現力や正しさにおいてどのように異なるか。
• RQ2 形式的アプローチが理論的基盤を強く持つにもかかわらず、なぜ広く採用されていないのか。
• RQ3 形式的意味論をどのように実用的でリアルタイム対応の音楽ソフトウェアツールに効果的に統合できるか。
• RQ4 形式的音楽モデルと商業的アプリケーションの間のギャップを埋めるために、最も有望な研究分野は何か。
• RQ5 どの形式的記述法が、音楽の演奏や作曲における動的でリアルタイムのインタラクションを最もよくサポートするか。

主な発見

• プロセス計算機や時間的制約といった形式的アプローチは、厳密な意味論を提供し、システム動作の形式的検証を可能にする。
• 理論的利点があるにもかかわらず、形式的手法は、インタラクティブ音楽開発に向けた成熟した商業的ツールの不足に苦しんでいる。
• シーケンサーやコンピュータ支援即興、メタインストゥルメントは、優れたツールキットと使いやすさのおかげで実務で主流のままである。
• 非同期的および同期的なデータフローアーキテクチャはリアルタイムオーディオ処理を強くサポートするが、タイミングと制御フローの正確なモデリングが求められる。
• スコアフォローとインタラクティブスコアはライブパフォーマンスに有効であるが、動的な状況下での耐障害性と表現力に課題を抱えている。
• 本論文は、将来的な研究が、理論的モデルの形式的正しさ保証を維持しつつ、実用的で使いやすいツールの開発に注力すべきだと結論づける。