(トップページへ)

LAシンポジウム 2014 冬
プログラム

プログラム:   非分割版
著者索引:   HERE

セッション表

表内のセッション名はそのセッション情報にリンクしています．

2015年1月28日(水)

開会
13:00 - 13:10
A  学生セッションA
13:10 - 13:55
休憩
13:55 - 14:05
1  一般セッション1
14:05 - 15:45
休憩
15:45 - 15:55
B  学生セッションB
15:55 - 16:40

2015年1月29日(木)

2  一般セッション2
9:30 - 10:45
休憩
10:45 - 10:55
3  一般セッション3
10:55 - 12:10
昼休憩
12:10 - 14:00
C  学生セッションC
14:00 - 14:45
休憩
14:45 - 14:55
4  一般セッション4
14:55 - 16:10
休憩
16:10 - 16:20
D  学生セッションD
16:20 - 17:05
EATCSビジネスミーティング
17:05 -
懇親会 (京湯どうふ 喜さ起)
18:30 -

2015年1月30日(金)

5  一般セッション5
9:30 - 11:10
休憩
11:10 - 11:20
E  学生セッションE
11:20 - 12:05
閉会
12:05 - 12:15

論文一覧

(◎は学生の講演者，○は学生以外の講演者を表す)

2015年1月28日(水)

セッション A  学生セッションA
日時: 2015年1月28日(水) 13:10 - 13:55
座長: 田中 圭介 (東工大)

A-1 (時間: 13:10 - 13:25)
題名順序同型パターン照合アルゴリズム
著者◎青木 隆宏, 松岡 禎明, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九大)
TitleNew Algorithms for Order Preserving Pattern Matching
Author◎Takahiro Aoki, Yoshiaki Matsuoka, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda (Kyushu Univ.)

A-2 (時間: 13:25 - 13:40)
題名重複のない文字列における α-ギャップ repeat の列挙
著者◎藤重 雄大, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九大)
TitleEnumeration of α-Gapped Repeat on Overlap-Free Strings
Author◎Yuta Fujishige, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda (Kyushu Univ.)

A-3 (時間: 13:40 - 13:55)
題名文字列中にある極大α-gapped repeatの列挙
著者◎谷村 優佳, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九大)
TitleEnumeration of α-Gapped Repeats in a Word
Author◎Yuka Tanimura, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda (Kyushu Univ.)

セッション 1  一般セッション1
日時: 2015年1月28日(水) 14:05 - 15:45
座長: 稲永 俊介 (九大)

1-1 (時間: 14:05 - 14:30)
題名否定に関する非対話ゼロ知識証明とその応用
著者◎石田 愛 (東工大), 江村 恵太 (NICT), 花岡 悟一郎, 坂井 祐介 (産総研), 田中 圭介 (東工大)
TitleNon-interactive Zero-Knowledge Proof Systems for Disavowal and Its Applications
Author◎Ai Ishida (Tokyo Inst. of Tech.), Keita Emura (NICT), Goichiro Hanaoka, Yusuke Sakai (AIST), Keisuke Tanaka (Tokyo Inst. of Tech.)

1-2 (時間: 14:30 - 14:55)
題名サンプリングのためのストリーミングアルゴリズムとその応用
著者◎中田 亮介 (東工大), 田中 圭介 (東工大/JST CREST)
TitleStreaming Algorithms for Sampling and Their Applications
Author◎Ryosuke Nakata, Maxim Jourenko (Tokyo Inst. of Tech.), Keisuke Tanaka (Tokyo Inst. of Tech./JST CREST)

1-3 (時間: 14:55 - 15:20)
題名秘匿算術回路について
著者◎小松 智之 (東工大), 田中 圭介 (東工大/JST CREST)
TitleOn Arithmetic Garbled Circuits
Author◎Tomoyuki Komatsu (Tokyo Inst. of Tech.), Keisuke Tanaka (Tokyo Inst. of Tech./JST CREST)

1-4 (時間: 15:20 - 15:45)
題名8倍次格子グラフによる図表の表現
著者○夜久 竹夫 (日大)
Title8k-Degree Grid Graph Representation of Tabular Diagrams
Author○Takeo Yaku (Nihon Univ.)

セッション B  学生セッションB
日時: 2015年1月28日(水) 15:55 - 16:40
座長: 成澤 和志 (東北大)

B-1 (時間: 15:55 - 16:10)
題名固定長ギャップ付き回文のオンライン計算
著者◎中村 道太郎, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九大)
TitleOnline Computation of Fixed Gapped Palindrome
Author◎Michitaro Nakamura, Shunsuke Inenaga, HIdeo Bannai, Masayuki Takeda (Kyushu Univ.)

