情報処理学会 プログラミング研究会
第106回 2015-11-05 ~ 2015-11-06 国立情報学研究所（学術総合センター）12階 1208・1210会議室
(106-1) Ruby処理系のコンパイル済みコードの設計
笹田 耕一，松本 行弘 (Heroku, Inc.)
(106-2) 解析表現文法の開発支援のためのデバッガ
本多峻，須藤建，倉光君郎 (横浜国立大学)
(106-3) LogChamber:実行時ログから対応するソースコード箇所を推測するモバイルアプリケーションの開発支援ツール
小野 祐貴，櫻井 孝平，山根 智 (金沢大学)
(106-4) 解析表現文法の決定性有限オートマトン化判定
千田 忠賢，佐藤 正典，倉光 君郎 (横浜国立大学)
(106-5) An Intuitionistic Set-theoretical Model of the Extended Calculus of Constructions
Masahiro Sato，Jacques Garrigue (名古屋大学大学院)
(106-6) On the Size of Deterministic Finite Automata Obtained from XPath Expression
森畑 明昌 (東京大学)
(106-7) TAKAO:高速不揮発メモリ構成下における永続データのためのScalaライブラリ
明畠 利樹，山崎 憲一 (芝浦工業大学大学院)
(106-8) 識別子命名からのオブジェクトの機能分析に基づくプログラム構造変化の類型抽出
山下 大貴 (大阪電気通信大学大学院)，竹内 和広 (大阪電気通信大学)
(106-9) Pythonに対する契約を用いた仕様の記述システム
新井 椋也，岩崎 英哉 (電気通信大学大学院)