東北大学大学院情報科学研究科 学術振興ワークショップ「離散システムとアルゴリズム」 3月18日（月） 12:45 -- 14:25 発表 12:45 -- 13:10 宇野毅明 (国立情報学研究所） 列挙アルゴリズムの遅延時間減少法 13:10 -- 13:35 梅尾博司 (大阪電気通信大学 情報工学専攻) Some New Algorithms for Synchronizing Two-Dimensional Cellular Arrays 13:35 -- 14:00 Michael Houle (IBM 東京基礎研究所, University of Sydney) SASH: a Spatial Approximation Sample Hierarchy for Similarity Search 14:00 -- 14:25 宮本裕一郎 混載輸送ネットワークモデルとその周辺 14:25 -- 14:40 休憩 14:40 -- 16:10 発表 14:40 -- 15:25 玉木久夫 (明治大学 情報科学科) 最小コストオイラーツアーと巡回セールスマン問題 15:25 -- 16:10 岩田覚 (東京大学 数理情報学専攻) 劣モジュラ関数の最小化 16:10 -- 16:25 休憩 16:25 -- 17:40 発表 16:25 -- 16:50 永持 仁 (豊橋技術科学大学 情報工学系) 枝連結度計算のためのグラフの新しい構造表現 16:50 -- 17:15 太田 純 (筑波大学 社会工学研究科) A Note on Minimax Inverse Generalized Minimum Cost Flow Problems 17:15 -- 17:40 松浦 史郎 (東京大学 数理情報学専攻) 0.935-Approximation Randomized Algorithm for MAX 2SAT and Its Derandomization 18:30 -- 懇親会 3月19日（火） 09:15 -- 10:50 発表 09:15 -- 09:40 渡邉潤平 (東北大学 情報科学研究科) AdaBoostのマージン最大化能力について 09:40 -- 10:25 加藤直樹 (京都大学 建築学専攻) An Approximation Algorithm for Pick-up and Delivery Vehicle Routing Problems on Trees 10:25 -- 10:50 五十嵐善英 (群馬大学 情報工学科) Some Functions Simulated on the Asynchronous Single-Writer/Multi-Reader Shared Memory Model 10:50 -- 11:05 休憩 11:05 -- 12:35 発表 11:05 -- 11:50 田村明久 (京都大学 数理解析研究所) 離散凸関数と近接定理 11:50 -- 12:35 中野眞一 (群馬大学 情報工学科) Enumerating Floorplans with n Rooms 12:35 -- 13:45 昼食 13:45 -- 15:25 発表 13:45 -- 14:10 牧野和久 (大阪大学 基礎工学研究科) 単調論理関数の双対化問題に対する最近の話題 14:10 -- 14:35 矢島安敏 (東京工業大学 経営システム工学専攻) Linear Programming Approaches for Nonlinear Support Vector Machine 14:35 -- 15:00 Antoine Deza (東京工業大学 数理・計算科学専攻) Combinatorial and Computational Aspects of Metric Polyhedra 15:00 -- 15:25 安藤和敏 (筑波大学 社会工学系) 閉包空間の端点演算子の特徴付け 15:25 -- 15:40 休憩 15:40 -- 17:20 15:40 -- 16:05 森山園子 (東京大学 情報科学専攻) 単体的複体の shellability 判定 16:05 -- 16:30 小保方幸次 (北陸先端科学技術大学院大学 情報科学研究科) Matrix Rounding under the Lp-Discrepancy Measure and Its Application to Digital Halftoning 16:30 -- 16:55 磯辺秀司 (東北大学 情報科学研究科) Cost Total Colorings of Trees 17:55 -- 17:20 徳山豪 (東北大学 情報科学研究科) Semi-Balanced Colorings of a Shortest-Path Hypergraph