Rchr
J-GLOBAL ID:200901051592990700   Update date: Sep. 16, 2020

Mizutani Tetsuya

ミズタニ テツヤ | Mizutani Tetsuya
Affiliation and department:
Job title: Assistant Professor
Research theme for competitive and other funds  (4):
  • 2020 - 2022 クラシックピアノ楽曲の演奏表情モデル生成のための演奏情報解析
  • 1998 - 2000 解析的意味論に基づく実時間プログラムシステムの検証の研究
  • 2000 - Musical Informatics
  • 1983 - Verification of Intellectual Program System
Papers (64):
  • Mizutani, Tetsuya, HASEGAWA, Kei. A Data Cleansing System for Musical Expression Analysis. International Conference Proceedings Series by ACM. 2020. 111-116
  • Mizutani, Tetsuya, Nakata, Yuki. Musical Rendering Models by Sequential Tension Rules. Journal of Advances in Information Technology. 2020. 11. 21-25
  • Mizutani, Tetsuya, 中原彰太, 武田拓也. Comparison of Musical Expression of Distinguished and Unnamed Pianists in Tonal Tension and Attraction Models. The 2018 3rd International Conference on Control, Automation and Artificial Intelligence (CAAI2018), Atlantis Highlights in Intelligent Systems. 2018
  • Tetsuya Mizutani, Yamato Iwami. A Musical Expression Model Using Tonal Tension. 2016 INTERNATIONAL CONFERENCE ON COMPUTATIONAL MODELING, SIMULATION AND APPLIED MATHEMATICS (CMSAM 2016). 2016. 220-224
  • Tetsuya Mizutani. Formal Verification of the Ricart-Agrawala Mutual Exclusion Algorithm in N-Labeled Calculus. 2015 INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND ARTIFICIAL INTELLIGENCE (CAAI 2015). 2015. 167-171
more...
Books (1):
  • An analytical equivalence theory of programs with applications(プログラムの解析的同値理論及びその応用)
    1988
Education (2):
  • - 1988 University of Tsukuba
  • - 1983 University of Tsukuba
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):
JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY ,  THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS. ,  THE JAPANESE SOCIETY FOR ARTIFICIAL INTELLIGENCE ,  Information Processing Society of Japan ,  Association for Computing Machinery
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page