情報処理学会 プログラミング研究会
第103回 2015-03-09 ~ 2015-03-10 産業技術総合研究所 臨海都心センター
(103-1) Webサービスによるソースコード均質化システムの提案
下里 祐介，濱川 礼 (中京大学)
(103-2) A Datatype- and Editing-Operation-Generic Incremental Computation
森畑 明昌 (東京大学)
(103-3) Coqを使ったツリー型ネットワークトポロジ上でのCCNのモデル化と検証について
森嶋 崇，後藤 瑞貴，森口 草介，高橋 和子 (関西学院大学)
(103-4) 定性空間表現のCoqによる形式化およびその平面性の証明
後藤 瑞貴，森口 草介，高橋 和子 (関西学院大学)
(103-5) Refinement type checking via assertion checking
佐藤 亮介，浅田 和之，小林 直樹 (東京大学)
(103-6) Generating Stack-based Access Control Policies
Xin Li (東京大学)，Hua Vy Le Thanh (University of Science - Ho Chi Minh City)
(103-7) Converting XML/DTD to Parsing Expression Grammars
山口 真弥，倉光 君郎 (横浜国立大学)
(103-8) A Declarative Extension of PEGs for Recognizing Context-Sensitive Syntax
松村 哲郎，倉光 君郎 (横浜国立大学)
(103-9) Streaming String Transducerの等価性判定と正規表現による文字列置換への応用
加賀江 優幸，南出 靖彦 (筑波大学)
(103-10) 軽量で抽象度の高い条件付きバリア同期とその実装方法
夏 澄彦，佐藤 芳樹，千葉 滋 (東京大学)
(103-11) 並列分散処理向けプログラミング言語X10向けの対話的にフィルタリング可能なプロファイリングツールの開発
板橋 晟星，佐藤 芳樹，千葉 滋 (東京大学)
(103-12) Java仮想機械向けX10の設計と実装
竹内 幹雄，河内谷 清久仁，小野寺 民也，菅沼 俊夫，鈴村 豊太郎，堀井 洋，牧野 祐己，Salikh Zakirov (日本アイ・ビー・エム(株))，David Cunningham，David Grove，Vijay Saraswat (IBM T. J. Watson Research Center)