1997年 ５月のコンピュテーション研究会

• 日時 5月 30日 (金) 10:30 〜 17:30
  (一人 20分発表 + 5分質疑の予定)
• 会場 名古屋大学工学部８号館(情報工学教室)102講義室
  （名古屋市千種区不老町）
• 交通

  地下鉄東山線本山駅下車 	
  　　　        本山駅より徒歩約１５分 
        または、本山バス停からバス『四谷通り３丁目』下車
  

• 連絡先 高木直史
  〒464-01 名古屋市千種区不老町
  名古屋大学大学院工学研究科情報工学専攻
  電話： 052-789-3312
  FAX： 3798
  email: ntakagi@nuie.nagoya-u.ac.jp
  

議題
1. ソフトウェアの効果的開発法について
    ○陸 暁松，金指 文明，富樫 敦（静岡大）

2. π計算の証明システムについて
   ○金指 文明，富樫 敦（静岡大）

3. 形式仕様に基づく通信プログラム開発システムＯＮＬ
   ○大久保信康、結縁祥治、坂部俊樹、稲垣康善 (名大)

4. 診断テスト生成に基づくラベル付遷移システムのグラフィカル・デバッガ
   ○平手 孝   結縁 祥治   坂部 俊樹  稲垣 康善 (名大)

5. Isomorphism for graphs of bounded distance width.
   ○Koichi Yamazaki(UEC), Hans L. Bodlaender, 
   Babette de Fluiter and Dimitriios M. Thilikos (Utrecht Univ.).

6. 各節点の需要が異なる最小流入点集合配置問題
   伊藤大雄（豊橋技科大）

7. 3次元メッシュ計算機上での無情報ラウティング
   ○ 宮野 英次，岩間 一雄 （九州大）

8. Optimal Fault-tolerant ATM-Routings for Biconnected Graphs
   ○和田幸一＊   陳慰＊  羅予頻＊＊   川口喜三男＊
          ＊名古屋工業大学電気情報工学科
	＊＊Department of Automation, Tsinghua University

9. 星状多角形内の同期式自律分散ロボットの一点集合問題
   ○各務 一彦   陳慰    和田幸一   川口喜三男 (名工大)

10. Universal Prediction and Universal Coding
    鈴木 譲 (阪大)


11. オブジェクト指向データベースにおける型検査問題の計算量
    ○清水 將吾，石原 靖哲，関 浩之，伊藤 実 (奈良先端大）

12. 正則言語による論理関数の計算量解析
    戸田誠之助（日大・文理）

13. Efficient Adder under Left-to-Right Input Arrival
　  Naofumi TAKAGI (Nogoya Univ.), ○Takashi HORIYAMA (Kyoto Univ.)

=============================================================