冬のLAプログラム
2012年 1月 30日（月）〜 2月 1日（水）
一般講演 20分 （講演17分，質問3分）
学生セッション講演 10分 （講演7分，質問3分）
英語版はこちらをご覧下さい．
1月30日（月）
| 開会：13:00〜13:10 |
| セッション 1 [13:10〜14:30] |
[1]完全マッチング数え上げの高速な指数時間アルゴリズムについて ○ 泉 泰介, 和田山 正 (名古屋工業大学) |
|
[2]多数決３分木への論理式分解 ○ 上野 賢哉 (京都大学) |
|
[3]A Satisfiability Algorithm for Formulas over the Full Binary Basis Kazuhisa Seto, ○ Suguru Tamaki (Kyoto University) |
|
[4]２分割のなす分離族の数え上げ ◎ 戸田貴久 (京都大学), Ivo Vigan (The City University of New York) |
| 休憩 （15分） |
| セッション 2 [14:45〜16:05] |
|
[5]ハイブリッドオートマタ理論によるCPU-DRP再構成可能システムの設計検証 ◎ 柳瀬龍, 高 穎, 南翔太, 山根智 (金沢大学) |
|
[6]抽象化洗練を用いた時間確率システムに対する形式的検証手法 ◎ 清水隆也, 森下 篤, 山根 智 (金沢大学) |
|
[7]セルオートマトンの合成とリミットサイクルについて ○ 石田俊一 (九州産業大学), 井口修一 (九州大学) |
|
[8]合同な四角形による球面タイリングの分類 ○ 赤間 陽二 (東北大学理学研究科数学専攻), 坂野 雄大 (国際協力機構), 中村 公亮 (東北大学理学研究科化学専攻) |
| 休憩 （10分） |
| 学生セッション A [16:15〜16:55] |
|
[S1]Heuristic Algorithms for Rectilinear Block Packing Problem ◎ Yannan Hu, Hideki Hashimoto, Shinji Imahori, Mutsunori Yagiura (Nagoya University) |
|
[S2]グラフの頂点価格付け問題に対する実用的近似解法 ◎ 中村 坂紀, 塩浦 昭義 (東北大学大学院情報科学研究科) |
|
[S3]ストリーム中の頻出アイテム発見に対するO(loglogN)領域乱択アルゴリズム ◎ 緒方正虎, 山内由紀子, 来嶋秀治, 山下雅史 (九州大学) |
|
[S4]距離遺伝2部グラフ上のハミルトン閉路アルゴリズム ◎ 高須賀将秀, 平田富夫 (名古屋大学) |
1月31日（火）
| セッション 3 [9:20〜10:20] |
|
[9]ペトリネット制御文法とEarleyの構文解析アルゴリズム ○ 西田泰伸 (富山県立大学情報システム工学科) |
|
[10]The relationship between language classes in terms of insertion and locality ○ 藤岡 薫 (九州大学) |
|
[11]最終状態受理式決定性限定１カウンタ変換器の多項式時間等価性判定アルゴリズム ○ 若月 光夫 (電気通信大学大学院情報理工学研究科), 清野 和司 (東芝ソリューション株式会社), 富田 悦次 (電気通信大学先進アルゴリズム研究ステーション), 西野 哲朗 (電気通信大学大学院情報理工学研究科) |
| 休憩 （10分） |
| セッション 4 [10:30〜11:50] |
|
[12]Efficient Reduction of Square Factors in Strings ○ Peter Leupold (Universitat Rovira i Virgili) |
|
[13]海草全単射の漸減構築 ○ 酒井義文 (東北大学) |
|
[14]アスペクト比を固定した最小の周囲長方形について ◎ 小林有, 堀山貴史 (埼玉大学) |
|
[15]滑らかな常微分方程式の計算量 ◎ 太田浩行 (東京大学), 河村彰星 (東京大学 ), マルチン・ツィーグラー , カルステン・レースニク (ダルムシュタット工科大学 ) |
| 昼食：11:50〜13:10 |
| セッション 5 [13:10〜14:10] |
|
[16]２つの短い量子証明を用いたQMAプロトコル ルガル フランソワ (東京大学), ◎ 中川 翔太, 西村 治道 (大阪府立大学) |
|
[17]Limiting Negations in Probabilistic Circuits ○ 森住 大樹 (島根大学) |
|
[18]Greedy Algorithms for Multi-Queue Buffer Management Policies with Class Segregation 伊東 利哉, ◎ 吉本 聖司 (東京工業大学) |
| 休憩 （10分） |
| セッション 6 [14:20〜15:20] |
|
[19]メモリ効率の良い経路探索アルゴリズム ◎ 今井 達也 (東京工業大学) |
|
[20]GPU による汎用計算における高速アルゴリズム ◎ 田中 秀宗, 渡辺 治 (東京工業大学) |
|
[21]確率的スケジューラの下での確率的自己安定 ○ 山内由紀子 (九州大学), Sébastien Tixeuil (パリ第6大学), 山下雅史 (九州大学) |
| 休憩 （10分） |
| 学生セッション B [15:30〜16:30] |
|
[S5]記憶付き可逆論理素子の能力の階層構造について ◎ 向井 優太, 森田 憲一 (広島大学大学院工学研究科) |
|
[S6]mm-GNATにおける分割点集合の選択手法に関する研究 ◎ 謝 評芳 (東海大学大学院理学系研究科), 大西 建輔 (東海大学理学部) |
|
[S7]Automata inspired by biochemical reaction ◎ 大久保 文哉 (早稲田大学), 小林 聡 (電気通信大学), 横森 貴 (早稲田大学) |
|
[S8]トリックテイキングゲームの計算量と必勝戦略 ◎ 中井健一朗, 武永康彦 (電気通信大学 情報理工学研究科 情報・通信工学専攻) |
|
[S9]連結文字列の圧縮長について ◎ 遊佐 俊彦 (東京工業大学) |
|
[S10]単位円交差グラフの線形構造を持つ部分クラスについて ◎ 林 貴史, 木野 徹, 桑原 勇人, 長澤 亮介, 芝田 悠華, 山崎 浩一 (群馬大学情報工学科) |
| 休憩 （10分） |
| EATCS Japan Chapter Business Meeting：16:40〜16:55 |
| 懇親会：18:30〜 |
2月1日（水）
| セッション 7 [9:20〜10:20] |
|
[22]優先度制約付きマトロイド交差問題 ○ 神山 直之 (九州大学) |
|
[23]ラベル選択付最小連結全域部分グラフ問題と化学構造式OCRへの応用 ○ 藤芳明生 (茨城大学工学部), 鈴木昌和 (九州大学数理学研究院) |
|
[24]８次格子モデルによる表の行／列操作 高加晋司 (日本大学), ○ 後藤隆彰 (電気通信大学), 土田賢省 (東洋大学), 西野哲朗 (電気通信大学), 夜久竹夫 (日本大学) |
| 休憩 （10分） |
| セッション 8 [10:30〜11:50] |
|
[25]On the base-line location problem for the maximum weight region decomposable into base-monotone shapes 堀山 貴史 (埼玉大学), 伊藤 健洋 (東北大学), 小野 廣隆 (九州大学), ○ 大舘 陽太 (東北大学), 上原 隆平 (北陸先端科学技術大学院大学), 宇野 毅明 (国立情報学研究所) |
|
[26]ランダムグラフ上の多種ランダムウォークの全訪問時間 ◎ 穂坂 祐輔, 山内 由紀子, 来嶋 秀治 (九州大学大学院 システム情報科学府), 小野 廣隆 (九州大学大学院 経済学研究院), 山下 雅史 (九州大学大学院 システム情報科学府) |
|
[27]Approximating Steiner Tree and Tree Cover in Directed Graphs ◎ 日比 智也, 藤戸 敏弘 (豊橋技術科学大学) |
|
[28]グラフの正方格子上への単位長配置について ◎ 高田 健司, 天野 一幸 (群馬大学) |
| 休憩 （15分） |
| 学生セッション C [12:05〜12:45] |
|
[S11]非同期分散ロボットによるパターン形成問題について ◎ 藤永 直 (九州大学大学院システム情報科学府), 山内 由紀子, 来嶋 秀治, 山下 雅史 (九州大学大学院システム情報科学研究院) |
|
[S12]拡張型画像割符技術の最適化モデル ◎ 森山裕子, 松井知己 (中央大学) |
|
[S13]最適化モデルを用いたモザイクアート作成法の提案 ◎ 中坪 亮, 松井 知己 (中央大学) |
|
[S14]モンテカルロ木探索問題に対する効率的サンプリング手法 ◎ 寺岡和紀, 畑埜晃平, 瀧本英二, 竹田正幸 (九州大学) |
| LA/EATCS発表論文賞開票および表彰：12:45〜12:55 |
| 閉会：12:55〜13:00 |