- 1件あたり45分（発表25分，質疑・討論20分）（短い発表は発表20分, 質疑・討論10分）
- ◯印が登壇者です．
3月17日(火)
＊セッション1 (10:00-11:30)：座長 TBD
- 2025-5-(1)：10:00-10:45
「非消去かつ非縮退な組合せ子に対する逆書き換えの停止性と合流性」
◯岩見 宗弘 (岩手県立大学) - 2025-5-(2)：10:45-11:30
「論理制約付き項書換え系へのパターン完全性判定アルゴリズムの拡張」
◯中村勇翔 (名古屋大学)
西田直樹 (名古屋大学)
小嶋美咲 (名古屋大学)
＊編集委員会 11:30-13:00
＊2025年度CS領域功績賞表彰式および拡大運営委員会（13:00-13:30）
八杉 昌宏 君
＊セッション2 (13:30-14:45)：座長 TBD
- 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)：座長 TBD
- 2025-5-(5)：15:00-15:45
「MURDLEを対象とした自然言語から論理式への正確な変換手法」
◯佐藤 岳大 (明治大学大学院)
横山 大作 (明治大学) - 2025-5-(6)：15:45-16:30
「Rabin-Karp法を用いた可逆多次元配列照合アルゴリズムの設計と実装」
◯倉知 拓磨 (南山大学)
牧野 透也 (南山大学)
横山 哲郎 (南山大学)
＊編集委員会 16:30-18:00
3月18日(水)
＊セッション4 (10:00-11:30)：座長 TBD
- 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
「プログラミング言語処理系におけるエラーメッセージの汎用的な変更手法」
中井 央 (筑波大学図書館情報メディア系)
〇舞田 純一 (筑波大学学術情報メディアセンター)
中神 悠太 (筑波大学理工情報生命学術院システ ム情報工学研究群)
＊編集委員会 (12:15-13:45)
Last update: 2026-02-27
情報処理学会 プログラミング研究会 