| 研究課題/領域番号 |
05302011
|
|---|
| 研究種目 |
総合研究(A)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
数学一般(含確率論・統計数学)
|
|---|
| 研究機関 | 千葉大学 (1995)
筑波大学 (1993-1994) |
|---|
研究代表者 |
辻 尚史 千葉大学, 理学部, 教授 (70016666)
|
|---|
| 研究分担者 |
一松 信 東京電機大学, 理工学部, 教授 (10027378)
小野 寛晰 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (90055319)
難波 完爾 東京大学, 大学院数理科学研究科, 教授 (40015524)
米田 信夫 東京電機大学, 理工学部, 教授 (50080487)
五十嵐 滋 筑波大学, 電子情報工学系, 教授 (80027367)
水谷 哲也 筑波大学, 電子・情報工学系, 講師 (70209758)
細野 千春 筑波大学, 電子・情報工学系, 助教授 (20108294)
|
|---|
| 研究期間 (年度) |
1993 – 1995
|
| 研究課題ステータス |
完了 (1995年度)
|
| 配分額 *注記 |
11,200千円 (直接経費: 11,200千円)
1995年度: 2,600千円 (直接経費: 2,600千円)
1994年度: 4,200千円 (直接経費: 4,200千円)
1993年度: 4,400千円 (直接経費: 4,400千円)
|
|---|
| キーワード | NU / envelope system / 音楽情報処理 / PSYCHE / オブジェクト指向 / CMP / 解析的意味論 / ν-転換 / 時制算術 / プログラム検証 / 人工知能 |
|---|
| 研究概要 |
各研究分担者は、解析的意味論に基づく述語論理的プログラム言語NUの理論の構築及び処理系の作成等を行なった。NUは、理論的プログラム言語であるうえに手続き的な表現ができ、さらにプログラムの要求仕様と相互に変換が容易であるという特徴をもつ。主な研究業績は、以下の2項目である。
1.解析的意味論の研究として、以下の2点について一定の成果が得られ、それらを公表した。
(1)実時間並行プロセスに関する諸問題を表現・解析する時制算術に位相空間の概念を導入したenvelope systemと呼ぶ検証システムについて、実時間を陽に表現できるように研究・改良した。また具体的な並行プログラム系の検証に適用した。
(2)envelope systemで導入されたプロセスのスケジューラを一般化した概念である拍車に着目したプログラム検証法を発案し、具体的な並行プログラム系の検証を行なった。
2.高度に知的な人工知能的課題である音楽情報処理について、PSYCHEと呼ぶピアノなどのアコースティック楽器による表情豊かな美しい演奏を目指した研究を進めた。そこで以下の3点の研究について一定の成果が得られ、それらを公表した。
(1)演奏家の演奏の特徴を定量的に抽出し解析するとともに、それらを2次曲線や図形を用いて表現し、音楽の構造について研究を行なった。
(2)生ピアノ等の制御に遅延を伴う楽器を用いて自動伴奏を行う実時間制御システムについて研究・開発を行なった。この中には、演奏家の演奏を模倣するシステムを含んでいる。
(3)音楽ソフトウェアの統合的環境についてオブジェクト指向に基づく研究・開発を行なった。
また12月に研究集会を開催し、基礎的意見交換、研究発表、及び総括的討論を行なった。なお東京電機大学米田信夫教授の研究費は研究の都合で代表者経理にした。
|
