第143回プログラミング研究発表会 (PRO-2022-5) 発表募集

[Hiroshi Unno]

皆様（複数MLに送信しております。重複して受信された方はご容赦ください）

筑波大学の海野と申します。

2023年3月22日（水）〜3月23日（木）に開催される
「第143回プログラミング研究発表会」の参加募集を開始しました。
オンライン開催で、参加費は無料です。

多くの皆様のご参加をお待ちしております。

----

情報処理学会 第143回プログラミング研究発表会（PRO2022-5）参加募集

日時：    2023年3月22日（水）〜3月23日（木）
会場：    オンライン開催
参加費：    無料
プログラム：https://sigpro.ipsj.or.jp/pro2022-5/program/

＊2日目（3月23日）の発表会終了後，懇親会をオンライン開催予定です．
参加方法は研究発表会への参加申し込みをされた方に案内いたします．

＊参加方法：
参加申込を頂いた方にZoomのミーティングへのアクセス方法等をご案内いたします．
参加申込は下記のページからお願いします．
発表会当日も受け付けております．
https://www.ipsj.or.jp/kenkyukai/event/pro143.html

----

プログラム（※ ◯印が登壇者です）

3月22日(水)
＊セッション1（11:00-12:15）

2022-5-(1)：11:00-11:30（短い発表）
「Julia言語を用いた高性能並列実行環境の構築」
○中田 秀基(産総研)

2022-5-(2)：11:30-12:15
「Web開発フレームワークとしてのWebブラウザ上で動作するJVM」
中井 央, ○野牧 樹(筑波大)

＊休憩（12:15-13:30）

＊セッション2（13:30-15:00）

2022-5-(3)：13:30-14:15
「Adaptive PEG Parsing: PEGに基づくバックトラックを用いない構文解析手法」
○森田 大樹, 前田 敦司(筑波大学)

2022-5-(4)：14:15-15:00
「正規表現型とその効率的な包含関係判定とその応用」
○大渕 雄生, 中井 央(筑波大)

＊休憩（15:00-15:15）

＊セッション3（15:15-16:45）

2022-5-(5)：15:15-16:00
「域内トラック輸送の効率化を目的とした Ambient Calculus による 物流シミュレータ」
○鳥山 颯斗, 加藤 暢(近畿大学)

2022-5-(6)：16:00-16:45
「Refinement types for call-by-name programs」
○佐藤 亮介(東大)

3月23日(木)

＊セッション4（11:00-12:30）

2022-5-(7)：11:00-11:45
「OCamlにおけるプレースホルダ式によるアドホック多相の実現」
○伊藤 将希, 今井 敬吾(岐阜大)

2022-5-(8)：11:45-12:30
「Toward Type Debugging Using Partial Evaluation」
○対馬 かなえ(NII), ロバート グリュック(コペンハーゲン大学)

＊休憩（12:30-13:30）

＊セッション5（13:30-15:00）

2022-5-(9)：13:30-14:15
「様々な組合せ子の$\omega$-強頭部正規化可能性の反証」
○岩見 宗弘(島根大学)

2022-5-(10)：14:15-15:00
「構造体をより柔軟に扱うための新たなプログラミング言語の開発」
○横山 航基, 木村 大輔(東邦大学)

2022-5-(11)：15:00-15:30（短い発表）
「小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構」
○横山 陽彦, 森口 草介, 渡部 卓雄(東工大)

＊オンライン懇親会 18:00-20:00

----

--

海野 広志
筑波大学システム情報系情報工学域