===========================
一般講演20分（発表15分，質疑5分）
学生講演10分（発表 7分，質疑3分）
７月１４日（水）
開会 13:30〜13:40
セッション１ 13:40〜15:20
[1] リアライザの列挙
○山中克久, 中野眞一（群馬大）
[2] Efficient Algorithms for Longest Path Problem
○上原隆平（駒澤大）, 宇野裕之（大阪府大）
[3] Counting the Independent Sets of a Chordal Graph
岡本吉央（ETH Zurich）, 宇野毅明（国立情報学研究所）,
○上原隆平（駒澤大）
[4] MAX 2SAT に対する正解付例題生成について
○元木光雄（北陸先端大）
[5] 生態系パラダイムに基づくモバイルエージェント数制御について
○鈴木朋子, 泉泰介, 大下福仁, 増澤利光（阪大）
セッション２ 15:40〜17:00
[6] Nondegenerate 2-State 3-Symbol Reversible Logic Elements Are All
Universal
○荻路剛, 菅野充臣, 田中敬二, 加藤博子, 森田憲一(広大)
[7] On Simulation-Completeness of Unraveling for Conditional Term
Rewriting Systems
○西田直樹, 酒井正彦, 坂部俊樹（名大）
[8] Characterizing, Proving and Disproving Inductive Theorems in
Higher-Order Rewriting
○草刈圭一朗, 酒井正彦, 坂部俊樹（名大）
[9] Higher-Order Knuth-Bendix Procedure and its Application
○草刈圭一朗（名大）, 千葉勇輝（東北大）
７月１５日（木）
セッション３ 09:00〜10:20
[10] Synchronous Condition-based Consensus Adapting to Input Vector Legality
○泉泰介, 増澤利光（阪大）
[11] 木ネットワーク上での自己安定負荷分散アルゴリズム
○片山喜章（名工大）, 増澤利光（阪大），和田幸一（名工大）
[12] A New Cluster-Based Architecture on Dynamic Radio Networks
○I.A.K.M. Muzahidul, 内田次郎（名工大）, 陳慰（テネシー州立大）,
和田幸一（名工大）
[13] 近傍分割併合法を用いた局所探索アルゴリズムとその並列化手法
○半田祐一, 小野廣隆, 定兼邦彦, 山下雅史（九大）
セッション４ 10:40〜12:20
[14] 省スペースな線形時間文法圧縮アルゴリズム
坂本比呂志（九工大）, ○喜田拓也（北大）
[15] 正規表現をNFAに変換するためのビット並列アルゴリズム
○山本博章（信州大）, 宮崎敬（長野高専）, 岡本正行（信州大）
[16] 単項文脈自由木文法の様々なサブクラスについて
○藤芳明生（茨城大）
[17] 対数時間一様な論理回路族の階層定理の厳密化
○畑山尚毅, 岩本宙造（広大）
[18] Z_p×Z_q 上の 2-wise independent permutations の構築について
築地立家（東京電機大）, ○相田慎（豊橋技科大）
７月１６日（金）
セッション５ 09:00〜10:20
[19] 高さ制約変数を持つ順序木構造パターンの多項式時間マッチングアルゴ
リズム
○愛甲和秀, 鈴木祐介, 正代隆義（九大）, 内田智之,
宮原哲浩（広島市大）
[20] Disc Covering Problem with Application to Digital Halftoning
○浅野哲夫（北陸先端大）, Peter Brass（CUNY, USA）
[21] Online Removable Square Packing Problems
○HAN Xin（京大）, ZHANG Guochuan（Institut fu"r Informatik
Universita"t Freiburg Germany）, 岩間一雄（京大）
[22] オンラインアルゴリズムの競合比証明の自動化について
○川原純, 堀山貴史, 岩間一雄（京大）
セッション６ 10:40〜12:00
[23] Constant Time Addition Operations by DNA Computing
鵜飼亮介, 片山貴晴, 伊藤暢浩,
○犬塚信博, 和田幸一（名工大）
[24] Computational Distinguishability between Quantum States: Random
Coset States vs. Maximally Mixed States over the Symmetric Groups
○河内亮周（京大/今井量子計算機構プロジェクト）,
小柴健史（今井量子計算機構プロジェクト）,
西村治道, 山上智幸（Trent University）
[25] Universal Test for Quantum One-Way Permutations
河内亮周（今井量子計算機構プロジェクト/京大）,
小林弘忠（今井量子計算機構プロジェクト）,
○小柴健史（今井量子計算機構プロジェクト/富士通研）,
Raymond H. Putra（今井量子計算機構プロジェクト/京大）
[26] 量子アルゴリズムによる最短格子ベクトル問題の解法
○築地立家（東京電機大）
##### 学生セッション（７月１４日夕食後）
[S1] グラフの交差数に対する新しい評価法とその応用
○稲葉直貴, 和田幸一（名工大）
[S2] Fast Implementation of Laguerre Voronoi Diagram with Hardware
Assistance
○寺本幸生, 浅野哲夫（北陸先端大）
[S3] Binarization of Fingerprint Images using Distance Transform
○Liang Xuefeng, Arijit Bishnu, 浅野哲夫（北陸先端大）
[S4] OBDDとOTDDによる文字列表現と文字列照合
○松村高志, 竹田正幸, 篠原歩（九大）
[S5] グレイコードとn-cube
○比嘉康人, 篠原歩, 竹田正幸（九大）
[S6] 配列を扱う非線形プログラムの再帰除去について
○高須洋平（名大）
[S7] 依存対法に基づくメタ項の停止性証明について
○蛸島洋明（名大）
[S8] 弱最内戦略を完全にするためのTRSの等価変換について
○岡本晃治（名大）
===========================
