Seminar/20100312 - PukiWiki

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

3月12日(金)に九州大学伊都キャンパスにて, 論理と計算に関するセミナーを開催予定です.

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

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

13:30-14:00	井口 修一(九州大学・数理学研究院)
		Hybrid Cellular Automataの可逆性について
14:00-14:30	伊藤 隆浩(九州大学・数理学府)
		Abstract collision systems on G-sets
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 --

問合せ先
九州大学大学院数理学研究院
井口 修一 inokuchi @ math.kyushu-u.ac.jp


トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSSPDF
Last-modified: 2010-03-09 (火) 11:56:00 (2757d)