情報処理学会 プログラミング研究会
第108回 2016-02-28 ~ 2016-02-29 東京大学 駒場キャンパス 15号館 409号室
(108-1) 関数型と組型がネストした型を持つ変数を含んだ式の自動生成手法
新田祐児 (東北大学大学院情報科学研究科)，上野 雄大，大堀 淳 (東北大学電気通信研究所)
(108-2) コンパイラ実装言語で中間表現データ構造を記述するための言語機構
田畑 憲太 (東北大学大学院情報科学研究科)，上野 雄大，大堀 淳 (東北大学電気通信研究所)
(108-3) 多重Ambient Calculus を用いた海上物流監視システムのための動的経路設定機能
宮井 亜人夢，加藤 暢，樋口 昌宏 (近畿大学大学院総合理工学研究科)，大山 博史 (広島商船高等専門学校)
(108-4) 手続き抽象化機能をもつプログラミング言語による 3D 印刷
金田 泰 (Dasyn)
(108-5) Declaring Constraints on Object-oriented Collections
Tim Felgentreff (Hasso Plattner Institute)，Robert Hirschfeld (Hasso Plattner Institute)，Maria Graber (Hasso Plattner Institute)，Alan Borning (University of Washington)，増原 英彦 (東京工業大学数理・計算科学専攻)
(108-6) Implementing a Putback-based Bidirectional Transformation Language for Relational Databases Using BiGUL
Tao Zan (総合研究大学院大学)，Li Liu (上海交通大学)，Hsiang-Shang Ko (国立情報学研究所)，Zhenjiang Hu (国立情報学研究所，総合研究大学院大学)
(108-7) Let High-level Graph Queries Be Parallel Efficient: An Approach Over Structural Recursion On Pregel
李 翀 (国立情報学研究所)，Le-Duc Tung (総合研究大学院大学)，孟 晓東 (上海交通大学)，胡 振江 (国立情報学研究所，総合研究大学院大学)
(108-8) C＃のためのコンテキスト指向プログラミングとStrategyパターンの比較
上條 弘貴，渡辺 晴美 (東海大学大学院情報通信学研究科)
(108-9) 規則違反コードの構造を反映した木パタンを用いるコード検査器
中村 真也，鵜川 始陽 (高知工科大学)，馬谷 誠二 (京都大学大学院情報学研究科)
(108-10) 有効範囲を既知のコールパスに限定するRuby向けの安全なクラス拡張 Method seals
福室 嶺，千葉 滋 (東京大学大学院情報理工学系研究科)
(108-11) A Polyhedral Framework for X10 Programs
堀江 倫大，竹内 幹雄，河内谷 清久仁 (日本アイ・ビー・エム)