2002年1月のコンピュテーション研究会

研究会名  コンピュテーション研究会(COMP)

日時  1月  30日(水)  10:15 〜 16:45
     （一人 30分発表 + 5分質疑の予定）

会場：工学院大学新宿キャンパス　8階0865室
　　　〒163-8677新宿区西新宿1-24-2

交通：
    ＊羽田空港より
      羽田空港駅=(京浜急行/浅草線直通 27分)=大門駅=(大江戸線 18分)=都庁前駅,直結
    ＊東京駅より
      東京駅=(JR中央線快速 14分)=新宿駅,西口より徒歩5分
    地図：http://www.kogakuin.ac.jp/map/shinjuku/index.html

連絡先：椎塚久雄
　　　　工学院大学情報工学科
　　　　〒163-8677新宿区西新宿1-24-2
　　　　E-mail shiizuka@cc.kogakuin.ac.jp

議題

午前 10:15-12:00

1.  量子アルゴリズムに対する共通鍵暗号の安全性
    太田和夫　○西野哲朗(電気通信大学)

2.  通信プロトコルの試験系列生成問題へのSATアルゴリズム適用法の提案
    ○大塚裕孝・中田明夫（大阪大学）・舩曵信生（岡山大学）・東野輝夫 (大阪大学)

3.  一定数の充足解を持つCNF式に対する準指数時間アルゴリズム
    ○松浦昭洋(京都大学)

午後 13:00-14:45

4.  双方向マンハッタンストリートネットワークのノード配置問題
    に対する階層型近似アルゴリズムの提案
    ○米津政隆(大阪大学)・舩曵信生・横平徳美・中西透(岡山大学)・
    田島滋人・中田明夫・東野輝夫(大阪大学)

5.  Scheduling for Efficient Gather Operation
    in Heterogeneous Cluster Systems
    ○大下福仁(大阪大学)、松前進(鳥取環境大学)、増澤利光(大阪大学)

6.  潜在帰納法による弱完全振舞仕様に対する振舞等価性の自動証明
　　○加納康資　酒井正彦　坂部俊樹（名古屋大学）

15:00-16:45

7.  優先順序付き項書換え系の頭必須戦略の決定可能性
  　○鈴木剛　酒井正彦　坂部俊樹（名古屋大学）

8.  帰納的定理の決定可能なクラスについて
    ○福井 信一・外山 芳人(東北大学)

9.  高階書換え系におけるディセンダントと頭必須書換えの頭正規化性
    ○粕谷英人(愛知県立大学)・酒井正彦・阿草清滋(名古屋大学)