夏のLAプログラム
(最終更新: 2017/06/27)
2017年7月18日(火)〜7月20日(木)
一般セッション講演 25分 (講演20分, 質問5分)
学生セッション講演 15分 (講演12分, 質問3分)
7月18日(火)
一般セッション 1 [13:30〜14:45] 座長:内澤 啓 (山形大学) |
[1] On linear-size reductions and completeness III ○ Takunari Miyazaki (Trinity College), James B. Wilson (Colorado State University) |
[2] 多項式階層第2層のある充足可能性問題の困難性とその応用 ○ 松原 俊一 (青山学院大学) |
[3] 実時間アプリケーションに対するサーバ配置問題の近似(不)可能性 伊藤 健洋 (東北大学), 垣村 尚徳 (慶応義塾大学), 神山 直之 (九州大学/JSTさきがけ), 小林 佑輔 (筑波大学), ○ 岡本 吉央, 後田多 太一 (電気通信大学) |
休憩 (15分) |
一般セッション 2 [15:00〜16:15] 座長:松原 俊一 (青山学院大学) |
[4] Feedback Vertex Set 問題に対する線形時間カーネル ○ 岩田 陽一 (国立情報学研究所) |
[5] Parameterized Complexity of the List Coloring Reconfiguration Problem with Graph Parameters ○ 畑中 達彦, 伊藤 健洋, 周 暁 (東北大学) |
[6] 部分文字列最長共通部分列データ構造 ○ 酒井 義文 (東北大学) |
休憩 (15分) |
学生セッション 1 [16:30〜17:15] 座長:今井 克暢 (広島大学) |
[S1] (min, +)乗算を計算するしきい値回路の最適性について ○ 井村 翔, 内澤 啓 (山形大学) |
[S3] 連長圧縮文字列上の繰り返し構造について ○ 藤重 雄大, 中島 祐人, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学) |
[S4] 最長共通スクエア部分列問題 ○ 井上 貴文, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学) |
夕食:18:30〜 |
7月19日(水)
学生セッション 2 [9:00〜10:15] 座長:岩田 陽一 (国立情報学研究所) |
[S5] 木とDAG上の順序同型パターン照合問題 ○ 中村 天馬, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学) |
[S6] 密度固定の2進Lyndon文字列の列挙 ○ 三星 諒太朗, 中島 祐人, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学) |
[S7] LogDet正則化を用いた二値行列補完 ○ 森富 賢一郎, 畑埜 晃平, 瀧本 英二 (九州大学) |
[S8] 非減少関数に対するハフマン木問題を解く動的計画法 ○ 鰐川 友太, 藤原 洋志, 山本 博章 (信州大学) |
[S9] 段階的平滑化と確率的MM法を用いた非凸最適化 ○ 三宅 郁人, 瀧本 英二, 畑埜 晃平 (九州大学) |
休憩 (15分) |
一般セッション 3 [10:30〜12:10] 座長:酒井 義文 (東北大学) |
[7] A Reconstruction and Implementation of the First FSSP Algorithm ○ Hiroshi Umeo (Osaka Electro-Communication University) |
[8] Hierarchical Motion Representation of 2-state Number Conserving Cellular Automata
○ Kong Gil-Tak, Katsunobu IMAI (Hiroshima University) |
[9] 弱い万能性を持つ3次元 Larger than Life セルオートマトンについて ○ 今井 克暢, 下石 京介, 久保田 智大 (広島大学) |
[16] 非同期ビザンチン環境における認証機能付き白板を用いたモバイルエージェント集合アルゴリズム ○ 土田 将司, 大下 福仁, 井上 美智子 (奈良先端科学技術大学院大学) |
昼食(各自):12:10〜 |
自由討論:13:00〜 |
総会・懇親会:18:00〜 |
7月20日(木)
一般セッション 4 [9:00〜10:15] 座長:戸田 貴久 (電気通信大学) |
[10] Making Reversible Turing Machines in a Reversible Elementary Triangular Partitioned Cellular Automaton
○ 森田 憲一 (広島大学) |
[11] 閉路分解木オートマトン ○ 藤芳 明生 (茨城大学) |
[12] グラフに含まれる内周k以上の連結誘導部分グラフの効率良い列挙 ○ 栗田 和宏 (北海道大学), Alessio Conte (Università di Pisa),和佐 州洋, 宇野 毅明 (国立情報学研究所), 有村 博紀 (北海道大学) |
休憩 (15分) |
一般セッション 5 [10:30〜11:45] 座長:森本 尚之 (三重大学) |
[13] BDD/ZDD上のブースティング ○ 藤田 隆寛, 畑埜 晃平, 瀧本 英二 (九州大学) |
[14] カード組を用いたコミット型ANDプロトコルのシャッフル回数に関する考察 ○ 宮原 大輝 (東北大学), 林 優一 (奈良先端科学技術大学院大学), 水木 敬明, 曽根 秀昭 (東北大学) |
[15] 漏えい鍵共有グラフから生成される秘密鍵の秘匿性について ○ 佐々木 達也 (東北大学), 林 優一 (奈良先端科学技術大学院大学), 水木 敬明, 曽根 秀昭 (東北大学) |