ホーム > 水谷 哲也/ Mizutani, Tetsuya
水谷 哲也
Mizutani, Tetsuya
システム情報系 , 講師 Institute of Systems and Information Engineering , Assistant Professor
オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。
-
41.
Logical Representation of Musical Information
水谷, 哲也
The 5th Tunisia-Japan Symposium on Culture, Science and Technology 67-70 (2004)
-
42.
知性と感性の情報学的討究(1)コンピュータによる知的発想--原理と応用
五十嵐, 滋; 塩, 雅之; 水谷, 哲也
Community development studies 27 (2004)
-
43.
知性と感性の情報学的討究II : 時制数論体系@-calculusの基礎分析
池田, 靖雄; 五十嵐, 滋; 水谷, 哲也; 塩, 雅之
Journal of Saitama Junior College 13: 109 (2004)
-
44.
知性と感性の情報学的討究III : @-calculusに基づく協調システムの検証例-アンサンブル・プログラム
塩, 雅之; 五十嵐, 滋; 水谷, 哲也; 池田, 靖雄
Journal of Saitama Junior College 13: 119 (2004)
-
45.
TENSE ARITHMETIC II : @-CALCULUS AS AN ADAPTATION FOR FORMAL NUMBER THEORY
IGARASHI, Shigeru; MIZUTANI, Tetsuya; IKEDA, Yasuo; SHIO, Masayuki
Tensor, N. S. 64: 12 (2003)
-
46.
Tense Arithmetic II: @-calculus as an Adaptation for Formal Number Theory
Igarashi;S; Mizutani;T; Ikeda;Y; Shio;M水谷, 哲也
Tensor, N. S. 64: 12-33 (2003)
-
47.
Representation of Discretely Controlled Continuous System in Tense Arithmetic
Mizutani;T; Igarashi;S; Shio;M; 水谷, 哲也
Electr. Notes in Theor. Comp. Sci. 42: 1-12 (2001) Semantic Scholar
-
48.
芸術的演奏生成を目的とする協調演奏システム
永田, 恵典; 船田, 宏聡; 水谷, 哲也; 五十嵐, 滋
Proceedings of the Annual Conference of JSAI 14: 472 (2000)
-
49.
音楽の構造的機能とそれに基づく演奏創造
五十嵐, 滋; 小池, 宏幸; 水谷, 哲也
Proceedings of the Annual Conference of JSAI 14: 487 (2000)
-
50.
アゴーギクルールのパラメータ値の自動決定システムの構築
小池, 宏幸; 平賀, 瑠美; 五十嵐, 滋; 水谷, 哲也塩, 雅之
IPSJ SIG Notes 99: 49 (1999)
-
51.
演奏生成の論理的表現 : ルールを用いた演奏生成と協調演奏
酒井, 祐樹; 田中, 崇之; 水谷, 哲也; 五十嵐, 滋 (+1 著者) 平賀, 瑠美
Proceedings of the Annual Conference of JSAI 13: 171 (1999)
-
52.
REPRESENTATIONS OF AUTONOMOUS REALTIME SYSTEMS
TOMITA, Kohji; IGARASHI, Shigeru; HOSONO, Chiharu; MIZUTANI, Tetsuya (+1 著者) Sadayuki
Tensor, N. S. 59: 114 (1998)
-
53.
TENSE ARITHMETIC I : FORMALIZATION OF PROPERTIES OF PROGRAMS IN RATIONAL ARITHMETIC
IGARASHI, Shigeru; SHIROGANE, Tetsuya; SHIO, Masayuki; MIZUTANI, Tetsuya
Tensor. New series 59: 133 (1998)
-
54.
Tense Arithmetic I: Formalization of Properties of Programs in Rational Arithmetic
Igarashi;S; Shirogane;T; Shio;M; Mizutani;T水谷, 哲也
Tensor, N. S. 59: 133-153 (1998)
-
55.
Representations of Autonomoous Realtime Systems
Tomita;K; Igarashi;S; Hosono;C; Mizutani;T (+1 著者) 水谷, 哲也
Tensor, N. S. 59: 114-124 (1998)
-
56.
エンヴェロープ理論による実時間知的プログラムの検証
塩, 雅之; 五十嵐, 滋; 水谷, 哲也
人工知能学会全国大会論文集 = Proceedings of the Annual Conference of JSAI 12: 302 (1998)
-
57.
ソフトウェア指向形式解析体系による実時間知的プログラムの検証
水谷, 哲也; 五十嵐, 滋; 塩, 雅之
人工知能学会全国大会論文集 = Proceedings of the Annual Conference of JSAI 12: 306 (1998)
-
58.
Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis
Mizutani;T; Igarashi; S., Tomita; K (+1 著者) 水谷, 哲也
Lecture Notes in Computer Science 1345: 110-120 (1997) Semantic Scholar
-
59.
Formal Analysis for Continuous Systems Controlled by Programs
Igarashi;S; Mizutani;T; Shirogane;T; Shio;M水谷, 哲也
Lecture Notes in Computer Science 1179: 347-348 (1996)
-
60.
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: 299-308 (1996)
-
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 招待有り
知財情報はまだありません。
793 total views