情報処理学会 プログラミング研究会
第4回 1995-11-30 ~ 1995-12-01 諏訪市公民館
(4-1) 強正規化性と PER Model
赤間 陽二 (東京大学)
(4-2) 高階書き換え系の単一正規形性
真野 健，小川 瑞史 (NTT)
(4-3) 項書換えシステムに基づくソフトウェア自動合成システムの実現
友部 実，佐藤 明良，山之内 徹 (日本電気)
(4-4) 並列 GC を備えた並列 Lisp システム
高橋 聡子，前田 敦司，田中 良夫，岩井 輝男，中西 正和 (慶應義塾大学)
(4-5) Indefinite One-Time Continuation
小宮 常康，湯淺 太一 (豊橋技術科学大学)
(4-6) 抽象書換えにもとづく自己反映計算の基礎付け
渡部 卓雄 (北陸先端科学技術大学院大学)
(4-7) ファイブレーションに基づく論理プログラムの意味論
木下 佳樹 (電子技術総合研究所)，John Power (Edinburgh大)
(4-8) 射影空間と再帰領域方程式について
Fer-Jan de Vries (日立製作所)
(4-9) オブジェクト指向データベースにおける質問の型検査問題
石原 靖哲，関 浩之，伊藤 実 (奈良先端科学技術大学院大学)
(4-10) NQTHM を用いたシストリックアレイの検証
高橋 和子，藤田 博 (三菱電機)
(4-11) 副作用を含む関数型プログラムの部分評価に向けて
浅井 健一，増原 英彦，米澤 明憲 (東京大学)