LABELED CALCULI APPLIED TO VERIFICATION AND ANALYSIS OF TIME-CONCERNED PROGRAMS II
スポンサーリンク
概要
- 論文の詳細を見る
- 2009-12-01
著者
-
水谷 哲也
筑波大学
-
水谷 哲也
筑波大学大学院システム情報工学研究科
-
MIZUTANI Tetsuya
Department of Biochemistry, Fukui Medical University
-
Mizutani Tetsuya
Institute Of Information Science University Of Tsukuba
-
Igarashi Shigeru
College Of Community Development Tokiwa University
-
Igarashi Shigeru
Department Of Applied Biological Chemistry Division Of Agriculture And Agricultural Life Sciences Th
-
Ikeda Yasuo
Mejiro University
-
SHIO Masayuki
College of Community Development, Tokiwa University
-
IKEDA Yasuwo
Mejiro University
-
Shio Masayuki
College Of Community Development Tokiwa University
-
Mizutani Tetsuya
Department Of Computer Science University Of Tsukuba
-
Mizutani Tetsuya
Department Of Biochemistry Faculty Of Medical Science University Of Fukui
関連論文
- 楽曲構造や演奏表情の表現と自動協調システム
- 5C-6 ヒューマンファクターを包含する記号論理体系に基づく実時間知的システムの分析(複雑系,一般セッション,人工知能と認知科学)
- 知性と感性の情報学的討究(6)ヒューマンファクターを包含する記号論理体系に基づく信楽列車事故の分析
- 知性と感性の情報学的討究V : 時制に依存する命題の事例化規則とサウンドネス(佐藤照子先生追悼号)
- 知性と感性の情報学的討究(4)人工知能論における協調系の数理的表現について
- 知性と感性の情報学的討究III : @-calculusに基づく協調システムの検証例-アンサンブル・プログラム
- 知性と感性の情報学的討究II : 時制数論体系@-calculusの基礎分析
- 知性と感性の情報学的討究(1)コンピュータによる知的発想--原理と応用
- 音楽の構造的機能とそれに基づく演奏創造
- 芸術的演奏生成を目的とする協調演奏システム