B-2 (時間: 16:10 - 16:25)
題名制約柔軟パターンを含む最長共通柔軟パターン問題
著者◎久保井 啓太, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九大)
TitleComputing a Longest Common Flexible Pattern Including a Constrained Flexible Pattern
Author◎Keita Kuboi, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda (Kyushu Univ.)

B-3 (時間: 16:25 - 16:40)
題名3入力多数決ゲートを用いた5変数論理関数の最小段数回路
著者◎守家 大雄, 高木 一義, 高木 直史 (京大)
TitleAll Five-Variable Logic Functions Can Be Computed by Three-Input Majority Gates with Depth Four
Author◎Masao Moriya, Kazuyoshi Takagi, Naofumi Takagi (Kyoto Univ.)


2015年1月29日(木)

セッション 2  一般セッション2
日時: 2015年1月29日(木) 9:30 - 10:45
座長: 堀山 貴史 (埼玉大)

2-1 (時間: 9:30 - 9:55)
題名連結2辺支配集合問題の近似アルゴリズム
著者◎下田 知明, 藤戸 敏弘 (豊橋技科大)
TitleApproximating the Connected 2-Edge Dominating Set Problem
Author◎Tomoaki Shimoda, Toshihiro Fujito (Toyohashi Univ. of Tech.)

2-2 (時間: 9:55 - 10:20)
題名存在定理の計算可能性と構成的証明可能性について
著者◎藤原 誠 (東北大)
TitleOn Computability and Constructive Provability for Existence Theorems
Author◎Makoto Fujiwara (Tohoku Univ.)

2-3 (時間: 10:20 - 10:45)
題名幅限定回路と段数限定論理式に対する単純な#SATアルゴリズム
著者○森住 大樹 (島根大)
TitleSimple #SAT Algorithms for Bounded Width Circuits and Bounded Depth Formulas
Author○Hiroki Morizumi (Shimane Univ.)

セッション 3  一般セッション3
日時: 2015年1月29日(木) 10:55 - 12:10
座長: 玉置 卓 (京大)

3-1 (時間: 10:55 - 11:20)
題名動的な圧縮索引
著者◎西本 崇晃 (九大), 井 智弘 (ドルトムント工科大), 稲永 俊介, 坂内 英夫, 竹田 正幸 (九大)
TitleDynamic Compressed Index
Author◎Takaaki Nishimoto (Kyushu Univ.), Tomohiro I (Tech. Univ. Dortmund, Germany), Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda (Kyushu Univ.)

3-2 (時間: 11:20 - 11:45)
題名フロベニウスの硬貨交換問題の計算量のクラス
著者○松原 俊一 (青学大)
TitleThe Class of the Computational Complexity of the Coin-Exchange Problem of Frobenius
Author○Shunichi Matsubara (Aoyama Gakuin Univ.)

3-3 (時間: 11:45 - 12:10)
TitleSome Properties of Hippocratic Randomness
Author○Hayato Takahashi (Gifu Univ.)

セッション C  学生セッションC
日時: 2015年1月29日(木) 14:00 - 14:45
座長: 松原 俊一 (青学大)

C-1 (時間: 14:00 - 14:15)
題名直径の小さなグラフ上の全域木混雑度問題
著者◎久保 浩平, 山内 由紀子, 来嶋 秀治, 山下 雅史 (九大)
TitleOn the Spanning Tree Congestion of Small Diameter Graphs
Author◎Kohei Kubo, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita (Kyushu Univ.)

C-2 (時間: 14:15 - 14:30)
TitleA Distributed Locomotion Algorithm for 3-Dimensional Metamorphic Robotic System1
Author◎Fengqi Chen, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita (Kyushu Univ.)

C-3 (時間: 14:30 - 14:45)
TitleThe Team Assembling Problem for Heterogeneous Mobile Robots
Author◎Zhiqiang Liu, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita (Kyushu Univ.)

セッション 4  一般セッション4
日時: 2015年1月29日(木) 14:55 - 16:10
座長: 河村 彰星 (東大)

4-1 (時間: 14:55 - 15:20)
題名Tangleとイデアルについて
著者○山崎 浩一 (群馬大)
TitleTangle and Ideal
Author○Koichi Yamazaki (Gunma Univ.)

4-2 (時間: 15:20 - 15:45)
題名単色性を用いた木構造関数値問題の領域計算量解析
著者岩間 一雄 (京大), ◎長尾 篤樹 (京大/日本学術振興会特別研究員DC2)
TitleAnalyses of Space Complexity of Tree Evaluation Problems
AuthorKazuo Iwama (Kyoto Univ.), ◎Atsuki Nagao (Kyoto Univ./JSPS CD2 Research Fellow)

