Seminar/20110314 - PukiWiki

Seminar/20101120

論理と計算

第7回 論理と計算セミナー (2011.03.14)

次の通り、第7回論理と計算セミナーを開催します。
皆様のご参加をお持ちしております。

第7回 論理と計算セミナー
日時: 2011年 3月 14日 (月)14:00より
場所: 九州大学 大学院数理学研究院(伊都キャンパス 数理棟 中セミナー室7)

講演プログラム

14:00-14:30 下瀬 直人(九州大学数理学府)
            Webグラフから得られる有向グラフと無向グラフ

14:30-15:00 正代隆義(九州大学システム情報科学研究院)
            多項式時間パタンマッチング可能なグラフパタンクラスについて 

15:00-15:30 岩見智宏(福岡工業大)
            ダイマー模型上のパスの改変に付随するアルゴリズムの整合性判定について

            **休憩**

15:45-16:15 藤尾光彦(九州工業大学情報工学部)
            CAの局所分解可能性の一つの十分条件について

16:15-16:45 井口修一(九州大学数理学研究院)
            2次元セルオートマトンによるソーティングについて

問合せ先: 井口修一(九州大学数理学研究院 inokuchi_at_math.kyushu-u.ac.jp)


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