Seminar/20110829 - PukiWiki

Seminar

論理と計算

第8回 論理と計算セミナー (2011.08.29)

次の通り、第8回論理と計算セミナーの開催をします。
今回は、福岡ではなく、鹿児島大学での開催となっています。

皆様の参加をお持ちしております。


第8回 論理と計算セミナー

日時: 2011年 8月 29日 (月) 13: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--
自由討論

不明な点、質問などありましたら、井口までご連絡ください。

井口修一(九大数理)inokuchi _at_ math.kyushu-u.ac.jp


トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSSPDF
Last-modified: 2011-08-18 (木) 14:19:22 (2225d)