Seminar/20110829 の変更点 - PukiWiki

[[Seminar]]

[[論理と計算]]

** 第8回 論理と計算セミナー (2011.08.29) [#g68d2d7a]

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

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

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

 日時: 2011年 8月 29日 (月) 13:00より
 場所: 鹿児島大学 理学部2号館211
[[鹿児島大学理学部への地図:http://hh.kuas.kagoshima-u.ac.jp/menkyo/map/7-1-3riko-map.htm]]


講演プログラム(講演予定者に○):
 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