(参加募集) 第142回プログラミング研究発表会（PRO-2022-4）2023.1.12-13

[Hideyuki Kawabata]

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

広島市立大学の川端と申します．

2023年1月12日（木）〜1月13日（金）に開催の，
「第142回プログラミング研究発表会」の参加募集をさせていただきます．
ハイブリッド開催で，参加費は無料です．

皆様のご参加をお待ちしております．
______________________________________________________
川端＠情報工.広島市大 <kawa...@hiroshima-cu.ac.jp>

　　　　〜　　　　〜　　　　〜　　　　〜

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

日時： 2023年1月12日（木）〜1月13日（金）
会場： 広島市立大学サテライトキャンパス（ハイブリッド開催を予定）
参加費： 無料
プログラム：https://sigpro.ipsj.or.jp/pro2022-4/program/

＊8件の研究発表のほか，1件の招待講演があります．
東京大学の中丸智貴様に
「Fluent API に対する型情報を用いた静的検査」
と題してご講演いただきます．

＊初日（1月12日）の発表会終了後，懇親会を現地開催予定です．
参加方法は研究発表会への参加申し込みをされた方に案内いたします．

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

　　　　〜　　　　〜　　　　〜　　　　〜

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

1月12日(木)

＊セッション1（13:30-15:30）
2022-4-(1)：13:30-14:00（短い発表）
「双側面的自然演繹における余含意の計算的使い道」
○安部 達也 (千葉工業大学人工知能・ソフトウェア技術研究センター), 木村 大輔 (東邦大学理学部情報科学科)
2022-4-(2)：14:00-14:45
「Responsibilities of Responses in Functional Reactive Programming」
○森口 草介, 渡部 卓雄 (東京工業大学情報理工学院)
2022-4-(3)：14:45-15:30
「A Divide-and-Conquer Approach to Synthesizing Bidirectional Programs from Examples」
○Bach Nguyen Trong (National Institute of Informatics), Kanae Tsushima (National Institute of Informatics), Zhenjiang Hu (Peking University)

＊休憩（15:30-15:45）

＊セッション2（15:45-16:45）
招待講演
「Fluent API に対する型情報を用いた静的検査」
○中丸 智貴（東京大学）

＊懇親会 18:30-20:30

1月13日(金)

＊セッション3（9:15-11:30）
2022-4-(4)：9:15-10:00
「Derivatives of Context-Free Grammars with Lookahead」
○宮嵜 貴之, 南出 靖彦 (東京工業大学 情報理工学院)
2022-4-(5)：10:00-10:45
「光るキーボードを用いた写経型プログラミング学習の支援」
○平澤 巧望, 篠埜 功 (芝浦工業大学工学部情報工学科)
2022-4-(6)：10:45-11:30
「Coq to C Translation with Guaranteed Tail Recursion Elimination」
○田中 哲 (国立研究開発法人産業技術総合研究所デジタルアーキテクチャ研究センター)

＊休憩（11:30-13:45）

＊セッション4（13:45-15:00）
2022-4-(7)：13:45-14:15（短い発表）
「合流性に基づく交差式条件付き項書き換えシステムのアンラベリング変換の健全性条件」
青戸 等人, ○長橋 謙 (新潟大学 大学院自然科学研究科)
2022-4-(8)：14:15-15:00
「An S4 exntension of the $\overline\lambda\mu\tilde\mu$-calculus」
○福田 陽介 (京都橘大学工学部情報工学科)

　　　　〜　　　　〜　　　　〜　　　　〜
以上．


______________________________________________________
川端＠情報工.広島市大 <kawa...@hiroshima-cu.ac.jp>