情報処理学会 プログラミング研究会
第114回 2017-06-08 ~ 2017-06-09 静岡県総合社会福祉会館シズウエル 103会議室
(114-1) マクロ処理の実装に適したパックラットパーサーコンビネーターの設計と実装
今泉 良紀，篠埜 功 (芝浦工業大学大学院)
(114-2) 解析表現文法パーサ向けの生成的ベンチマーク
山口 真弥 (日本電子電話株式会社)，倉光 君郎 (横浜国立大学大学院)
(114-3) 超解像処理におけるAccelerateプログラムのオーバーヘッドとその解消
朝倉 泉，増原 英彦 (東京工業大学)，松本 拓也，松崎 公紀 (高知工科大学)
(114-4) 非線形方程式求根アルゴリズムの宣言的形式言語の設計と実装
嶋吉 隆夫 (九州大学)，天野 晃 (立命館大学)
(114-5) Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear Logic
松岡 聡 (産業技術総合研究所)
(114-6) Safe Low-level Code Generation in Coq using Monomorphization and Monadification
田中 哲，Reynald Affeldt (産業技術総合研究所)，Jacques Garrigue (名古屋大学大学院)
(114-7) ユニケージ開発手法に基づくシェルスクリプトの記述規約と usp Tukubai コマンド
中村 和敬，當仲 寛哲 (有限会社ユニバーサル・シェル・プログラミング研究所)