現在地

水谷 哲也(ミズタニ テツヤ; Mizutani, Tetsuya)

所属
システム情報系
職名
講師
研究キーワード
プログラム理論
音楽情報学
研究課題
知的プログラム系の検証1983 -- (現在)/
音楽情報学2000 -- (現在)/
解析的意味論に基づく実時間プログラムシステムの検証の研究2000 -- (現在)日本学術振興会/基盤研究(C)2,100,000円
学歴
-- 1983筑波大学 第三学群 情報学類情報科学主専攻卒業
-- 1988筑波大学 工学研究科 電子・情報工学修了
取得学位
1988-03工学博士筑波大学
所属学協会
2000 -- (現在)Association for Computing Machinery
2011 -- (現在)テンゾル学会
1983 -- (現在)情報処理学会
1996 -- (現在)人工知能学会
2008 -- (現在)電子情報通信学会
1983 -- (現在)日本ソフトウェア科学会
論文
  • Musical Rendering Models by Sequential Tension Rules
    Mizutani Tetsuya; Nakata Yuki
    Journal of Advances in Information Technology, 2020
  • 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 ...
    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
  • Tense Arithmetic I: Formalization of Properties of Programs in Rational Arithmetic
    Igarashi; S.; Shirogane; T.; Shio; M.; Mizutani; T.; +水...
    Tensor, N. S./59/p.133-153, 1998-08
  • Representations of Autonomoous Realtime Systems
    Tomita; K.; Igarashi; S.; Hosono; C.; Mizutani; T.; Tsuga...
    Tensor, N. S./59/p.114-124, 1998-08
  • Representation of Discretely Controlled Continuous System in Tense Arithmetic
    Mizutani; T.; Igarashi; S.; Shio; M.; +水谷 哲也
    Electr. Notes in Theor. Comp. Sci./42/p.1-12, 2001-01
  • Tense Arithmetic II: @-calculus as an Adaptation for Formal Number Theory
    Igarashi; S.; Mizutani; T.; Ikeda; Y.; Shio; M.; +水谷 哲也
    Tensor, N. S./64/p.12-33, 2003-03
  • Logical Representation of Musical Information
    水谷 哲也
    The 5th Tunisia-Japan Symposium on Culture, Science and Technology/p.67-70, 2004-05
  • Survey on Symbolic Computations on Grid
    Petcu; D.; Tepeneu; D.; Paprzycki; M.; Mizutani; T.; Ida;...
    3rd International Conference: Sciences of Electronic, Technologies of Information and Telecommunications/p.1-9, 2005-03
  • Labeled @-Calculus: Formalism for Time-Concerned Human Factors
    Mizutani; T.; Igarashi; S.; Ikeda; Y.; Shio; M.; +水谷 哲也
    Lecture Notes on Artificial Intelligence/4120/p.25-39, 2006-09
著書
  • An analytical equivalence theory of programs with applications(プログラムの解析的同値理論及びその応用)
    水谷 哲也
    1988-03
担当授業科目
2019-07 -- 2019-08計算と情報科学筑波大学
2019-10 -- 2020-02コンピュータサイエンス特別研究筑波大学
2019-04 -- 2019-08コンピュータサイエンス特別研究筑波大学
2019-04 -- 2019-07線形代数A筑波大学
2019-10 -- 2020-02コンピュータサイエンス特別演習筑波大学
2019-04 -- 2019-08コンピュータサイエンス特別演習筑波大学
2019-04 -- 2019-06論理と形式化筑波大学
2019-04 -- 2019-08コンピュータサイエンス特別演習A筑波大学
2019-10 -- 2020-02コンピュータサイエンス特別演習A筑波大学
2019-10 -- 2020-02ソフトウェアサイエンス実験B筑波大学
一般講演
  • Analysis of an Airplane Accident in N\Sigma-labeled Calculus
    Tetsuya Mizutani; Shigeru Igarashi; Yasuwo Ikeda; Masayuk...
    Workshop on Software Science and Technology in China and Japan/2008-09-15--2008-09-17
その他の活動
-- (現在)The 2018 Albert Nelson Marquis Lifetime Achievement Award 選出, 22nd, Apr., 2017, Marquis Who's Who LLC.
-- (現在)The 2017 Albert Nelson Marquis Lifetime Achievement Award 選出, 22nd, Apr., 2017, Marquis Who's Who LLC.
-- (現在)Marquis Who's Who in the World, 2016 (33rd) Edition, 掲載, 9th, Sep., 2015, Marquis Who's Who LLC.
-- (現在)Marquis Who's Who in the World, 2015 (32nd) Edition, 掲載, 9th, Oct., 2014, Marquis Who's Who LLC.
-- (現在)Marquis Who's Who in the World, 2014 (31st) Edition, 掲載, 1st, Oct, 2013, Marquis Who's Who LLC.
-- (現在)Marquis Who's Who in the World, 2013 (30th) Edition 掲載, 24th, Aug., 2012, Marquis Who's Who LLC.
-- (現在)Marquis Who's Who in the World, 2012 (29th) Edition 掲載, 10th, Sept., 2011, Marquis Who's Who LLC.
-- (現在)Marquis Who's Who in the World, 2011 (28th) Edition 掲載, 09th, July, 2010, Marquis Who's Who LLC.

(最終更新日: 2019-10-29)