A04班(並列/分散アルゴリズム) 班会議

  特定領域研究(B)「アルゴリズム工学」A04班会議

  特定研究A04班の皆様

  前回の班会議で決めました通り、平成11年度最初の班会議を
  開催致します。COMP研での以下の研究発表のあと、PVMによる
  プログラム化とデータベース化、これからの班活動の方針について
  議論、意見交換を行ないます。班会議のあと懇親会を開きますが、
  準備の都合がありますので懇親会の出欠のご返事を5月31日(月)までに
  大澤君 ( shingo＠hoge.gunma-u.ac.jp )へご連絡下さい。

                                 A04班長
                                 五十嵐善英
                                 群馬大学YY学部ZZ学科
                                 Tel: 0277-yyyy-yyyyy
                                 Fax: 0277-zzzz-zzzzz

  日時  6月18日(金) COMP研の発表：11:05 〜 16:20
                    PVMによるプログラム化とデータベース化に関する意見交換：
                                  16:30 〜 17:40
                  
  会場  奈良先端科学技術大学院大学附属図書館・マルチメディア提示室（３階）
        (〒630-0101 奈良県生駒市高山町8916-5)

  交通    大阪方面からは，近鉄・奈良線(大阪難波発)の「学園前」駅
          (快速急行停車駅)下車，「高山サイエンスタウン行き」バスで
          「大学院大学」下車(約２０分)．
          京都方面からは，近鉄・京都線(近鉄京都発)の「山田川」駅
          (普通のみ停車駅)下車，「高山サイエンスタウン行き」バスで
         「大学院大学」下車(約２０分)．
          タクシーでは，どちらの駅からでも約１０分（約２０００円）．
          京都方面からは，近鉄・京都線（近鉄京都発）の「高の原」駅
          (急行停車駅)から，タクシーで約１０分（約２０００円）．
          駐車場あり（１回３００円）．
    	  http://ad280.aist-nara.ac.jp/info/J/access.html
	  から案内図やバスの時刻表にアクセスできますので、御利用下さい。

  (参考) バスを利用される場合、下記の便で開始時刻 11:05 に間に合います。

           近鉄奈良線・学園前駅（急行、快速急行停車）
               10:33 発（高山サイエンスタウン行き）
           近鉄京都線・山田川駅（普通のみ停車）
               10:40 発（高山サイエンスタウン行き）

 (注意) どちらの駅からも１時間に１本しかバスがありません。
        
 午前 11:05 - 12:25 (COMP研)

 1.  無閉路オブジェクト指向データベーススキーマにおける型検査問題の計算量
    ○横内淳史・清水將吾・石原靖哲・伊藤実 （奈良先端科学技術大学院大学）
    分野        データベース理論
    キーワード  オブジェクト指向データベース，無閉路スキーマ，型検査問題，
                計算量

 2.  Temporal Reasoning between Two Time Axes (2本の時間軸間の時間的推論)
    ◯石原 靖哲・ 石井 信・ 関 浩之・ 伊藤 実 (奈良先端科学技術大学院大学)
    キーワード: temporal reasoning (時間的推論), temporal constraint
    (時間的制約), consistency (無矛盾性), global time (大域時刻),
    local time (局所時刻)

 午後 13:30 - 16:20 (休憩 14:50 - 15:00) 

 3.  An Approximation Algorithm for the Minimum Weight 2-Connected Spanning
     Subgraph Problem
    永持　仁・◯関　勝宏・茨木　俊秀　（京都大）
    分野、キーワード：グラフアルゴリズム、連結度増大問題、

 4.  Approximating the Minimum $k$-Way Cut in a Graph via  Minimum 3-Way Cuts
    ◯趙　亮・永持　仁・茨木　俊秀　（京都大）
    分野、キーワード：グラフアルゴリズム、最小ｋ−分割問題、

 5.  マルチプロセッサスケジューリング問題のためのメタヒューリスティック解法RMLS
     の提案と評価
    藤田　聡・○田中 貴文 (広島大学) 
    キーワード マルチプロセッサスケジューリング問題,メタヒューリスティック

 6.  A simple computer embedded in a reversible and number-conserving 
     two-dimensional cellular space
    ○森田憲一・戸島康之・今井克暢  (広島大学)
    分野名      オートマトン理論
    キーワード  セル・オートマトン，可逆コンピューティング，保存性，万能性