水谷 哲也(ミズタニ テツヤ)
- 所属
- システム情報系
- 職名
- 講師
- 性別
- 男性
- 生年月
- 1960-09
- 科研費番号
- 70209758
- 研究キーワード
プログラム理論 音楽情報学 - 研究課題
クラシック楽曲の演奏表情抽出および演奏表情モデル生成 2023-04 -- 2026-03 水谷哲也 日本学術振興会/基盤研究(C)(一般) 910,000円 クラシックピアノ楽曲の演奏表情モデル生成のための演奏情報解析 2020-04 -- 2023-03 水谷哲也 日本学術振興会/基盤研究(C)(一般) 2,080,000円 音楽情報学 2000 -- (現在) / 解析的意味論に基づく実時間プログラムシステムの検証の研究 1998 -- 2000 日本学術振興会/基盤研究(C) 2,100,000円 知的プログラム系の検証 1983 -- (現在) / - 学歴
-- 1983 筑波大学 第三学群 情報学類情報科学主専攻 -- 1988 筑波大学 工学研究科 電子・情報工学 - 取得学位
1988-03 工学博士 筑波大学 - 所属学協会
2000 -- (現在) Association for Computing Machinery 1983 -- (現在) 情報処理学会 1996 -- (現在) 人工知能学会 2008 -- (現在) 電子情報通信学会 1983 -- (現在) 日本ソフトウェア科学会 - 論文
- 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
ICCCM 2020: Proceedings of the 2020 8th International Conference on Computer and Communications Management/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 - A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance
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 - さらに表示...
- Computational Analysis of Jazz Music: Estimating Tonality through Chord Progression Distances
- 著書
- An analytical equivalence theory of programs with applications(プログラムの解析的同値理論及びその応用)
水谷 哲也
1988-03
- An analytical equivalence theory of programs with applications(プログラムの解析的同値理論及びその応用)
- 会議発表等
- 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
- Musical Rendering Models by Sequential Tension Rules
- 担当授業科目
2023-10 -- 2024-02 情報理工前期特別研究IIf 筑波大学 2023-10 -- 2024-02 情報理工前期特別研究If 筑波大学 2023-04 -- 2023-08 情報理工前期特別研究Is 筑波大学 2023-04 -- 2023-08 情報理工前期特別研究IIs 筑波大学 2023-04 -- 2023-08 情報理工前期特別演習s 筑波大学 2023-10 -- 2024-02 情報理工後期特別研究f 筑波大学 2023-10 -- 2024-02 情報理工前期特別演習f 筑波大学 2023-10 -- 2024-02 コンピュータサイエンス特別演習B 筑波大学 2023-04 -- 2023-08 コンピュータサイエンス特別演習B 筑波大学 2023-10 -- 2024-02 情報理工後期特別演習Af 筑波大学 さらに表示... - 一般講演
- 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
- Analysis of an Airplane Accident in N\Sigma-labeled Calculus
(最終更新日: 2023-11-10)