夏のＬＡシンポジウムのご案内
本年度の夏のＬＡシンポジウムを下記の要領で開催いたします．奮ってご参加下さい．
日程：
７月１７日（ 月）〜７月１９日（ 水）会場：
国民休暇村 近江八幡
〒 523-0801 滋賀県近江八幡市沖島町宮ケ浜
電話番号: 0748-32-3138
http://www.qkamura.or.jp/20-01.shtml
プログラム
７月１７日（ 月）[セッションＡ] 13:30 ∼ 15:00[1] Bit Commitment from Quantum One-Way Function
田中 圭介 (NTT 情報流通プラットフォーム研究所)[2] Conﬂuence of Weakly Orthogonal CTRSs with Extra Variables○ Ould Seyid Ahmed(Nagoya Univ.), Masahiko Sakai(Nagoya Univ.), Toshiki Sakabe(Nagoya Univ.)[3] 拡張単純回帰ネットワークと等価な DPDA の構成法
○守谷 純之介 (電気通信大学), 西野 哲朗 (電気通信大学)[4] Polynomial Time Inference of Regular Unordered Term Tree Languages○正代 隆義 (九州大学), 宮原 哲浩 (広島市立大学), 内田 智之 (広島市立大学)[セッションＢ] 15:20 ∼ 17:15[5] 時間割最適化問題の近似可能性について
竹内 光一 (早稲田大学)[6] 英文翻訳システムにおける効率的な訳の抽出方法○太田 大輔 (電気通信大学), 川原田 郁夫 (電気通信大学), 笠井 琢美 (電気通信大学)[7] Translation between Horn CNFs and their Ordered Binary Decision Diagrams○堀山 貴史 (奈良先端大), 茨木 俊秀 (京都大)[8] Expected Length of Longest Common Subsequences of Two Biased Random Stringsand Its Application○青木 洋延 (群馬大学), 上原 隆平 (駒沢大学), 山崎 浩一 (群馬大学)[9] Spine Grammar の生成する木言語のクラスと同じ 表層集合のクラスを生成する木変換機
藤芳 明生 (茨城大学)[学生セッション ] 19:00 ∼ 21:00[1] 一般的な時間枠制約付き配送計画問題に対する局所探索法の適用とその応用例○増田 友泰 (京都大学), 柳浦 睦憲 (京都大学), 茨木 俊秀 (京都大学)[2] 進化系統樹最節約復元問題の数理的研究
宮川 幹平 (電気通信大学)
1

岡本 恭一 (東京工業大学)[4] 方位選択性獲得モデルの解析
山崎 匡 (東京工業大学)[5] スリザーリンクの NP 完全性
八登 崇之 (東京大学)[6] A 2-packing of three 3-based graphs in a 3-connected graph
永持 仁 (豊橋技術科学大学), ○関 勝宏 (京都大学), 茨木 俊秀 (京都大学)[7] 分解構造に基づくデータの論理的解析○小野廣隆 (京都大学), 牧野和久 (大阪大学), 茨木俊秀 (京都大学)[8] 速度差のある二台のロボットによる長尺物運搬アルゴ リズムの改良
長藤 俊介 (九州大学)[9] span program のいろいろな未解決問題○佐藤 貴之 (東北大学), 天野 一幸 (東北大学)
７月１８日（ 火）[セッションＣ] 8:30 ∼ 10:00[10] Generation and parsing of the Fibonacci language by uniquely parallel parsable grammars○李 佳 (広島大学), 森田 憲一 (広島大学)[11] 平衡直線的プログラムに対する圧縮パターン照合アルゴ リズム○平尾 昌啓 (九州大学), 篠原 歩 (九州大学), 竹田 正幸 (九州大学), 有川 節夫 (九州大学)[12] 複数テキストに対する部分列オートマトンのオンライン構築○星野 弘雅 (九州大学), 篠原 歩 (九州大学), 竹田 正幸 (九州大学), 有川 節夫 (九州大学)[13] Correction, Optimization and Veriﬁcation of Transition Rule Set for Firing Squad Synchronization Algorithms○ Hiroshi Umeo(大阪電気通信大学), Takashi Sogabe(大阪電気通信大学), Yukihiro Nomura(大阪電気通信大学)[セッションＤ] 10:10 ∼ 12:30[14] 圧縮テキストに対する Boyer-Moore 型アルゴ リズム
柴田 裕介 (九州大学), ○松本 徹也 (九州大学), 竹田 正幸 (九州大学), 篠原 歩 (九州大学),有川 節夫 (九州大学)[15] 転送スタックつきプッシュダウン・オートマトン と Linear Indexed Grammar の関係○川原田 郁雄 (電気通信大学), 笠井 琢美 (電気通信大学)[16] カッティングストック問題におけるパターン生成について○梅谷 俊治 (京都大学), 柳浦睦憲 (京都大学), 茨木俊秀 (京都大学)[17] MAX-3SAT の解の平均についての解析
元木 光雄 (東京工業大学)[18] Syntactic Processing Methods of Diagrams by Graph Grammars○有田友和 (日本大学), 冨山聖宣 (日本大学), 夜久竹夫 (日本大学), 杉田公夫 (東海大学),
宮寺庸造 (東京学芸大学), 土田賢省 (東洋大学)[19] Avoiding almost all faulty privileges in almost linear stabilizing time2

[個別研究，自由討論]
７月１９日（ 水）[セッション E] 8:30 ∼ 10:00[20] オンライン最短路問題○瀧本 英二 (東北大学), Manfred Warmuth(University of California, Santa Cruz)[21] On-line Estimation of Hidden Markov Model Parameters○水野 潤 (東北大学), 渡邊 辰也 (東北大学), 植木 一也 (東北大学), 天野 一幸 (東北大学),
瀧本 英二 (東北大学), 丸岡 章 (東北大学)[22] Notes on CC(pq) Circuits○天野 一幸 (東北大学), 丸岡 章 (東北大学)[23] Boosting Weak Agnostic Learning Algorithms築地 立家 (名古屋大学), ○ガ イべ アハマド アンマール (名古屋大学)[セッション F] 10:20 ∼ 12:10[24] 公開鍵暗号の安全性の概念についての再検討：識別不可能性と強秘匿性
小柴健史 (通信・放送機構)[25] Finding completely independent spanning trees in maximal planar graphs
蓮沼 徹 (電気通信大学)[26] On the Diﬀerence between Deterministic and Randomized Reductions for Distributional
Languages○相田 慎 (名古屋大学), 築地 立家 (名古屋大学)[27] 一般化詰め将棋の指数時間完全性について○横田 雅也 (名古屋大学), 築地 立家 (名古屋大学)[28] 準同形写像による特性化の新しい可能性について
大川 知 (会津大学)
以上．
ＬＡシンポジウム ’00 京大事務局
京都大学 工学研究科建築学専攻 加藤 直樹
郵便： 〒 606-8501 京都市左京区吉田本町
電話： 075-753-4906 (FAX 075-753-4906)
http://is-mj.archi.kyoto-u.ac.jp/la2000
email: la2000@is-mj.archi.kyoto-u.ac.jp

3