Tetsuya Mizutani, Ph. D. Assistant Professor Department of Information Engineering, University of Tsukuba mizutani@cs.tsukuba.ac.jp Research Interest Program theory and musical informatics: Logical foundation of verification and analysis of realtime intellectual program systems and musical information Academic Qualification 1983 B.S. in Engineering from University of Tsukuba 1985 M.S. in Engineering from University of Tsukuba 1988 Ph.D. in Engineering from University of Tsukuba Career 1988.4-1989.3 Research Associate, University of Tsukuba 1989.4-1992.3 Asscotiate Professor, Saitama Junior College 1992.4-1994.9 Research Associate, University of Tsukuba 1994.9- Assitant Professor, University of Tsukuba Education Activities in 2021 Undergraduate: 1st grade: Linear Algebra A 2nd grade: Introduction to Logic and Formalization 3rd grade: Program Theory Artifitial Intelligence 4th grade: Graduation Studies English for Specialized Subjects Master Course: Advanced Course of Program Theory Membership Association for Computing Machinery Information Processing Society of Japan The Japanese Society for Artificial Intelligence The Institute of Electronics, Information and Communication Engineers Publications Peer-reviewed Journal Papers Mizutani, T. and Nakata, Y.: Musical Rendering Models by Sequential Tension Rules, Journal of Advances in Information Technology, 11, 2020, pp. 21-25. http://www.jait.us/uploadfile/2020/0120/20200120115843397.pdf Mizutani, T., Igarashi, S., Shio, M. and Ikeda, Y. : Labeled Calculi Applied to Verification and Analysis of Time-Concerned Programs II, TENSOR, N. S., 71, 2009, pp. 285-296. Mizutani, T., Igarashi, S., Shio, M. and Ikeda, Y. : Labeled Calculi Applied to Verification and Analysis of Time-Concerned Programs I, TENSOR, N. S., 71, 2009, pp. 172-186. Mizutani, T., Igarashi, S., Shio, M. and Ikeda, Y. : Human Factors in Continuous Time-Concerned Cooperative Systems Represented by N\Sigma-labeled Calculus, Frontiers of Computer Science in China, 2, 2008, pp. 22-28. http://link.springer.com/article/10.1007/s11704-008-0010-2 Igarashi, S., Mizutani, T., Ikeda, Y. and Shio, M. : Tense Arithmetic II: @-calculus as an Adaptation for Formal Number Theory, TENSOR, N. S., 64, 2003, pp. 12-33. Tomita, K., Igarashi, S., Hosono, C., Mizutani, T. and Tsugawa, S. : Representations of Autonomoous Realtime Systems, TENSOR, N. S., 59, 1998, pp. 114-124. Igarashi, S., Shirogane, T., Shio, M. and Mizutani, T. : Tense Arithmetic I: Formalization of Properties of Programs in Rational Arithmetic, TENSOR, N. S., 59, 1998, pp. 133-153. Igarashi, S., Mizutani, T., Tsuji, T. and Hosono, C. : On Locomorphism in Analytical Equivalence Theory, Logic, Language andComputation, Lecture Notes in Computer Science, 792, 1994, pp. 173 - 187. https://link.springer.com/chapter/10.1007/BFb0032400 Igarashi, S., Mizutani, T. and Tsuji, T. : An Analytical Semantics of Parallel Program Processes Represented by \nu-conversion, TENSOR, N. S., 45, 1987, pp. 222 - 228. Igarashi, S., Mizutani, T. and Tsuji, T. : Specifications of Parallel Program Processes in Analytical Semantics, TENSOR, N. S., 45, 1987, pp. 240 - 244. Mizutani, T., Hosono, C. and Igarashi, S. : Verification of Programs using \nu-Definable Acts, Computer Software, 2, 1985, ppp. 529-538 (in Japanese). https://www.jstage.jst.go.jp/article/jssst/2/3/2_3_529/_article/-char/ja/ Peer-reviewed International Conference Papers Mizutani, T. and Sasaki, S.: Style Transfer of Musical Performance Expression Using Note Classification based on the Implication-Realization Model, The 7th International Conference on Computer Science and Application Engineering (CSAE 2023), October 17 - 19, 2023 Virtual Event, China, 7 pages, https://doi.org/10.1145/3627915.3628093 Yamamoto, Y. and Mizutani, T.: Computational Analysis of Jazz Music: Estimating Tonality through Chord Progression Distances, The 7th International Conference on Computer Science and Application Engineering (CSAE 2023), October 17 - 19, 2023 Virtual Event, China, 6 pages, https://doi.org/10.1145/3627915.3629600 Miura, S. and Mizutani, T.: Analysis of Performance Expressions using Sequential Tension Values, The 7th International Conference on Computer Science and Application Engineering (CSAE 2023), October 17 - 19, 2023 Virtual Event, China, 7pages, https://doi.org/10.1145/3627915.3629596 Xuan, M. and Mizutani, T.: Peak Picking Multiple Onset Detection Function Using Recurrent Neural Networks, The 10th International Conference on Computer and Communications Management (ICCCM 2022), July 29-31, 22, Okayama University, Okayama JAPAN, pp. 31-36. https://doi.org/10.1145/3556223.3556255 Ding, Y. and Mizutani, T.: Audio Feature Extraction for DTW-based Audio-to-Score Alignment, The 10th International Conference on Computer and Communications Management (ICCCM 2022), July 29-31, 22, Okayama University, Okayama JAPAN, pp. 214-220. https://doi.org/10.1145/3556223.3556228 Mizutani, T. and Sasaki S.: A Linear Regression Analysis of Musical Expressions using the Implication-Realization Model, Proceedings of ICCCM '21: The 2021 9th International Conference on Computer and Communications Management, Singapore, Singapore, July 2021, The International Conference Proceedings Series by ACM, pp, 85 - 91. https://doi.org/10.1145/3479162.3479175 Mizutani, T. and Hasegawa K.: A Data Cleansing System for Musical Expression Analysis, Proceedings of the 8th International Conference on Computer and Communications Management (ICCCM 2020), the International Conference Proceedings Series by ACM, 2020, pp. 111-116. https://dl.acm.org/doi/10.1145/3411174.3411176 Selected as the best presentation paper. Mizutani, T., Nakahara S. and Takeda, T.: Comparison of Musical Expression of Distinguished and Unnamed Pianists in Tonal Tension and Attraction Models, Proceedings of the 2018 3rd International Conference on Control, Automation and Artificial Intelligence (CAAI2018), Atlantis Highlights in Intelligent Systems, Vol. 1, 2018, pp.162-165. https://www.atlantis-press.com/proceedings/caai-18/25904426 Mizutani, T. and Iwami, Y. : Analysis of Musical Expression using Tonal Tension and Attraction Models, Proceedings of the 2017 2nd International Conference on Applied Mathematics, Simulation and Modelling (AMSM2017), 2017, pp. 344-348. http://dpi-proceedings.com/index.php/dtetr/article/view/14868 Mizutani, T. and Iwami, Y. : A Musical Expression Model using Tonal Tension, Proceedings of the 2016 International Conference on Computational Modeling, Simulation and Applied Mathematics (CMSAM 2016), 2016, pp. 220-224. http://dpi-proceedings.com/index.php/dtcse/article/view/3612 Mizutani, T.: Formal Verification of the Ricart-Agrawala Mutual Exclusion Algorithm in N-Labeled Calculus, Proceedings of the 2015 International Conference on Control, Automation and Artificial Intelligence (CAAI 2015), 2015, pp. 167-171. http://dpi-proceedings.com/index.php/proceedings/article/view/2330 Mizutani, T. and Tomita, K. : Formalization of Mutual Exclusion Algorithms in N-labeled Calculus, Proceedings of the 2014 IEEE Joint International Information Technology and Artificial Intelligence Conference (ITAIC 2014), 2014, pp. 83-88. http://dx.doi.org/10.1109/ITAIC.2014.7065010 Mizutani, T., Shinagawa, Y. and Narisawa, S. : Generation of Expressive Performance for a Realtime Person-Computer Ensemble System, Proceedings 2013 IEEE International Conference on Computer Science and Automation Engineering (CSAE 2013), 1, 2013, pp. 31-34. Mizutani, T. and Mayumi, A. : Model Checking Verification of a Realtime Matching Algorithm between Music Scores and Performance Data, Proceedings 2013 IEEE International Conference on Computer Science and Automation Engineering (CSAE 2013), 1, 2013, pp. 35-38. Mizutani, T. and Murakami, N. : Relationship between Tonal Tension Structure and Musical Expression, The 2013 International Conference on Artificial Intelligence and Computational Intelligence (AICI'13), The Journal of Pattern Recognition & Image Processing, 3 (1), 2013, pp. 263-270. Mizutani, T. and Igarashi, S. : Formalization of a Realtime Person-Computer Ensemble System with an Effective Matching Algorithm, The 2nd International Conference on Computer Science and Automation Engineering (CSAE 2012), Vol. 1, 2012, pp. 65-69. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6272549 Mizutani, T., Shinagawa, Y. Murakami, N. and Igarashi, S. : Expressive Secondo Performances of a Realtime Person-Computer Ensemble System, The 2012 International Conference on Artificial Intelligence and Computational Intelligence (AICI'12), Lecture Notes in Artificial Intelligence, 7530, 2012, pp. 1-8. https://link.springer.com/chapter/10.1007/978-3-642-33478-8_1 Mizutani, T., Nishiyama, K. and Igarashi, S. : A Matching Method between Music Scores and Performance Data in a Realtime Person-Computer Ensemble System, The 2011 International Conference on Artificial Intelligence and Computational Intelligence (AICI'11), Lecture Notes in Artificial Intelligence, 7002, 2011, pp. 9-17. https://link.springer.com/chapter/10.1007/978-3-642-23881-9_2 Mizutani, T., Igarashi, S., Suzuki, T., Shio, M. and Ikeda, Y. : A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance, The 2010 International Conference on Artificial Intelligence and Computational Intelligence (AICI'10), Lecture Notes in Computer Science, 6319, 2010, pp. 256-265. https://link.springer.com/chapter/10.1007/978-3-642-16530-6_31 Mizutani, T., Igarashi, S., Ikeda, Y. and Shio, M. : Formal Analysis of an Airplane Accident in N\Sigma-labeled Calculus, The 2009 International Conference on Artificial Intelligence and Computational Intelligence (AICI'09), Lecture Notes in Artificial Intelligence, ¥bf 5855, 2009, pp. 469-478. https://link.springer.com/chapter/10.1007/978-3-642-05253-8_52 Ikeda, Y., Mizutani, T. and Shio, M. : Formal System and Semantics of N\Sigma-Labeled Calculus, The 2009 International Conference on Artificial Intelligence and Computational Intelligence (AICI'09), IEEE, Vol. III, 2009, pp. 270-274. https://ieeexplore.ieee.org/document/5376645" Mizutani, T., Suzuki, T., Shio, M. and Ikeda, Y. : Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal, TASE 2009, The 3rd IEEE Theoretical Aspects of Software Engineering Conference, IEEE, 2009, pp. 303-304. (poster paper) https://ieeexplore.ieee.org/document/5198522 Mizutani, T., Igarashi, S., Ikeda, Y. and Shio, M. : Formal Representation and Analysis of a Near Miss Accident in $N¥Sigma$-labeled Calculus, TASE 2009, The 3rd IEEE Theoretical Aspects of Software Engineering Conference, IEEE, 2009, pp. 311-312. (poster paper) https://ieeexplore.ieee.org/document/5198526 Mizutani, T., Igarashi, S., Ikeda, Y. and Shio, M. : Labeled @-Calculus: Formalism for Time-Concerned Human Factors, AISC 2006, 8th International Conference on Artificial Intelligence and Symbolic Computation, Lecture Notes in Artificial Intelligence, 4120, 2006, pp. 25-39. https://link.springer.com/chapter/10.1007%2F11856290_5 Petcu, D., Tepeneu, D., Paprzycki, M., ¥underlineMizutani, T. and Ida, T. : Survey on Symbolic Computations on Grid, 3rd International Conference: Sciences of Electronic, Technologies of Information and Telecommunications, 2005, pp. 1-9. (invited paper) http://www.ibspan.waw.pl/~paprzyck/mp/cvr/research/varia_papers/SETIT_2005.pdf Mizutani, T., Igarashi, S. and Shio, M.: Representation of a Discretely Controlled Continuous System in Tense Arithmetic, Electronic Notes in Theor. Comp. Sci., 42, 2001, pp. 220-231. https://www.sciencedirect.com/science/article/pii/S1571066104808879 Mizutani, T., Igarashi, S. Tomita, K. and Shio, M. : Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis, Advances in Computing Science, ASIAN'97, Third Asian Computing Science Conference, Lecture Notes in Computer Science, 1345, 1997, pp. 110-120. https://link.springer.com/chapter/10.1007/3-540-63875-X_47 Igarashi, S., Shio, M., Shirogane, T. and Mizutani, T. : Formal Verification and Evaluation of Execution Time in the Envelope Theory, ASIAN'96, Second Asian Computing Science Conference, Concurrency and Parallelism, Programming, Networking, and Security, Lecture Notes in Computer Science, 1179, 1996, pp. 299 - 308. https://link.springer.com/chapter/10.1007/BFb0027802 Igarashi, S., Mizutani, T., Shirogane, T. and Shio, M. : Formal Analysis for Continuous Systems Controlled by Programs, Concurrency and Parallelism, Programming, Networking, and Security, Lecture Notes in Computer Science, 1179, 1996, pp. 347 - 348. (poster paper) https://link.springer.com/chapter/10.1007/BFb0027812 Igarashi, S., Tsuji, T., ¥underlineMizutani, T. and Haraguchi, T. : Experiments on Computerized Piano Accompaniments, The 1993 International Computer Music Conference, 1993, pp. 415 - 417. (poster paper) Mizutani, T., Igarashi, S. and Tsuji, T. : An Analytical Equivalence Theory of Computer Programs, International Symposium on Structures in Mathematical Theories, 1990, pp. 199 - 204.