情報処理学会 プログラミング研究会
第99回 2014-06-19 ~ 2014-06-20 旭川市民文化会館
(99-1) 定理証明支援系Coq上での対話的スタック指向プログラミング
坂口 和彦 (筑波大学)
(99-2) リアクティブシステム仕様の極小強充足不能部分計算に関する考察
萩原 茂樹 (東京工業大学)，江川 直毅 (ソニー・コンピュータエンタテインメント)，島川 昌也，米崎 直樹 (東京工業大学)
(99-3) Cache-conscious Hierarchical Clustering with a Lisp Garbage Collector
八杉 昌宏 (九州工業大学)，湯浅 信吾 ()
(99-4) ゴミ集めの機能を応用した不揮発性メインメモリへの書き込み抑制手法の実装と効率改善
中川 岳，追川 修一 (筑波大学)
(99-5) OCommand : OCaml上の型安全なシェルプログラミングのための領域特化言語の提案
朝倉 泉，増原 英彦，青谷 知幸 (東京工業大学)
(99-6) Esoteric Programming Language Malbolge and Its Low-Level Assembler
酒井 正彦，加藤 起騎 (名古屋大学)