情報処理学会プログラミング研究会 – 第147回プログラミング研究発表会 – プログラム

日程：2024年1月11日（木）〜 1月12日（金）
会場：広島市立大学サテライトキャンパス および オンラインのハイブリッド開催
　　　〒730-0051 広島市中区大手町四丁目１番１号　大手町平和ビル９階
開場：1月11日（木）: 12:30〜、1月12日（金）: 9:30〜

• 1件あたり45分（発表25分，質疑・討論20分）（短い発表は発表20分, 質疑・討論10分）
• ◯印が登壇者です．

1月11日(木)

＊セッション1（13:00-13:45）：座長　森口草介 （東京工業大学）

• 2023-4-(1)：13:00-13:45
  「分散リアクティブプログラミングにおける値更新と干渉しないswitch処理の提案」
  ○上野 颯太, 紙名 哲生 (大分大学)

＊休憩（13:45-14:00）

＊セッション2（14:00-15:00）：座長　平石 拓（京都橘大学）

• 招待講演
  「自動証明と証明付きプログラム変換」
  ○池渕 未来（京都大学）

＊休憩（15:00-15:15）

＊セッション3（15:15-16:45）：座長　佐藤亮介（東京大学）

• 2023-4-(2)：15:15-16:00
  「Semi-Static Typing meets Staged Computation」
  ○Hironmoy Chakraborty, Yukiyoshi Kameyama (Department of Computer Science, University of Tsukuba)

• 2023-4-(3)：16:00-16:45
  「Constant Propagation in CRIL by Bidirectional Data Flow Analysis」
  ○Shunya Oguchi, Shoji Yuen (Nagoya University)

＊懇親会 19:00-21:00

1月12日(金)

＊セッション4（10:00-12:00）：座長　川端英之（広島市立大学）

• 2023-4-(4)：10:00-10:30（短い発表）
  「グローバルなコード再利用のための記号関数グラフによるドメインロジックとプログラミングのモデル化」
  ○髙橋 朋樹 (株式会社Poetics)

• 2023-4-(5)：10:30-11:15
  「大規模言語モデルを活用したエラーメッセージの理解しやすさ向上」
  ○高橋 舞衣, 相馬 菜生, 佐藤 美唯, 倉光 君郎 (日本女子大学理学部数物情報科学科)

• 2023-4-(6)：11:15-12:00
  「模範解答を用いた構造エラー箇所の指摘手法」
  ○中井 亮佑, 紙名 哲生 (大分大学)

Last update: 2023-12-20