水谷 哲也/ Mizutani Tetsuya

システム情報系 講師/ Faculty of Engineering, Information and Systems, Assistant Professor

関連記事 / Related Articles in COTRE

宇宙開発を軸に多様な頭脳が集う
学際的宇宙開発リサーチユニット
A group of experts from various fields for research on space exploration
科学的に美しいプログラムを追及する
プログラミング科学リサーチユニット
Scientific Study on Elegant Programming

 

論文 / Publication

  1. 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月
  2. A Musical Expression Model using Tonal Tension Mizutani, Tetsuya;IWAMI, Yamato Proceedings of 2016 International Conference on Computational Modeling, Simulation and Applied Mathematics 2016年7月
  3. 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) 2015年8月
  4. Formalization of Mutual Exclusion Algorithms in N-labeled Calculus Mizutani,Tetsuya;Kohji,Tomita IEEE Joint International Information Technology and Artificial Intelligence Conference (ITAIC 2014) 2014年12月
  5. 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) 2013年11月

More...

この研究者についてもっと知るDetailed information

 

産学連携のご相談窓口/ Inquiry about technology transfer