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.

Research Interests

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

CV

Our Laboratory

Notice. Mizutani plans to retire from the University of Tsukuba in March 2026 and will basically not accept new students.

(Students who plan to do research in our laboratory for only one or two years may be accepted.)

Lectures

• Graduate School:
• Advanced Course in Program Theory (syllabus(Japanese) (English))
• Undergraduate School:
• Linear Algebra A
• Introduction to First-order Logic and Formalization
• Program Theory
• Artificial Intelligence

mailto: mizutani AT cs DOT tsukuba DOT ac DOT jp