|
|
|
|||||||||||||||||||||||||
2015年1月28日(水) |
題名 | 順序同型パターン照合アルゴリズム |
著者 | ◎青木 隆宏, 松岡 禎明, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九大) |
Title | New Algorithms for Order Preserving Pattern Matching |
Author | ◎Takahiro Aoki, Yoshiaki Matsuoka, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda (Kyushu Univ.) |
題名 | 重複のない文字列における α-ギャップ repeat の列挙 |
著者 | ◎藤重 雄大, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九大) |
Title | Enumeration of α-Gapped Repeat on Overlap-Free Strings |
Author | ◎Yuta Fujishige, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda (Kyushu Univ.) |
題名 | 文字列中にある極大α-gapped repeatの列挙 |
著者 | ◎谷村 優佳, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九大) |
Title | Enumeration of α-Gapped Repeats in a Word |
Author | ◎Yuka Tanimura, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda (Kyushu Univ.) |
題名 | 否定に関する非対話ゼロ知識証明とその応用 |
著者 | ◎石田 愛 (東工大), 江村 恵太 (NICT), 花岡 悟一郎, 坂井 祐介 (産総研), 田中 圭介 (東工大) |
Title | Non-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.) |
題名 | サンプリングのためのストリーミングアルゴリズムとその応用 |
著者 | ◎中田 亮介 (東工大), 田中 圭介 (東工大/JST CREST) |
Title | Streaming Algorithms for Sampling and Their Applications |
Author | ◎Ryosuke Nakata, Maxim Jourenko (Tokyo Inst. of Tech.), Keisuke Tanaka (Tokyo Inst. of Tech./JST CREST) |
題名 | 秘匿算術回路について |
著者 | ◎小松 智之 (東工大), 田中 圭介 (東工大/JST CREST) |
Title | On Arithmetic Garbled Circuits |
Author | ◎Tomoyuki Komatsu (Tokyo Inst. of Tech.), Keisuke Tanaka (Tokyo Inst. of Tech./JST CREST) |
題名 | 8倍次格子グラフによる図表の表現 |
著者 | ○夜久 竹夫 (日大) |
Title | 8k-Degree Grid Graph Representation of Tabular Diagrams |
Author | ○Takeo Yaku (Nihon Univ.) |
題名 | 固定長ギャップ付き回文のオンライン計算 |
著者 | ◎中村 道太郎, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九大) |
Title | Online Computation of Fixed Gapped Palindrome |
Author | ◎Michitaro Nakamura, Shunsuke Inenaga, HIdeo Bannai, Masayuki Takeda (Kyushu Univ.) |
題名 | 制約柔軟パターンを含む最長共通柔軟パターン問題 |
著者 | ◎久保井 啓太, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九大) |
Title | Computing a Longest Common Flexible Pattern Including a Constrained Flexible Pattern |
Author | ◎Keita Kuboi, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda (Kyushu Univ.) |
題名 | 3入力多数決ゲートを用いた5変数論理関数の最小段数回路 |
著者 | ◎守家 大雄, 高木 一義, 高木 直史 (京大) |
Title | All 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辺支配集合問題の近似アルゴリズム |
著者 | ◎下田 知明, 藤戸 敏弘 (豊橋技科大) |
Title | Approximating the Connected 2-Edge Dominating Set Problem |
Author | ◎Tomoaki Shimoda, Toshihiro Fujito (Toyohashi Univ. of Tech.) |
題名 | 存在定理の計算可能性と構成的証明可能性について |
著者 | ◎藤原 誠 (東北大) |
Title | On Computability and Constructive Provability for Existence Theorems |
Author | ◎Makoto Fujiwara (Tohoku Univ.) |
題名 | 幅限定回路と段数限定論理式に対する単純な#SATアルゴリズム |
著者 | ○森住 大樹 (島根大) |
Title | Simple #SAT Algorithms for Bounded Width Circuits and Bounded Depth Formulas |
Author | ○Hiroki Morizumi (Shimane Univ.) |
題名 | 動的な圧縮索引 |
著者 | ◎西本 崇晃 (九大), 井 智弘 (ドルトムント工科大), 稲永 俊介, 坂内 英夫, 竹田 正幸 (九大) |
Title | Dynamic Compressed Index |
Author | ◎Takaaki Nishimoto (Kyushu Univ.), Tomohiro I (Tech. Univ. Dortmund, Germany), Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda (Kyushu Univ.) |
題名 | フロベニウスの硬貨交換問題の計算量のクラス |
著者 | ○松原 俊一 (青学大) |
Title | The Class of the Computational Complexity of the Coin-Exchange Problem of Frobenius |
Author | ○Shunichi Matsubara (Aoyama Gakuin Univ.) |
Title | Some Properties of Hippocratic Randomness |
Author | ○Hayato Takahashi (Gifu Univ.) |
題名 | 直径の小さなグラフ上の全域木混雑度問題 |
著者 | ◎久保 浩平, 山内 由紀子, 来嶋 秀治, 山下 雅史 (九大) |
Title | On the Spanning Tree Congestion of Small Diameter Graphs |
Author | ◎Kohei Kubo, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita (Kyushu Univ.) |
Title | A Distributed Locomotion Algorithm for 3-Dimensional Metamorphic Robotic System1 |
Author | ◎Fengqi Chen, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita (Kyushu Univ.) |
Title | The Team Assembling Problem for Heterogeneous Mobile Robots |
Author | ◎Zhiqiang Liu, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita (Kyushu Univ.) |
題名 | Tangleとイデアルについて |
著者 | ○山崎 浩一 (群馬大) |
Title | Tangle and Ideal |
Author | ○Koichi Yamazaki (Gunma Univ.) |
題名 | 単色性を用いた木構造関数値問題の領域計算量解析 |
著者 | 岩間 一雄 (京大), ◎長尾 篤樹 (京大/日本学術振興会特別研究員DC2) |
Title | Analyses of Space Complexity of Tree Evaluation Problems |
Author | Kazuo Iwama (Kyoto Univ.), ◎Atsuki Nagao (Kyoto Univ./JSPS CD2 Research Fellow) |
Title | Analytic Continuation in iRRAM: Implementations Inspired by Real Complexity Theory |
Author | Akitoshi Kawamura (Univ. of Tokyo), ◎Florian Steinberg, Holger Thies (Tech. Univ. Darmstadt) |
Title | Space Complexity of Self-Stabilizing Leader Election in Population Protocol on Hypernetworks |
Author | ◎Xiaoguang Xu, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita (Kyushu Univ.) |
Title | Lyndon ≦ LZ77 Conjecture |
Author | ◎Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda (Kyushu Univ.) |
題名 | ストリーム中のアイテム頻度に関する省領域乱択近似アルゴリズム |
著者 | ◎任 熙宰, 山内 由紀子, 来嶋 秀治, 山下 雅史 (九大) |
Title | Randomized 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日(金) |
題名 | 海草図からの最長共通部分列抽出 |
著者 | ○酒井 義文 (東北大) |
Title | Extracting LCS from Seaweed Diagrams |
Author | ○Yoshifumi Sakai (Tohoku Univ.) |
題名 | 多項式時間学習可能な木幅定数グラフ言語の形式体系について |
著者 | ○正代 隆義 (九州国際大), 内田 智之 (広島市立大) |
Title | Polynomial-Time Learning of Formal Graph Systems with Bounded Tree-Width |
Author | ○Takayoshi Shoudai (Kyushu International Univ.), Tomoyuki Uchida (Hiroshima City Univ.) |
題名 | 接尾辞計数表現による順序保存符号化nグラム出現頻度の効率的な計算 |
著者 | ◎佐藤 雄介, 成澤 和志, 篠原 歩 (東北大) |
Title | Effective Method to Compute Frequencies of Order-Preserving n-Gram by Suffix Counting Representation |
Author | ◎Yusuke Sato, Kazuyuki Narisawa, Ayumi Shinohara (Tohoku Univ.) |
題名 | 最大カットのベンチマークを最適化ソルバーで解く |
著者 | 生田 拓人, ○今井 浩, 矢野 洋祐 (東大) |
Title | Solving a Max Cut Benchmark by an Optimization Solver |
Author | Takuto Ikuta, ○Hiroshi Imai, Yosuke Yano (Univ. of Tokyo) |
題名 | 行列多項式I+A+A2+...+AN-1の計算における行列乗算回数 |
著者 | ◎松本 耕太朗, 高木 直史, 高木 一義 (京大) |
Title | The Number of Matrix Multiplications for the Evaluation of Matrix Polynomial I+A+A2+...+AN-1 |
Author | ◎Kotaro Matsumoto, Naofumi Takagi, Kazuyoshi Takagi (Kyoto Univ.) |
題名 | 項書換え系の停止性証明のための重み付き経路順序の抽象化 |
著者 | ◎尾前 貴則 (名大), 草刈 圭一朗 (岐阜大), 山田 晃久 (産総研), 坂部 俊樹 (名大) |
Title | Abstracting 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.) |
題名 | 順序保存照合に対する増減フィルタの拡張と高速な実装 |
著者 | ◎上木 庸平, 成澤 和志, 篠原 歩 (東北大) |
Title | A Fast Filtration for Order-Preserving Matching |
Author | ◎Youhei Ueki, Kazuyuki Narisawa, Ayumi Shinohara (Tohoku Univ.) |