2001年11月のコンピュテーション研究会

★コンピュテーション研究会（COMP）
専門委員長 西関隆夫  副委員長 渡辺治
幹事       中野浩嗣・武永康彦

日時  11月  16日(金)  9:00 〜 16:45 
     （一人 30分発表 + 5分質疑の予定）

会場 
飯塚研究開発センター ２階 大研修室
〒820-8517 福岡県飯塚市川津680-41
URL: http://www.cird.or.jp/
(九州工業大学情報工学部の道をはさんで斜め向かいです)


交通 (1) JR博多駅より篠栗線新飯塚駅下車＋バスで15分, もしくは, 急行バス70分
(2) 福岡空港より急行バス60分
(3) 天神より特急バス60分
詳しくは, 下記URLを御参照下さい. 
http://zodiac30.cse.kyutech.ac.jp/access/access.html


連絡先  藤原暁宏
九州工業大学情報工学部電子情報工学科
〒820-8502 福岡県飯塚市川津680-4
TEL: 0948-29-7888
E-mail: fujiwara@cse.kyutech.ac.jp


議題

午前 9:00-12:05

9:00-10:10

1. 類推に基づくLK証明支援システムの開発
   ○山田敬三・平田耕一・原尾政輝(九州工業大学)

2. 自己安定パイプライン型フィードバック付ブロードキャストについて
   ◯近藤 大介，桝田 秀夫，増澤 利光（大阪大学大学院基礎工学研究科）

10:20-12:05

3. Minimum Multiset Covering 問題の近似アルゴリズムについて
    ○柳浦 豊(九州工業大学), 下薗 真一(九州工業大学), 
    阿久津 達也(東京大学医科学研究所)

4. 断片パターンマッチングの計算量的困難性と近似アルゴリズムについて
    ○堀英彰・下薗真一(九州工業大学)・竹田正幸・篠原歩(九州大学)

5. 占有問題に対する量子アルゴリズム
   ○河内 亮周(京都大学・ERATO),山下 茂(NTTコミュニケーション科学基礎研究所・ERATO),
   岩間 一雄(京都大学・ERATO)

午後 13:05-16:45

13:05-14:50

6. A parallel algorithm for the stack breadth-first search
   ◯中島孝明・藤原暁宏(九工大)

7. フーリエ変換を用いた関連変数の発見法
   ○飯田雅臣(東工大)

8. ベイズ決定理論による定式化のもとで直交計画を用いたブール関数
   の学習に関する一考察
 　○浮田善文（横浜商科大学），松嶋敏泰（早稲田大学），
   平澤茂一（早稲田大学）

15:00-16:45

9. An optimal reconstruction strategy of LRU stacks
   ○木庭淳(神戸商科大学)、菊田健作(神戸商科大学)、玉置光司(愛知大学)、
   濱田年男(神戸商科大学)

10. Nyberg-Rueppelメッセージ復元型署名に基づくBatch検証可能なBatch署名
   ○荒木俊輔(九州工業大学)

11. Complexity of Recognizing Tree-Shellable Functions
    武永康彦（電気通信大）