• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

論理的プログラム及びその基礎数理

研究課題

研究課題/領域番号 09680322
研究種目

基盤研究(C)

配分区分補助金
応募区分一般
研究分野 計算機科学
研究機関筑波大学

研究代表者

五十嵐 滋  筑波大学, 電子・情報工学系, 教授 (80027367)

研究分担者 水谷 哲也  筑波大学, 電子・情報工学系, 講師 (70209758)
坂井 公  筑波大学, 数学系, 助教授 (20241797)
細野 千春  筑波大学, 電子・情報工学系, 助教授 (20108294)
塩 雅之  筑波大学, 電子・情報工学系, 助手 (60302395)
富田 康治  通商産業省, 工業技術院・機械技術研究所, 研究員 (80357574)
研究期間 (年度) 1997 – 1999
研究課題ステータス 完了 (1999年度)
配分額 *注記
1,900千円 (直接経費: 1,900千円)
1999年度: 600千円 (直接経費: 600千円)
1998年度: 500千円 (直接経費: 500千円)
1997年度: 800千円 (直接経費: 800千円)
キーワード実時間システムの検証 / エンヴェロープ理論 / SOFA / 音楽情報処理 / Tense Arithmetic / Daphne
研究概要

論理的プログラムに関する研究は,現代のプログラム理論において重要な問題の1つである.本研究では,解析的意味論を基にした解析的同値理論及び実時間プログラム検証体系SOFA,エンヴェロープ理論tense arithmetic等により,論理的プログラム・システム及びその検証系を構築した.解析的意味論で用いられるν-定義可能行為はプログラムを高階の数学理論の言語で表現するものであり,数学的,論理的に厳密な理論を展開することができる.またSOFA,tense arithmetic等の実時間プログラム検証体系はビークルの制御系や生ピアノの自動重奏システムなどの連続的に変化する外部の物理系を離散的に制御するプログラム系を検証するシステムである.
連続変化外部系を離散的に制御するプログラム系のtense arithmeticによる検証・解析システムの研究を行なうとともに,実時間システムの例題のひとつである音楽情報処理分野においては,楽曲構造に着目することにより,
・実時間重奏システムの形式的理論的表現
・演奏ルールの形式的理論的表現
・それらの成果に基づいた楽曲分析システム,実時間重奏システムの実装
を研究し,成果を得た.

報告書

(4件)
  • 1999 実績報告書   研究成果報告書概要
  • 1998 実績報告書
  • 1997 実績報告書
  • 研究成果

    (70件)

すべて その他

