第8回 論理と計算セミナー
論理と計算セミナー
開催期間
2011.8.29(月)
13:00 ~ 20:00
13:00 ~ 20:00
場所
鹿児島大学 理学部2号館211
講演者
河原康雄(九州大学), 井口修一(九州大学大学院数理学研究院), 石田俊一(九州産業大学), 坂下一生(九州大学大学院数理学府), 西澤弘毅(鳥取環境大学), 山田貴志 & 正代隆義(九州大学大学院システム情報科学府/研究院)
概要
講演プログラム(講演予定者に○)
13:30--14:10
河原康雄(九州大学)
抽象衝突集合と連結性
14:30--15:10
○石田俊一(九州産業大学)& 井口修一(九州大学大学院数理学研究院)
合成セルオートマトンにおけるリミットサイクルについて
15:30--16:10
坂下一生(九州大学大学院数理学府)
3qubit CNOT based quantum circuit complete transform rules
16:30--17:10
西澤弘毅(鳥取環境大学)
Relational Representation Theorem for Algebraic Quantales with respect
to Completely Coprime Elements and Atoms
17:30--18:10
山田貴志 & ○正代隆義(九州大学大学院システム情報科学府/研究院)
多項式時間計算可能な辺縮約制約付きグラフ辺縮約問題について
18:30--
自由討論