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, University of Tsukuba

Artificial Ingelligence Laboratory (Mizutani lab.)

Homepage of Asst. Prof. Dr. MIZUTNAI Tetsuya

Sorry, This page is under construction.


Research Interests

Program theory and musical informatics: logical foundation of verification and analysis of realtime intellectual program systems and musical information.

Publications

(Caution: this file includes Japanese characters.)

Lectures

Documents for each lecture will be at manaba.