ホーム > 水谷 哲也/ Mizutani, Tetsuya
水谷 哲也
Mizutani, Tetsuya
システム情報系 , 講師 Institute of Systems and Information Engineering , Assistant Professor
オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。
-
61.
有理時間を含むプログラムの仕様表現および動作解析
白銀, 哲也; 五十嵐, 滋; 塩, 雅之; 水谷, 哲也
全国大会講演論文集 52: 3 (1996)
-
62.
楽曲構造や演奏表情の表現と自動協調システム
五十嵐, 滋; 小川, 大典; 松浦, 陽平; 水谷, 哲也
人工知能学会全国大会論文集 = Proceedings of the Annual Conference of JSAI 9: 627 (1995)
-
63.
ランデブーを含むvirtual textによる自動伴奏システムの表現とその検証
白銀, 哲也; 五十嵐, 滋; 辻, 尚史; 水谷, 哲也
全国大会講演論文集 50: 369 (1995)
-
64.
時間の論理の束モデルを用いた並行プログラム系の検証
塩, 雅之; 五十嵐, 滋; 辻, 尚史; 水谷, 哲也白銀, 哲也
全国大会講演論文集 50: 303 (1995)
-
65.
時間の論理の語モデルに対する同値性判定手続きの実現
畑中, 秀行; 細野, 千春; 五十嵐, 滋; 水谷, 哲也
全国大会講演論文集 50: 301 (1995)
-
66.
On locomorphism in analytical equivalence theory
Igarashi;S; Mizutani;T; Tsuji;T; Hosono;C水谷, 哲也
Lecture notes in computer science 792: 173 (1994)
-
67.
Experiments on Computerized Piano Accompaninent
Igarashi;S; Tsuji;T; Mizutani;T; Haraguchi;T水谷, 哲也
Proceedings of the 1993 International Computer Music Conference 415-417 (1993)
-
68.
An analytical equivalence theory of computer programs
Mizutani;T; Igarashi;S; Tsuji;T; 水谷, 哲也
International symposium on structures in mathematical theories 199 - 204 (1990)
-
69.
軌跡準同型によるプログラムの仕様の保存性
水谷, 哲也; 五十嵐, 滋; 辻, 尚史
Journal of Saitama Junior College 1: 65 (1990)
-
70.
An analytical semantics of parallel program processes represented by ν-conversion
Igarashi;S; Mizutani;T; Tsuji;T; 水谷, 哲也
TENSOR, N. S. 45: 222 - 228 (1987)
-
71.
Specifications of parallel program processes in analytical semantics
Igarashi;S; Mizutani;T; Tsuji;T; 水谷, 哲也
TENSOR, N. S. 45: 240 - 244 (1987)
-
72.
ν-定義可能行為によるプログラムの検証
水谷, 哲也; 細野, 千春; 五十嵐, 滋
Computer Software 2: 529 (1985)
-
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 招待有り
知財情報はまだありません。
794 total views