Mizutani Tetsuya

Affiliation
Institute of Systems and Information Engineering
Official title
Assistant Professor
Sex
Male
Birth date
1960-09
KAKEN ID
70209758
Research keywords
Program Theory
Musical Informatics
Research projects
クラシック楽曲の演奏表情抽出および演奏表情モデル生成2023-04 -- 2026-03MIZUTANI, Tetsuya日本学術振興会/基盤研究(C)(一般)910,000Yen
クラシックピアノ楽曲の演奏表情モデル生成のための演奏情報解析2020-04 -- 2023-03水谷哲也日本学術振興会/基盤研究(C)(一般)2,080,000Yen
Musical Informatics2000 -- (current)/
解析的意味論に基づく実時間プログラムシステムの検証の研究1998 -- 2000Japan Society of for the Promotion of Science/基盤研究(C)2,100,000Yen
Verification of Intellectual Program System1983 -- (current)/
Academic background
-- 1983University of Tsukuba Third Cluster of College 情報学類情報科学主専攻
-- 1988University of Tsukuba Graduate School, Division of Engineering 電子・情報工学
Degree
1988-03工学博士University of Tsukuba
Academic societies
2000 -- (current)Association for Computing Machinery
1983 -- (current)Information Processing Society of Japan
1996 -- (current)THE JAPANESE SOCIETY FOR ARTIFICIAL INTELLIGENCE
2008 -- (current)THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS.
1983 -- (current)JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
Articles
  • Computational Analysis of Jazz Music: Estimating Tonality through Chord Progression Distances
    Yamamoto Yuta; Mizutani Tetsuya
    ACM International Conference Proceedings Series, 2023-10
  • Analysis of Performance Expressions using Sequential Tension Values
    Miura Shingo; Mizutani Tetsuya
    ACM International Conference Proceedings Series, 2023-10
  • Style Transfer of Musical Performance Expression Using Note Classification based on the Implication-Realization Model
    Mizutani Tetsuya; Sasaki Shigefumi
    ACM International Conference Proceedings Series, 2023-10
  • Audio Feature Extraction for DTW-based Audio-to-Score Alignment
    Ding Yifan; Mizutani Tetsuya
    The 10th International Conference on Computer and Communications Management (ICCCM 2022)/pp.214-220, 2022-07-29
  • Peak Picking Multiple Onset Detection Function Using Recurrent
    MOBAI XUAN; Mizutani Tetsuya
    The 10th International Conference on Computer and Communications Management (ICCCM 2022)/pp.31-36, 2022-07-29
  • A Linear Regression Analysis of Musical Expressions using the Implication-Realization Model
    Mizutani Tetsuya; 佐々木滋史
    The International Conference Proceedings Series by ACM, 2021-09
  • A Data Cleansing System for Musical Expression Analysis
    Mizutani Tetsuya; HASEGAWA Kei
    International Conference Proceedings Series by ACM/pp.111-116, 2020-08
  • Musical Rendering Models by Sequential Tension Rules
    Mizutani Tetsuya; Nakata Yuki
    Journal of Advances in Information Technology/11/pp.21-25, 2020-02
  • Comparison of Musical Expression of Distinguished and Unnamed Pianists in Tonal Tension and Attraction Models
    Mizutani Tetsuya; 中原彰太; 武田拓也
    The 2018 3rd International Conference on Control, Automation and Artificial Intelligence (CAAI2018), Atlantis Highlights in Intelligent Systems, 2018-08
  • Analysis of Musical Expression Using Tonal Tension and Attraction Models
    水谷 哲也; 石見大和
    The 2017 2nd International Conference on Applied Mathematics, Simulation and Modelling (AMSM2017)/pp.344-348, 2017-08
  • A Musical Expression Model using Tonal Tension
    Mizutani Tetsuya; IWAMI Yamato
    Proceedings of 2016 International Conference on Computational Modeling, Simulation and Applied Mathematics/pp.220-224, 2016-07
  • Formal Verification of the Ricart-Agrawala Mutual Exclusion Algorithm in N-Labeled Calculus
    Mizutani Tetsuya
    Proceedings of the 2015 International Conference on Control, Automation and Artificial Intelligence (CAAI2015)/pp.167-171, 2015-08
  • Formalization of Mutual Exclusion Algorithms in N-labeled Calculus
    Mizutani Tetsuya; Kohji Tomita
    IEEE Joint International Information Technology and Artificial Intelligence Conference (ITAIC 2014)/pp.83-88, 2014-12
  • Model Checking Verification of a Realtime Matching Algorithm between Music Scores and Performance Data
    Tetsuya Mizutani; Akie Mayumi
    Proceedings 2013 IEEE International Conference on Computer Science and Automation Engineering (CSAE 2013)/pp.35-38, 2013-11
  • Generation of Expressive Performance for a Realtime Person-Computer Ensemble System
    Tetsuya Mizutani; Yuki Shinagawa; Shohei Narisawa
    Proceedings 2013 IEEE International Conference on Computer Science and Automation Engineering (CSAE 2013)/pp.31-34, 2013-11
  • The 2010 International Conference on Artificial Intelligence and Computational Intelligence(AICI'10)
    Mizutani Tetsuya; Igarashi Shigeru; Suzuki Tatsuo; Ikeda Yas...
    Lecture Notes in Artificial Intelligence, 2010-10
  • Relationship between Tonal Tension Structure and Musical Expression
    Mizutani Tetsuya; Naoki Murakami
    The 2013 International Conference on Artificial Intelligence and Computational Intelligence (AICI '13), The Journal of Pattern Recognition & Image Processing,/4(1)/pp.1-8, 2013-08
  • An analytical semantics of parallel program processes represented by ν-conversion
    Igarashi; S.; Mizutani; T.; Tsuji; T.; +水谷 哲也
    TENSOR, N. S./45/p.222 - 228, 1987-08
  • Specifications of parallel program processes in analytical semantics
    Igarashi; S.; Mizutani; T.; Tsuji; T.; +水谷 哲也
    TENSOR, N. S./45/p.240 - 244, 1987-08
  • An analytical equivalence theory of computer programs
    Mizutani; T.; Igarashi; S.; Tsuji; T.; +水谷 哲也
    International symposium on structures in mathematical theories/p.199 - 204, 1990-09
  • Experiments on Computerized Piano Accompaninent
    Igarashi; S.; Tsuji; T.; Mizutani; T.; Haraguchi; T.; +水谷 哲也
    Proceedings of the 1993 International Computer Music Conference/p.415-417, 1993-10
  • On locomorphism in analytical equivalence theory
    Igarashi; S.; Mizutani; T.; Tsuji; T.; Hosono; C.; +水谷 哲也
    Lecture notes in computer science/792, 1994-03
  • Formal Analysis for Continuous Systems Controlled by Programs
    Igarashi; S.; Mizutani; T.; Shirogane; T.; Shio; M.; +水谷 哲也
    Lecture Notes in Computer Science/1179/p.347-348, 1996-12
  • Formal Verification and Evaluation of Execution Time in the Envelope Theory
    Igarashi; S.; Shio; M.; Shirogane; T.; Mizutani; T.; +水谷 哲也
    Lecture Notes in Computer Science/1179/p.299-308, 1996-12
  • Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis
    Mizutani; T.; Igarashi; S. Tomita; K.; Shio; M.; +水谷 哲也
    Lecture Notes in Computer Science/1345/p.110-120, 1997-12
  • more...
Books
  • An analytical equivalence theory of programs with applications(プログラムの解析的同値理論及びその応用)
    水谷 哲也
    1988-03
Conference, etc.
  • Musical Rendering Models by Sequential Tension Rules
    Mizutani Tetsuya; Nakata Yuki
    The 7th International Conference on Computer and Communications Management/2019-07-27
  • Peak Picking Multiple Onset Detection Function Using Recurrent
    MOBAI XUAN; Mizutani Tetsuya
    The 10th International Conference on Computer and Communications Management (ICCCM 2022)/2022-07-29
  • Audio Feature Extraction for DTW-based Audio-to-Score Alignment
    Ding Yifan; Mizutani Tetsuya
    The 10th International Conference on Computer and Communications Management (ICCCM 2022)/2022-07-29
  • Style Transfer of Musical Performance Expression Using Note Classification based on the Implication-Realization Model
    Mizutani Tetsuya; Sasaki Shigefumi
    The 7th International Conference on Computer Science and Application Engineering (CSAE2023)/2023-10
  • Analysis of Performance Expressions using Sequential Tension Values
    Miura Shingo; Mizutani Tetsuya
    The 7th International Conference on Computer Science and Application Engineering (CSAE2023)/2023-10
  • Computational Analysis of Jazz Music: Estimating Tonality through Chord Progression Distances
    Yamamoto Yuta; Mizutani Tetsuya
    The 7th International Conference on Computer Science and Application Engineering (CSAE2023)/2023-10
  • A Data Cleansing System for Musical Expression Analysis
    Mizutani Tetsuya; HASEGAWA Kei
    The 8th International Conference on Computer and Communications Management (ICCCM 2020)/2020-07-17--2020-07-19
  • A Linear Regression Analysis of Musical Expressions using the Implication-Realization Model
    Mizutani Tetsuya; 佐々木滋史
    The 9th International Conference on Computer and Communications Management (ICCCM 2021)/2021-07-16--2021-07-18
Teaching
2023-10 -- 2024-02Research in Computer Science IIfUniversity of Tsukuba.
2023-10 -- 2024-02Research in Computer Science IfUniversity of Tsukuba.
2023-04 -- 2023-08Research in Computer Science IsUniversity of Tsukuba.
2023-04 -- 2023-08Research in Computer Science IIsUniversity of Tsukuba.
2023-04 -- 2023-08Seminar in Computer Science sUniversity of Tsukuba.
2023-10 -- 2024-02Research in Computer Science fUniversity of Tsukuba.
2023-10 -- 2024-02Seminar in Computer Science fUniversity of Tsukuba.
2023-10 -- 2024-02Computer Science Seminar BUniversity of Tsukuba.
2023-04 -- 2023-08Computer Science Seminar BUniversity of Tsukuba.
2023-10 -- 2024-02Computer Science Seminar AfUniversity of Tsukuba.
more...
Talks
  • Analysis of an Airplane Accident in N\Sigma-labeled Calculus
    Tetsuya Mizutani; Shigeru Igarashi; Yasuwo Ikeda; Masayuki Shio
    Workshop on Software Science and Technology in China and Japan/2008-09-15--2008-09-17

(Last updated: 2023-11-10)