(全体の件数: 一般 24, 学生 10)
一般セッション 20分 / 発表 17分, 質疑 3分
学生セッション 12分 / 発表 10分, 質疑 2分

——————————
7/19 (一般 8件, 学生 9件)

13:20～14:40 一般セッション (4件)
座長: 上原 隆平 (JAIST)

[1] Uniform deployment of mobile agents in asynchronous rings
○ Masahiro Shibata, Toshiya Mega (Osaka University), Fukuhito Ooshita (NAIST), Hirotsugu Kakugawa, Toshimitsu Masuzawa (Osaka University)

[2] How to simulate message-passing algorithms in mobile agent systems with faults
○ Tsuyoshi Gotoh, Masahiro Shibata (Osaka University), Fukuhito Ooshita (NAIST), Hirotsugu Kakugawa, Toshimitsu Masuzawa (Osaka University)

[3] 頂点被覆数の小さいグラフに対するtreedepthの計算について
○ 小林 靖明 (京都大), 玉木 久夫 (明治大)

[4] k-branched 集合とその閉包
○ 山崎 浩一 (群馬大学)

15:00～16:20 一般セッション (4件)
座長: 松原 俊一 (青山学院大学)

[5] 最短非反復文字列問題の解の個数について
○ 三重野 琢也, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学)

[6] 整数アルファベットにおける DAWG の線形時間構築アルゴリズム
○ 藤重 雄大, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学)

[7] 連長圧縮に基づく漸増的最長共通部分列アルゴリズム
○ 稲永 俊介 (九州大学), Heikki Hyyrö (University of Tampere)

[8] 極大局所最大和断片問合せデータ構造
○ 酒井 義文 (東北大学)

16:40～18:40 学生セッション (9件)
座長: 坂本 直志 (東京電機大学)

[S1] (min, +)乗算を計算するしきい値回路
○ 井村 翔, 内澤 啓 (山形大学)

[S2] 正規化マージンを用いたしきい値回路の評価
○ 坂口 慶介, 内澤 啓 (山形大学)

[S3] 最大後悔最小化基準の多次元0-1ナップサック問題に対する解法
○ 呉 偉 (名古屋大学), Manuel Iori (University of Modena and Reggio Emilia), Silvano Martello (University of Bologna), 柳浦 睦憲 (名古屋大学)（最終日に移動）

[S4] 制約付きスケジューリング問題に対するπDDを用いた解法
○ 松本 晃輔, 畑埜 晃平, 瀧本 英二 (九州大学)

[S5] 射影と分解に基づく敵対的バンディット予測
○ 永浦 良平, 畑埜 晃平, 瀧本 英二 (九州大学)

[S6] ランク３行列の非負ランクの計算について
○ 橋村 勇志, 山内 由紀子, 来嶋 秀治, 山下 雅史 (九州大学)

[S7] 連長圧縮文字列に対する最長アーベル共通文字列の計算
○ 杉本 志穂, 野田 尚貴, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学)

[S8] Minimum Suffix Array の逆問題
○ 中島 祐人, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学)

[S9] Watson-Crick Automata and Grammars
○ Nurul Liyana Mohamad Zulkufli (ヌルル・リヤナ) (International Islamic University Malaysia)

[S10] Estimating L0 norm in non-strict turnstile stream
○ Sho Toyooka, Kunihiko Sadakane (University of Tokyo)

19:00～ 夕食

——————————
7/20 (一般 8件)

09:00～10:20 一般セッション (4件)
座長: 内澤 啓 (山形大学)

[9] アラインメントフリーなカーネル関数による高速タンパク質構造分類
○ 小野寺 拓, 渋谷 哲朗 (東京大学)

[10] Semimetrics Preservation by Harmonic Mean and an Application to the Robust Jaccard-Tanimoto Dissimilarity
Toshiya Itoh (東京工業大学), ○ Yoshinori Takei (長岡技術科学大学)

[11] Best Possible Online Algorithms for the Multi-Objective Time Series Search Problem
Shun Hasegawa, ○ Toshiya Itoh (東京工業大学)

[12] 媒介中心性に基づくシャプレイ値の高速近似計算アルゴリズム
○ 上里 晃平, 大坂 直人, 平石 秀史 (東京大学)

10:40～12:10 一般セッション (4件)
座長: 堀山 貴史 (埼玉大学)

[13] 関数問題版のフロベニウスの問題と F\Sigma_2^P およびその部分クラスの関係
○ 松原 俊一 (青山学院大学)

[14] On linear-size reductions and completeness II
○ Takunari Miyazaki (Trinity College), James B. Wilson (Colorado State University)

[15] Hardness of problems of bounded width under weaker assumptions
○ 岩田 陽一, 吉田 悠一 (国立情報学研究所)

[16] 初等・中等教育における情報学 (解説, 30分)
尾崎 知伸 (日本大学), 久野 靖 (電気通信大学), 小泉 力一 (尚美学園大学), 後藤 隆彰 (流通経済大学), 齋藤 実 (大宮高校), 宮寺 庸造 (東京学芸大学), ○ 夜久 竹夫 (日本大学), 穴田 浩一 (早稲田大学高等学院)

12:10～ 昼食 (各自)

13:00～ 自由討論

18:30～ 総会・懇親会

——————————
7/21 (一般 8件)

09:00～10:20 一般セッション (4件)
座長: 河村 彰星 (東京大学)

[17] 物理的バケットソートとその下限解析
John Iacono (New York University), 伊藤 大雄, ○ 長尾 篤樹, 西野 順二 (電気通信大学), David Rappaport (Queen’s University)

[18] 論理関数のPTF表現のXOR補題について
○ 天野 一幸, 舘 将馬 (群馬大学)

[19] アルゴリズム的ランダムネスによる確率概念の操作的特徴付け
○ 只木 孝太郎 (中部大学)

[20] タイリングのコロナ極限について
○ 今井 克暢 (広島大学)

10:40～12:12 一般セッション (4件)、学生セッション（1件）
座長: 岩田 陽一 (国立情報学研究所)

[21] Parameterization of Strategy-Proof Mechanisms in the Obnoxious Facility Game
Morito Oomine, ○ Aleksandar Shurbevski, Hiroshi Nagamochi (Kyoto University)

[22] 組み合わせ集合上のメトリカルタスクシステム問題
中薗 拓巳, ○ 森富 賢一郎, 畑埜 晃平, 瀧本 英二 (九州大学)

[23] 枝刈りツリーラベリングによる道路ネットワーク上の最短経路クエリアルゴリズム
○ 小池 敦 (東北大学), 定兼 邦彦 (東京大学)

[24] 無向グラフDFS木の動的更新アルゴリズムの省スペース化
○ 中村 健吾, 定兼 邦彦 (東京大学)

[S3] 最大後悔最小化基準の多次元0-1ナップサック問題に対する解法
○ 呉 偉 (名古屋大学), Manuel Iori (University of Modena and Reggio Emilia), Silvano Martello (University of Bologna), 柳浦 睦憲 (名古屋大学)