ホーム

活動報告

詳細

活動報告

拠点リーダーメッセージ ダウンロード 産業技術数理コンソーシアム

活動報告

研究集会

第4回 論理と計算に関するセミナー

2010.03.30

日時: 2010年 3月 12日 (金) 午後 (予定)
場所: 九州大学(伊都キャンパス)伊都図書館3階・中セミナー室7 (予定)
   福岡市西区元岡744
http://suisin.jimu.kyushu-u.ac.jp/info/index.html

共催:九州大学数理学府グローバルCOEプログラム
「マス・フォア・インダストリ教育研究拠点」

セミナー・プログラム(暫定版20100304)

13:30-14:00 井口 修一(九州大)
Hybrid Cellular Automataの可逆性について
14:00-14:30 伊藤 隆浩(九州大)
Abstract collision systems on groups
14:30-15:00 田中久治
初等幾何学定理の自動証明とTriangular Set
15:00-15:30 河原康雄
分配寓圏における補関係(紹介)

[休憩]

15:45-16:15 古澤 仁(鹿児島大)
べき等左半環の*連続性と*イデアル
16:15-16:45 津曲 紀宏(鹿児島大)
緩クリーニ代数の部分クラスのなす立方体と多重関係の部分クラスのなす三角柱
16:45-17:15 春名 太一(神戸大)
圏論を用いた複雑ネットワーク解析
17:15-17:45 谷口哲至(松江高専)
On graphs with the smallest eigenvalue at least
$-\frac{1}{2}(3+\sqrt{5})$
-- an irreducibility of Hoffman graphs --


研究集会HP:第4回 論理と計算に関するセミナー (2010.3.12)

RETURN LIST