情報処理学会 プログラミング研究会
第1回 1995-06-16 学会会議室芝浦 (SIGPRO第1回)
(1-1) マルチスレッドPAILISPの実行方式
川本 真一，伊藤 貴康 (東北大学)
(1-2) Quick-Handy インタープリタ言語における高速化の実現
出雲 正尚 (神奈川大学)
(1-3) 停止性を保証する汎用様相論理定理証明手続き
檪 粛之 (NTT)
(1-4) ギャップ条件を持つ Kruskal 型定理と停止性
小川 瑞史 (NTT)
(1-5) オブジェクトベースモデルに基づくシミュレーション環境の構築
金子 勇，畠山 正行 (茨城大学)
(1-6) オブジェクト間協調動作表現モデルの提案 -「プロデューサモデル」とその記述言語について-
鵜林 尚靖，久野 靖 (筑波大学)