冬のLAシンポジウムのご案内

本年度の冬のＬＡシンポジウムを下記の要領で開催いたします．
奮ってご参加下さい．

日程：2002年2月4日(月)より2月6日(水)まで
会場：京大会館101号室
      〒606-8305  京都市左京区吉田河原町15-9
      TEL：(075)751-8311(代)

プログラム(発表15分, 質疑応答5分)

２月４日（月）

[セッション A]  13:00〜14:40

 [1] 巡回セールスマン問題に対するアローラの近似アルゴリズムの並列化
     ○石橋正裕(九州大学), 山下雅史(九州大学),玉木久夫(明治大学)

 [2] 1次元上を移動する複数台ロボットによるボール回収問題
     ○佐久間 俊慎(九州大学), 山下 雅史(九州大学),
       亀田 恒彦(Simon Fraser University), 牧野 和久(大阪大学),
       朝廣 雄一(九州大学), 宮野 英次(九州工業大学)

 [3] 境界上を移動する1-探索者の局所的情報による多角形探索問題
     ○田添 祐一(九州大学), 山下 雅史(九州大学), 
       鈴木 一郎(University of Wisconsin-Milwaukee),
       亀田 恒彦(Simon Fraser University)

 [4] 一般化割当問題に対するEC法におけるPOP概念に基づく改良と評価
     ○伊東 孝紘(九州大学), 山下 雅史(九州大学), 朝廣 雄一(九州大学), 
       柳浦 睦憲(京都大学), 茨木 俊秀(京都大学)

 [5] 木構造セルオートマトンの可逆化
     ○山村和孝(広島大学), 森田憲一(広島大学)
       

[セッション B]  14:50〜16:30

 [6] n箇所パターン照合関数のDeforestationに基づく効率化
     ○中村 敏広(名古屋大学), 酒井 正彦(名古屋大学), 坂部 俊樹(名古屋大学)

 [7] ファイル転送木の構築について
     ○杉山洋右(豊橋技術科学大学), 伊藤大雄(京都大学), 永持仁(豊橋技術科学大学)

 [8] k-NA枝連結度増大問題について
     ○秋山容子(豊橋技術科学大学), 石井利昌(豊橋技術科学大学)

 [9] 選択暗号文攻撃下の公開鍵暗号系について
     ○小柴健史(富士通研究所)

 [10] 量子ゼロ知識対話証明について
     ○田中 圭介(東京工業大学), 岡本龍明(NTT)

[セッション C]  16:40〜17:40

 [11] 書き換え帰納法による帰納的定理の決定手続き
     ○外山 芳人(東北大学)

 [12] 双曲平面上のセルオートマトンの時間計算量について
     ○安藤武志(広島大学), 岩本宙造(広島大学), 
       森田憲一(広島大学), 今井克暢(広島大学),

 [13] Self-Stabilizing Distributed Local Mutual Exclusion
     ○角川 裕次(広島大学), 山下 雅史(九州大学)


２月５日（火）

[セッション D]  9:00〜10:20
 [14] Arborecent link の Jones 多項式の計算アルゴリズムについて
     ○原 正雄(東海大学), 谷 聖一(日本大学), 山本 慎(中央大学)

 [15] 英文機械翻訳における分裂文・形式主語構文の構文解析
     ○川原田 郁雄(電気通信大学), 笠井 琢美(電気通信大学)

 [16] On the distribution of the fractional linear pseudorandom generator
     ○Yoshinori Takei(Nagaoka University of Technology),
       Toshinori Yoshikawa(Nagaoka University of Technology),
       Xi Zhang(Nagaoka University of Technology)

 [17] 撹乱順列の O(1) 時間生成について
     ○三河 賢治(茨城大学), 仙波 一郎(茨城大学)

[セッション E]  10:30〜12:10

 [18] Approximation Algorithms for the Constrained Bipartite Matching Problem
     ○Zhi-Zhong Chen(Tokyo Denki University),
       Tao Jiang(University of California at Riverside),
       Guohui Lin(University of Alberta)

 [19] Efficient Approximation Algorithms for Guarding Polyhedral Terrains
       Zhi-Zhong Chen(Tokyo Denki University),
     ○Masahiro Nakada(Tokyo Denki University)

 [20] Derandomizeation of Hyperplane Separation
      Technique with Skewed Distribution Function for MAX 2SAT and MAX DICUT
     ○松浦 史郎(東京大学),松井 知己(東京大学)

 [21] 部分k-木の多重彩色アルゴリズム
     ○伊藤 健洋(東北大学), 周 暁(東北大学), 西関 隆夫(東北大学)

 [22] 半径が小さい秘密鍵共有木を構成するプロトコル
     ○大迫 剛史(東北大学), 水木 敬明(東北大学), 西関 隆夫(東北大学)

