※重複してお受け取りの場合はご容赦ください．

皆様

第151回プログラミング研究発表会担当、 東京科学大学（旧称東京工業大学）の森口です。

第151回プログラミング研究発表会を、 11/12～11/13に東京科学大学 大岡山キャンパスと オンラインのハイブリッド開催します。 参加費は無料となっております。

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

======= 情報処理学会 第151回プログラミング研究発表会（PRO2024-3）参加募集

https://sigpro.ipsj.or.jp/pro2024-3/

日程：2024年11月12日(火) ～ 11月13日(水) 会場：東京科学大学 大岡山キャンパス 西8号館E棟 10階 1004号室 　　　および オンラインのハイブリッド開催 　　　〒152-8550 東京都目黒区大岡山2-12-1 参加費： 無料 プログラム：https://sigpro.ipsj.or.jp/pro2024-3/program/

＊初日（11月12日）の発表会終了後、現地での懇親会を予定しております。 下記の参加申込ページより11/6（水）中にお申し込みください。 https://sigpro.ipsj.or.jp/pro2024-3/party/

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

=======

11月12日(火)

＊セッション1（14:00-15:45）：座長　未定

2024-3-(1)：14:00-14:45 「Functional Reactive Animation with Functions of Time」 ○Katsuhiro Ueno, Haru Karato (Niigata University)

2024-3-(2)：14:45-15:15（短い発表） 「重なりのある正則項書き換えシステムの合流性条件」 ○伊井 亮祐, 青戸 等人 (新潟大学大学院自然科学研究科)

2024-3-(3)：15:15-15:45（短い発表） 「等式論理の帰納的定理証明のための無限の導出木を持つ証明体系EqID$^¥omega$の提案に向けて」 ○嶋貫 凌, 青戸 等人 (新潟大学大学院自然科学研究科)

＊2023年度CS領域功績賞・2024年度CS領域奨励賞授与式および拡大運営委員会（15:45-16:15）

＊懇親会 18:00-20:00（予定）

11月13日(水)

＊セッション2（9:30-11:00）：座長　未定

2024-3-(4)：9:30-10:15 「プログラミング言語処理系を実装するためのRust上の環境」 ○中神 悠太 (筑波大学理工情報生命学術院システム情報工学研究群), 中井 央 (筑波大学図書館情報メディア系), 三宮 秀次 (筑波大学システム情報系)

2024-3-(5)：10:15-11:00 「否定標準回路を用いた問題の計算複雑性の解析」 ○小林 弘二 (個人)