4-3 (時間: 15:45 - 16:10)
TitleAnalytic Continuation in iRRAM: Implementations Inspired by Real Complexity Theory
AuthorAkitoshi Kawamura (Univ. of Tokyo), ◎Florian Steinberg, Holger Thies (Tech. Univ. Darmstadt)

セッション D  学生セッションD
日時: 2015年1月29日(木) 16:20 - 17:05
座長: 森住 大樹 (島根大)

D-1 (時間: 16:20 - 16:35)
TitleSpace Complexity of Self-Stabilizing Leader Election in Population Protocol on Hypernetworks
Author◎Xiaoguang Xu, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita (Kyushu Univ.)

D-2 (時間: 16:35 - 16:50)
TitleLyndon ≦ LZ77 Conjecture
Author◎Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda (Kyushu Univ.)

D-3 (時間: 16:50 - 17:05)
題名ストリーム中のアイテム頻度に関する省領域乱択近似アルゴリズム
著者◎任 熙宰, 山内 由紀子, 来嶋 秀治, 山下 雅史 (九大)
TitleRandomized Approximation of the Frequency of Items in a Stream Using a Small Space
Author◎Heejae Yim, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita (Kyushu Univ.)


2015年1月30日(金)

セッション 5  一般セッション5
日時: 2015年1月30日(金) 9:30 - 11:10
座長: 大舘陽太 (JAIST)

5-1 (時間: 9:30 - 9:55)
題名海草図からの最長共通部分列抽出
著者○酒井 義文 (東北大)
TitleExtracting LCS from Seaweed Diagrams
Author○Yoshifumi Sakai (Tohoku Univ.)

5-2 (時間: 9:55 - 10:20)
題名多項式時間学習可能な木幅定数グラフ言語の形式体系について
著者○正代 隆義 (九州国際大), 内田 智之 (広島市立大)
TitlePolynomial-Time Learning of Formal Graph Systems with Bounded Tree-Width
Author○Takayoshi Shoudai (Kyushu International Univ.), Tomoyuki Uchida (Hiroshima City Univ.)

5-3 (時間: 10:20 - 10:45)
題名接尾辞計数表現による順序保存符号化nグラム出現頻度の効率的な計算
著者◎佐藤 雄介, 成澤 和志, 篠原 歩 (東北大)
TitleEffective Method to Compute Frequencies of Order-Preserving n-Gram by Suffix Counting Representation
Author◎Yusuke Sato, Kazuyuki Narisawa, Ayumi Shinohara (Tohoku Univ.)

5-4 (時間: 10:45 - 11:10)
題名最大カットのベンチマークを最適化ソルバーで解く
著者生田 拓人, ○今井 浩, 矢野 洋祐 (東大)
TitleSolving a Max Cut Benchmark by an Optimization Solver
AuthorTakuto Ikuta, ○Hiroshi Imai, Yosuke Yano (Univ. of Tokyo)

セッション E  学生セッションE
日時: 2015年1月30日(金) 11:20 - 12:05
座長: 今井 勝喜 (広島大)

E-1 (時間: 11:20 - 11:35)
題名行列多項式I+A+A2+...+AN-1の計算における行列乗算回数
著者◎松本 耕太朗, 高木 直史, 高木 一義 (京大)
TitleThe Number of Matrix Multiplications for the Evaluation of Matrix Polynomial I+A+A2+...+AN-1
Author◎Kotaro Matsumoto, Naofumi Takagi, Kazuyoshi Takagi (Kyoto Univ.)

E-2 (時間: 11:35 - 11:50)
題名項書換え系の停止性証明のための重み付き経路順序の抽象化
著者◎尾前 貴則 (名大), 草刈 圭一朗 (岐阜大), 山田 晃久 (産総研), 坂部 俊樹 (名大)
TitleAbstracting Weighted Path Orders for Proving Termination of Term Rewriting Systems
Author◎Takanori Omae (Nagoya Univ.), Keiichirou Kusakari (Gifu Univ.), Akihisa Yamada (AIST), Toshiki Sakabe (Nagoya Univ.)

E-3 (時間: 11:50 - 12:05)
題名順序保存照合に対する増減フィルタの拡張と高速な実装
著者◎上木 庸平, 成澤 和志, 篠原 歩 (東北大)
TitleA Fast Filtration for Order-Preserving Matching
Author◎Youhei Ueki, Kazuyuki Narisawa, Ayumi Shinohara (Tohoku Univ.)