夏のLAプログラム
(最終更新: 2012/07/10)
2012年 7月 17日（火）〜 7月 19日（木）
一般講演 20分 （講演15分，質問5分）
学生セッション講演 15分 （講演12分，質問3分）
7月17日（火）
| 昼食：12:00〜13:00 |
| 開会：13:00〜13:10 |
| 学生セッション A [13:10〜14:10] |
[S1] 木構造で表現された複数文字列に対する接尾辞配列の構築 ○ 玉腰 裕也, 坂内 英夫, 稲永 俊介, 竹田 正幸 (九州大学) |
|
[S2] 制限されたDTDにおけるXMLスキーママッピングの整合性および絶対整合性判定問題 ○ 桑田逸人 (大阪大学大学院情報科学研究科), 橋本健二 (奈良先端科学技術大学院大学情報科学研究科), 石原靖哲, 藤原融 (大阪大学大学院情報科学研究科) |
|
[S3] プッシュ-再ラベルアルゴリズムにおける大域的ラベル更新の効果について ○ 柴涼介, 泉泰介 (名古屋工業大学), 和田幸一 (法政大学) |
|
[S4] 正規化圧縮距離の妥当性検証：シャッフルの影響評価 ○ 遊佐 俊彦 (東京工業大学) |
| 休憩 （15分） |
| セッション 1 [14:25〜16:05] |
|
[1] 格子ネットワークで局所情報による自己最適化に適するのはジグザグ経路だ ○ 高津周佑, 大下福仁, 角川裕次, 増澤利光 (大阪大学大学院情報科学研究科) |
|
[2] run長符号化文字列の最長共通部分列計算 ○ 酒井義文 (東北大学) |
|
[3] 木構造で表現された複数文字列に対するポジションヒープ ○ 中島祐人, 井 智弘, 稲永俊介, 坂内英夫, 竹田正幸 (九州大学) |
|
[4] 連長圧縮に基づくLZ77分解 ○ 山本 淳一, 坂内 英夫, 稲永 俊介, 竹田 正幸 (九州大学) |
|
[5] 基多面体上のオンライン予測 ○ 末廣 大貴, 畑埜 晃平, 来嶋 秀治, 瀧本 英二, 永野 清仁 (九州大学) |
| 休憩 （15分） |
| 学生セッション B [16:20〜17:05] |
|
[S5] ３次元回転群上の信号補間法について ○ 高見 大地, 武井 由智 (長岡技術科学大学) |
|
[S6] ランダム置換からの共役不変特徴の抽出について ○ 小川 浩明, 武井 由智 (長岡技術科学大学) |
|
[S7] On usage of counters in the count-min and other sketch schemes ○ LUU THIEN XUAN, 武井 由智 (長岡技術科学大学) |
| 休憩 （15分） |
| セッション 2 [17:20〜18:40] |
|
[6] グラフの標準形を求める問題について ○ 宮崎琢成 (トリニティ大学) |
|
[7] Lusinの定理の実効化について ○ 宮部賢志 (数理解析研究所) |
|
[8] NP探索／判定問題帰着の質問計算量 ○ 河内 亮周, Benjamin Rossman, 渡辺 治 (東京工業大学) |
|
[9] オークションアルゴリズムの複数価格全知オークションに対する競合比解析 ○ 古川勇輔, 岩間一雄 (京都大学大学院) |
| 夕食：19:00〜20:30 |
7月18日（水）
| 学生セッション C [8:30〜9:30] |
|
[S8] 次数を限定した誘導部分グラフ探索問題 ○ 江藤 宏, 宮野 英次 (九州工業大学), 朝廣 雄一 (九州産業大学) |
|
[S9] XMLデータベースへのデータ値比較を含む問合せを考慮した推論攻撃に対する安全性検証法 ○ 岩瀬遼 (大阪大学大学院情報科学研究科), 橋本健二 (奈良先端科学技術大学院大学情報科学研究科), 石原靖哲, 藤原融 (大阪大学大学院情報科学研究科) |
|
[S10] 点マイナーによるArchimedeanタイリングの万能量子計算能力性の証明 ○ 平栗 勇人, 夫 紀恵, 今井 浩, 元山 明 (東京大学大学院) |
|
[S11] グラフマイナーによる二次元連結周期グラフのunbounded rank-width性の証明とその量子計算能力 ○ 元山 明, 夫 紀恵, 平栗 勇人, 今井 浩 (東京大学大学院) |
| 休憩 （15分） |
| セッション 3 [9:45〜11:05] |
|
[10] 森および連結全域部分グラフに対するブロックマトロイドのbases-cobasesグラフについて ○ 三原 勇治 (九州大学大学院システム情報科学府), 山内 由紀子, 来嶋 秀治, 山下 雅史 (九州大学大学院システム情報科学研究院) |
|
[11] 非連結な実現空間を持つ有向マトロイドの構成 ○ 塚本靖之 (京都大学) |
|
[12] 完全ネットワーク上で最小生成木問題を解く新しい分散アルゴリズム ○ 泉 泰介 (名古屋工業大学), 泉 朋子 (立命館大学) |
|
[13] Transitivity in distributed systems using exchange property of matroid bases ○ 山内 由紀子, 神山 直之, 来嶋 秀治 (九州大学), 大舘 陽太 (北陸先端科学技術大学院大学) |
| 休憩 （15分） |
| 学生セッション D [11:20〜12:05] |
|
[S12] 無線ネットワークにおける通信効率のよい自己安定プロトコルの提案 ○ 瀧元友也, 大下福仁, 角川裕次, 増澤利光 (大阪大学大学院情報科学研究科) |
|
[S13] Experimental Analysis of Algorithms for Solving the MAX-3LIN Problem ○ Linus Hermansson (Chalmers University of Technology) |
|
[S14] Bradley-Terry モデルのオンライン予測 ○ 松本 一成, 畑埜 晃平, 瀧本 英二 (九州大学) |
| 昼食：12:05〜13:05 |
| 自由討論：13:05〜19:00 |
| 総会・懇親会：19:00〜21:00 |
7月19日（木）
| セッション 4 [8:30〜9:50] |
|
[14] ネットワーク上における対立する噂の拡散 ○ 山口 裕生, 渡辺 治 (東京工業大学) |
|
[15] 速さの異なる警官による線分の警邏 ○ 河村彰星, 小林佑輔 (東京大学) |
|
[16] 確率的な枝重みを持つグラフにおける最大全域木重みの分布について ○ 安藤 映 (崇城大学) |
|
[17] 不完全性定理から零点の幾何学へ ○ 木原 貴行 (北陸先端科学技術大学院大学) |
| 休憩 （15分） |
| 学生セッション E [10:05〜11:05] |
|
[S15] いくつかの頂点の帰属を定めた防衛同盟 ○ 川浦 貴博 (東京理科大学) |
|
[S16] ペンローズタイル上の "Generations" セルオートマトンについて ○ 佐藤 幸太 (広島大学大学院工学研究科), 今井 克暢, 岩本 宙造, 森田 憲一 (広島大学大学院工学研究院) |
|
[S17] 圧縮テキストに対する畳み込み計算 ○ 田中俊弥, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学) |
|
[S18] 極小不在パターンの列挙アルゴリズム ○ 杉本志穂, 稲永俊介, 坂内英夫, 竹田正幸 (九州大学) |
| 休憩 （15分） |
| セッション 5 [11:20〜12:20] |
|
[18] 直線的プログラムで圧縮された文字列の非反復性検証アルゴリズム ○ 井 智弘, 坂内英夫, 稲永俊介 (九州大学) |
|
[19] Elementary Construction of an Aperiodic Tiling of the Plane ○ POUPET Victor (LIF, Aix-Marseille University) |
|
[20] Packing Trominoes is NP-Complete, #P-Complete and ASP-Complete ○ Takashi Horiyama (Saitama University), Takehiro Ito (Tohoku University), Keita Nakatsuka (Saitama University), Akira Suzuki (Tohoku University), Ryuhei Uehara (JAIST) |
| 閉会：12:20〜12:30 |
| 昼食：12:30〜13:30 |