conf 109

date 平成18年11月21日 (火)
place \<a href="http://www.nagasaki-u.ac.jp/"\>長崎大学\</a\> 文教キャンパス \<a href="http://www.nagasaki-u.ac.jp/guidance/acs_cps1.html"\>総合教育研究棟\</a\> (17番) 2階 多目的ホール (招待講演のみ 3階大講義室)
address 〒852-8521 長崎市文教町1-14
access \<a href="http://www.eng.nagasaki-u.ac.jp/sougou/koutu.html"\>長崎大学工学部へのアクセス\</a\>をご覧ください. 下の※も参照ください.
contact 高田寛之 先生 (長崎大学)

note
\<p\>
※交通について:\<br /\>
駐車場が学園祭期間中で使用できない可能性が高く, 車でのご来場は避けていただくか, 市電の大橋電停横にある長崎球場の駐車場 (8:00-22:00, 1回 500円) をご利用いただけますようお願いします. 市電はどこで降りても 1回 100円です. 長崎駅や浦上駅からお越しの方は「赤迫行き」にご乗車ください. 市電の 1日
乗車券はホテルやお土産屋等で 500円で販売されています (車内では販売されていません). 長崎空港からは長崎駅行きの高速バスが出ています. 昭和町で下車できるバスの場合は昭和町で降りて下さい. 昭和町バス停から長崎大学までは徒歩 5〜10分程度です (長崎駅〜長崎大学は市電で 20分程度). 
\</p\>
\<p\>
なお, 11月20日(月)と21日(火)には電子情報通信学会\<a href="http://www.ieice.or.jp/~cas/"\>回路とシステム研究会 (CAS)\</a\>および\<a href="http://www.ieice.or.jp/~cst/"\>コンカレント工学研究会 (CST)\</a\>が同じ建物にて開催 (21日はAL研と並列) されます.
\</p\>
\<p\>
11月20日 (月)には CAS/CST 招待講演
\</p\>
\<blockquote\>
自動車制御におけるリアルタイムシミュレーションの動向\<br /\>
斗納宏敏様 富士通テン(株)
\</blockquote\>
\<p\>
が予定されており, また, 同日夕刻には CAS/CST と合同の懇親会がございます.
\</p\>
\<p\>
11月21日 (火)には長崎大学の小栗清先生の招待講演 (詳細は以下) が予定されており, また, CAS/CST と合同で昼食会も予定しております (昼食会は 3研究会の参加者の交流を目的としたもので, 誰でも参加できます).
\</p\>
\<p\>懇親会並びに昼食会は以下のように行われます. 参加ご希望の方は, 必ず 11月12日 (日) までに\<a href="http://www-or.amp.i.kyoto-u.ac.jp/upcoming/sigal/"\>申し込みページ\</a\>より参加申し込みをお願いいたします.\</p\>
\<table\>
\<tr\>\<th\>懇親会\</th\>\<td\>11月20日 (月) 18:30-20:30, \<a href="http://www.tebaya.jp/frame.htm"\>手羽屋\</a\>長崎総本店, 会費5,000円程度を予定\</td\>\</tr\>
\<tr\>\<th\>昼食会\</th\>\<td\>11月21日 (火) 12:00-13:30, 学生食堂 2階ホール, 会費無料\</td\>\</tr\>
\</table\>
endnote

session 午前1 [9:50-10:20]

拡張正規表現所属問題に対するDFAに基づいたアルゴリズム
山本博章 (信州大)

古典論理の証明可能性の判定時間について (ショートトーク) 
和手正道 (了徳寺大)

session 午前2 [11:00-12:00] CAS/CST/AL 合同招待講演
ストリーム処理と動的再構成可能アーキテクチャPCA/キーワード: リコンフィギャラブルコンピュータ, ロボット
小栗清先生 (長崎大学)

session 午後1 [13:30-15:00]

平面グラフの分枝幅決定アルゴリズムの効率的実装
玉木久夫, [吉武由実](明治大学)

Network design with edge-connectivity and degree constraints
[福永拓郎]，永持仁(京大)

Page Migration on Ring Networks
Akira Matsubayashi (Kanazawa Univ.)

session 午後2 [15:20-16:20]

スライドパズルを用いた安全な計算
[釘本哲知], 水木敬明, 曽根秀昭 (東北大)

凸包を用いた戦略形2人ゲームのナッシュ均衡点を求めるアルゴリズム
[石井宏幸], 山田敏規 (埼玉大)