時間の論理の束モデルを用いた並行プログラム系の検証
スポンサーリンク
概要
- 論文の詳細を見る
有理数時間を扱うプログラム検証のための形式的体系であるenvelope systemを提示する。時刻で真理値の変化する命題の真理集合-解釈が真である時刻の集合-を考え、閉包概念を特殊化したenvelopeと呼ぶ集合演算子を定義した。これにより、プログラム検証を容易かつ厳密に遂行できるようになった。最後に、並行プログラム系についての基本的かつ高度な概念と問題点を持つDekkerの解の飢餓回避問題について検証した。
- 社団法人情報処理学会の論文
- 1995-03-15
著者
-
五十嵐 滋
筑波大学 電子・情報工学系
-
水谷 哲也
筑波大学
-
水谷 哲也
筑波大学大学院システム情報工学研究科
-
水谷 哲也
筑波大学 電子・情報工学系
-
五十嵐 滋
常磐大学
-
塩 雅之
常磐大学
-
白銀 哲也
筑波大学工学研究科
-
塩 雅之
筑波大学 工学研究科
-
辻 尚史
筑波大学 電子・情報工学系
-
白銀 哲也
筑波大学 工学研究科
-
辻 尚史
千葉大学理学部数学・情報数理学科
関連論文
- 楽曲構造に基く演奏の視覚化と分析
- プログラムにおける実時間問題のν-転換による解析と動作条件
- 統合演奏視覚化システム
- オブジェクト指向による音楽視覚化システム
- 楽曲構造に基づく演奏表情分析と自動演奏への応用
- 楽曲構造や演奏表情の表現と自動協調システム
- 5C-6 ヒューマンファクターを包含する記号論理体系に基づく実時間知的システムの分析(複雑系,一般セッション,人工知能と認知科学)
- 知性と感性の情報学的討究(6)ヒューマンファクターを包含する記号論理体系に基づく信楽列車事故の分析
- 知性と感性の情報学的討究V : 時制に依存する命題の事例化規則とサウンドネス(佐藤照子先生追悼号)
- 知性と感性の情報学的討究(4)人工知能論における協調系の数理的表現について
- 知性と感性の情報学的討究III : @-calculusに基づく協調システムの検証例-アンサンブル・プログラム
- 知性と感性の情報学的討究II : 時制数論体系@-calculusの基礎分析
- 知性と感性の情報学的討究(1)コンピュータによる知的発想--原理と応用
- 音楽の構造的機能とそれに基づく演奏創造
- 芸術的演奏生成を目的とする協調演奏システム
- アゴーギクルールのパラメータ値の自動決定システムの構築
- 演奏生成の論理的表現 : ルールを用いた演奏生成と協調演奏
- ソフトウェア指向形式解析体系による実時間知的プログラムの検証
- エンヴェロープ理論による実時間知的プログラムの検証
- 有理時間を含むプログラムの仕様表現および動作解析
- 時間の論理の束モデルを用いた並行プログラム系の検証
- 時間の論理の語モデルに対する同値性判定手続きの実現
- ランデブーを含むvirtual textによる自動伴奏システムの表現とその検証
- 軌跡準同型によるプログラムの仕様の保存性
- ν-定義可能行為によるプログラムの検証
- 2T11 4K2Kプロジェクターを活かした博物館・美術館の電子教科書の取り組み((特別研究B)デジタル(電子)教科書の方向性と今後の課題(2),教育の原点に光を当てる〜乱流の中の本流を見出す〜)
- 打楽器演奏の解析とその人間-計算機重奏システムへの応用
- 演奏ルールを用いる音楽表情の構造的展開
- 音楽構造に基くピアノ演奏の芸術的な表情付けの試み
- 音楽構造分析を用いたピアノ演奏の表情付け
- PSYCHEから : フレーズ表情の多角形、音楽構造に基づく表情付け、自動連弾システム
- 視覚化による演奏理解についての考察
- 楽曲構造に基く演奏の視覚化と分析
- 楽曲分析システムDAPHNE : 実際の楽譜上での自動分析
- 楽曲構造に基く演奏表情の視覚化と応用
- 音楽知識共有のための楽曲分析支援システム
- 3G-7 楽曲分析システムDAPHNEのユーザインタフェース
- 計算機によるアゴーギクの解析と自動演奏への応用
- 計算機によるピアノ伴奏
- プログラム言語BQLとその処理系
- フレーズの表情付けの図形的表現 : ピアノ演奏の場合
- ブリッジプレイの終盤における必勝戦術の論理的考察
- 5T-6 実時間演奏データと楽譜情報との対応システム(音楽信号処理,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 5X-9 実時間協調演奏プログラムのための動的リハーサルシステム(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)
- 5X-8 リハーサルを用いた実時間協調演奏プログラム(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)
- 5X-7 生成音楽理論分析システムのための和声解析(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)
- 5X-6 階層的構造機能を用いた演奏生成モデル(音楽情報科学(4)表情付け・認知,学生セッション,人工知能と認知科学)
- 4A8 e-L倶楽部を利用した常磐大学のコースウェア開発(教育支援システム,新しい教育の波)
- DAPHNE:フレージングと表情付けのための叙述的音楽分析システム
- オブジェクト指向による音楽情報処理システムの設計
- 多人数ゲームにおける枝刈りと四人将棋への応用
- ピアノ演奏におけるフレーズの表情付けの図形的表現
- プログラムの自動検証
- REPRESENTATIONS OF AUTONOMOUS REALTIME SYSTEMS
- REPRESENTATIONS OF AUTONOMOUS REALTIME SYSTEMS
- 楽曲分析のための計算機支援システムDAPHNE
- LABELED CALCULI APPLIED TO VERIFICATION AND ANALYSIS OF TIME-CONCERNED PROGRAMS II
- LABELED CALCULI APPLIED TO VERIFICATION AND ANALYSIS OF TIME-CONCERNED PROGRAMS I
- TENSE ARITHMETIC II : @-CALCULUS AS AN ADAPTATION FOR FORMAL NUMBER THEORY
- TENSE ARITHMETIC I : FORMALIZATION OF PROPERTIES OF PROGRAMS IN RATIONAL ARITHMETIC
- TENSE ARITHMETIC I : FORMALIZATION OF PROPERTIES OF PROGRAMS IN RATIONAL ARITHMETIC
- 人間の部分的演奏と協調する自動演奏システム
- 4C4 学生がコースウェアを作ることを主眼に置いた講義の展開(一般研究 高等教育の情報教育2,教育情報のイノベーション〜デジタル世代をどう導くか〜)
- 4C6 Moodleを利用した常磐大学eラーニングサイトの構築と運用(一般研究 高等教育の情報教育2,教育情報のイノベーション〜デジタル世代をどう導くか〜)
- 10F06 デジタルアーカイブの長期保存に関する課題とその解決方法(ディジタルアーカイブの活用I,一般研究)