水谷 哲也(ミズタニ テツヤ)
- 論文
- ソフトウェア指向形式解析体系による実時間知的プログラムの検証
水谷 哲也; 五十嵐 滋; 塩 雅之
人工知能学会全国大会論文集 = 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. New series/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 - 演奏生成の論理的表現 : ルールを用いた演奏生成と協調演奏
酒井 祐樹; 田中 崇之; 水谷 哲也; 五十嵐 滋; 塩 雅之; 平賀 瑠美
人工知能学会全国大会論文集 = Proceedings of the Annual Conference of JSAI/13(0)/pp.171-174, 1999-06 - アゴーギクルールのパラメータ値の自動決定システムの構築
小池 宏幸; 平賀 瑠美; 五十嵐 滋; 水谷 哲也; 塩 雅之
情報処理学会研究報告. [音楽情報科学]/99(68)/pp.49-54, 1999-08 - 芸術的演奏生成を目的とする協調演奏システム
永田 恵典; 船田 宏聡; 水谷 哲也; 五十嵐 滋
人工知能学会全国大会論文集 = Proceedings of the Annual Conference of JSAI/14(0)/pp.472-475, 2000-07 - 音楽の構造的機能とそれに基づく演奏創造
五十嵐 滋; 小池 宏幸; 水谷 哲也
人工知能学会全国大会論文集 = 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. New series/64(1)/pp.12-33, 2003-04 - 知性と感性の情報学的討究(1)コンピュータによる知的発想--原理と応用
五十嵐 滋; 塩 雅之; 水谷 哲也
コミュニティ振興研究/0(4)/pp.27-47, 2004-03 - 知性と感性の情報学的討究(4)人工知能論における協調系の数理的表現について
塩 雅之; 水谷 哲也; 池田 靖雄
コミュニティ振興研究/0(5)/pp.183-201, 2005-03 - 知性と感性の情報学的討究(6)ヒューマンファクターを包含する記号論理体系に基づく信楽列車事故の分析
水谷 哲也; 五十嵐 滋; 池田 靖雄
コミュニティ振興研究/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 - 知性と感性の情報学的討究II : 時制数論体系@-calculusの基礎分析
池田 靖雄; 五十嵐 滋; 水谷 哲也; 塩 雅之
学校法人佐藤栄学園埼玉短期大学研究紀要/13(0)/pp.109-117, 2004-03 - 知性と感性の情報学的討究III : @-calculusに基づく協調システムの検証例-アンサンブル・プログラム
塩 雅之; 五十嵐 滋; 水谷 哲也; 池田 靖雄
学校法人佐藤栄学園埼玉短期大学研究紀要/13(0)/pp.119-129, 2004-03 - 5C-6 ヒューマンファクターを包含する記号論理体系に基づく実時間知的システムの分析(複雑系,一般セッション,人工知能と認知科学)
水谷 哲也; 五十嵐 滋; 塩 雅之; 池田 靖雄
全国大会講演論文集/70(2)/p.37, 2008-03 - 5X-6 階層的構造機能を用いた演奏生成モデル(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)
七澤 尚資; 水谷 哲也; 鈴木 龍生; 居福 修寛; 安江 梓
全国大会講演論文集/70(2)/p.485, 2008-03 - 5X-7 生成音楽理論分析システムのための和声解析(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)
居福 修寛; 水谷 哲也; 鈴木 達生; 七澤 尚資; 安江 梓
全国大会講演論文集/70(2)/p.487, 2008-03 - 5X-8 リハーサルを用いた実時間協調演奏プログラム(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)
鈴木 龍生; 水谷 哲也; 七澤 尚資; 居福 修寛; 安江 梓
全国大会講演論文集/70(2)/p.489, 2008-03 - 5X-9 実時間協調演奏プログラムのための動的リハーサルシステム(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)
安江 梓; 水谷 哲也; 鈴木 龍生; 七澤 尚資; 居福 修寛
全国大会講演論文集/70(2)/p.491, 2008-03 - 5T-6 実時間演奏データと楽譜情報との対応システム(音楽信号処理,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
付 磊; 池田 勝洋; 島村 祐介; 安江 梓; 水谷 哲也; 田中 二郎
全国大会講演論文集/72(2)/p.185, 2010-03
- ソフトウェア指向形式解析体系による実時間知的プログラムの検証