情報処理学会 プログラミング研究会

第22回 1999-01-22 ~ 1999-01-23 岡山大学 (並列分散処理)

(22-1) オブジェクトの世代を考慮にいれたインクリメンタルなごみ集め処理
    小池 龍信,岩井 輝男,中西 正和 (慶應義塾大学)
(22-2) エージェント指向点字図書館システム
    神田 英信,水野 舜 (金沢工業大学)
(22-3) 同期操作を隠蔽した並列プログラミングライブラリの実装と評価
    手塚 忠則 (九州工業大学/松下電器産業),末吉 敏則,有田 五次郎 (九州工業大学)
(22-4) 緩やかな分散オブジェクト連携モデル (Field-Reactor Model) における拡張型契約ネットプロトコル
    岩尾 忠重,岡田 誠,高田 裕志 (富士通研究所)
(22-5) Javaベース広域並列処理環境の構築
    山本 孝 (九州工業大学),手塚 忠則 (九州工業大学/松下電器産業),Bernady Apduhan,有田 五次郎 (九州工業大学)
(22-6) 等価変換パラダイムによる制約充足問題のプログラミング
    繁田 良則,赤間 清,宮本 衛市 (北海道大学)
(22-7) Generating Diagnostic Information for Testing
    結縁 祥治 (名古屋大学)
(22-8) 宣言的プログラムのアンフォールド変換
    赤間 清,繁田 良則,宮本 衛市 (北海道大学)
(22-9) 線型論理からπ計算への変換における等価性の保存
    森 大輔,村上 昌己 (岡山大学)
(22-10) 変数代入構造上の等価変換の基礎理論
    赤間 清,小池 秀勝,宮本 衛市 (北海道大学)
(22-11) 分子計算から見た並行計算
    萩谷 昌己,西川 明男 (東京大学)