情報処理学会 プログラミング研究会
第104回 2015-06-04 ~ 2015-06-05 富山県教育文化会館 501会議室
(104-1) 拡張線形ボトムアップ木変換器の関数性の多項式時間判定
石原 鷹，橋本 健二，関 浩之，酒井 正彦 (名古屋大学)
(104-2) D-Bus向けシェル言語の設計と実装
関口 渚，倉光 君郎 (横浜国立大学)
(104-3) Fast, Flexible, and Declarative Construction of Abstract Syntax Trees with PEGs
倉光 君郎 (横浜国立大学)
(104-4) GPGPUのための並行分離論理のCoqによる健全性証明
朝倉 泉，増原 英彦，青谷 知幸 (東京工業大学)
(104-5) 単体テストを用いたチュートリアルの自動生成手法
三上 裕明，五十嵐 健夫，坂本 大介 (東京大学)
(104-6) 関数型言語による高水準なWebアプリケーション開発環境
逢坂 美冬 (東北大学)，菊地 大介 (東北大／日立ソリューションズ東日本)，上野 雄大，大堀 淳，佐々木 加奈子 (東北大学)
(104-7) 関数型言語からキーバリューストアへの型安全なアクセス機構
上野 雄大，大堀 淳 (東北大学)