Research theme for competitive and other funds (5)：
2023 - 2026 クラシック楽曲の演奏表情抽出および演奏表情モデル生成
2020 - 2023 Performance Information Analysis for Creating Performance Expression Model of Classical Piano Music
1998 - 2000 A Study on Program Verification Systems based on Analytic Semantics
2000 - Musical Informatics
1983 - Verification of Intellectual Program System
Papers (72)：
HORIGUCHI, Fuka, MIZUTANI, Tetsuya. Defining the Height of Time-Span Trees in GTTM through Prolongational Reduction Tree Generation. ACM International Conference Proceedings Series. 2024
MIMURA, Junnosuke, MIZUTANI, Tetsuya. A Fine-tuning Method for Automatic Chord Estimation Using the Foundation Model. ACM International Conference Proceedings Series. 2024
Miura, Shingo, Mizutani, Tetsuya. Analysis of Performance Expressions using Sequential Tension Values. ACM International Conference Proceedings Series. 2023
Yamamoto, Yuta, Mizutani, Tetsuya. Computational Analysis of Jazz Music: Estimating Tonality through Chord Progression Distances. ACM International Conference Proceedings Series. 2023
Mizutani, Tetsuya, Sasaki, Shigefumi. Style Transfer of Musical Performance Expression Using Note Classification based on the Implication-Realization Model. ACM International Conference Proceedings Series. 2023
Ikeda Yosuo, Igarashi Shigeru, Mizutani Tetsuya, Shio Masayuki. Intellect and Sensibility in Informatics V : Rule of Instantiation for Tense-Dependent Logical Formulas and the Soundness. Journal of Saitama Junior College. 2005. 14. 39-52
Creation of Interpretation of Music using Agogic Rules based on Structural Functions. 2001. 15. 1-4
Books (1)：
An analytical equivalence theory of programs with applications(プログラムの解析的同値理論及びその応用)
1988
Lectures and oral presentations (11)：
Defining the Height of Time-Span Trees in GTTM through Prolongational Reduction Tree Generation
(The 8th International Conference on Computer Science and Application Engineering (CSAE2024))
A Fine-tuning Method for Automatic Chord Estimation Using the Foundation Model
(The 8th International Conference on Computer Science and Application Engineering (CSAE2024))
Computational Analysis of Jazz Music: Estimating Tonality through Chord Progression Distances
(The 7th International Conference on Computer Science and Application Engineering (CSAE2023))
Analysis of Performance Expressions using Sequential Tension Values
(The 7th International Conference on Computer Science and Application Engineering (CSAE2023))
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 (CSAE2023))
- 1988 University of Tsukuba Graduate School, Division of Engineering
- 1983 University of Tsukuba Third Cluster of College
Professional career (1)：
工学博士 (筑波大学)
Work history (4)：
1994 - 現在 University of Tsukuba Assistant Professor
1992 - 1994 University of Tsukuba Research Assistant
1989 - 1992 Saitama Juniour College Associate Professor
1988 - 1989 University of Tsukuba Research Assistant
Association Membership(s) (5)：
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS.
, Association for Computing Machinery
, THE JAPANESE SOCIETY FOR ARTIFICIAL INTELLIGENCE
, JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
, Information Processing Society of Japan
