今年も以下のような次第で、研究会を開催します．
今回は電子情報通信学会
コンピュテーション研究会 および
ソフトウェアサイエンス研究会と連続
開催です．
日 程 平成11年1月22日（金）,23日(土)
会 場 岡山大学 工学部 情報工学科 (岡山市津島中 3-1-1)
(以前の案内から変更になっています．先に御案内した会場の斜向かい
奥の建物です．)
交 通 ＪＲ岡山駅西口より岡電バス
「妙善寺行き」(朝 8:30頃まで) 8分 岡大西門下車 徒歩 5分
又は「理大口行き」(日中) 12分 岡大東門下車 徒歩 0.5分
繁華街方面に宿泊された場合:
岡山駅東口バスターミナル等より岡電バス「妙善寺行き」
岡大東門下車 徒歩 0.5分
連絡先 村上昌己 (岡山大学工学部)
murakami@momo.it.okayama-u.ac.jp
Tel: (086) 251-8180 Fax. (086) 251-8256
議 題 特集：並列・分散処理
22日(金)
13:00-13:45 オブジェクトの世代を考慮にいれたインクリメンタルなゴミ集め処理
小池 龍信 慶應義塾大学大学院 理工学研究科 計算機科学専攻
岩井 輝男 慶應義塾大学大学院 理工学研究科 計算機科学専攻
中西 正和 慶應義塾大学 理工学部 情報工学科
13:45-14:30 エージェント指向点字図書館システム
神田英信 水野舜 金沢工業大学
14:30-15:15 同期操作を隠蔽した並列プログラミングライブラリの実装と評価
手塚 忠則 松下電器産業株式会社 九州マルチメディアシステム研究所
九州工業大学 情報工学部
有田 五次郎 九州工業大学 情報工学部
末吉 敏則 熊本大学 工学部
15:15 -15:30 休憩
15:30-16:15 緩やかな分散オブジェクト連携モデル(Field-Reactor Model)における
拡張型契約ネットプロトコル
岩尾 忠重、 岡田 誠、 高田 裕志 (富士通研究所)
16:15-17:00 Javaベース広域並列処理環境の構築
山本 孝， 九州工業大学情報工学部
手塚 忠則， 九州工業大学情報工学部，
Bernady Apduhan，九州工業大学情報工学部
有田 五次郎， 九州工業大学情報工学部
23日(土)
10:00-10:45 宣言的プログラムのアンフォールド変換
赤間 清 北海道大学
繁田 良則 東芝
宮本 衛市 北海道大学
10:45-11:30 Generating Diagnostic Information for Testing
結縁 祥治 名古屋大学
11:30-12:15 等価変換に基づく制約充足問題のプログラミング
繁田 良則、赤間 清、宮本 衛市 (東芝、北海道大学、北海道大学)
12:15-13:15 昼休み
13:15-14:00 線型論理から$¥pi$計算への変換における等価性の保存
森 大輔 村上 昌己 岡山大学工学部
14:00-14:45 変数代入構造上の等価変換の基礎理論
赤間 清 小池 秀勝 宮本 衛市 北海道大学
14:45-15:30 分子計算から見た並行計算
萩谷 昌己・西川 明男 (東京大学・大学院理学系研究科)