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

日程：2023年10月31日（火）〜 11月1日（水）
会場：東京工業大学 大岡山キャンパス 南3号館 2階 201号室 および オンラインのハイブリッド開催
　　　〒152-8550 東京都目黒区大岡山2-12-1
開場：10月31日（火）: 9:30〜、11月1日（水）: 9:00〜

• 南3号館 201号室への経路：
  • 正門を入り、左前方の銀杏並木をまっすぐ進みます（TAKI PLAZAの左側を通る）
  • セブンイレブンの手前で右折します
  • セブンイレブンの入り口前を通過したら、建物に沿って左折します
  • 直進すると右手に南3号館の入り口があります
  • ホール奥の階段（もしくはエレベータ）で2階へ上がってください
  • ホールから廊下に向かって右側奥に進み、右側の部屋です

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

10月31日(火)

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

• 2023-3-(1)：10:00-10:45
  「A Sufficient Condition of Logically Constrained Term Rewrite Systems for Decidability of All-Path Reachability Problems」
  ○小嶋 美咲, 西田 直樹 (名古屋大学)

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

＊セッション2（13:00-14:00）：座長　中野 圭介（東北大学）

• 2023-3-(2)：13:00-13:30（短い発表）
  「項書き換えシステムにおける生成性と局所十分完全性について」
  ○櫻井 爽一, 青戸 等人 (新潟大学)

• 2023-3-(3)：13:30-14:00（短い発表）
  「方向付け不能なホーン節に対する書き換え帰納法」
  ○笠鳥 謙太, 青戸 等人 (新潟大学)

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

＊セッション3（14:15-15:00）：座長　叢 悠悠（東京工業大学）

• 2023-3-(4)：14:15-15:00
  「高性能・高信頼な高水準言語の実装向け持続型例外処理機構の設計」
  ○八杉 昌宏, 江本 健斗 (九州工業大学), 平石 拓 (京都橘大学)

＊CS領域功績賞・CS領域奨励賞授与式および拡大運営委員会（15:00-15:30）

＊懇親会 17:30-19:30（予定）

11月1日(水)

＊セッション4（9:30-11:00）：座長　佐藤 亮介（東京大学）

• 2023-3-(5)：9:30-10:15
  「Synthesis of Bidirectional Programs from Examples with Functional Dependencies」
  ○Bach Nguyen Trong, Kanae Tsushima (SOKENDAI, NII), Zhenjiang Hu (Peking University, NII)

• 2023-3-(6)：10:15-11:00
  「型指向翻訳のための任意に型付けされた高水準中間表現」
  ○柏木 力哉 (慶應義塾大学)

Last update: 2023-10-19