講演プログラム（暫定版）
| 一般講演 |
20分（発表15分，質疑5分） |
| 学生講演 |
10分（発表 7分，質疑3分） |
-----------------
7月25日(月)
開会 13:30 -- 13:40
セッション１ 13:40 -- 15:40
[1] 局所探索アルゴリズムに対する近傍分割併合法を用いた並列化手法の考察
半田 祐一(九州大),小野 廣隆(九州大),定兼 邦彦(九州大),山下 雅史(九州大)
[2] 並列計算環境におけるメタ戦略を利用した分枝限定法の高速化
佐薙 光樹(九州大),山下 雅史(九州大),定兼 邦彦(九州大),小野 廣隆(九州大)
[3] 観測制限のある自律分散ロボット群に対する一点集合問題
今津裕之(名古屋工大),伊藤暢浩(名古屋工大),犬塚信博(名古屋工大), 和田 幸一(名古屋工大)
[4] 木ネットワーク上でのトークン巡回故障封じ込め自己安定プロトコル
中村 友貴(名古屋工大),片山 喜章(名古屋工大),高橋 直久(名古屋工大)
[5] A New Initialization Algorithm on Single-Hop Radio Networks
稲葉 直貴(名古屋工大),和田 幸一(名古屋工大)
[6] リーダ選出問題の領域計算量
坂本 直志(東京電機大)
セッション２ 16:00 -- 17:40
[7] 曲線境界をもつ領域に対する Ruppert のメッシュ生成法
横須賀 佑介(中央大),今井 桂子(中央大)
[8] 連続関数を用いて均等な整数行列を発見する手法
河村 彰星(東京大)
[9] スキーマ誘導方式を用いたシークェント形式汎用定理自動証明器の開発
尹淑萍(九州工大), 山田敬三(九州工大), 原尾政輝(九州工大), 平田耕一(九州工大)
[10] Laminar Structure of Ptolemaic Graphs and Its Applications
上原 隆平(北陸先端大), 宇野 裕之(大阪府立大)
[11] 最適ピラミッドを用いた決定木構築
全 眞嬉(東北大)
------------------------------------------------------------
7月26日(火)
セッション３ 9:00 -- 11:00
[12] 有限セルオートマトンの可逆性について
井口修一(九州大),佐藤 達郎(大分高専),溝口佳寛(九州大),河原康雄(九州大)
[13] 非同期可逆素子による汎用計算
Ferdinand Peper(情報通信研究機構(NICT)), 李 佳(NICT), 足立 進(NICT)
[14] 万華鏡ライフ：24近傍総和則セルオートマトンにおける信号のダイナミクス
足立 進(情報通信研究機構(NICT)),李 佳(NICT),Ferdinand Peper(NICT)
[15] 確率遷移セルオートマトンにおける自己複製マシンの設計とそのダイナミクス
李 佳(情報通信研究機構(NICT)),足立 進(NICT), Ferdinand Peper(NICT)
[16] The Firing Squad Synchronization Problem: Recent Developments (1)
梅尾 博司(大阪電通大)
[17] The Firing Squad Synchronization Problem: Recent Developments (2)
梅尾 博司(大阪電通大)
セッション４ 11:20 -- 12:40
[18] DNA分子構造変化の理論的解析の第一歩
塩崎 真史(九州大), 小野 廣隆(九州大), 定兼邦彦(九州大), 山下 雅史(九州大)
[19] 任意の論理演算が利用可能な拡張正規表現照合アルゴリズム
岡田 吉文(信州大), 山本 博章(信州大)
[20] 正規表現からNFAを生成するアルゴリズムの実験的評価
竹之内 大地(信州大), 山本 博章(信州大)
[21] Pattern Matching for Arc-Annotated Texts
喜田拓也(北海道大)
------------------------------------------------------------
7月27日(水)
セッション５ 9:00 -- 10:20
[22] How to Preserve Privacy in Data Mining
蘇 春華(九州大), 櫻井 幸一(九州大)
[23] サイズ2の最小ブロック転送問題に対する近似アルゴリズム
朝廣雄一(九州産業大), 古川哲也(九州大), 宮野英次(九州工大)
[24] Chordal グラフ中の Minimum Weight Maximal Independent Set 探索の多項式時間アルゴリズム
近藤 亮介(東京工業大)
[25] 最大被覆供給点配置問題に関する考察
杉原堅也(京都大), 伊藤大雄(京都大)
セッション６ 10:40 -- 12:20
[26] TTSP項グラフ言語の正データからの多項式時間帰納推論可能性について
鈴木 祐介(広島市立大), 高味 亮司(広島市立大), 内田 智之(広島市立大), 正代 隆義(九州大), 中村 泰明(広島市立大)
[27] マージンを保存するユニバーサルなプロジェクション
渡邊辰也(東北大), 瀧本英二(東北大), 天野一幸(東北大), 丸岡章(東北大)
[28] 整数差分論理のための拡張BDD(Binary Decision Diagram)構造とアルゴリズム
本田 充宏(会津大), 中嶋 純一(会津大), 北道 淳司(会津大)
[29] Proving Lower Bounds by Boolean Function Classification
上野 賢哉(東京大)
[30] 否定数限定回路計算量の下界について
森住 大樹(京都大), 岩間 一雄(京都大)
------------------------------------------------------------
###### 学生セッション (7月25日 夕食後)
[S1] 部分グラフ連結化問題による様々な問題の統一化
川崎 大輔(早稲田大), 守屋 悦朗(早稲田大)
[S2] 部分順序付き1回読み分岐プログラム
篠原 信仁(名古屋大), 高木 一義(名古屋大), 高木 直史(名古屋大)
[S3] ２値周期型箱玉系のセルサイズと軌道数の関係について
三小田 昌弘(九州大), 溝口 佳寛(九州大), 藤尾 光彦(九州工業大)
[S4] Querying for XML
大山 賢治(東北大)
[S5] 高濃度部分グラフ問題に対する近似アルゴリズム
鈴木 晶子(東北大)
[S6] ヨーロピアン・アジアンオプションの価格付けに対する近似解法
関野 剛永(東北大)
[S7] 車両型ロボットに対する狭い道の通過可能性
松本雄介(中央大), 今井桂子(中央大)
[S8] The Discrete Voronoi Game on a Large $k$-ary Tree
寺本幸生(JAIST), 上原隆平(JAIST)
---------------------------
