お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2016-01-25 17:10
A method for making proof graph finite on disjunctive parameterised Boolean equation systems
Yutaro NagaeMasahiko SakaiHiroyuki SekiNagoya Univ.MSS2015-49 SS2015-58
抄録 (和) A parameterised Boolean equation system (PBES) is a set of equations that defines sets as the least and/or greatest fixed-points that satisfy the equations. This paper studies a technique to solve the membership problem of PBESs, which is undecidable, by extending the notion of proof graphs.
A vertex $X(v)$ in a proof graph represents that the data $v$ is in the set $X$, if the graph satisfies conditions induced from a given PBES. However, proof graphs are infinite in general, thus we introduce verticies each of which stands for a set of verticies of the original ones. For a subclass of disjunctive PBESs, we clarify conditions for the extended proof graphs. We also show that examples having no finite proof graph except for extended one. We further propose a method to construct a graph, called a dependency space, that contains an extended proof graph in its sub-graphs. 
(英) A parameterised Boolean equation system (PBES) is a set of equations that defines sets as the least and/or greatest fixed-points that satisfy the equations. This paper studies a technique to solve the membership problem of PBESs, which is undecidable, by extending the notion of proof graphs.
A vertex $X(v)$ in a proof graph represents that the data $v$ is in the set $X$, if the graph satisfies conditions induced from a given PBES. However, proof graphs are infinite in general, thus we introduce verticies each of which stands for a set of verticies of the original ones. For a subclass of disjunctive PBESs, we clarify conditions for the extended proof graphs. We also show that examples having no finite proof graph except for extended one. We further propose a method to construct a graph, called a dependency space, that contains an extended proof graph in its sub-graphs.
キーワード (和) / / / / / / /  
(英) parameterised Boolean equation systems / membership problem / proof graph / / / / /  
文献情報 信学技報, vol. 115, no. 420, SS2015-58, pp. 81-85, 2016年1月.
資料番号 SS2015-58 
発行日 2016-01-18 (MSS, SS) 
ISSN Print edition: ISSN 0913-5685    Online edition: ISSN 2432-6380
著作権に
ついて
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
PDFダウンロード MSS2015-49 SS2015-58

研究会情報
研究会 SS MSS  
開催期間 2016-01-25 - 2016-01-26 
開催地(和) しいのき迎賓館 セミナールームB 
開催地(英) Shiinoki-Geihin-Kan 
テーマ(和) 一般 
テーマ(英)  
講演論文情報の詳細
申込み研究会 SS 
会議コード 2016-01-SS-MSS 
本文の言語 英語 
タイトル(和)  
サブタイトル(和)  
タイトル(英) A method for making proof graph finite on disjunctive parameterised Boolean equation systems 
サブタイトル(英)  
キーワード(1)(和/英) / parameterised Boolean equation systems  
キーワード(2)(和/英) / membership problem  
キーワード(3)(和/英) / proof graph  
キーワード(4)(和/英) /  
キーワード(5)(和/英) /  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 長江 悠太郎 / Yutaro Nagae / ナガエ ユウタロウ
第1著者 所属(和/英) 名古屋大学 (略称: 名大)
Nagoya University (略称: Nagoya Univ.)
第2著者 氏名(和/英/ヨミ) 酒井 正彦 / Masahiko Sakai / サカイ マサヒコ
第2著者 所属(和/英) 名古屋大学 (略称: 名大)
Nagoya University (略称: Nagoya Univ.)
第3著者 氏名(和/英/ヨミ) 関 浩之 / Hiroyuki Seki / セキ ヒロユキ
第3著者 所属(和/英) 名古屋大学 (略称: 名大)
Nagoya University (略称: Nagoya Univ.)
第4著者 氏名(和/英/ヨミ) / /
第4著者 所属(和/英) (略称: )
(略称: )
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2016-01-25 17:10:00 
発表時間 25分 
申込先研究会 SS 
資料番号 MSS2015-49, SS2015-58 
巻番号(vol) vol.115 
号番号(no) no.419(MSS), no.420(SS) 
ページ範囲 pp.81-85 
ページ数
発行日 2016-01-18 (MSS, SS) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会