| 日程： | 平成18年11月21日 (火) |
|---|---|
| 会場： | 長崎大学文教キャンパス総合教育研究棟 (17番の建物) 2階多目的ホール（招待講演のみ3階大講義室） |
| 住所： | 〒852-8521 長崎県 長崎市 文教町1-14 |
| 交通案内： | 交通案内をご覧ください |
| 現地世話人： | 長崎大学 高田寛之 先生 |
※電子情報通信学会回路とシステム研究会(CAS)/コンカレント工学研究会(CST) (11月20，21日) と同時開催になります.
交通について：駐車場が学園祭期間中で使用できない可能性が高く，車でのご来場は避けていただくか，市電の大橋電停横にある長崎球場の駐車場(8:00-22:00，1回500円)をご利用いただけますようお願いします．市電はどこで降りても1回100円です．長崎駅や浦上駅からお越しの方は「赤迫行き」にご乗車ください．市電の1日乗車券はホテルやお土産屋等で500円で販売されています(車内では販売されていません)．長崎空港からは長崎駅行きの高速バスが出ています．昭和町で下車できるバスの場合は昭和町で降りて下さい．昭和町バス停から長崎大学までは徒歩5～10分程度です(長崎駅～長崎大学は市電で20分程度)．
| 時間 | 題目 | 著者 (○は発表者) |
|---|---|---|
| 午前１（9:50-10:40） | ||
| 109-1 | 拡張正規表現所属問題に対するDFAに基づいたアルゴリズム | ○山本博章(信州大) |
| 109-2 | 古典論理の証明可能性の判定時間いついて (ショートトーク) | ○和手正道 (了徳寺大) |
| 午前2（11:00-12:00） *** CAS/CSTおよびAL合同招待講演 *** | ||
| 109-3 | ストリーム処理と動的再構成可能アーキテクチャPCA | 小栗清先生 (長崎大学) |
| 午後１（13:30-15:00） | ||
| 109-4 | 平面グラフの分枝幅決定アルゴリズムの効率的実装 | 玉木久夫，○吉武由実(明治大学) |
| 109-5 | Network design with edge-connectivity and degree constraints | ○福永拓郎，永持仁(京大) |
| 109-6 | Page Migration on Ring Networks | ○Akira Matsubayashi (Kanazawa Univ.) |
| 午後２（15:20-16:20） | ||
| 109-7 | スライドパズルを用いた安全な計算 | ○釘本哲知，水木敬明，曽根秀昭（東北大） |
| 109-8 | 凸包を用いた戦略形2人ゲームのナッシュ均衡点を求めるアルゴリズム | ○石井宏幸，山田敏規(埼玉大) |