【参加案内】情報処理学会 第134回プログラミング研究会（6/10-11）

[Masahiro Nakao]

# 重複してお受け取りの際はご容赦ください。

理化学研究所の中尾と申します。

情報処理学会 第134回プログラミング研究発表会（PRO-2021-1）の
開催案内をさせていただきます。

どなたでも無料でご参加いただけますが、
参加者の把握のため、下記のURLから参加申込みをお願いします。
https://www.ipsj.or.jp/kenkyukai/event/pro134.html
=================================================================
日程 ：2021年6月10日(木)～11日(金）
会場 ：オンライン（参加申込み後に、ZoomのURLが案内されます）
研究会：https://sigpro.ipsj.or.jp/pro2021-1/
プログラム：
■6月10日(木)
- 10:00-10:45：配列集約ループの実行時情報を用いた漸増化による効率化
松田 知樹, 森畑 明昌 (東京大学)
- 10:45-11:30：高効率でスケーラブルな分散ハイパーグラフ処理系
藤村 柊吾, 佐藤 重幸, 田浦 健次朗 (東京大学)
- 14:45-15:15：Verifying the confluence of rewrite rules in Haskell
ダテ ヤオ フォスタン、浜名 誠（群馬大学）
- 15:15-16:00：プログラム可能なスキーマの共存戦略の実現手法
田中 順平, Van-Dang Tran, 加藤 弘之 (NII), 胡 振江 (NII、北京大学)

■6月11日(金)
- 10:00-10:45：Transformerによる日本語とPythonコード間の機械翻訳
秋信 有花, 小原 百々雅, 縫嶋 慧深, 倉光 君郎 (日本女子大学)
- 10:45-11:30：The Synchronized Ambient Calculus
加藤 暢（近畿大学）、平嶋 洋一（大阪工業大学）
- 13:30-14:15：再帰的ブロック構造を持つ並列プログラムに対する
可逆実行環境 池田 崇志、結縁 祥治（名古屋大学）
- 14:15-15:00：Durable Queue Implementations built on a Formally
Defined Strand Persistency Model 韓 吉新、木村 啓二（早稲田大学）
- 15:00-15:30：プログラミング言語における代数的及び統計的構造のシステム
松永 拓也 (日本大学)

- オンライン懇親会 18:00-19:30

担当：中尾昌広（理研）、紙名哲生（大分大学）
--
Masahiro NAKAO
Email : masahir...@riken.jp
RIKEN Center for Computational Science (R-CCS)