ホーム > 水谷 哲也/ Mizutani, Tetsuya
水谷 哲也
Mizutani, Tetsuya
システム情報系 , 講師 Institute of Systems and Information Engineering , Assistant Professor
オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。
-
21.
A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance
Mizutani,Tetsuya; Igarashi,Shigeru; Suzuki,Tatsuo; Ikeda,YasuwoShio,Masayuki
Lecture Notes in Artificial Intelligence 6319: 256 (2010)
-
22.
5T-6 実時間演奏データと楽譜情報との対応システム(音楽信号処理,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
付, 磊; 池田, 勝洋; 島村, 祐介; 安江, 梓 (+1 著者) 田中, 二郎
全国大会講演論文集 72: (2010)
-
23.
LABELED CALCULI APPLIED TO VERIFICATION AND ANALYSIS OF TIME-CONCERNED PROGRAMS II
MIZUTANI, Tetsuya; IGARASHI, Shigeru; SHIO, Masayuki; IKEDA, Yasuwo
Tensor. New series 71: 285 (2009)
-
24.
Formal Analysis of an Airplane Accident in $NSigma$-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)
-
25.
Formal System and Semantics of $NSigma$-Labeled Calculus
Yasuwo, Ikeda; Tetsuya, Mizutani; and; Masayuki Shio
The 2009 International Conference on Artificial Intelligence and Computational Intelligence (AICI’09) III: 270 (2009) Semantic Scholar
-
26.
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) Semantic Scholar
-
27.
Formal Representation and Analysis of a Near Miss Accident in NSigma-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) Semantic Scholar
-
28.
LABELED CALCULI APPLIED TO VERIFICATION AND ANALYSIS OF TIME-CONCERNED PROGRAMS I
MIZUTANI, Tetsuya; IGARASHI, Shigeru; SHIO, Masayuki; IKEDA, Yasuwo
Tensor. New series 71: 172 (2009)
-
29.
5X-9 実時間協調演奏プログラムのための動的リハーサルシステム(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)
安江, 梓; 水谷, 哲也; 鈴木, 龍生; 七澤, 尚資居福, 修寛
全国大会講演論文集 70: (2008)
-
30.
Human Factors in Continuous Time-Concerned Cooperative Systems Represented by NSigma-labeled Calculus
Mizutani;T; Igarashi;S; Shio;M; Ikeda;Y水谷, 哲也
Frontiers of Computer Science in China 2: 22-28 (2008) Semantic Scholar
-
31.
5X-8 リハーサルを用いた実時間協調演奏プログラム(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)
鈴木, 龍生; 水谷, 哲也; 七澤, 尚資; 居福, 修寛安江, 梓
全国大会講演論文集 70: (2008)
-
32.
5X-7 生成音楽理論分析システムのための和声解析(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)
居福, 修寛; 水谷, 哲也; 鈴木, 達生; 七澤, 尚資安江, 梓
全国大会講演論文集 70: (2008)
-
33.
5X-6 階層的構造機能を用いた演奏生成モデル(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)
七澤, 尚資; 水谷, 哲也; 鈴木, 龍生; 居福, 修寛安江, 梓
全国大会講演論文集 70: (2008)
-
34.
5C-6 ヒューマンファクターを包含する記号論理体系に基づく実時間知的システムの分析(複雑系,一般セッション,人工知能と認知科学)
水谷, 哲也; 五十嵐, 滋; 塩, 雅之; 池田, 靖雄
全国大会講演論文集 70: (2008)
-
35.
Human Factors in Continuous Time-Concerned Cooperative Systems Represented by NSigma-labeled Calculus
Mizutani;T; Igarashi;S; Shio;M; Ikeda;Y水谷, 哲也
The Fifth Asian Workshop on Foundations of Software 42-51 (2007)
-
36.
Labeled Calculi, Logical Spaces and Cosmos
Igarashi;S; Mizutani; T., Ikeda;Y; and, Shio (+1 著者) 水谷, 哲也
The Fifth Asian Workshop on Foundations of Software 39-41 (2007)
-
37.
Labeled @-Calculus: Formalism for Time-Concerned Human Factors
Mizutani;T; Igarashi;S; Ikeda;Y; Shio;M水谷, 哲也
Lecture Notes on Artificial Intelligence 4120: 25-39 (2006)
-
38.
知性と感性の情報学的討究(6)ヒューマンファクターを包含する記号論理体系に基づく信楽列車事故の分析
水谷, 哲也; 五十嵐, 滋; 池田, 靖雄
Community development studies 1 (2006)
-
39.
Survey on Symbolic Computations on Grid
Petcu;D; Tepeneu;D; Paprzycki;M; Mizutani;T (+1 著者) 水谷, 哲也
3rd International Conference: Sciences of Electronic, Technologies of Information and Telecommunications 1-9 (2005)
-
40.
知性と感性の情報学的討究(4)人工知能論における協調系の数理的表現について
塩, 雅之; 水谷, 哲也; 池田, 靖雄
Community development studies 183 (2005)
-
1.
An analytical equivalence theory of programs with applications(プログラムの解析的同値理論及びその応用)
水谷, 哲也
1988年3月
-
1.
Peak Picking Multiple Onset Detection Function Using Recurrent
MOBAI, XUAN; Mizutani, Tetsuya
The 10th International Conference on Computer and Communications Management (ICCCM 2022) 2022年7月29日 ICCCM 2022 Organizing Committee
-
2.
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年7月29日 ICCCM 2022 Organizing Committee
-
3.
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年7月16日 International Association of Computer Science and Information Technology
-
4.
A Data Cleansing System for Musical Expression Analysis
Mizutani, Tetsuya; HASEGAWA, Kei
The 8th International Conference on Computer and Communications Management (ICCCM 2020) 2020年7月17日 International Association of Computer Science and Information Technology (IACSIT)
-
5.
Musical Rendering Models by Sequential Tension Rules
Mizutani, Tetsuya; Nakata, Yuki
The 7th International Conference on Computer and Communications Management 2019年7月27日 International Association of Computer Science and Information Technology
-
6.
Defining the Height of Time-Span Trees in GTTM through Prolongational Reduction Tree Generation
HORIGUCHI, Fuka; MIZUTANI, Tetsuya
The 8th International Conference on Computer Science and Application Engineering (CSAE2024)
-
7.
A Fine-tuning Method for Automatic Chord Estimation Using the Foundation Model
MIMURA, Junnosuke; MIZUTANI, Tetsuya
The 8th International Conference on Computer Science and Application Engineering (CSAE2024)
-
8.
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)
-
9.
Analysis of Performance Expressions using Sequential Tension Values
Miura, Shingo; Mizutani, Tetsuya
The 7th International Conference on Computer Science and Application Engineering (CSAE2023)
-
10.
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)
-
11.
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 招待有り
知財情報はまだありません。
792 total views