1997 Fiscal Year Annual Research Report
| Project/Area Number |
09680322
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
五十嵐 滋 筑波大学, 電子・情報工学系, 教授 (80027367)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
富田 康治 通商産業省, 工業技術院・機械技術研究所, 研究員 (80357574)
水谷 哲也 筑波大学, 電子・情報工学系, 講師 (70209758)
坂井 公 筑波大学, 数学系, 助教授 (20241797)
細野 千春 筑波大学, 電子・情報工学系, 助教授 (20108294)
|
|---|
| Keywords | 実時間システムの検証 / エンヴェロープ理論 / SOFA / 音楽情報処理 / Daphne |
|---|
| Research Abstract |
理論的プログラムの研究は,現代のプログラム理論において重要な問題の1つである.本研究では,解析的意味論を基にした実時間プログラム検証体系SOFA及びエンヴェロープ理論により,実時間プログラム・システムの検証系を構築すると共に,叙述的音楽分析システムDaphneの設計・制作を行っている.SOFA,エンヴェロープ理論はビ-クルの制御系や生ピアノの自動重奏システムなどの連続的に変化する外部の物理系を離散的に制御するプログラム系の検証システムである.また,Daphneは音楽情報処理の核となる楽曲のフレージングと表情付けを論理的・構造的に捉え分析するシステムである.これらを有機的に融合させることにより,高度で厳密なプログラム検証体系および音楽分析体系を作成中である.今年度は特に,以下のような成果を挙げた.
・理論面の研究として,SOFAによりビ-クルの制御系や水位制御問題,ガスバーナー制御問題などの連続的に変化する外部の物理系を離散的に制御するプログラム系の検証を行い,SOFAの実用性を示すと共に体系の整備を行った.
・同じく理論面の研究として,エンヴェロープ理論の数学・論理的体系を確立し,連続的に変化する外部の物理系を離散的に制御するプログラム系が検証できるように拡張した.
・Daphneシステムの理論的基礎を確立し,計算機上で基礎部分を実現し,音楽情報処理研究を発展させた.
|
Research Products
(6 results)
-
[Publications] Hiraga,R. and Igarashi,S.: "Psyche:University of Tsukuba" Computer Music Project,International Computer Music Conference. 297-300 (1997)
-
[Publications] Hiraga,R., Igarashi,S., and Liu,J.L.: "A Music Interpretation System DAPHNE" Japan-China Joint Meeting on Musical Acoustics. 99-102 (1997)
-
[Publications] 平賀, 五十嵐, 松浦: "統合音楽視覚化システム" 情報処理学会論文誌. 38・11. 2391-2397 (1997)
-
[Publications] Mizutani,T., Igarashi,S., Tomita,K. and Shio,M.: "Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis" Adbances in Computer Science-ASIAN'97 Lecture notes in computer science. 1345. 110-120 (1997)
-
[Publications] 水谷, 五十嵐, 塩: "ソフトウェア指向解析体系による知的制御システムの表現及び解析" 1997年度応用数学合同研究集会報告集. 35-40 (1997)
-
[Publications] 平賀, 五十嵐, 劉: "Daphneによる音楽表現の形式化" 情報処理学会 第39回プログラミングシンポジウム. 129-136 (1998)
