2003年6月のコンピュテーション研究会

★コンピュテーション研究会（COMP
専門委員長　岩間一雄　副委員長　戸田誠之助
幹事　瀧本英二・牧野和久


日時:    6月18日 (水)  10:30-16:00
       (一人 30分発表 + 5分質疑の予定）

会場: 電気通信大学 西9号館3階AVホール
      182-8585 東京都調布市調布ケ丘1-5-1

交通: 新宿駅より京王線調布駅下車(特急・準特急にて約15分)
      調布駅北口を出て徒歩約10分
      大学までの交通・地図は http://www.uec.ac.jp/acc/map.html
      学内の地図は http://www.uec.ac.jp/acc/campusnai.html
      を御覧下さい（キャンパス南西角の建物が西9号館です）
     
連絡先: 武永康彦
        電気通信大学情報工学科
        182-8585 調布市調布ヶ丘1-5-1
        TEL. 0424-43-5327
        takenaga@cs.uec.ac.jp

議題       

10:30 - 12:15

大局的に構造を取らない配列集合の抽出方法
   ○小林 聡・近藤 朋大・奥田 講平・富田 悦次（電気通信大学）
     
フロアプラン列挙アルゴリズムの実装
   ○吉井 訓史・中野 眞一（群馬大学）
     
多将軍一斉射撃問題について
   ○久岡 雅也（大阪電気通信大学）・山田 仁（大阪電気通信大学）
     前田 雅史（(株) 大真空）・Thomas Worsch(Univ. of karlsruhe)
     梅尾 博司（大阪電気通信大学）

13:20 - 15:05

節点重み最大クリーク抽出アルゴリズムと実験的評価
   ○中村 知倫・富田　悦次・西野　哲朗・名久井 行秀（電気通信大学）

Density Condensation of Boolean Formulas
   ○花谷 陽一・堀山 貴史・岩間 一雄（京都大学）

有限幾何を用いた線形サイズ4-制限最小値独立置換族の構成
     垂井 淳（電気通信大学）・○伊東 利哉（東京工業大学）
     武井 由智（長岡技術科学大学）

15:20 - 16:30

質問による文法推論アルゴリズムにおける等価性判定問題の一応用
   ○但馬 康宏（東京農工大学）・寺田 松昭（東京農工大学）

片軸方向の共通知識をもつ自律分散ロボット群に対する形状形成アルゴリズム
   ○糟谷 政夫・伊藤 暢浩・犬塚 信博・和田 幸一（名古屋工業大学）