[セッション F]  13:00〜14:40

 [23] A note on input head reversal-bounded two-dimensional Turing machines 
     ○森田 将稔(山口大学), 井上 克司(山口大学), 
       伊藤 暁(山口大学), 王 躍(山口大学)

 [24] 二階項の一般化アルゴリズムについて
     ○小川 剛(九州工業大学), 平田 耕一(九州工業大学), 
       原尾 政輝(九州工業大学)

 [25] 振幅の制限された量子計算：ZQPの場合
     ○西井康人(名古屋大学), 築地立家(名古屋大学)

 [26] 負荷分散に対する量子サンプリング
     ○河内 亮周(京都大学), 山下 茂(NTTコミュニケーション科学基礎研究所),
       岩間 一雄(京都大学), 

 [27] 順序木パターンの質問による同定の複雑さ
     ○有村博紀(九州大学), 坂本比呂志(九州大学), 有川節夫(九州大学)

[セッション G]  14:50〜16:30

 [28] グラフの厚さに関する近似アルゴリズム
     ○川野晋一郎(群馬大学), 山崎浩一(群馬大学)

 [29] An algorithm for the minmax p-traveling salesman problem on a tree 
     Hiroshi Nagamochi(豊橋技術科学大学), ○Kohei Okada(豊橋技術科学大学)

 [30] 半構造化テキストに対する文字列照合アルゴリズム
     ○喜田拓也(九州大学), 竹田正幸(九州大学)

 [31] Crossing signals in universal asynchronous cellular automata
     ○李 佳(通信総合研究所関西先端研究センター),
       Ferdinand Peper(通信総合研究所関西先端研究センター),
       足立　進(通信総合研究所関西先端研究センター),
       森田　憲一(広島大学)

 [32] 仮説変更と例外を許した実数値関数の帰納推論 
     ○廣渡 栄寿(北九州市立大学), 平田 耕一(九州工業大学),
       宮原 哲浩(広島市立大学), 有川 節夫(九州大学)

[セッション H]  16:40〜17:20

 [33] Polynomial Time Inductive Inference of Ordered Tree Patterns with Internal Variables from Positive Data
     ○鈴木 祐介(九州大学), 正代 隆義(九州大学), 
       宮原 哲浩(広島市立大学), 内田 智之(広島市立大学)

 [34] Discovery of Maximally Frequent Ordered Tag Tree Patterns in Semistructured Data
     ○宮原 哲浩(広島市立大学), 鈴木 祐介(九州大学),
       正代 隆義(九州大学), 内田 智之(広島市立大学)

[懇親会]  18:00〜


２月６日（水）

[セッション I]  9:00〜10:20

 [35] マルチエージェント推論を用いた問題解決
     ○小野田 真也(九州工業大学), 平田 耕一(九州工業大学),
       原尾 政輝(九州工業大学)

 [36] 変数の出現回数が制限されたbranching programの表現能力
     武永 康彦(電気通信大学), ○河村 亨(電気通信大学)

 [37] 文字列圧縮問題の近似可能性
     ○坂本 比呂志(九州大学), 下薗 真一(九州工業大学),
       篠原 歩(九州大学), 竹田 正幸(九州大学)

 [38] 多重変換項書換え系とその正則保存性について
     ○藤中 洋平(奈良先端科学技術大学院大学),
       高井 利憲(産業技術総合研究所), 
       楫 勇一(奈良先端科学技術大学院大学),
       関 浩之(奈良先端科学技術大学院大学), 

[セッション J]  10:30〜12:10

 [39] A Simplification of the Bakery Algorithm for the Mutual Exclusion Problem
     ○高村政孝(群馬大学), 五十嵐善英(群馬大学)

 [40] 条件を緩和した安定結婚問題に対する近似アルゴリズム
     ○柳沢 弘揮(京都大学), 宮崎 修一(京都大学),
       岩間 一雄(京都大学), Magnus Halldorsson(アイスランド大学)

 [41] Dirichlet 分布に従う多項分布の母数の Markov chain を用いた approximate sampler 
     ○元木 光雄(東京女子医科大学), 鎌谷 直之(東京女子医科大学)

 [42] パリティ検査符号に対する単純ランダム復号法の解析
     ○沢井 健(東京工業大学), 渡辺 治(東京工業大学)

 [43] Efficient Substructure Discovery from Large Semi-structured Data
     ○浅井達哉(九州大学), 有川節夫(九州大学)

[セッション K]  13:00〜14:00

 [44] A Tabular Form Parser based on An Attribute Graph Grammar
     ○有田 友和(日本大学), 井上 理(東洋大学), 
       土田 賢省(東洋大学), 夜久 竹夫(日本大学)

 [45] ある種の一般化順序機械の多項式時間推論アルゴリズム
     ○西田 大(電気通信大学), 富田 悦次(電気通信大学),
       若月 光夫(電気通信大学)

 [46] Grover のアルゴリズムに対する量子回路の構成法について
     ○西野哲朗(電気通信大学)

ＬＡシンポジウム 2001 東北大事務局
東北大学 情報科学研究科システム情報科学専攻 西関 隆夫
郵便：〒980-8579 仙台市青葉区荒巻字青葉05
電話：022-217-7162 (FAX 022-263-9301)
http://www.nishizeki.ecei.tohoku.ac.jp/la2001/
email:la2001@nishizeki.ecei.tohoku.ac.jp