夏のLAシンポジウムのご案内
2001年度夏のLAシンポジウムの発表プログラムが決定いたしました.
html以外にもpsファイル、pdfファイルを用意いたしました.
夏のLAシンポジウムプログラム(psファイル版)
夏のLAシンポジウムプログラム(pdfファイル版)
本年度の夏のLAシンポジウムを下記の要領で開催いたします.
奮ってご参加下さい.
日程:7月23日(月)〜7月25日(水)
会場:宮城蔵王ロイヤルホテル
〒989-0916 宮城県刈田郡蔵王町遠刈田温泉字鬼石原1-1
電話番号: 0224-34-3600
http://www.daiwaresort.co.jp/zaou/index.html
プログラム(発表15分, 質疑応答5分)
7月23日(月)
[セッションA] 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] 量子探索アルゴリズムのデータベース質問処理への応用
○河内 亮周(京都大学), 岩間 一雄(京都大学)
[セッションB] 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〜
7月24日(火)
[セッションC] 8:30〜10:10
[11] Translation between Characteristic Models and Ordered Binary Decision
Diagrams
○堀山 貴史(奈良先端大), 茨木 俊秀(京都大学)
[12] 制限付集合に対する包除原理の性質と数え上げ問題への応用
○松尾 健史(東北大学), 塩野 俊英(東北大学), 天野 一幸(東北大学),
丸岡 章(東北大学)
[13] 量子オラクルを用いた唯一最短格子ベクトル問題の効率的解法
○上山 弘哲(名古屋大学), 築地 立家(名古屋大学)
[14] 連続王手制限付き一般化チェス問題の指数時間完全性
○山口 英志(名古屋大学), 築地 立家(名古屋大学)
[15] On the Constant Degree Hypothesis
○築地 立家(名古屋大学)
[セッションD] 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
7月25日(水)
[セッションE] 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-探索者による未知多角形内の移動侵入者の探索
○田添 祐一(九州大学), 山下 雅史(九州大学),
鈴木一郎(ウィスコンシン大学), 亀田恒彦(サイモンフレーザー大学)
[セッションF] 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] 配電融通問題のアルゴリズム
○蒲倉 正憲(東北大学), 周 暁(東北大学), 西関 隆夫(東北大学)
LAシンポジウム 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