Mizutani Tetsuya
- Articles
- Verification of Intelligent Control Programs on Software-Oriented Formal Analysis
水谷 哲也; 五十嵐 滋; 塩 雅之
人工知能学会全国大会論文集 = Proceedings of the Annual Conference of JSAI/12(0)/pp.306-307, 1998-06 - REPRESENTATIONS OF AUTONOMOUS REALTIME SYSTEMS
TOMITA Kohji; IGARASHI Shigeru; HOSONO Chiharu; MIZUTANI ...
Tensor, N. S./59(1)/pp.114-124, 1998-12 - TENSE ARITHMETIC I : FORMALIZATION OF PROPERTIES OF PROGRAMS IN RATIONAL ARITHMETIC
IGARASHI Shigeru; SHIROGANE Tetsuya; SHIO Masayuki; MIZUT...
Tensor. New series/59(1)/pp.133-153, 1998-12 - Logical expression of performance generation : systems for performance synthesis using roles and automated ensemble
酒井 祐樹; 田中 崇之; 水谷 哲也; 五十嵐 滋; 塩 雅之; 平賀 瑠美
Proceedings of the Annual Conference of JSAI/13(0)/pp.171-174, 1999-06 - Automatic Decision System of Parameter Values for Agogic Rules
小池 宏幸; 平賀 瑠美; 五十嵐 滋; 水谷 哲也; 塩 雅之
IPSJ SIG Notes/99(68)/pp.49-54, 1999-08 - Automated Ensemble Systems for Artistic Music Performance
永田 恵典; 船田 宏聡; 水谷 哲也; 五十嵐 滋
Proceedings of the Annual Conference of JSAI/14(0)/pp.472-475, 2000-07 - Structural Function of Music and Creation of Interpretation based on them
五十嵐 滋; 小池 宏幸; 水谷 哲也
Proceedings of the Annual Conference of JSAI/14(0)/pp.487-490, 2000-07 - TENSE ARITHMETIC II : @-CALCULUS AS AN ADAPTATION FOR FORMAL NUMBER THEORY
IGARASHI Shigeru; MIZUTANI Tetsuya; IKEDA Yasuo; SHIO Ma...
Tensor, N. S./64(1)/pp.12-33, 2003-04 - Intellect and Sensibility in Informatics I : Conception by Computers ― Principles and Applications
五十嵐 滋; 塩 雅之; 水谷 哲也
Community development studies/0(4)/pp.27-47, 2004-03 - Intellect and Sensibility in Informatics IV : On Mathematical Representation of Cooperative Systems in Artificial Intelligence
塩 雅之; 水谷 哲也; 池田 靖雄
Community development studies/0(5)/pp.183-201, 2005-03 - 知性と感性の情報学的討究(6)ヒューマンファクターを包含する記号論理体系に基づく信楽列車事故の分析
水谷 哲也; 五十嵐 滋; 池田 靖雄
Community development studies/0(6)/pp.1-17, 2006-03 - LABELED CALCULI APPLIED TO VERIFICATION AND ANALYSIS OF TIME-CONCERNED PROGRAMS I
MIZUTANI Tetsuya; IGARASHI Shigeru; SHIO Masayuki; IKEDA ...
Tensor. New series/71(2)/pp.172-186, 2009-08 - LABELED CALCULI APPLIED TO VERIFICATION AND ANALYSIS OF TIME-CONCERNED PROGRAMS II
MIZUTANI Tetsuya; IGARASHI Shigeru; SHIO Masayuki; IKEDA ...
Tensor. New series/71(3)/pp.285-296, 2009-12 - Intellect and Sensibility Informatics II : A Fundamental Analysis of the Tense Arithmetic @-clculus
池田 靖雄; 五十嵐 滋; 水谷 哲也; 塩 雅之
Journal of Saitama Junior College/13(0)/pp.109-117, 2004-03 - Intellect and Sensibility Informatics III : An Example of Verification Based on @-calculus-an Ensemble Program
塩 雅之; 五十嵐 滋; 水谷 哲也; 池田 靖雄
Journal of Saitama Junior College/13(0)/pp.119-129, 2004-03 - 5C-6 Analysis of Time-Concerned Intellectual Systems based on a Symbolic-Logical System involving Human Factor
水谷 哲也; 五十嵐 滋; 塩 雅之; 池田 靖雄
全国大会講演論文集/70(2)/p.37, 2008-03 - 5X-6 A Generative Model for Musical Performance using Hierarchical Structure Functions
七澤 尚資; 水谷 哲也; 鈴木 龍生; 居福 修寛; 安江 梓
全国大会講演論文集/70(2)/p.485, 2008-03 - 5X-7 Analysis of Harmony for Generative Theory of Music
居福 修寛; 水谷 哲也; 鈴木 達生; 七澤 尚資; 安江 梓
全国大会講演論文集/70(2)/p.487, 2008-03 - 5X-8 A Realtime Ensemble Program with Rehersal
鈴木 龍生; 水谷 哲也; 七澤 尚資; 居福 修寛; 安江 梓
全国大会講演論文集/70(2)/p.489, 2008-03 - 5X-9 A Dynamic Rehearsal System for Real time Ensemble Program
安江 梓; 水谷 哲也; 鈴木 龍生; 七澤 尚資; 居福 修寛
全国大会講演論文集/70(2)/p.491, 2008-03 - 5T-6 Realtime Matching System Between Score Data And Playing Data
付 磊; 池田 勝洋; 島村 祐介; 安江 梓; 水谷 哲也; 田中 二郎
全国大会講演論文集/72(2)/p.185, 2010-03
- Verification of Intelligent Control Programs on Software-Oriented Formal Analysis