音楽情報処理研究室

菅野 幸夫

Sachio Kanno

数式処理と区間演算を用いた精度保証計算の研究を行なう。また、音楽情報処理の立場から記号的な計算による楽曲の音楽情景構造の分析についての研究、MIDIデータからの音楽の可視化についての研究を行なう。

数値計算、記号計算、LISP言語、数式処理。科学技術計算における誤差解析、計算精度の保証について研究しています。また、LISP言語など関数型プログラミング言語によるアプリケーションの開発、記号計算の応用についても研究しています。