※このページに掲載している原稿は 速報ファイル です。
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
    九州大学システム情報科学研究院 / 九州大学システム情報科学研究院 / 九州大学システム情報科学研究院 / 九州大学システム情報科学研究院   園田 尚人 / 山内 由紀子 / 来嶋 秀治 / 山下 雅史 (Yamashita,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 )