夏のLAプログラム
7月22日（水）
| 開会：13:50 - 14:00 |
| セッション 1 [14:00 - 15:40] |
|
{1} 最大クリーク問題の単純な最大時間計算量評価 [PDF] ○中西 裕陽，富田 悦次，若月 光夫 (電気通信大学) |
|
[2] The Quantum Query Complexity of Certification [PDF] Andris Ambainis (University of Latvia)，Andrew Childs (University of Waterloo)，○Francois Le Gall (ERATO-SORST/Kyoto University)，Seiichiro Tani (ERATO-SORST/NTT) |
|
[3] 量子偽コイン問題 [PDF] 岩間 一雄 (京都大学)，西村 治道 (大阪府立大学)，ルディー・レイモンド・ハリー・プテラ (日本アイ・ビー・エム)，○照山 順一 (京都大学) |
|
[4] 量子ハードコア関数の同時安全性 [PDF] 草川 恵太，○河内 亮周 (東京工業大学) |
|
[5] アナログ計算と複雑度 [PDF] ○河村 彰星 (トロント大学) |
| 休憩（20分） |
| 学生セッション 1A: 16:00 - 16:40 | 学生セッション 1B: 16:00 - 16:40 |
|
[S1] 部分LP緩和による論理式のサイズの下界 [PDF] ○福原 秀明 (東北大学)， 瀧本 英二 (九州大学) |
[S5] イベント列からの頻出多部エピソードの抽出 [PDF] ○河東 孝，有村 博紀 (北海道大学)，平田 耕一 (九州工業大学) |
|
[S2] 頻出属性検出ポピュレーションプロトコルの設計と解析 [PDF] ○溝口 隆 (九州大学) |
[S6] ジャストインタイムウェブ広告におけるタクソノミ自動生成手法 [PDF] ○櫻庭敦之, 成田龍太, 全眞嬉, 徳山豪 (東北大学) |
|
[S3] 非同期・匿名・無記憶ロボットによるパターン形成 [PDF] ○藤永 直 (九州大学) |
[S7] 重量物配達問題に対する近似アルゴリズムの研究 [PDF] ○長崎 大生，武井 由智 (長岡技術科学大学) |
|
[S4] 繰り返し構造からの文字列推測の困難さ [PDF] ○松原 渉，篠原 歩 (東北大学) |
[S8] 多彩色格子の同一色領域最大化問題へのアプローチ [PDF] ○奥田 遼介，高橋 大樹，鈴木 貴樹，小保方 幸次 (一関高専) |
| 休憩（10分） |
| 学生セッション 2A: 16:50 - 17:30 | 学生セッション 2B: 16:50 - 17:30 |
|
[S9] ネックレス文字列中の繰り返し構造について [PDF] ○草野 一彦，篠原 歩 (東北大学) |
[S13] 需要点と供給点のある木のコスト最小分割 [PDF] ○原 拓哉，伊藤 健洋，周 暁，西関 隆夫 (東北大学) |
|
[S10] 非終端記号を導入した基本形式体系について [PDF] ○小出 智彦，篠原 歩 (東北大学) |
[S14] 論理回路で表現されたグラフ問題のQBFへの帰着 [PDF] ○佐々木 洋一，内澤 啓，西関 隆夫 (東北大学) |
|
[S11] 正規木言語の極大共通構造を表すXPath式の導出 [PDF] ○小倉 達也，石原 靖哲，藤原 融 (大阪大学) |
[S15] 基本図形に分割可能な領域の最適切り出しアルゴリズム [PDF] ○葛西 亮生，コルマン マティアス，全 眞嬉，徳山 豪 (東北大学) |
|
[S12] On the Descriptional Complexity of Semi-Conditional Grammars and Simple Semi-Conditional Grammars [PDF] ○大久保 文哉 (早稲田大学) |
[S16] 2次の効用関数に関する不可分財の最適配分問題 [PDF] 塩浦 昭義，○鈴木 瞬也，吉田 卓司 (東北大学) |
| 夕食：18:30 - 20:00 |
7月23日（木）
| セッション 2: 8:30 - 10:10 |
|
[6] 一般的な重みに対する編集距離の動的計算 [PDF] ○成澤 和志 (九州大学)，Heikki Hyyro (University of Tampere)，稲永俊介 (九州大学) |
|
[7] Lightweight Construction of Parameterized Suffix Arrays [PDF] ○井 智弘，出口 悟史，坂内 英夫，稲永 俊介，竹田 正幸 (九州大学) |
|
[8] 二値配列の空白位置が柔軟な累進多重整列 [PDF] ○酒井 義文 (東北大学) |
|
[9] d-Primitive Words and D(1)-Concatenated Words [PDF] 片岳 格，○守谷 哲夫 (国士館大学) |
|
[10] 文脈情報を用いた弱文脈依存言語の学習 [PDF] ○吉仲 亮 (北海道大学) |
| 休憩（20分） |
| セッション 3: 10:30 - 11:30 |
|
[11] k木がハミルトン閉路を持つ条件 [PDF] ○穂坂 祐輔，山下 雅史 (九州大学)，定兼 邦彦 (国立情報学研究所)，小野 廣隆 (九州大学) |
|
[12] Querying Two Boundary Points for Shortest Paths in a Polygonal Domain [PDF] Sang Won Bae (POSTECH)，○Yoshio Okamoto (Tokyo Institute of Technology) |
|
[13] 混合ガウスモデルのＶＣ次元など [PDF] ○赤間 陽二 (東北大学) |
| 休憩（10分） |
| セッション 4: 11:40 - 13:00 |
|
[14] Context-Sensitive Innermost Reduction of Linear Right-Shallow Term Rewriting Systems effectively preserves regularity [PDF] ○小島 芳治，酒井 正彦，西田 直樹，草刈 圭一朗，坂部 俊樹 (名古屋大学) |
|
[15] 3次元 Larger than Life セル・オートマトンのグライダーについて [PDF] ○今井 克暢 (広島大学)，正守 泰啓 (扶桑電通)，岩本 宙造，森田憲一 (広島大学) |
|
[16] 鳥の歌構造解析におけるk可逆オートマトンとNグラムモデルの関係について [PDF] 常田 宏和 (電気通信大学)，○若月 光夫，西野 哲朗 (電気通信大学) |
|
[17] 英和機械翻訳機 eInG [PDF] ○松原 俊一，笠井 琢美 (電気通信大学) |
| 昼食：13:00 - 14:00 |
| 自由討論：14:00 - 18:30 |
| 総会・懇親会：18:30 - 21:00 |
7月24日（金）
| セッション 5: 9:00 - 10:20 |
|
[18] Asynchronous Deterministic Rendezvous for Multiple Mobile Agents in Trees [PDF] ○馬場 大輔 (大阪大学)，泉 朋子 (立命館大学)， 大下 福仁，角川裕次，増澤 利光 (大阪大学) |
|
[19] 局所情報を利用するグラフ上のランダムウオークの mixing time に ついて [PDF] ○野中 良哲，小野 廣隆，山下 雅史 (九州大学) |
|
[20] 経路長を短くする一方通行決定 [PDF] 伊藤 健洋 (東北大学)，上原 隆平 (JAIST)，○小野 廣隆 (九州大学)，玉木 久夫 (明治大学)，宮本 裕一郎 (上智大学) |
|
[21] Bipartite Permutation Graphのランダム生成と列挙 [PDF] ○斎藤 寿樹 (JAIST)，大舘 陽太 (群馬大学)，山中 克久 (電気通信大学)，上原 隆平 (JAIST) |
| 休憩（20分） |
| セッション 6: 10:40 - 11:40 |
|
[22] Online Minimization Knapsack Problem [PDF] ○Xin Han，Kazuhisa Makino (Tokyo University) |
|
[23] オンラインユニットクラスタリング問題の競合比の改良 [PDF] ○川原 純，小林 浩二 (京都大学) |
|
[24] スキーレンタル問題について [PDF] ○藤原 洋志 (豊橋技術科学大学) |
| 閉会：11:40 - 11:50 |
Note: The articles in this page have been uploaded without reviewing and editing as received from the authors. LA symposium does not keep copyright of the articles, and the authors will publish their complete version in other conferences/journals.