水谷哲也 (Tetsuya Mizutani) - 論文

A Data Cleansing System for Musical Expression Analysis

Mizutani, Tetsuya, HASEGAWA, Kei

ICCCM 2020: Proceedings of the 2020 8th International Conference on Computer and Communications Management 111 - 116 2020年8月査読有り

Musical Rendering Models by Sequential Tension Rules

Mizutani, Tetsuya, Nakata, Yuki

Journal of Advances in Information Technology 11 21 - 25 2020年2月査読有り

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年8月査読有り

A Musical Expression Model Using Tonal Tension

Tetsuya Mizutani, Yamato Iwami

2016 INTERNATIONAL CONFERENCE ON COMPUTATIONAL MODELING, SIMULATION AND APPLIED MATHEMATICS (CMSAM 2016) 220 - 224 2016年査読有り

Formal Verification of the Ricart-Agrawala Mutual Exclusion Algorithm in N-Labeled Calculus

Tetsuya Mizutani

2015 INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND ARTIFICIAL INTELLIGENCE (CAAI 2015) 167 - 171 2015年査読有り

Formalization of Mutual Exclusion Algorithms in N-labeled Calculus

Tetsuya Mizutani, Kohji Tomita

2014 IEEE 7TH JOINT INTERNATIONAL INFORMATION TECHNOLOGY AND ARTIFICIAL INTELLIGENCE CONFERENCE (ITAIC) 83 - 88 2014年査読有り

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) 31 - 34 2013年11月査読有り

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) 35 - 38 2013年11月査読有り

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) 1 - 8 2013年8月査読有り

Formalization of a Realtime Person-Computer Ensemble System with an Effective Matching Algorithm

Tetsuya, Mizutani, Shigeru, Igarashi

Proceedings 2012 IEEE International Conference on Computer Science and Automation Engineering (CSAE 2012) 1 65-69 2012年5月査読有り

Expressive secondo performances of a realtime person-computer ensemble system

Tetsuya Mizutani, Yuki Shinagawa, Naoki Murakami, Shigeru Igarashi

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7530 1 - 8 2012年査読有り

A Matching Method between Music Scores and Performance Data in a Realtime Person-Computer Ensemble System

Tetsuya, Mizutani, Keita, Nishiyama, and, Shigeru Igarashi

Lecture Notes in Artificial Intelligence 7002 9-17 2011年9月査読有り

A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance

Mizutani,Tetsuya, Igarashi,Shigeru, Suzuki,Tatsuo, Ikeda,Yasuwo, Shio,Masayuki

Lecture Notes in Artificial Intelligence 2010年10月査読有り

5T-6 実時間演奏データと楽譜情報との対応システム(音楽信号処理,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)

付, 磊, 池田, 勝洋, 島村, 祐介, 安江, 梓, 水谷, 哲也, 田中, 二郎

全国大会講演論文集 72(2) - 185 2010年3月

LABELED CALCULI APPLIED TO VERIFICATION AND ANALYSIS OF TIME-CONCERNED PROGRAMS II

MIZUTANI, Tetsuya, IGARASHI, Shigeru, SHIO, Masayuki, IKEDA, Yasuwo

Tensor. New series 71(3) 285 - 296 2009年12月査読有り

Formal System and Semantics of $N\Sigma$-Labeled Calculus

Yasuwo, Ikeda, Tetsuya, Mizutani, and, Masayuki Shio

The 2009 International Conference on Artificial Intelligence and Computational Intelligence (AICI’09) III 270 - 274 2009年11月査読有り

Formal Analysis of an Airplane Accident in $N\Sigma$-labeled Calculus

Tetsuya, Mizutani, Shigeru, Igarashi, Yasuwo, Ikeda, Masayuki, Shio

The 2009 International Conference on Artificial Intelligence and Computational Intelligence (AICI '09), Lecture Notes on Artificial Intelligence(AICI’09), Lecture Notes on Artificial Intelligence 5855 469-478 2009年11月査読有り

Formal Representation and Analysis of a Near Miss Accident in N\Sigma-labeled Calculus

Tetsuya, Mizutani, Shigeru, Igarashi, Yasuwo, Ikeda, Masayuki, Shio

TASE 2009, 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering 311-312 2009年9月査読有り

Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal

Tetsuya, Mizutani, Tatsuo, Suzuki, Masayuki, Shio, Yasuwo, Ikeda

TASE 2009, 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering 303-304 2009年9月査読有り

LABELED CALCULI APPLIED TO VERIFICATION AND ANALYSIS OF TIME-CONCERNED PROGRAMS I

MIZUTANI, Tetsuya, IGARASHI, Shigeru, SHIO, Masayuki, IKEDA, Yasuwo

Tensor. New series 71(2) 172 - 186 2009年8月査読有り