情報処理学会 プログラミング研究会
第87回 2012-01-23 ~ 2012-01-24 久米島町 イーフ情報プラザ 交流ホール
(87-1) Scala ActorライブラリによるSafe Ambientsフレームワークの実装
岡田翔太，馬谷誠二，林奉行，八杉昌宏，湯淺太一 ()
(87-2) CastOff: Ruby用コンパイラのライブラリとしての実装
芝哲史，笹田耕一，平木敬 ()
(87-3) JNIコーディングの規則違反を検出するための支援ツールの開発
西脇春名，鵜川始陽，馬谷誠二，八杉昌宏，湯淺太一 ()
(87-4) 大容量Javaオブジェクトキャッシュを対象としたGC時間短縮手法の提案
宮田康志，小幡元樹，太田智也，西山博泰 ()
(87-5) テキスト値出現位置に着目したXML文書のスキーマ変換器学習手法
小川順平，粕谷英人，大久保弘崇，山本晋一郎 ()
(87-6) Packrat Parsingを用いたRubyの構文解析
山口大貴，前田敦司，山口喜教 ()
(87-7) 依存条件グラフの解析による制御フロー予測の厳密化
鶴宙史，佐藤周行 ()
(87-8) Reserved member 方式によるメンバーの実行時追加機構の提案
早船総一郎，千葉滋 ()
(87-9) Kide: 開発環境による対話的なモジュール分割と文書作成の支援
金澤圭，堀江倫大，千葉滋 ()
(87-10) 多重Ambient Calculus による物流記述に対する弱双模倣等価性を用いたモデル検査
樋口昌宏，森田哲平，加藤暢 ()
(87-11) Formal proof of Higman’s lemma on Isabelle/HOL
小川瑞史 ()
(87-12) SIMD並列表引き参照命令向けコンパイラ最適化
黒田和宏，安仁屋宗石，鈴木貢 ()