情報処理学会 プログラミング研究会
第109回 2016-06-09 ~ 2016-06-10 浜松市福祉交流センター
(109-1) 配列を入力引数とする関数の検証のための分離論理の拡張
水谷 慎之介，西田 直樹，酒井 正彦 (名古屋大学大学院情報科学研究科)
(109-2) Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations
安部 達也，前田 俊行 (千葉工業大学人工知能・ソフトウェア技術研究センター)
(109-3) 蛍光X線ホログラムからの3次元原子像再生のXcalableMPによる並列化
窪田 昌史 (広島市立大学)，松下 智裕 ((公財)高輝度光科学研究センター)，八方 直久 (広島市立大学)
(109-4) 分散メモリ環境における共通アイテム集合を持つ連結部分グラフ抽出の並列化
奥野 伸吾，平石 拓，中島 浩 (京都大学)，八杉 昌宏 (九州工業大学)，瀬々 潤 (産業技術総合研究所)
(109-5) LR構文解析のエラー回復機能を用いたキーワード補完機能の系統的導出
白 楊，篠埜 功 (芝浦工業大学大学院 理工学研究科)
(109-6) 拡張可能な構文解析器生成系による構文エラー処理機能の実装
細田 将大，中井 央，佐藤 聡，新城 靖 (筑波大学)
(109-7) 定理証明器Coqの効率的な有限ドメイン関数ライブラリ
坂口 和彦，亀山 幸義 (筑波大学大学院コンピュータサイエンス専攻)
(109-8) Fast Binary Cauchy Sequence に基づく実数計算の精度区間メモ化による高速化
川端 英之 (広島市立大学)
(109-9) 動的線形ハイブリッドオートマタ: 動的再構成可能システムの仕様記述・検証
柳瀬 龍，酒井 辰典，酒井 誠 (金沢大学自然科学研究科)，山根 智 (金沢大学理工研究域)
(109-10) 変数値域を限定した試行に基づく高次制約問題の充足可能性推定方法の検討
中山 寛己，高野 保真，千代 英一郎 (成蹊大学大学院理工学研究科)