【参加募集】第158回プログラミング研究発表会（オンライン開催）

[Daisuke Kimura]

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

東邦大の木村です。

情報処理学会 第158回プログラミング研究発表会 (PRO-2025-5) 参加募集のご案内です。
下記の通り3/17(火)～3/18(水)にオンライン開催いたします。
参加費は無料です。

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

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

https://sigpro.ipsj.or.jp/pro2025-5/

日程：2025年3月17日(火) ～ 3月18日(水)
会場：オンライン(Zoom)
参加費：無料
プログラム：https://sigpro.ipsj.or.jp/pro2025-5/program/

＊オンライン開催につき，懇親会は予定しておりません。

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

=======
3月17日(火)
＊セッション1 (10:00-11:30)：座長 未定

2025-5-(1)：10:00-10:45
「様々な組合せ子に対する逆書き換えの停止性と合流性」
◯岩見 宗弘 (岩手県立大学)

2025-5-(2)：10:45-11:30
「論理制約付き項書換え系へのパターン完全性判定アルゴリズムの拡張」
◯中村勇翔 (名古屋大学)
西田直樹 (名古屋大学)
小嶋美咲 (名古屋大学)

＊2025年度CS領域功績賞表彰式および拡大運営委員会（13:00-13:30）

＊セッション2 (13:30-14:45)：座長 未定

2025-5-(3)：13:30-14:00 (短い発表)
「大規模言語モデルを用いたRustコードのメモリ最適化タスクにおけるライフタイム可視化の効果の測定」
◯岡本 祐希 (芝浦工業大学)
篠埜 功 (芝浦工業大学)

2025-5-(4)：14:00-14:45
「Iterative Reformulation of Objectives and Constraints for Real-Time Task Mapping and
Scheduling on Multi-core Platforms」
◯Shanwen Wu (Nagoya University)
Yuta Tsukada (ZEROSOFT Co. Ltd.)
Junji Fukuhara (DENSO CORP.)
Satoshi Kumano (DENSO CORP.)
Masato Edahiro (Nagoya University)

＊休憩 (14:45-15:00)
＊セッション3 (15:00-16:30)：座長 未定

2025-5-(5)：15:00-15:45
「MURDLEを対象とした自然言語から論理式への正確な変換手法」
◯佐藤 岳大 (明治大学大学院)
横山 大作 (明治大学)

2025-5-(6)：15:45-16:30
「Rabin-Karp法を用いた可逆多次元配列照合アルゴリズムの設計と実装」
◯倉知 拓磨 (南山大学)
牧野 透也 (南山大学)
横山 哲郎 (南山大学)

3月18日(水)
＊セッション4 (10:00-11:30)：座長 未定

2025-5-(7)：10:00-10:45
「LLM-Based Explainable Detection of LLM-Generated Code in Python Programming Courses」
Jeonghun Baek (The University of Tokyo)
Tetsuro Yamazaki (The University of Tokyo)
〇Akimasa Morihata (The University of Tokyo)
Junichiro Mori (The University of Tokyo)
Yoko Yamakata (The University of Tokyo)
Kenjiro Taura (The University of Tokyo)
Shigeru Chiba (The University of Tokyo)

2025-5-(8)：10:45-11:30
「操作的意味論の適応過程による第二プログラミング言語習得の認知シミュレーション」
◯高野 保真 (北里大学)
野口 敬未 (北里大学)

2025-5-(9)：11:30-12:15
「プログラミング言語処理系におけるエラーメッセージの汎用的な変更手法」
中井 央 (筑波大学図書館情報メディア系)
〇舞田 純一 (筑波大学学術情報メディアセンター)
中神 悠太 (筑波大学理工情報生命学術院システ ム情報工学研究群)