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

皆様

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

第151回プログラミング研究発表会の開催が来週火曜と 迫っておりますので、リマインドです。 参加される方はマイページより参加登録をお願いします。

また、懇親会の申込期限を今日いっぱいから11/8 (金) 17時に延長しました。 参加を迷われている方がいらっしゃいましたら是非申込をお願いします。

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

======= 情報処理学会 第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/8（金） 17時までにお申し込みください。 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 「否定標準回路を用いた問題の計算複雑性の解析」 ○小林 弘二 (個人)