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

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

日程：７月２３日（月）〜７月２５日（水）
会場：宮城蔵王ロイヤルホテル
〒989-0916 宮城県刈田郡蔵王町遠刈田温泉字鬼石原1-1
電話番号: 0224-34-3600
http://www.daiwaresort.co.jp/zaou/index.html

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

７月２３日（月）

[セッションＡ]  13:30〜15:10

 [1] A Definition of Parikh Controlled Context-free Grammars and some
     Properties of Them
     ○西田泰伸(富山県立大学), 関成子(California State University Fresno)

 [2] 平面グラフの拡張矩形描画
     ○宮澤 綾子(東北大学), 三浦 一之(東北大学), 中野 眞一(群馬大学), 
       西関 隆夫(東北大学)

 [3] Rectangle-of-Influence Drawings of Four-Connected Plane Graphs
     ○Kazuyuki Miura(Tohoku Univ.), Takao Nishizeki(Tohoku Univ.)

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

 [5] 量子探索アルゴリズムのデータベース質問処理への応用
     ○河内 亮周(京都大学), 岩間 一雄(京都大学)

[セッションＢ]  15:20〜17:00

 [6] 英文翻訳システムにおける和文構成過程の形式化 
     ――助動詞・時制辞の処理を含む木-文字列変換機モデル――
     ○小西 正喜(電気通信大学), 川原田 郁雄(電気通信大学), 
       笠井 琢美(電気通信大学)

 [7] 双曲平面上のセルオートマトンの計算能力について
      ○Chuzo Iwamoto(Hiroshima Univ.), Maurice Margenstern(Universit'e de Metz), 
        Kenichi Morita(Hiroshima Univ.), Thomas Worsch(University of Karlsruhe)

 [8] Some Observation on the Quantum Complexity
     ○田中 圭介(東京工業大学), 岡本龍明(NTT情報流通プラットフォーム研究所)

 [9] 圧縮テキスト上の近似文字列照合問題
     ○喜田 拓也(九州大学), 竹田 正幸(九州大学), 篠原 歩(九州大学)

 [10] Unification of Algorithms to Construct Index Structures for Texts
      ○稲永 俊介(九州大学), 星野 弘雅(松下電器), 篠原 歩(九州大学), 
        竹田 正幸(九州大学), 有川 節夫(九州大学)

[学生セッション] 17:10〜18:00

 [1] Web ViewerによるWeb linkの解析
     ○浅野泰仁(東京大学)

 [2] 通信レンジ配置問題の近似アルゴリズム
     ○青木 孝之(名古屋大学), 築地 立家(名古屋大学)

[夕食] 18:30〜

７月２４日（火）

[セッションＣ]  8:30〜10:10
 [11] Translation between Characteristic Models and Ordered Binary Decision
      Diagrams
      ○堀山 貴史(奈良先端大), 茨木 俊秀(京都大学)

 [12] 制限付集合に対する包除原理の性質と数え上げ問題への応用
      ○松尾 健史(東北大学), 塩野 俊英(東北大学), 天野 一幸(東北大学),
        丸岡 章(東北大学)

 [13] 量子オラクルを用いた唯一最短格子ベクトル問題の効率的解法
      ○上山 弘哲(名古屋大学), 築地 立家(名古屋大学)

 [14] 連続王手制限付き一般化チェス問題の指数時間完全性
      ○山口 英志(名古屋大学), 築地 立家(名古屋大学)

 [15] On the Constant Degree Hypothesis
      ○築地 立家(名古屋大学)

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

 [16] 直並列グラフをリスト辺彩色するアルゴリズム
      ○藤野 友也(東北大学), 周 暁(東北大学), 西関 隆夫(東北大学)

 [17] Algorithm for the Cost Edge-Coloring of Trees
      ○Xiao Zhou(Tohoku Univ.), Takao Nishiseki(Tohoku Univ.)

 [18] グラフ変換で定式化されたモデル化支援ツールの動作について
     ○溝口 佳寛(九州大学)

 [19] Lexicographic Path Orders in Simply-Typed Term Rewriting Systems
      ○草刈 圭一朗(東北大学)

 [20] 項書き換えシステムの融合変換
      ○外山 芳人(東北大学)

[個別研究，自由討論]  13:00〜18:00

[懇親会]  18:00〜20:00


７月２５日（水）

[セッションＥ]  8:30〜10:10

 [21] A New Approximation Scheme for Digital Object and Curve Length 
      Estimations
        T.Asano(JAIST), ○Y.Kawamura(JAIST), R.Klette(Univ. of Auckland), 
        K.Obokata(JAIST)

 [22] Uniform Leader Election Protocols in Radio Networks
      ○Koji Nakano(JAIST), Stephan Olariu(ODU)

 [23] Mathematical Analysis of a Neural Network Model for Emergence of
      Orientation Selectivity
      ○山崎 匡(東京工業大学)

 [24] 一般化割当問題に対するEC法におけるPOP概念に基づく性能向上の試み
      ○伊東 孝紘(九州大学), 朝廣 雄一(九州大学), 山下 雅史(九州大学), 
        柳浦 睦憲(京都大学), 茨木 俊秀(京都大学)

 [25] 有限状態1-探索者による未知多角形内の移動侵入者の探索
      ○田添 祐一(九州大学), 山下 雅史(九州大学), 
        鈴木一郎(ウィスコンシン大学), 亀田恒彦(サイモンフレーザー大学)

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

 [26] Some Implementations of Two-dimensional Firing Squad
      Synchronization Algorithms
      ○Hiroshi Umeo(Osaka Electro-Communication Univ.), 
        Masashi Maeda(Osaka Electro-Communication Univ.), 
        Norio Fujiwara(Osaka Electro-Communication Univ.)

 [27] Recognition of Tree-Shellable Boolean Functions
      ○武永 康彦(電気通信大学)

 [28] 文字列照合有限オートマトンの動的変更
      ○伊藤 暁(山口大学), 井上克司(山口大学), 王躍(山口大学)

 [29] 非停止永久故障に耐性を持つ自己安定生成木プロトコル
      ○浮穴 学慈(奈良先端大), 片山喜章(奈良先端大), 
        増澤利光(大阪大), 藤原秀雄(奈良先端大)

 [30] 配電融通問題のアルゴリズム
      ○蒲倉 正憲(東北大学), 周 暁(東北大学), 西関 隆夫(東北大学)

ＬＡシンポジウム 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