1997年 10月のコンピュテーション研究会

• 日時: 10月 31日 (金) 9:00 〜 17:30

  （一人 20分発表 + 5分質疑の予定)

• 会場: 東北大学 電気情報館 451教室
  (仙台市青葉区荒巻字青葉 東北大学工学部キャンパス)
• 交通: 市バス: JR仙台駅西口バスプール9番乗り場より
  工学部系由「青葉城址循環」工学部系由「宮教大」
  工学部系由「青葉台」または理学部系由「工学部」
  行き約20分．工学部前下車徒歩2分．
  タクシー：JR仙台駅より15分(約1500円)．
  
• 連絡先: 丸岡章
  東北大学大学院情報工学専攻
  〒980-77 仙台市青葉区荒巻字青葉
  TEL 022-217-7147, FAX 022-263-9413
  E-mail maruoka@ecei.tohoku.ac.jp
  
• 議題： 　

  1.  Convex Grid Drawings of Four-Connected Plane Graphs
      ○Kazuyuki Miura, Shin-ichi Nakano and Takao Nishizeki
      (Tohoku University)
  　
  2.  Secure Message Distribution in Channel Networks
      Feng Bao(*1), Yutaka Funyu(*2), Yukihiro Hamada(*3),
      ○Yoshihide Igarashi(*4), and Takashi Shimaya(*4)
      *1: Institute of Systems Science, National University of Singapore
      *2: Yokogawa Electric Corporation
      *3: Akashi College of Technology
      *4: Department of Computer Science, Gunma University  
  　
  3.  冠頭標準形有理数プレスブルガー文の真偽判定アルゴリズムの提案
      ○柴田直樹(阪大) 岡野浩三(阪大) 東野輝夫(阪大) 谷口健一(阪大)
  　
  4.  摂動法によるMAX SAT近似アルゴリズムの改良
      小野孝男(名大)、平田富夫(名大)、浅野孝夫(中央大)
  　
  5.  On computing the envelope of segments in parallel
      ○陳 慰, 和田幸一 (名古屋工業大学)
  　
  6.  上昇型プッシュダウン木オートマトンの一構成法
      山崎克典, ○東勝之（東京理科大学 理工学部)
  　
  7.  決定性有限オートマトンの正準分解とそのアルゴリズム
  　　○古澤和久・猪飼武夫・福永邦雄 (大阪府立大学)
  　
  8.  Ho-Kalmanアルゴリズムによる決定性有限オートマトンの最小実現
      ○渡辺浩司・猪飼武夫・福永邦雄 (大阪府立大学)
  　
  9.  Exponential Lower Bounds of the Sizes of Binary Moment Diagrams
      Representing Division
      二分モーメントグラフによる除算表現の大きさの指数下界
      ○中西正樹, 浜口清治, 柏原敏伸 (大阪大学大学院基礎工学研究科)
  　
  10. Tree-Shellability of Boolean Functions
      ○武永康彦(電通大)、中嶋廣二(京大)、矢島脩三(関西大)
  　
  11. 否定素子数限定論理回路における単調論理関数の複雑さ
      ○天野 一幸，丸岡 章(東北大学)
  　
  12. ブールドメイン上の関数に対するサンプリングの定理
      ○瀧本 英二，丸岡 章(東北大学)
  　
  13. Maximum Agreement Problem for Word Association Patterns 
      H. Arimura (Kyushu Univ.), A. Wataki (Kyushu Univ.), 
      ○S. Shimozono (Kyushu Inst. of Tech.)
  　
  14. ニューロイダルネット上における学習アルゴリズムの設計
      西野哲朗（電通大）
  　
  15. 構造反例付き等価性質問を用いた単純決定性言語の多項式時間MAT学習
      ○但馬康宏、富田悦次、若月光夫（電通大）
  　
  16. オンライン学習における精度向上メカニズムについて
      ○田近 一郎，瀧本 英二，丸岡 章(東北大学)