情報処理学会 プログラミング研究会
第79回 2010-06-14 東京工業大学 大岡山キャンパス 西8号館E棟10階 研究科大会議室
(79-1) スタックベースGCの提案とスクリプト言語Luaにおける評価
小室 直，阿部 公輝 (電気通信大学)
(79-2) リフレクティブなグラフ書換え言語REGREL
東 達軌，武田 正之 (東京理科大学)
(79-3) L-Closureを用いた真に末尾再帰的なSchemeインタプリタ
八杉 昌宏 (京都大学)，小島 啓史 (レッドハット)，小宮 常康 (電気通信大学)，平石 拓，馬谷 誠二，湯淺 太一 (京都大学)
(79-4) 構成的理論に基づいたプログラミング言語Zとその実装
新名 庸生，佐藤 雅彦，馬谷 誠二，八杉 昌宏，湯淺 太一 (京都大学)
(79-5) 明示的なα変換を用いたα単一化
山口 文彦，斎藤 博明 (慶應義塾大学)
(79-6) 自然言語による仕様記述の形式モデルへの変換を利用した品質向上手法
大森 洋一，荒木 啓二郎 (九州大学)
(79-7) 量子化と包摂
太田 昌孝 (東京工業大学)