情報処理学会プログラミング研究会 – 第153回プログラミング研究発表会 – プログラム
日程：2025年3月26日(水) ～ 3月27日(木)
会場：東京大学駒場キャンパス （駒場15号館104室）
〒153-8902 東京都目黒区駒場３丁目８−１
開場：3月26日（水）: 9:30、3月27日（木）: 9:30
- 1件あたり45分（発表25分，質疑・討論20分）
短い発表は発表20分, 質疑・討論10分
3月26日(水)
セッション1（10:00-11:15）[座長] 平石 拓（京都橘大学）
- 2024-5-(2)：10:00-10:45
マイコン用対話的言語処理系 BlueScript のためのメモリ消費量の少ないデータ圧縮手法
渡邉 純一 望月 文香 山﨑 徹郎 千葉 滋（東京大学） - 2024-5-(1)：10:45-11:15（短い発表）
Rustの中間言語HIRのキャッシュを利用したコンパイル時間短縮手法の提案
岡本 祐希 篠埜 功（芝浦工業大学)
⚠️ 発表辞退があったため開始時刻と順番に変更がありました。(2025-03-11)
セッション2（13:00-14:00）[座長] 森畑 明昌（東京大学）
- 若手研究者招待講演
Meta-Tracing JIT コンパイラの可能性: コンパイル方式の融合と多層JITコンパイラの生成
伊澤侑祐（東京都立大学）
セッション3（14:15-15:45）[座長] 安部 達也（千葉工業大学）
- 2024-5-(3) 14:15-15:00
好みを反映した視認性の高いテキストエディタの配色を推薦する手法の提案および実装
吉越 丈 篠埜 功（芝浦工業大学） - 2024-5-(5) 15:00-15:45
Equivalence Relations for the Synchronized Ambient Calculus
加藤 暢（近畿大学）
セッション4（16:00-17:00）[座長] 川端 英之 （広島市立大学）
- 2024-5-(6) 16:00-16:30（短い発表）
段階的計算のための古典時相論理の計算体系
根本 樹 亀山 幸義（筑波大学） - 2024-5-(7) 16:30-17:00（短い発表）
大規模言語モデルは日本特有のコード生成できるのか？
佐藤 美唯 西潟 優羽 小原 有以 伊東 和香 倉光 君郎（日本女子大学）
懇親会 18:30-20:00（予定）
3月27日(木)
セッション5（10:00-12:30）[座長] 海野 広志 （東北大学）
- 2024-5-(8) 10:00-10:45
Introducing Linear Implication Types to λGT for Computing With Incomplete Graphs
佐野 仁 上田 和紀（早稲田大学） - 2024-5-(9) 10:45-11:30
Fork-Joinモデルで記述された細粒度並列プログラムのGPU上での効率的な実行手法の提案
木内 康介 田邉 裕大 増原 英彦（東京科学大）
――短い休憩―― - 2024-5-(10) 11:45-12:30
Incorrectness Separation Logic with Arrays and Pointer Arithmetic
李 淵錫 中澤 巧爾（名古屋大学）
セッション6（14:00-16:15）：座長 倉光君郎（日本女子大学）
- 2024-5-(11) 14:00-14:45
PLAGS UT: 自動評価付きPythonプログラミング課題管理システム
佐藤 重幸（電気通信大学）犬伏 貴之（シャビセンス） - 2024-5-(12) 14:45-15:30
Redexで実装された核言語インタプリタのためのフロントエンドの自動生成
髙畠 悠太 川端 英之 弘中 哲夫（広島市立大学）
――短い休憩―― - 2024-5-(13) 15:45-16:15（短い発表）
第二プログラミング言語習得における認知シミュレーションの実現に向けて
高野 保真（北里大学）
編集委員会（16:25-18:00）
Last update: 2025-03-11
情報処理学会 プログラミング研究会 