RIMS Kôkyûroku
No.1849
理論計算機科学の新展開
New Trends in Theoretical Computer Science
RIMS 研究集会報告集
 　
2013/01/28〜2013/01/30
萩原　兼一
Kenichi Hagihara
　
目　次
　
1. ランダムの程度の助言付き計算 (理論計算機科学の新展開)-----------------------------------------------------------------------------1
　　　　京都大学数理解析研究所　　　宮部 賢志　(MIYABE,KENSHI)
　
2. 森および連結全域部分グラフの乱択近似数え上げ (理論計算機科学の新展開)-------------------------------------------------------------8
　　　　九州大学システム情報科学研究院 / 九州大学システム情報科学研究院 / 九州大学システム情報科学研究院 / 九州大学システム情報学研究院　　　三原 勇治 / 山内 由紀子 / 来嶋 秀治 / 山下 雅史　(Mihara,Yuji / Yamauchi,Yukiko / Kijima,Shuji / Yamashita,Masafumi)
　
3. 撹乱順列の線形時間ランキングとアンランキングについて (理論計算機科学の新展開)----------------------------------------------------12
　　　　新潟大学情報基盤センター / 神奈川大学理学部　　　三河 賢治 / 田中 賢　(Mikawa,Kenji / Tanaka,Ken)
　
4. 部分文字列最大密度索引 (理論計算機科学の新展開)----------------------------------------------------------------------------------18
　　　　東北大学大学院農学研究科　　　酒井 義文　(Sakai,Yoshifumi)
　
5. ソースコードモジュール重要度算出法の提案 (理論計算機科学の新展開)----------------------------------------------------------------22
　　　　電気通信大学大学院情報理工学研究科 / 日本電信電話株式会社 / 電気通信大学大学院情報理工学研究科 / 東洋大学総合情報学部　　　後藤 隆彰 / 山田 節夫 / 西野 哲朗 / 土田 賢省　(Goto,Takaaki / Yamada,Setsuo / Nishino,Tetsuro / Tsuchida,Kensei)
　
6. A note on the expansions of insertion systems (New Trends in Theoretical Computer Science)---------------------------------------28
　　　　九州大学研究戦略企画室　　　藤岡 薫　(Fujioka,Kaoru)
　
7. ボレル関数の分解問題への計算論の応用 (理論計算機科学の新展開)--------------------------------------------------------------------32
　　　　北陸先端科学技術大学院大学情報科学研究科　　　木原 貴行　(KIHARA,TAKAYUKI)
　
8. 対数空間階層の相対化 (理論計算機科学の新展開)------------------------------------------------------------------------------------37
　　　　東京大学情報理工学系研究科 / 東京大学情報理工学系研究科　　　太田 浩行 / 河村 彰星　(Ota,Hiroyuki / Kawamura,Akitoshi)
　
9. 逆遷移関係が不連続な2近傍CAについて (理論計算機科学の新展開)---------------------------------------------------------------------45
　　　　九州大学大学院数理学研究院 / 九州産業大学基礎教育センター / 　　　井口 修一 / 石田 俊一 / 河原 康雄　(Inokuchi,Shuichi / Ishida,Toshikazu / Kawahara,Yasuo)
　
10. ペンローズタイリング上でとぶグライダー (理論計算機科学の新展開)-----------------------------------------------------------------50
　　　　京都大学人間・環境学研究科 / 京都大学人間・環境学研究科 / 京都大学人間・環境学研究科　　　塚本 靖之 / 宮崎 雄平 / 立木 秀樹　(Tsukamoto,Yasuyuki / Miyazaki,Yuhei / Tsuiki,Hideki)
　
11. Reversible multi-head finite automata and space-bounded Turing machines (New Trends in Theoretical Computer Science)------------57
　　　　広島大学工学研究院　　　森田 憲一　(Morita,Kenichi)
　
12. 動的ハイブリッドCEGAR検証器の開発 (理論計算機科学の新展開)----------------------------------------------------------------------64
　　　　金沢大学大学院自然科学研究科 / 金沢大学大学院自然科学研究科 / 金沢大学大学院自然科学研究科 / 金沢大学理工研究域　　　柳瀬 龍 / 酒井 辰典 / 酒井 誠 / 山根 智　(Yanase,Ryo / Sakai,Tatsunori / Sakai,Makoto / Yamane,Satoshi)
　
13. Java言語による確率時間CEGAR検証器の開発 (理論計算機科学の新展開)----------------------------------------------------------------71
　　　　金沢大学自然科学研究科 / 金沢大学自然科学研究科 / 金沢大学自然科学研究科 / 金沢大学理工研究域　　　小池 脩平 / 長谷川 尭志 / 清水 隆也 / 山根 智　(Koike,Shuhei / Hasegawa,Takashi / Shimizu,Takaya / Yamane,Satoshi)
　
14. フロンティア法から生成されるZDDの幅解析 (理論計算機科学の新展開)----------------------------------------------------------------77
　　　　東京工業大学情報理工学研究科　　　高野 圭司　(Takano,Keiji)
　
15. 16次格子モデルによる不均一型多層矩形分割の層の操作 (理論計算機科学の新展開)-----------------------------------------------------83
　　　　日本大学総合基礎科学研究科 / 早稲田大学高等学院 / 日本大学文理学部　　　高加 晋司 / 穴田 浩一 / 夜久 竹夫　(Koka,Shinji / Anada,Koichi / Yaku,Takeo)
　
16. 分散システムでの剛性グラフに対する局所交換可能性 (理論計算機科学の新展開)-------------------------------------------------------88
　　　　九州大学システム情報科学研究院 / 九州大学システム情報科学研究院 / 九州大学システム情報科学研究院 / 九州大学システム情報科学研究院　　　Taufiqurrachman / 山内 由紀子 / 来嶋 秀治 / 山下 雅史　(Taufiqurrachman / Yamauchi,Yukiko / Kijima,Shuji / Yamashita,Masafumi)
　
17. 多項式個の極小セパレータを持つグラフクラスについて (理論計算機科学の新展開)-----------------------------------------------------91
　　　　群馬大学工学部 / 群馬大学工学部 / 群馬大学工学部 / 群馬大学工学部　　　長澤 亮介 / 加藤 達也 / 木野 徹 / 山崎 浩一　(Nagasawa,Ryosuke / Kato,Tatsuya / Kino,Toru / Yamazaki,Koichi)
　
18. 無理数の遷移確率を許すランダムウォークの脱乱択化 (理論計算機科学の新展開)-------------------------------------------------------96
　　　　九州大学システム情報科学研究院 / 九州大学システム情報科学研究院 / 九州大学システム情報科学研究院 / 九州大学システム情報科学研究院　　　白髪 丈晴 / 山内 由紀子 / 来嶋 秀治 / 山下 雅史　(Shiraga,Takeharu / Yamauchi,Yukiko / Kijima,Shuji / Yamashita,Masafumi)
　
19. 動的グラフ上のランダムウォークの到達時間と全訪問時間 (理論計算機科学の新展開)--------------------------------------------------100
　　　　九州大学システム情報科学研究院 / 九州大学システム情報科学研究院 / 九州大学システム情報科学研究院 / 九州大学システム情報科学研究院　　　木場 孝輔 / 山内 由紀子 / 来嶋 秀治 / 山下 雅史　(Koba,Kosuke / Yamauchi,Yukiko / Kijima,Shuji / Yamashita,Masafumi)
　
20. 複数ストリーム間の特徴比較に対する乱択アルゴリズム (理論計算機科学の新展開)----------------------------------------------------105
　　　　九州大学システム情報科学研究院 / 九州大学システム情報科学研究院 / 九州大学システム情報科学研究院 / 九州大学システム情報科学研究院　　　園田 尚人 / 山内 由紀子 / 来嶋 秀治 / 山下 雅史　(Sonoda,Naoto / Yamauchi,Yukiko / Kijima,Shuji / Yamashita,Masafumi)
　
21. A Fourier analytic approach to list-decoding for sparse random linear codes (New Trends in Theoretical Computer Science)-------109
　　　　東京工業大学情報理工学研究科 / 東京工業大学情報理工学研究科　　　山根 一航 / 河内 亮周　(Yamane,Ikko / Kawachi,Akinori)
　
22. ユーザの嗜好に合わせた楽曲再生時間調整システム (理論計算機科学の新展開)--------------------------------------------------------116
　　　　中央大学大学院理工学研究科情報工学専攻　　　日高 拓朗　(HIDAKA,Takuro)
　
23. 時間ドロボー問題の物質的ゼロ知識証明 (理論計算機科学の新展開)------------------------------------------------------------------120
　　　　大阪府立大学大学院理学系研究科 / 名古屋大学大学院情報科学研究科　　　上田 圭祐 / 西村 治道　(Ueda,Keisuke / Nishimura,Harumichi)
　
24. 関数$P^n_D$を計算するしきい値回路 (理論計算機科学の新展開)---------------------------------------------------------------------127
　　　　東北大学大学院情報科学研究科 / 山形大学大学院理工学研究科 / 東北大学大学院情報科学研究科　　　八島 大樹 / 内澤 啓 / 周 暁　(Yashima,Daiki / Uchizawa,Kei / Zhou,Xiao)
　
25. Energy-Efficient Threshold Circuits Detecting Global Pattern in 1-Dimensional Arrays (New Trends in Theoretical Computer Science)---133
　　　　東北大学情報科学研究科 / 山形大学理工学研究科 / 東北大学情報科学研究科　　　鈴木 顕 / 内澤 啓 / 周 暁　(Suzuki,Akira / Uchizawa,Kei / Zhou,Xiao)