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

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

専門委員長　岩間一雄　副委員長　戸田誠之助
幹事　牧野和久・瀧本英二


日時   11月 29日（金）  10:15-16:10
     （一人 30分発表 + 5分質疑の予定）

会場  北陸先端科学技術大学院大学 情報3棟5Fコラボレーションルーム7
      〒923-1292 石川県能美郡辰口町旭台1-1
      詳細は，http://www.jaist.ac.jp/~kouhou/1996/199606/Collabo.Jun.html

交通   金沢駅から  ：JR金沢駅→→→JR西金沢駅→→→北陸鉄道石川線新西金沢駅
                              JR             徒歩
                     →→→北陸鉄道石川線鶴来駅→→→→→→北陸先端大
                    北陸鉄道                   JAIST shuttle
                                                     所要時間約1時間
                    タクシー利用の場合、料金約5000円、所要時間は約30分
      小松空港から：小松空港連絡特急バスで約40分
      詳細は，http://www.jaist.ac.jp/~kouhou/General_info/access/access.html

連絡先 北陸先端科学技術大学院大学 情報科学研究科
       中野浩嗣
       email: knakano@jaist.ac.jp
       TEL: 0761-51-1220

議題

午前  10:15 - 12:00

ハードウェア支援による各種ボロノイ図の高速描画とその応用
 ○寺本幸生（北陸先端科学技術大学院大学）

精度保証された反復反射計算の実装法
 ○永井孝幸(鳥取環境大学)

Minimum Augmentation of Edge-Connectivity between Vertices and Sets of
Vertices in Undirected Graphs
  ○石井利昌(豊橋技科大)・○ 秋山容子(アライドテレシス)・永持仁(豊橋技科大)


午後 13:00-16:10

13:00 -14:45

ヒッチコック型輸送問題に対する途中棄却を含む段階的解法
    ○池田隆之(北陸先端科学技術大学院大学)

搬送計画問題に対するネットワーク理論を利用したアプローチ
    浅野哲夫・○千葉英史(北陸先端科学技術大学院大学)

木構造ネットワーク上の配送・回収車両配送計画問題
    ○加藤直樹(京都大学)・矢野太平(理化学研究所)

15:00 - 16:10

書き換え帰納法による帰納的定理の決定手続き
  ○外山 芳人

ブール関数の逐次実験計画を用いた学習に関する一考察
  ○浮田善文(横浜商科大学)・松嶋敏泰(早稲田大学)・平澤茂一(早稲田大学)