2003年12月のコンピュテーション研究会

★コンピュテーション研究会（COMP）
専門委員長　岩間 一雄　　副委員長　戸田 誠之助
幹事　瀧本 英二・牧野 和久

日時： 12月22日 (月)
      (一人 30分発表 + 5分質疑の予定）

会場：崇城大学エネルギーエレクトロニクス研究所（ＥＥ研）２階講義室
      http://www.sojo-u.ac.jp 参照

交通：[航空機] 熊本空港からリムジンバス「熊本交通センター」下車し
　　　　　　　 バスで「崇城大学前」下車．
      [鉄道利用] 鹿児島本線「熊本工大前」駅下車．
　　　詳細は http://www.sojo-u.ac.jp/access/index.html 参照．

連絡先：多田 昭雄
        崇城大学応用電気情報工学科
        TEL: 096-326-3111
        FAX: 096-326-3000
        E-mail: tada@pe.sojo-u.ac.jp

議題       

10:30 - 12:15

有向グラフの強連結成分を求める並列アルゴリズム
   ○多田 昭雄（崇城大学）・右田 雅裕・中村 良三（熊本大学）

DAGの最長路を求める並列アルゴリズム
   ○右田 雅裕（熊本大学）・多田 昭雄（崇城大学）・中村 良三（熊本大学）

A new algorithm for synchronizing two-dimensional arrays
   ○梅尾 博司（大阪電気通信大学）・前田 雅史（(株)大真空）・
     秋口 俊輔（福井大学）

午後

13:20 - 14:30

MAX2SAT に対するシンプルな正解付テスト例題生成について
   元木 光雄（北陸先端大）

非完全な仕様における振舞等価性の自動証明法
   ○山本 友和・草刈 圭一朗・酒井 正彦・坂部 俊樹（名古屋大学）

14:50 - 16:00

A Document Merging Method Supporting Move Operation
   鈴木 伸崇（岡山県立大学）

線形セルラーオートマトンの数学への応用
   佐藤 忠一（東洋大学）