Japanese version is here.
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.
Notice. Mizutani plans to retire from the University of Tsukuba in March 2026 and will basically not accept new students.
mailto: mizutani AT cs DOT tsukuba DOT ac DOT jp