ＬＡ９９夏のシンポジウム：プログラム

このページに関するご意見，ご質問は， la99@isotar.noc.titech.ac.jp まで．
Sorry! No English version is available.
(Last Update 7.5.1999)

７月１８日（日）

セッションＡ： 13:30 - 15:00

  1. 公開鍵暗号系に対する新しい攻撃モデルについて
    小柴健史（通信・放送機構）
  2. 一方向性関数の平均時間解析
    相田 慎（名古屋大），築地 立家（名古屋大）
  3. 左線形項書換え系の合流条件の解析
    松本 利雅（北陸先端大），外山 芳人（北陸先端大）
  4. Termination of Context-Sensitive Rewrite Systems
    中村 正樹（北陸先端大），外山 芳人（北陸先端大）

セッションＢ： 15:20 - 16:50

  1. 重み付き多数決ゲームにおける投票力指数の計算について
    松井 知己（東京大），松井 泰子（東海大）
  2. 情報商品の価格設定戦略に関する計算論的考察
    古賀 健太郎（九州大），櫻井 幸一（九州大）
  3. 量子コンピュータの汎用的シミュレータと因数分解の実験
    徳永 裕己（東京大），長井 歩（東京大），今井 浩（東京大）
  4. オートマトンを利用した準拡張正則表現に対する効率的なアルゴリズム
    山本博章（信州大）

学生セッション： 19:00 - 21:00

７月１９日（月）

セッションＣ： 8:30 - 10:00

  1. 可逆的かつ Number-Conserving な１次元セル・オートマトン上の一斉射撃解
    今井 克暢（広島大），森田 憲一（広島大）
  2. A characterization of some linear cellular automata
    Marcel Crasmaru (Tokyo Inst. of Tech.)
  3. Simplification ordering for higher-order rewrite systems
    岩見 宗弘（島根大），外山 芳人（北陸先端大）
  4. Designing a weak AC-reduction order by argument filtering method
    草刈 圭一朗（北陸先端大），外山 芳人（北陸先端大）

セッションＤ： 10:10 - 12:30

  1. 言語のクラスのいくつかの特徴付けの間の関係について
    大川 知（会津大）
  2. Growth function of word length controlled DT0L systems
    朝山 隆志（富山県立大），西田 泰伸（富山県立大）
  3. Kolmogorov Complexity とフラクタル集合
    只木 孝太郎（北海道大）
  4. On permutations with limited independence
    伊東 利哉（東工大），武井 由智（東工大），垂井 淳（電気通信大）
  5. Syntactic BP と oblivious BP の分離
    高瀬 俊郎（京都大），岡部 寿男（京都大），岩間 一雄（京都大）
  6. マージングネットワークの下界定理（ヤオの未解決問題が解決）
    岩田 茂樹（電気通信大）

７月２０日（火）

セッションＥ： 8:30 - 10:00

  1. On the negation-limited circuit complexity of merging
    天野 一幸（東北大），丸岡 章（東北大），垂井 淳（電気通信大）
  2. Limiting negations in unbounded fan-in circuits: An extension of Markov's Theorem
    Shao Chin Sung (JAIST), Keisuke Tanaka (NTT)
  3. 一次元セルオートマトンにおける時間構成可能性について
    岩本 宙造（広島大），初山 智伸（広島大）， 森田 憲一（広島大），今井 克暢（広島大）
  4. A simple computer embedded in a reversible and number-conserving two-dimensional cellular space
    森田 憲一（広島大），戸島 康之（広島大），今井 克暢（広島大）

セッションＦ： 10:20 - 11:50

  1. スタック反転数限定PDAの能力について
    多田 武丸（早稲田大），守屋 悦朗（早稲田大）
  2. On the uniform learnability of approximations to non-recursive functions
    Frank Stephan (Univ. Heidelberg), Thomas Zeugmann (Kyushu Univ.)
  3. 差異獲得と弱 PAC 学習との関係
    酒井 義文（東洋大）
  4. 順序機械の多項式時間帰納的推論アルゴリズム
    高橋 克彦（電気通信大），藤芳 明生（電気通信大），笠井 琢美（電気通信大）

９９年度ＬＡシンポジウム事務局

幹事校：
東京工業大学情報理工学研究科 数理・計算科学専攻
渡辺 治（代表），寳来 正子，鹿島 亮，坂本 直志（会員情報担当）
事務局連絡先：
email: la99@isotar.noc.titech.ac.jp
＊所属等の変更もこのアドレスへ．随時受付ております．
URL: http://isotar.noc.titech.ac.jp/la99/
〒152-8552
東京都目黒区大岡山 2-12-1
東京工業大学 情報理工学研究科 数理計算科学専攻
tel: 03-5734-2688 (or, 03-5734-3210) fax: 03-5734-3210