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

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


日時   1月 24日（金）  10:15-16:10
     （一人 20分発表 + 5分質疑の予定）

会場  財団法人沖縄県青年会館デイゴの間
　　　　〒９００−００３３那覇市久米２−１５−２３
　　　　０９８−８６４−１７８０
　　　　０９８−８６４−１７８３
          http://www.okinawakenseinenkaikan.or.jp/

交通  (1) 那覇空港よりタクシーで約10分。約1000円。
　　　(2) 那覇空港よりバスを利用。那覇バスターミナル下車約10分。200円。
          バスターミナルより徒歩約10分。
          http://www.okinawakenseinenkaikan.or.jp/



連絡先 名嘉村盛和（なかむらもりかず）
          〒903-0213沖縄県西原町千原１番地
　　　　　琉球大学工学部情報工学科
　　　　　Tel: 098-895-8715/Fax: 098-895-8727
          Email: morikazu@ie.u-ryukyu.ac.jp



議題       

午前  10:00 - 11:40 

Explicit Construction of Optimal Fault-Tolerant Linear Arrays
  ○山田敏規・上野修一(東工大)

連結頂点被覆および Tree Cover に対する2倍近似NCアルゴリズム
  ○土井孝・藤戸敏弘 (名古屋大学)  

A 2-Approximation Algorithm for Capacitated Partial Vertex Cover 
  with Demands  
  ○薮田隆俊・藤戸敏弘 (名古屋大学) 

タイミング故障および停止故障に対する故障耐性を有するアトミック
  ブロードキャスト
  ○泉 泰介・齊藤 明紀・増澤 利光（大阪大学大学院）


12:50 - 14:30

内部変数付き木パターン言語の有限和の質問学習 
  ○松本哲志(東海大学)・正代隆義(九州大学)・宮原哲浩・内田智之(広島市立大学)
  
拡張正規表現照合のためのビット並列アルゴリズム 
  ○山本博章(信州大学)・宮崎敬（長野高専）

右辺のみに現れる変数を持つ項書換え系のナローイングに基づく実効的
  書換えとその停止性
  ○西田直樹・酒井正彦・坂部俊樹  (名古屋大学工学研究科)

セルラーオートマトンの行列への応用
　○佐藤忠一（東洋大学）


14:50 - 16:30 
 
探索問題における一般的な量子オラクルの質問回数について
  ○山下茂(NTT/ERATO)・増田裕之(京都大学/ERATO)・Raymond H. Putra 
  (京都大学/ERATO)・河内亮周(京都大学/ERATO)・岩間一雄(京都大学/ERATO)   
  
結び目の非自明性判定問題に対する対話型証明系について
  原正雄（東海大学）・○谷聖一(日本大学)・山本慎（中央大学）


均質な情報付き立方体の集合による3次元空間充填問題
  ○石原真紀夫（山口大学大学院理工学研究科）・田中稔（山口大学工学部）
  ・栗山憲（山口大学工学部）

正方プロセッサの接続による代数系(体)における計算
  ○木田裕則（山口大学大学院理工学研究科）・石原真紀夫（山口大学大学院
  理工学研究科）・田中稔（山口大学工学部）