この研究会から, 毎回一件のチュートリアル講演を行うことになりました. 今回は京都大学の岩間一雄先生に, SATの現実解法のお話をお願いしました. たくさんの参加をお待ちしております.
| 日程 | 平成12年5月19日 (金) 電子情報通信学会コンピュテーション研究会 (18日) と連続開催 | |
|---|---|---|
| 会場 | 京都大学ベンチャービジネスラボラトリーセミナールーム | |
| 住所 | 〒606-8501 京都市左京区吉田本町 | |
| 交通機関 | JR京都駅から | 市バス 206系統 (百万遍下車) 徒歩約7分 市バス 17系統 (京大農学部前下車) 徒歩 約3分 |
| 市営地下鉄今出川駅から | 市バス 203系統 (京大農学部前下車) 徒歩 約3分 市バス 201系統 (百万遍下車) 徒歩約7分 | |
| 阪急電鉄京都線河原町から | 市バス 17系統 (京大農学部前下車) 徒歩 約3分 市バス 3系統 (百万遍下車) 徒歩約7分 市バス 201系統 (百万遍下車) 徒歩約7分 | |
| 京阪鉄道出町柳駅から | 徒歩 約15分 | |
| 連絡先 | 京都大学情報学研究科 宮崎修一 電話: 075-753-5392, Fax: 075-753-5972 | |
JR 京都駅から来られる場合には, 17系統が便利ですが, 本数は 206系統の方が多くなっています. 時間を優先するなら市営地下鉄で今出川駅まで行き, そこから 203系統を利用すると, 朝, 夕のラッシュのときは 特に便利です.
| 時間 | 題目 | 著者 (○は発表者) |
|---|---|---|
| 午前1 [10:00-11:00] | ||
| 73-1 | (チュートリアル) CNF充足可能性問題の現実的解法 | 岩間 一雄 (京大) |
| 午前2 [11:00-12:00] | ||
| 73-2 | Algorithms for Shape-Flexible Labeling of Points (可変形状ラベリング問題に対するアルゴリズム) | 中野 眞一 (群馬大), 西関 隆夫, ○徳山 豪, 渡部 修平 (東北大） |
| 73-3 | メッシュ上での高速な無情報ラウティングアルゴリズム | ○宮野 英次 (九州芸工大), 岩間 一雄 (京大) |
| 午後1 [13:30-15:00] | ||
| 73-4 | Locating Sources to Meet Flow Demands in Undirected Networks | ○Kouji ARATA, Satoru IWATA, Kazuhisa MAKINO, Satoru FUJISHIGE (阪大) |
| 73-5 | 一般化安定集合問題に対する半正定値計画緩和 | ○藤江 哲也 (神戸商科大), 田村 明久 (京大) |
| 73-6 | Dual-Bounded Hypergraphs: Generating Partial and Multiple Transversals | Endre Boros, Vladimir Gurvich, Leonid Khachiyan (ラトガース大), ○Kazuhisa Makino (阪大) |
| 午後2 [15:30-116:20] | ||
| 73-7 | 1方向可逆確率 1カウンタ有限オートマトンと 1方向量子 1カウンタ有限オートマトンについて | ○山崎智弘, 小林弘忠, 徳永裕己, 今井浩 (東大) |
| 73-8 | (ショートトーク) Shorのアルゴリズム専用シミュレーションシステム | ○山崎智弘, 今井浩 (東大) |