Japanese version is here.
University of Tsukuba
Division of Information Engineering, Faculty of Engineering, Information and Systems,
(Graduate School:) Computer Science, Degree Programs in Systems and Information Engineering,
(Underegraduate:) College of Information Science, School of Informatics,
Artificial Ingelligence Laboratory (Mizutani lab.)
Homepage of Asst. Prof. Dr. MIZUTNAI Tetsuya
Sorry, This page is under construction.
Program theory and musical informatics: logical foundation of verification and analysis of realtime intellectual program systems and musical information.
mailto: mizutani AT cs DOT tsukuba DOT ac DOT jp