| 日程： | 平成20年11月7日 (金) |
|---|---|
| 会場： | 大阪大学医学部学友会館・医療情報センター（銀杏会館） |
| 住所： | 〒565-0871 大阪府 吹田市 山田丘2-2 |
| 交通案内： | 会場へのアクセス 会場へのアクセスは以下の URL をご参照下さい。 http://ichou.or.jp/access/access.html http://www.med.osaka-u.ac.jp/jp/access/index.html http://www.osaka-u.ac.jp/eng/student/admissions/student/pdf/a-08-2.pdf |
| 現地世話人： | 舟木 剛 先生（大阪大学） |
※
| 発表番号 | 時間 | 題目 | 著者 (○は発表者)など |
|---|---|---|---|
| 120-0 | 11/6 11:00-11:55 | ［招待講演］OSにおけるプロセススケジューリング手法のマルチカーエレベータにおけるシャフト内運行制御問題への応用 | 鈴木裕通（フジテック） |
| 120-1 | 10:00-10:30 | Augmenting Edge-Connectivity between Vertex Subsets | ○Toshimasa Ishii (Otaru Univ. of Commerce)，, Kazuhisa Makino (Univ. of Tokyo) |
| 120-2 | 10:30-11:00 | 断続的故障を考慮したマルチプロセッサシステムの並列故障診断 | ○伊東 桂（埼玉大），山田 敏規（埼玉大） |
| 120-3 | 11:00-11:30 | 一般化メディアン安定結婚問題に対する乱択近似アルゴリズム | ○来嶋 秀治（京大）, 根本 俊男（文教大） |
| 120-4 | 13:00-13:30 | On Solvability of Self-Stabilizing Leader Election without Oracle in Population Protocols | ○蔡 叔(Shukai Cai)（名工大(NIT)）, 泉 泰介（名工大(NIT)）, 和田 幸一（名工大(NIT)） |
| 120-5 | 13:30-14:00 | GPGPUによるGroverのアルゴリズムのシミュレーション | ○芝田 浩（広島商船高専／電通大）, 西野 哲朗（電通大）, 大久保 誠也（静岡県大）, 鈴木 智也（電通大） |
| 120-6 | 14:00-14:30 | 凸多角形に対する包含多角形列の計算 | ○大西 建輔（東海大）, 星 守（電通大） |
| 120-7 | 14:45-15:15 | Better Bounds for Page Migration on 3-Points | 松林 昭（金沢大） |
| 120-8 | 15:15-15:45 | 交代性多項式時間における別解問題 | 八登崇之(東大) |