第312回研究講演会開催報告
- 情報処理学会東北支部特別講演会報告
- 日時：2005年1月24日（月）13：00−14：00
- 場所：東北大学大学院情報科学研究科 電気情報系2号館403号室
- 演題：Semilinear Sets and Their Applications
- 講師：台湾国立大学 教授 Hsu-Chun Yen 氏
- 概要：
Semilinear sets are exactly those that can be expressed by Presburger Arithmetic.
As many interesting problems concerning Presburger Arithmetic (including
membership, equivalence and containment) are decidable, semilinear sets have
found interesting applications in a variety of areas in computer sciences.
In this talk, we first survey some of the properties and results concerning
semilinear sets, and then see how they can be applied to the analysis of
concurrent systems. In the second part of this talk, we focus on a restricted
class called upward-closed sets. Although it is known that any upward-closed set
exhibits a finite number of minimal elements, such elements, however, may not
be computable in general. We demonstrate conditions under which the set of minimal
elements of an upward-closed set is not only computable, but more importantly,
a bound for the size of the minimal elements can also be deduced.
Some applications regarding this characterization of upward-closed
sets are given.
- 講演報告：
講演後は多数の質問が寄せられ，活発な質疑応答が行われた．講師のYen教授からの回答に加えて参加者の方からも貴重なコメントを頂くなど，大変充実した内容であった．
- 参加者：約30名
- 報告者：西関 隆夫
- 東北大学 大学院情報科学研究科
- 〒980-8579 仙台市青葉区荒巻字青葉6-6-05
- TEL: 022-217-7162 FAX: 022-263-9301