MIZUTANI Tetsuya
- Articles
- 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.; Tsugawa; S.; +水...
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; T.; +水谷 哲也
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 - Human Factors in Continuous Time-Concerned Cooperative Systems Represented by N\Sigma-labeled Calculus
Mizutani; T.; Igarashi; S.; Shio; M.; Ikeda; Y.; +水谷 哲也
The Fifth Asian Workshop on Foundations of Software/p.42-51, 2007-06 - Labeled Calculi, Logical Spaces and Cosmos
Igarashi; S.; Mizutani; T. Ikeda; Y.; and Shio; M.; +水谷 哲也
The Fifth Asian Workshop on Foundations of Software/p.39-41, 2007-06 - Human Factors in Continuous Time-Concerned Cooperative Systems Represented by N\Sigma-labeled Calculus
Mizutani; T.; Igarashi; S.; Shio; M.; Ikeda; Y.; +水谷 哲也
Frontiers of Computer Science in China/2(1)/p.22-28, 2008-03 - Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal
Tetsuya Mizutani; Tatsuo Suzuki; Masayuki Shio; Yasuwo I...
TASE 2009, 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering/p.303-304, 2009-09 - Formal Representation and Analysis of a Near Miss Accident in N\Sigma-labeled Calculus
Tetsuya Mizutani; Shigeru Igarashi; Yasuwo Ikeda; Masayuk...
TASE 2009, 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering/p.311-312, 2009-09 - Formal Analysis of an Airplane Accident in
-labeled Calculus
Tetsuya Mizutani; Shigeru Igarashi; Yasuwo Ikeda; Masayuk...
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/p.469-478, 2009-11 - Formal System and Semantics of
Yasuwo Ikeda; Tetsuya Mizutani; and Masayuki Shio
The 2009 International Conference on Artificial Intelligence and Computational Intelligence (AICI’09)/III/pp.270-274, 2009-11 - A Matching Method between Music Scores and Performance Data in a Realtime Person-Computer Ensemble System
Tetsuya Mizutani; Keita Nishiyama; and Shigeru Igarashi
Lecture Notes in Artificial Intelligence/7002/p.9-17, 2011-09 - Formalization of a Realtime Person-Computer Ensemble System with an Effective Matching Algorithm
Tetsuya Mizutani; Shigeru Igarashi
Proceedings 2012 IEEE International Conference on Computer Science and Automation Engineering (CSAE 2012)/1/p.65-69, 2012-05 - Expressive Secondo Performances of a Realtime Person-Computer Ensemble System
Tetsuya Mizutani; Yuki Shinagawa; Naoki Murakami; and Sh...
Lecture Notes in Artificial Intelligence/7530/pp.1-8, 2012-10 - Verification of Programs using ν-definable Acts.
水谷 哲也; 細野 千春; 五十嵐 滋
Computer Software/2(3)/pp.529-538, 1985-07 - Preservation of Specifications of Programs by Locomorphism
水谷 哲也; 五十嵐 滋; 辻 尚史
Journal of Saitama Junior College/1(0)/pp.65-72, 1990-03 - Description and Verification of an Automatic Accompaniment System by a Virtual Text with Rendezvous
白銀 哲也; 五十嵐 滋; 辻 尚史; 水谷 哲也
全国大会講演論文集/50(1)/pp.369-370, 1995-03 - Implementation of a Decision Procedure of the Equivalence in Word Models for logic for Time
畑中 秀行; 細野 千春; 五十嵐 滋; 水谷 哲也
全国大会講演論文集/50(4)/pp.301-302, 1995-03 - Verifications of Parallel Program Systems using the Latice Model of the Tense Logic
塩 雅之; 五十嵐 滋; 辻 尚史; 水谷 哲也; 白銀 哲也
全国大会講演論文集/50(4)/pp.303-304, 1995-03 - Representations of Music Structure and Experssion in Automatic Ensemble systems
五十嵐 滋; 小川 大典; 松浦 陽平; 水谷 哲也
人工知能学会全国大会論文集 = Proceedings of the Annual Conference of JSAI/9(0)/pp.627-630, 1995-07 - more...
- Formal Verification and Evaluation of Execution Time in the Envelope Theory