情報処理学会 プログラミング研究会
第36回 2001-10-22 ~ 2001-10-23 高知工科大学 K202教室 (特集：理論)
(36-1) 名前呼び環境PCF計算の意味論
須藤 正人 (松下電器産業)，西崎 真也 (東京工業大学)
(36-2) 等式解決のためのコーディネーションシステム
小林 紀郎，Mircea Marin，井田 哲雄 (筑波大学)
(36-3) An Accumulative Extension of List Manipulating Functions and Their Composition
筧 一彦 (早稲田大学/学振特別研究員)，Robert Glueck (科学技術振興事業団)，二村 良彦 (早稲田大学)
(36-4) インタフェースに基づく並行論理プログラム最適化コンパイラの構成法
加藤 紀夫，上田 和紀 (早稲田大学)
(36-5) 最大マーク付け問題の効率的プログラムの自動生成
横山 哲郎，篠埜 功，胡 振江，武市 正人 (東京大学)
(36-6) カテゴリ理論による構文解析アルゴリズムの導出
森本 真一 (NEC航空宇宙システム)
(36-7) 高速なLL(1)構文解析表作成方式
橋本 裕 (東京農工大学)，早川 栄一 (拓殖大学)，吉澤 康文 (東京農工大学)，高橋 延匡 (拓殖大学)
(36-8) ハイブリッドモジュールの詳細化自動検証手法
館 宜伸，山根 智 (金沢大学)
(36-9) 並列ごみ集めの抽象モデル検査の形式的証明
高橋 孝一 (産業技術総合研究所)，萩谷 昌己 (東京大学)
(36-10) ロード時バイナリ変換によるセキュリティポリシーの強制方式
渡部 卓雄，永藤 直行 (東京工業大学)，山田 聖 (北陸先端科学技術大学院大学)
(36-11) ユーザ認証付きDHCPの提案と実装
古森 貞，安藤 広基，齋藤 孝道，武田 正之 (東京理科大学)
(36-12) 束縛のタイミングを考慮した認証プロトコルについて
齋藤 孝道 (東京理科大学)，萩谷 昌己 (東京大学)，溝口 文雄 (東京理科大学)