冬のLAプログラム
(最終更新: 2013/01/17)
2013年 1月 28日（月）〜 1月 30日（水）
一般講演 20分 （講演15分，質問5分）
学生セッション講演 10分 （講演7分，質問3分）
1月28日（月）
| 開会：13:00〜13:10 |
| セッション 1 [13:10 〜 14:30] 座長: 岩間 一雄 (京都大学) |
[1] 条件付き確率の計算可能性 ○ 宮部賢志 (京都大学) |
|
[2] 森および連結全域部分グラフの乱択近似数え上げ ◎ 三原 勇治, 山内 由紀子, 来嶋 秀治, 山下 雅史 (九州大学) |
|
[3] Isomorphism for graphs of bounded width parameters for strong
tree decompositions 大舘 陽太, ○ パスカル シュバイツァー (北陸先端科学技術大学院大学) |
|
[4] 撹乱順列の線形時間ランキングとアンランキングについて ○ 三河賢治 (新潟大学情報基盤センター), 田中賢 (神奈川大学理学部) |
| 休憩 （10分） |
| セッション 2 [14:40 〜 15:40] 座長: 宮部賢志 (京都大学) |
|
[5] 高速パターン照合を可能にする新しい文法圧縮型自己索引 ◎ 西本崇晃, 井 智弘 , 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学) |
|
[6] 直線的プログラムに含まれる繰り返し構造の検出 ○ 井 智弘 (九州大学), 松原 渉 (東北大学), 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学), 成澤 和志, 篠原 歩 (東北大学) |
|
[7] 部分文字列最大密度索引 ○ 酒井義文 (東北大学) |
| 休憩 （10分） |
| 学生セッション1 [15:50 〜 16:40] 座長: 畑埜 晃平 (九州大学) |
|
[S1] 赤黒文法圧縮アルゴリズム ◎ 西田 真, 井 智弘, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学) |
|
[S2] 圧縮テキスト上で動作するLyndon分解アルゴリズム 井 智弘, ◎ 中島 祐人, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学) |
|
[S3] 逆向きLZ77分解のオンライン計算について ◎ 杉本 志穂, 井 智弘, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学) |
|
[S4] 動的ハイブリッドCEGAR検証器の開発 ◎ 柳瀬 龍, 酒井 辰典, 酒井 誠 (金沢大学大学院 自然科学研究科), 山根 智 (金沢大学 理工研究域) |
|
[S5] Ｊａｖａ言語による確率時間ＣＥＧＡＲ検証器の開発 ◎ 小池 脩平, 長谷川 尭志, 清水 隆也 (金沢大学 大学院 自然科学研究科), 山根 智 (金沢大学 理工研究域 電子情報学系) |
| EATCSビジネスミーティング |
1月29日（火）
| セッション3 [9:20 〜 10:40] 座長: 大舘 陽太 (北陸先端科学技術大学院大学) |
|
[8] k-wise almost independent permutation の記述長の下界 河内 亮周, ◎ 竹部 裕俊, 田中 圭介 (東京工業大学) |
|
[9] マスター鍵の漏洩を考慮したIDベース暗号の一般的構成 ◎ 大坪 峻之, グエン マイン ハー (東京工業大学), 西巻 陵 (NTTセキュアプラットフォーム研究所), 田中 圭介 (東京工業大学) |
|
[10] 二者間計算とゲーム理論 ◎ 肥後春菜, 田中圭介 (東京工業大学), 安永憲司 (九州先端科学技術研究所) |
|
[11] ソースコードモジュール重要度算出法の提案 ○ 後藤 隆彰, 西野 哲朗 (電気通信大学), 土田 賢省 (東洋大学) |
| 休憩 （10分） |
| セッション4 [10:50 〜 11:50] 座長: 瀧本 英二 (九州大学) |
|
[12] 情報爆縮 ○ 竹田正幸 (九州大学大学院システム情報科学研究院情報学部門) |
|
[13] 決定性限定１カウンタ変換器のある部分クラスに対する質問による
多項式時間学習アルゴリズム ○ 若月 光夫, 富田 悦次, 西野 哲朗 (電気通信大学) |
|
[14] A note on the expansions of insertion systems ○ 藤岡 薫 (九州大学) |
| 昼休憩 |
| 学生セッション2 [13:20 〜 14:20] 座長: 竹田 正幸 (九州大学) |
|
[S6] フロンティア法から生成されるZDDの幅解析 ◎ 高野 圭司 (東京工業大学大学院) |
|
[S7] 16次格子モデルによる不均一型多層矩形分割の層の操作 ◎ 高加 晋司 (日本大学), 穴田 浩一 (早稲田大学高等学院), 夜久 竹夫 (日本大学) |
|
[S8] DNA復元アルゴリズムの解析 ◎ 伴 兼弘 (東京工業大学) |
|
[S9] 距離遺伝グラフにおけるハミルトン閉路問題について ◎ 神保 孝則, 平田 富夫 (名古屋大学) |
|
[S10] 分散システムでの剛性グラフに対する局所交換可能性 ◎ タウフィックラチマン, 山内由紀子, 来嶋秀治, 山下雅史 (九州大学) |
|
[S11] 多項式個の極小セパレータを持つグラフについて 長澤 亮介, 加藤 達也, ◎ 木野 徹, 山崎 浩一 (群馬大学) |
| 休憩 （10分） |
| 学生セッション3 [14:30 〜 15:20] 座長: 山崎 浩一 (群馬大学) |
|
[S12] 無理数遷移確率を許すランダムウォークの脱乱択化 ◎ 白髪 丈晴, 山内 由紀子, 来嶋 秀治, 山下 雅史 (九州大学) |
|
[S13] 動的グラフ上のランダムウォークの到達時間と全訪問時間 ◎ 木場 孝輔, 山内 由紀子, 来嶋 秀治, 山下 雅史 (九州大学) |
|
[S14] 複数ストリーム間の特徴比較に対する乱択アルゴリズム ◎ 園田 尚人, 山内 由紀子, 来嶋 秀治, 山下 雅史 (九州大学) |
|
[S15] 容量制約のない単一割当ハブ空港配置問題 ◎ 安藤竜太 (中央大学大学院) |
|
[S16] 疎なランダム線型符号のリスト復号に対するフーリエ解析的アプローチ ◎ 山根一航, 河内亮周 (東京工業大学) |
| 休憩 （10分） |
| セッション5 [15:30 〜 16:30] 座長: 河内 亮周 (東京工業大学) |
|
[15] イーグレストラフィックに対する完全優先制御法の厳密な競合比解析 小林 浩二 (国立情報学研究所), ○ 川原 純 (科学技術振興機構), 前田 朋孝 (京都大学) |
|
[16] オフラインアルゴリズムを用いた離散構造のオンライン予測 ◎ 藤田 隆寛, 畑埜 晃平, 瀧本 英二 (九州大学) |
|
[17] Faster Exact Algorithms for Hybridization Number and rSPR Distance ○ Zhi-Zhong Chen (Tokyo Denki University), Lusheng Wang (City University of Hong Kong) |
| 懇親会 |
1月30日（水）
| 学生セッション4 [9:20 〜 10:10] 座長: 河村 彰星 (東京大学) |
|
[S17] タイピング学習システム ◎ 有賀 功 (中央大学) |
|
[S18] ユーザの嗜好に合わせた楽曲再生時間調整システム ◎ 日高 拓朗 (中央大学) |
|
[S19] 時間ドロボー問題の物質的ゼロ知識証明 ◎ 上田 圭祐 (大阪府立大学), 西村 治道 (名古屋大学) |
|
[S20] 関数PnDを計算するしきい値回路 ◎ 八島 大樹 (東北大学大学院情報科学研究科), 内澤 啓 (山形大学大学院理工学研究科), 周 暁 (東北大学大学院情報科学研究科) |
|
[S21] Energy-Efficient Threshold Circuits Detecting Global Pattern
in 1-Dimensional Arrays ◎ Akira Suzuki (Graduate School of Information Sciences, Tohoku University), Kei Uchizawa (Graduate School of Science and Engineering, Yamagata University), Xiao Zhou (Graduate School of Information Sciences, Tohoku University) |
| 休憩 （10分） |
| セッション6 [10:20 〜 11:20] 座長: 田中 圭介 (東京工業大学) |
|
[18] ボレル関数の分解問題への計算論の応用 ○ 木原 貴行 (北陸先端科学技術大学院大学) |
|
[19] 解析函数の表現と計算量について ○ 河村彰星 (東京大学), マルティン・ツィーグラー (ダルムシュタット工科大学), ノルベルト・ミュラー (トリール大学), カルステン・レースニク (ダルムシュタット工科大学) |
|
[20] 対数空間階層の相対化 ◎ 太田浩行, 河村彰星 (東京大学) |
| セッション7 [11:30 〜 12:50] 座長: 今井 克暢 (広島大学) |
|
[21] 逆遷移関係が不連続な2近傍CAについて ○ 井口 修一 (九州大学), 石田 俊一 (九州産業大学), 河原 康雄 (九州大学) |
|
[22] ペンローズ・タイリング上でとぶグライダー ◎ 塚本 靖之, 宮崎 雄平, 立木 秀樹 (京都大学) |
|
[23] セルオートマトンの情報理論 ○ 西尾英之助 (元・京都大学), トーマス・ヴォルシュ (カールスルーエ大学) |
|
[24] Reversible multi-head finite automata and space-bounded Turing machines ○ 森田憲一 (広島大学) |