夏のLAプログラム
2011年 7月 19日(火)〜 7月 21日(木)
一般講演 20分 (講演15分,質問5分)
学生セッション講演 15分 (講演12分,質問3分)
7月19日(火)
昼食:12:00〜13:20 |
開会:13:20〜13:30 |
セッション 1 [13:30〜15:10] |
[1] 関数最適化に基づくアルゴリズムの性能解析 ○ 藤原洋志 (豊橋技術科学大学), 関口良行 (東京海洋大学) |
[2] 分散制約充足アルゴリズムのためのメッセージ数削減手法 ○ 儀保吉弥, 堀山貴史 (埼玉大学 理工学研究科) |
[3] Twitterに基づく「東日本大震災関連の救助要請情報抽出サイト」構築と救助活動について ○ 相田慎 (豊橋技術科学大学) |
[4] 距離四等分の一意性 何萌 (ウォータールー大学), ○ 河村彰星 (東京大学), パトリック・K・ニコルソン, ロバート・フレイサー, J・イアン・マンロー, アレハンドロ・ロペス・オルチス (ウォータールー大学) |
[5] 合成セルオートマトンの挙動について ○ 石田俊一 (九州産業大学 基礎教育センター), 井口修一 (九州大学大学院 数理学研究院) |
休憩 (20分) |
学生セッション A [15:30〜17:15] |
[S1] 携帯パケット通信料問題に対するオンラインアルゴリズム ○ 松田淳志, 藤原洋志, 藤戸敏弘 (豊橋技術科学大学) |
[S2] 単位円周上におけるアイテム配置問題 ○ 関孝洋, 藤原洋志, 藤戸敏弘 (豊橋技術科学大学) |
[S3] Constant-space Data Structure for Farthest-point Voronoi Diagram 浅野哲夫, ○ 小長谷松雄 (北陸先端科学技術大学院大学) |
[S4] エレベータのオンラインアルゴリズムに対する解析 ○ 深江脩紀 (九州大学大学院システム情報科学府), 山内由紀子, 来嶋秀治, 山下雅史 (九州大学大学院システム情報科学研究院) |
[S5] ストリーミング中の頻出アイテム発見乱択アルゴリズム ○ 緒方正虎, 山内由紀子, 来嶋秀治, 山下雅史 (九州大学 システム情報科学府) |
[S6] 2次計画問題へのshadow vertex法の適用の検討 ○ 邱冬, 武井由智 (長岡技術科学大学) |
[S7] k-選択多腕バンディット問題 ○ 金城瞬 (九州大学大学院システム情報科学府), 畑埜晃平, 瀧本英二 (九州大学大学院システム情報科学研究院) |
休憩 (15分) |
学生セッション B [17:30〜19:15] |
[S8] 複数の箱が折れる共通の展開図に関する研究 Zachary Abel, Erik Demaine, Martin Demaine (MIT), ○ 松井寛彰 (JAIST), Gunter Rote (FU Berlin), 上原隆平 (JAIST) |
[S9] Complexity of the stamp folding problem ○ 梅里卓矢 (JAIST), 斎藤寿樹 (JST, ERATO), 上原隆平 (JAIST), 伊藤大雄 (京都大学) |
[S10] マルチトラック文字列に対するパターン発見について ○ 桂敬史, 成澤和志, 篠原歩 (東北大学大学院情報科学研究科) |
[S11] 例題による未知論理関数の形の推定について ○ Nurul Liyana binti Mohamad Zulkufli, 武井由智 (長岡技術科学大学) |
[S12] 二面体群上の周波数の2分探索について ○ 孫継才, 武井由智 (長岡技術科学大学) |
[S13] 単語辞書上の歩道の選択アルゴリズムに関する考察 ○ 古賀智士, 武井由智 (長岡技術科学大学) |
[S14] コラージュシステムによる圧縮表現 ○ 山本淳一 (九州大学 大学院 システム情報科学府), 稲永俊介, 坂内英夫, 竹田正幸 (九州大学 大学院 システム情報科学研究院) |
夕食:19:30〜21:00 |
7月20日(水)
学生セッション C [9:00〜10:45] |
[S15] The Complexity of Free Flood Filling Games ○ 福井宏行, 中西朗裕, 上原隆平 (JAIST), 宇野毅明 (NII), 宇野裕之 (OPU) |
[S16] 2記号記憶付き可逆論理素子の万能性 ○ 向井優太, 森田憲一 (広島大学) |
[S17] 時間制約付き重量物配達問題に対する近似アルゴリズムの考察 ○ 並木勇樹, 武井由智 (長岡技術科学大学) |
[S18] 無線ネットワークにおける自己安定プロトコルの通信効率について ○ 瀧元友也, 大下福仁, 角川裕次, 増澤利光 (大阪大学大学院情報科学研究科) |
[S19] 後続プロセスを認識不能な単方向匿名ネットワーク上での自己安定頂点彩色アルゴリズムについて ○ 南山侑希, 大下福仁, 角川裕次, 増澤利光 (大阪大学大学院情報科学研究科) |
[S20] ラウンドダイグラフの双方向支配集合を求めるアルゴリズム ○ 中島環, 荒木徹 (群馬大学大学院情報工学専攻) |
[S21] センサネットワーク上の群生成による情報伝達の可能性 ○ 中山彈作, 坂本直志 (東京電機大学), 今井克暢 (広島大学) |
休憩 (15分) |
セッション 2 [11:00〜12:40] |
[6] 緩い類似性判定基準のもとでの特徴文字列問題アルゴリズム ○ 酒井義文 (東北大学大学院農学研究科) |
[7] バイナリ文字列における接尾辞木の逆問題 ○ 井智弘, 稲永俊介, 坂内英夫, 竹田正幸 (九州大学) |
[8] 実レイヤーがエキスパンダー構造を持つ木オーバーレイの構成 ○ 泉泰介 (名古屋工業大学), Maria Gradinariu Potop-Butucaru, Mathieu Valero (LIP6, INRIA) |
[9] On the complexity of Minumum Topic-Connected Overlay Problem Jun Hosoda (Nagoya Institute of technology), Juraj Hromkovic (ETH), Taisuke Izumi (Nagoya Institute of technology), Hirotaka Ono (Kyushu University), Monika Steinova (ETH), ○ Koichi Wada (Nagoya Institute of technology) |
[10] 入札ベクトルの段数を用いたオークションの性能評価 ○ 古川勇輔, 岩間一雄 (京都大学情報学研究科) |
昼食:12:50〜13:50 |
自由討論:13:50〜19:00 |
総会・懇親会:19:00〜21:00 |
7月21日(木)
セッション 3 [9:00〜10:40] |
[11] グラフ同型性判定--固有値の重複度が定数の時-- ○ 宮崎琢成 (トリニティ大学) |
[12] BDD Binary Operation is not in Input-Output Linear Time 吉仲亮, 川原純 (JST ERATO), ○ 伝住周平, 有村博紀 (北海道大学), 湊真一 (北海道大学/JST ERATO) |
[13] On one-dimensional reversible and number-conserving cellular automata ○ Katsunobu Imai (Hiroshima University), Bruno Martin (University Nice-Sophia Antipolis), Ryohei Saito (Hiroshima city hall) |
[14] A New Optimum-Time Synchronization Algorithm for Two-Dimensional Square Arrays ○ Hiroshi Umeo (Univ. of Osaka Electro-Communication ) |
[15] Decidability and Undecidability of Reachability for Right-Linear Left-Shallow Non-Erasing Term Rewriting Systems ○ 小島芳治, 酒井正彦, 西田直樹, 草刈圭一朗, 坂部俊樹 (名古屋大学) |
休憩 (20分) |
セッション 4 [11:00〜12:40] |
[16] 多種ランダムウォークにおける全訪問時間の上下界 ○ 穂坂祐輔 (九州大学大学院システム情報科学府), 山内由紀子, 来嶋秀治 (九州大学大学院システム情報科学研究院), 小野廣隆 (九州大学経済学研究院), 山下雅史 (九州大学大学院システム情報科学研究院) |
[17] 離散構造に着目したグラフ上のランダムウォーク高速化の解析 ○ 野中良哲 (九州大学大学院システム情報科学府), 山内由紀子, 来嶋秀治, 山下雅史 (九州大学大学院システム情報科学研究院) |
[18] 確率的な枝長さを持つ無向グラフにおける最短路長さの分布関数計算 ○ 安藤映 (崇城大学情報学部), Joseph Peters (Simon Fraser University) |
[19] 正規木文法間の埋め込み可能性問題の決定可能性について ○ 澤田龍太 (大阪大学大学院情報科学研究科), 橋本健二 (奈良先端科学技術大学院大学情報科学研究科), 石原靖哲, 藤原融 (大阪大学大学院情報科学研究科) |
[20] Linear programming robustly decides width-1 CSPs Gabor Kun (DIMACS), Ryan O’Donnell (CMU), Suguru Tamaki (京都大学), Yuan Zhou (CMU), ○ Yuichi Yoshida (京都大学&Preferred Infrastructure) |
閉会:12:40〜12:50 |
昼食:12:50〜13:50 |