No.1691
アルゴリズムと計算機科学の数理的基盤とその応用
Mathematical Foundation of Algorithms and Computer Science
RIMS 研究集会報告集
 　
2010/02/01〜2010/02/03
徳山　豪
Takeshi Tokuyama
　
目　次
　
1. A Note on Tatami Tilings (Mathematical Foundation of Algorithms and Computer Science)---------------------------------------------1
　　　　広島大学工学研究科 / 広島大学工学研究科 / 広島大学工学研究科　　　/ 森田 憲一 / 岩本 宙造　(ALHAZOV,Artiom / MORITA,Kenichi / IWAMOTO,Chuzo)
　
2. 動的再構成可能プロセッサ向け仕様記述言語の開発と実問題の適用 (アルゴリズムと計算機科学の数理的基盤とその応用)---------------------8
　　　　金沢大学自然科学研究科電子情報工学専攻 / 金沢大学自然科学研究科電子情報工学専攻　　　中居 佑輝 / 山根 智　(Nakai,Yuki / Yamane,Satoshi)
　
3. コスト付き確率時間オートマトンの抽象化精錬を用いた到達可能性解析手法 (アルゴリズムと計算機科学の数理的基盤とその応用)------------15
　　　　金沢大学大学院自然科学研究科 / 金沢大学大学院自然科学研究科　　　安井 雅俊 / 山根 智　(Yasui,Masatoshi / Yamane,Satoshi)
　
4. 離散ラプラス作用素の反復力学系 : 不動点定理と周期性定理 (アルゴリズムと計算機科学の数理的基盤とその応用)-------------------------22
　　　　/ / 日本大学文理学部　　　/ / 鈴木 理　(Guerlebeck,K. / Hadlich,C. / Suzuki,Osamu)
　
5. 格子に基づく代理人再暗号方式 (アルゴリズムと計算機科学の数理的基盤とその応用)----------------------------------------------------29
　　　　東京工業大学情報理工学研究科 / 東京工業大学情報理工学研究科　　　草川 恵太 / 田中 圭介　(Xagawa,Keita / Tanaka,Keisuke)
　
6. 新しい代数的性質を持つ公開鍵暗号 (アルゴリズムと計算機科学の数理的基盤とその応用)------------------------------------------------36
　　　　東京工業大学情報理工学研究科 / 東京工業大学情報理工学研究科　　　平野 貴人 / 田中 圭介　(Hirano,Takato / Tanaka,Keisuke)
　
7. The Membrane Systems Language Class (Mathematical Foundation of Algorithms and Computer Science)---------------------------------44
　　　　広島大学工学研究科 ///　　　ALHAZOV,Artiom / CIUBOTARU,Constantin / ROGOZHIN,Yurii / IVANOV,Sergiu
　
8. Automorphism Classification of Cellular Automata : a continuation (Mathematical Foundation of Algorithms and Computer Science)---51
　　　　京都大学理学部(元)　　　西尾 英之助　(Nishio,Hidenosuke)
　
9. Approximating the path-distance-width for asteroidal triple-free graphs (Mathematical Foundation of Algorithms and Computer Science)---58
　　　　群馬大学工学研究科 / 群馬大学工学研究科　　　大舘 陽太 / 山崎 浩一　(Otachi,Yota / Yamazaki,Koichi)
　
10. ユークリッド平面上の積空比定数のエネルギー最小化車両経路問題の近似アルゴリズムについて (アルゴリズムと計算機科学の数理的基盤とその応用)---65
　　　　長岡技術科学大学電気系 / 長岡技術科学大学電気系　　　長崎 大生 / 武井 由智　(NAGASAKI,Hiroki / TAKEI,Yoshinori)
　
11. 対数優/劣モジュラ分布からのサンプリング (アルゴリズムと計算機科学の数理的基盤とその応用)----------------------------------------72
　　　　京都大学数理解析研究所　　　来嶋 秀治　(Kijima,Shuji)
　
12. A Polynomial-time Perfect Sampler for the Q-Ising with local fields (Mathematical Foundation of Algorithms and Computer Science)---78
　　　　東海大学理学部 / 京都大学数理解析研究所 / 東海大学理学部　　　山本 真基 / 来嶋 秀治 / 松井 泰子　(Yamamoto,Masaki / Kijima,Shuji / Matsui,Yasuko)
　
13. Multiple Random WalkのCover Timeについて (アルゴリズムと計算機科学の数理的基盤とその応用)---------------------------------------85
　　　　九州大学大学院システム情報科学府 / 九州大学大学院システム情報科学研究院 / 九州大学大学院システム情報科学研究院　　　穂坂 祐輔 / 小野 廣隆 / 山下 雅史　(Hosaka,Yusuke / Ono,Hirotaka / Yamashita,Masafumi)
　
14. 任意のカバー時間を持つ木の構成法 (アルゴリズムと計算機科学の数理的基盤とその応用)-----------------------------------------------91
　　　　九州大学大学院システム情報科学府 / 九州大学大学院システム情報科学研究院 / 九州大学大学院システム情報科学研究院　　　野中 良哲 / 小野 廣隆 / 山下 雅史　(Nonaka,Yoshiaki / Ono,Hirotaka / Yamashita,Masafumi)
　
15. 区間二部グラフの効率の良い認識に関する研究 (アルゴリズムと計算機科学の数理的基盤とその応用)-------------------------------------96
　　　　北陸先端科学技術大学院大学情報科学研究科 / 北陸先端科学技術大学院大学情報科学研究科 / 北陸先端科学技術大学院大学情報科学研究科　　　栗林 康之 / 斎藤 寿樹 / 上原 隆平　(Kuribayashi,Yasuyuki / Saitoh,Toshiki / Uehara,Ryuhei)
　
16. ラベル選択を有する最小全域木問題 (アルゴリズムと計算機科学の数理的基盤とその応用)----------------------------------------------102
　　　　茨城大学工学部情報工学科 / 九州大学大学院数理学研究院　　　藤芳 明生 / 鈴木 昌和　(Fujiyoshi,Akio / Suzuki,Masakazu)
　
17. 最大クリーク抽出の単純な最大時間計算量評価と多項式時間的可解性 (アルゴリズムと計算機科学の数理的基盤とその応用)----------------108
　　　　電気通信大学先進アルゴリズム研究ステーション / 電気通信大学先進アルゴリズム研究ステーション・中央大学研究開発機構 / 電気通信大学先進アルゴリズム研究ステーション・電気通信大学情報通信工学科　　　中西 裕陽 / 富田 悦次 / 若月 光夫　(Nakanishi,Hiroaki / Tomita,Etsuji / Wakatsuki,Mitsuo)
　
18. 直方体分割の24次格子グラフ表現とその応用 (アルゴリズムと計算機科学の数理的基盤とその応用)--------------------------------------115
　　　　電気通信大学産学官連携センター / 電気通信大学電気通信学部 / 東洋大学工学部 / 関東学院大学工学部 / 日本大学文理学部　　　後藤 隆彰 / 西野 哲朗 / 土田 賢省 / 本橋 友江 / 夜久 竹夫　(Goto,Takaaki / Nishino,Tetsuro / Tsuchida,Kensei / Motohashi,Tomoe / Yaku,Takeo)
　
19. Chaitin $\Omega$ and halting problems II (Mathematical Foundation of Algorithms and Computer Science)--------------------------120
　　　　中央大学研究開発機構　　　只木 孝太郎　(Tadaki,Kohtaro)
　
20. 嘘を含む比較による最小値最大値発見アルゴリズム (アルゴリズムと計算機科学の数理的基盤とその応用)--------------------------------127
　　　　スイス連邦工科大学チューリヒ校理論情報科学科 / カレル大学応用数学部および理論情報科学科・スイス連邦工科大学チューリヒ校理論情報科学科 / 東京工業大学情報理工学研究科 / スイス連邦工科大学チューリヒ校理論情報科学科　　　// 岡本 吉央 /　(Hoffmann,Michael / Matousek,Jiri / Okamoto,Yoshio / Zumstein,Philipp)
　
21. 片方のみがタイを持つ安定結婚問題に対する25/17近似アルゴリズム (アルゴリズムと計算機科学の数理的基盤とその応用)-----------------136
　　　　IBM東京基礎研究所 / 京都大学学術情報メディアセンター / 京都大学情報学研究科　　　柳澤 弘揮 / 宮崎 修一 / 岩間 一雄　(Yanagisawa,Hiroki / Miyazaki,Shuichi / Iwama,Kazuo)
　
22. オンラインランク統合問題 (アルゴリズムと計算機科学の数理的基盤とその応用)------------------------------------------------------142
　　　　九州大学工学部電気情報工学科 / 九州大学大学院システム情報科学研究院情報学部門 / 九州大学大学院システム情報科学研究院情報学部門 / 九州大学大学院システム情報科学研究院情報学部門　　　安武 翔太 / 畑埜 晃平 / 瀧本 英二 / 竹田 正幸　(Yasutake,Shota / Hatano,Kohei / Takimoto,Eiji / Takeda,Masayuki)
　
23. 不完全情報渋滞ゲームの近似的ナッシュ遷移の収束性 (アルゴリズムと計算機科学の数理的基盤とその応用)------------------------------148
　　　　九州大学大学院システム情報科学府 / 九州大学大学院システム情報科学研究院 / 九州大学大学院システム情報科学研究院　　　山田 陽介 / 小野 廣隆 / 山下 雅史　(Yamada,Yosuke / Ono,Hirotaka / Yamashita,Masafumi)
　
24. 全二分木の簡潔な表現 (アルゴリズムと計算機科学の数理的基盤とその応用)----------------------------------------------------------155
　　　　九州大学システム情報科学府 / 九州大学システム情報科学研究院 / 国立情報学研究所 / 九州大学システム情報科学研究院　　　馬場 雅大 / 小野 廣隆 / 定兼 邦彦 / 山下 雅史　(Baba,Masahiro / Ono,Hirotaka / Sadakane,Kunihiko / Yamashita,Masafumi)
　
25. 絵画的迷路作成アルゴリズムの改善 (アルゴリズムと計算機科学の数理的基盤とその応用)----------------------------------------------162
　　　　東京工業大学大学院情報理工学研究科 / 東京工業大学大学院情報理工学研究科　　　中井 亮平 / 岡本 吉央　(Nakai,Ryohei / Okamoto,Yoshio)
　
26. 盤面および使用セルを考慮した回転型セル迷路のPSPACE完全性 (アルゴリズムと計算機科学の数理的基盤とその応用)----------------------167
　　　　大阪電気通信大学大学院工学研究科情報工学専攻 / 大阪電気通信大学大学院工学研究科情報工学専攻　　　上條 裕介 / 上嶋 章宏　(Kamijo,Yusuke / Uejima,Akihiro)
　
27. New Side Channel Attack Countermeasure Based on Minimal Hamming Weight Distribution (Mathematical Foundation of Algorithms and Computer Science)---174
　　　　東京大学情報理工学系研究科 /　　　/ 枝廣 正人　(Suppakitpaisarn,Vorapong / Edahiro,Masato)
　
28. 文脈を考慮したJavaプログラムの参照先解析に関する一考察 (アルゴリズムと計算機科学の数理的基盤とその応用)------------------------181
　　　　三重大学大学院工学研究科 / 三重大学大学院工学研究科　　　田中 友幸 / 大山口 通夫　(Tanaka,Tomoyuki / Oyamaguchi,Michio)
　
29. センサーネットワークの位相情報の検知に関する研究 (アルゴリズムと計算機科学の数理的基盤とその応用)------------------------------188
　　　　東北大学大学院情報科学研究科 / 東北大学大学院情報科学研究科　　　成田 龍太 / 徳山 豪　(Narita,Ryota / Tokuyama,Takeshi)
　
30. 画像切り出しに対するアルゴリズムの提案 (アルゴリズムと計算機科学の数理的基盤とその応用)----------------------------------------195
　　　　東北大学大学院情報科学研究科 / 東北大学大学院情報科学研究科 / 東北大学大学院情報科学研究科 / ブリュッセル自由大学 / 東北大学大学院情報科学研究科　　　安齋 進也 / 全 眞嬉 / 葛西 亮生 / コルマン マティアス / 徳山 豪　(Anzai,Shinya / Chun,Jinhee / Kasai,Ryosei / Korman,Matias / Tokuyama,Takeshi)