すべて 文献書誌 (70件)

  • [文献書誌] Hiraga R.: "Objective Evaluation for Computer Generated Musical Performance"IJGAI. 23-25 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Hiraga R.and Igarashi S.: "Psyche : University of Tsukuba, Computer Music Project"Proc. of ICMC. 297-300 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Hiraga R.Igarashi S.and Liu J.: "An Interactive Music Interpretation System Daphne"Japan-China Joint Meeting On Musical Acoustics. 99-102 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 平賀瑠美,五十嵐滋,松浦陽平: "総合演奏視覚化システム"情報処理論文誌. 38. 2391-2397 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Mizutani T.Igarashi S.Tomita K.and Shio M.: "Representation of Discretely Controlled Continuous Systems in Sofrwear-Oriented Formal Analysis"Lecture Notes in Computer Science. 110-120 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 水谷哲也,五十嵐滋,塩雅之: "ソフトウェア指向形式解析体系による知的制御プログラムの表現及び解析"応用数学合同研究集会報告集. 35-40 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 劉剣利,平賀瑠美,五十嵐滋: "楽曲分析のための計算機支援システムDAPHNE"情報処理学会第56回全国大会. 38-39 (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 劉剣利,平賀瑠美,五十嵐滋: "DAPHNE : フレージングと表情付けのための叙情的音楽分析システム"情報処理学会研究報告. 98-MUS-25. 43-49 (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 塩雅之,五十嵐滋,水谷哲也: "エンヴェロープ理論による実時間知的プログラムの検証"人工知能学会全国大会 (第12回) 論文集. 302-305 (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 水谷哲也,五十嵐滋,塩雅之: "ソフトウェア指向形式解析体系による実時間知的プログラムの検証"人工知能学会全国大会 (第12回) 論文集. 306-307 (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 小池宏幸,一柳昌也,五十嵐滋,平賀瑠美: "計算機によるアゴーギクの解析と自動演奏への応用"人工知能学会全国大会 (第12回) 論文集. 520-521 (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Igarashi S.,Shirogane T.,Shio M.and Mizutani T.: "Tense Arithmetic I : Formalization of Properties of Programs in Rational Arithmetic"TENSOR N. S.. 59. (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Tomita K.,Igarashi S.,Hosono C.,Mizutani T.and Tsugawa S.: "Representations of Autonomous Realtime Systems"TENSOR N. S.. (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 白銀哲也,五十嵐滋,塩雅之,水谷哲也: "Tense Arithmeticを用いた並行プログラム系の解析と検証"応用数学合同研究集会報告集. 71-76 (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 塩雅之,五十嵐滋,水谷哲也,白銀哲也: "Tense Arithmeticに基づく実時間知的プログラムの数理的表現ならびに解析"第40回プログラミング・シンポジウム報告集. 143-149 (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 劉剣利,平賀瑠美,五十嵐滋: "楽曲分析システムDAPHNEのユーザインタフェース"情報処理学会第58回全国大会. 105-106 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 平賀瑠美,劉剣利,五十嵐滋: "音楽知識共用のための楽曲分析支援システム"人工知能学会誌. 14, 3. 504-511 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 酒井祐樹,田中崇之,水谷哲也,五十嵐滋,塩雅之,平賀瑠美: "演奏生成の論理的表現-ルールを用いた演奏生成と協調演奏-"人工知能学会全国大会 (第13回) 論文集. 14・3. 504-511 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 漆原めぐみ,平賀瑠美,五十嵐滋,小池宏幸: "楽曲構造に基く演奏表情の視覚化と応用"人工知能学会全国大会 (第13回) 論文集. 167-170 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 劉剣利,平賀瑠美,五十嵐滋,関口由浩: "楽曲分析システムDAPHNE-実際の楽譜上での自動分析"情報処理学会研究報告. 99-MUS-31. 1-6 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 小池宏幸,平賀瑠美,五十嵐滋,水谷哲也,塩雅之: "アゴーギクルールのパラメータ値の自動決定システムの構築"情報処理学会研究報告. 99-MUS-31. 49-54 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Liu J.,Hiraga R.and Igarashi S.: "A Computer-Assisted Music Analysis System : DAPHNE"Proc. of ICMC. 303-306 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 五十嵐滋,水谷哲也,塩雅之: "Tense Arithmeticによる実時間知的プログラムの解析"応用数学合同研究集会報告集. 43-46 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 劉剣利,小池宏幸,平賀瑠美,五十嵐滋,水谷哲也,塩雅之: "PSYCHE : 楽曲分析とその応用を中心として"第41回プログラミングシンポジウム. 21-30 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 漆原めぐみ,平賀瑠美,五十嵐滋: "楽曲構造に基く演奏の視角化と分析"情報処理学会研究報告. 00-MUS-34. (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 塩雅之,五十嵐滋,水谷哲也,國広竜徳,永田恵典,船田宏聡,山下慎一郎: "実時間制御技術としての協調演奏システム"情報処理学会第60回全国大会. 2-63-2-64 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Hiraga, R.: "Objective Evaluation for Computer Generated Musical Performance"IJCAI. 23-25 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Hiraga, R. Igarashi, S.: "Psyche : University of Tsukuba, Computer Music Project"Proc. ICMC. 297-300 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Hiraga, R., and Igarashi, S., Liu, J.: "An Interactive Music Interpretation System Daphne"Japan-China Joint Meeting On Musical Acoustics. 99-102 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Hiraga, R., Igarashi, S. and Matsuura, R.: "An Integrated Musical Performance Visualization System"J. IPSJ. 38, 11. 2391-2397 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Mizutani, T., Igarashi, S., Tomita, K. and Shio, M.: "Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis"LNCS. 1345. 110-120 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Mizutani, T., Igarashi, S. and Shio, M.: "On Mathematical Basis of Intelligent Control Program by Software-Oriented Formal Analysis"Joint Conf. Applied Math. 35-40 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Liu, J., Hiraga, R. and Igarashi, S.: "Computer Assisted Music Analysis System DAPHNE"Proc. IPSJ. 56, 2. 38-39 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Liu, J., Hiraga, R. and Igarashi, S.: "A Computer Assisted Music Analysis System DAPHNE"Trans. IPSJ. 98-MUS-25. 43-49 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Shio, M., Igarashi, S. and Mizutani, T.: "Verification of Intelligent Control Programs on the Envelope Theory"Proc. JSAI. 12. 302-305 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Mizutani, T., Igarashi, S. and Shio, M.: "Verification of Intelligent Control Programs on Software-Oriented Formal Analysis"Proc. JSAI. 12. 306-307 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Koike, H., Ichiyanagi, M., Igarashi, S. and Hiraga, R.: "Analysis by Synthesis of Expressice Performance with Agogics"Proc. JSAI. 12. 520-521 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Igarashi, S., Shirogane, T., Shio, M. and Mizutani, T.: "Tense Arithmetic I : Formalization of Properties of Programs in Rational Arithmetic"TENSOR, N. S.. 59(in printing). (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Tomita, K., Igarashi, S., Mizutani, T. and Tsugawa, S.: "Representations of Autonomous Realtime Systems"TENSOR, N. S.. 59(in printing). (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Shirogane, T., Igarashi, S., Shio, M. and Mizutani, T.: "Analysis and Verification of Parallel Program Systems by Tense Arithmetic"Joint Conf. Applied Math. 71-76 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Shio, M., Igarashi, S., Mizutani, T. and Shirogane, T.: "Mathematical Representation with Verification of Realtime Intelligent Program System by Tense Arithmetic"The 40th Programming Symposium. 143-149 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Liu, J., Hiraga, R. and Igarashi, S.: "User Interface of Music Analysis System DAPHNE"Proc. IPSJ. 58, 2. 105-106 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Hiraga, R., Liu, J. and Igarashi, S.: "A Computer Assisted Music Analysis System for Sharing Music Knowledge"J. JSAI. 14, 3. 504-511 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Sakai, Y., Tanaka, T., Mizutani, T., Igarashi, S., Shio, M. and Hiraga, R.: "Logical Expression of Performance Generation - Systems for Performance Synthesis using Rules and Automated Ensemble -"Proc. JSAI. 13. 171-174 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Urushibara, M., Hiraga, R., Igarashi, S. and Koike, H.: "Performance Visualization and its Application based on Music Structure"Proc. JSAI. 13. 167-170 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Liu, J., Hiraga, R., Igarashi, S. and Sekiguchi, Y.: "Computer Assisted Music Analysis System DAPHNE : -Automatic Analysis through Realistic Score Sheet"Trans. IPSJ. 99-MUS-31. 1-6 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Kouke, H., Hiraga, R., Igarashi, S., Mizutani, T. and Shio, M.: "Automatic Decision System of Parameter Values for Agogic Rules"Trans. IPSJ. 99-MUS-31. 49-54 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Liu, J., Hiraga, R. and Igarashi, S.: "A Computer-Assisted Music Analysis System DAPHNE"Proc. ICMC. 303-306 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Igarashi, S., Mizutani, T. and Shio, M.: "Formal Analysis of Realtime Intelligent Program System by Tense Arithmetic"Joint Conf. Applied Math. 43-46 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Liu, J., Kouke, H., Hiraga, R., Igarashi, S., Mizutani, T. and Shio, M.: "PSYCHE : Music Analysis and its Applications"The 41th Programming Symposium. 21-30 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Urushibara, M., Hiraga, R. and Igarashi, S.: "Performance Visualization and its Analysis based on Music Structure"Trans. IPSJ. 00-MUS-34. (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Shio, M., Igarashi, S., Mizutani, T., Kunihiro, T., Nagata, K., Funata, H., Yamashita, S.: "Automated Accompaniment Systems as a Realtime Control Technique"Proc. IPSJ. 60, 2. 63-64 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] Igarashi, S.: "Science of Music Performance"YAMAHA MUSIC MEDIA. (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1999 研究成果報告書概要
  • [文献書誌] 五十嵐滋,水谷哲也,塩雅之: "Tense Arithmeticによる実時間知的プログラムの解析"応用数学合同研究集会報告集. 43-46 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 劉剣利,小池宏幸,水谷哲也,塩雅之,平賀瑠美,五十嵐滋: "PSYCHE:楽曲分析とその応用を中心として"第41回プログラミング・シンポジウム報告集. 21-30 (2000)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 劉剣利,平賀瑠美,五十嵐滋,関口由浩: "楽曲分析システムDAPHNE--実際の楽譜上での自動分析"情報処理学会研究報告. 99-MUS-31. 1-6 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 小池宏幸,平賀瑠美,五十嵐滋,五十嵐滋,水谷哲也,塩雅之: "アゴーギグルールのパラメータ値の自動決定システムの構築"情報処理学会研究報告. 99-MUS-31. 49-54 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 酒井祐樹,田中崇之,水谷哲也,五十嵐滋,塩雅之,平賀瑠美: "演奏生成の論理的表現--ルーツを用いた演奏生成と協調演奏"1999年度人工知能学会全国大会(第13回)論文集. 171-174 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 平賀瑠美,劉剣利,五十嵐滋: "音楽知識共有のための楽曲分析構築システム"人工知能学会誌. 14・3. 504-511 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 五十嵐滋: "ヤマハミュージックメディア"演奏の科学. 220 (2000)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 白銀哲也,五十嵐滋,塩雅之,水谷哲也: "Tense Arithmeticを用いた並行プログラム系の解析と検証" 応用数学合同研究集会報告集. 71-76 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 塩雅之,五十嵐滋,水谷哲也: "Tense Arithmeticに基づく実時間知的プログラムの数理的表現ならびに解析" 第40回プログラミング・シンポジウム報告集. 143-149 (1999)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Igarashi,S.,Shirogane,T.,Shio,M.and Mizutani,T.: "Tense Arithmetic I: Formalization of Properties of Programs in Rational Arithmetic" TENSOR,N.S.59. (1999)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 平賀瑠美,劉剣利,五十嵐滋: "音楽知識の共有のための楽曲分析支援システム" 人工知能学会誌. 14. (1999)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Hiraga,R. and Igarashi,S.: "Psyche:University of Tsukuba" Computer Music Project,International Computer Music Conference. 297-300 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Hiraga,R., Igarashi,S., and Liu,J.L.: "A Music Interpretation System DAPHNE" Japan-China Joint Meeting on Musical Acoustics. 99-102 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 平賀, 五十嵐, 松浦: "統合音楽視覚化システム" 情報処理学会論文誌. 38・11. 2391-2397 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 水谷, 五十嵐, 塩: "ソフトウェア指向解析体系による知的制御システムの表現及び解析" 1997年度応用数学合同研究集会報告集. 35-40 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 平賀, 五十嵐, 劉: "Daphneによる音楽表現の形式化" 情報処理学会 第39回プログラミングシンポジウム. 129-136 (1998)

    • 関連する報告書
      1997 実績報告書

URL: 

公開日: 1997-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi