情報処理学会 プログラミング研究会
第32回 2001-01-22 ~ 2001-01-23 北陸先端科学技術大学院大学 (COMP, SS, CSTと同時/連続開催)
(32-1) オブジェクトコピーによる動的スコープの実装とそのCへの組込
長谷 英明 (滋賀県立大学)
(32-2) オブジェクト指向並列言語OPAのためのコード生成手法
八杉 昌宏，馬谷 誠二，鎌田 十三朗，田畑 悠介，伊藤 智一，小宮 常康，湯淺 太一 (京都大学)
(32-3) BDDを用いた同期アルゴリズムの探索
萩谷 昌己 (東京大学)，高橋 孝一 (電子技術総合研究所)
(32-4) 同期式スペシフィケーション, バリデーション, ベリフイケーション及びテスティング
戸村 茂昭 (ソフトウェア生産技術研究所)
(32-5) An Equational Relation for Typed Ambient Calculus
加藤 暢 (近畿大学)
(32-6) Toward a formalism of real world mobile communication - 携帯電話はどんな型（もどき）を持つか
伊藤 章 (京都大学)，田辺 誠 (さきがけ21)，中島 玲二，林 良生 (京都大学)
(32-7) SchemeにおけるEvaluation Strategyの設計と実装
西村 祥治，湯淺 太一，八杉 昌宏，小宮 常康 (京都大学)
(32-8) ISLISP処理系TISLにおけるネイティブインタフェースの設計および実装
泉 信人，伊藤 貴康 (東北大学)
(32-9) Linear CHAMを用いた型付きλ項の評価
佐藤 伸也，杉本 徹，山田 眞市 (東京理科大学)
(32-10) 型情報を一部明示した環境計算体系
今村 庄一，佐藤 雅彦 (京都大学)
(32-11) 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
永山 友和，佐藤 雅彦，亀山 幸義 (京都大学)