第７回 論理と計算セミナー
論理と計算セミナー
開催期間
2011.3.14(月)
14:00 ~ 17:00
14:00 ~ 17:00
場所
九州大学 大学院数理学研究院（伊都キャンパス）伊都図書館3階・中セミナー室７
講演者
下瀬 直人(九州大学数理学府),正代隆義(九州大学システム情報科学研究院),岩見智宏(福岡工業大),藤尾光彦(九州工業大学情報工学部),井口修一(九州大学数理学研究院)
概要
講演プログラム
14:00-14:30 下瀬 直人（九州大学数理学府）
Webグラフから得られる有向グラフと無向グラフ
14:30-15:00 正代隆義（九州大学システム情報科学研究院）
多項式時間パタンマッチング可能なグラフパタンクラスについて
15:00-15:30 岩見智宏（福岡工業大）
ダイマー模型上のパスの改変に付随するアルゴリズムの整合性判定について
[休憩]
15:45-16:15 藤尾光彦（九州工業大学情報工学部）
CAの局所分解可能性の一つの十分条件について
16:15-16:45 井口修一（九州大学数理学研究院）
２次元セルオートマトンによるソーティングについて