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

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

日程：2024年6月13日（木）
会場：オンライン開催

担当：佐藤 重幸（電気通信大学），紙名 哲生（大分大学）
発表申込送信ページ：https://forms.gle/P4qpDTd9PojkHZwz7
問合せ先： ipsj-pro-2024-1-organizer@googlegroups.com

• 発表募集
• 発表申込期限：2024年04月14日（日）28日（日）に延長
• 投稿論文原稿提出締切：2024年05月07日（火）
• 参加申込
  • 参加申込をされた方にZoomミーティングへのアクセス方法をご案内いたします
  • 参加申込は当日も受けつけております
  • 参加費は無料です
• 懇親会
  • オンライン開催．詳細は当日にアナウンスします．

プログラム

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

6月13日（木）

セッション1 (13:00–14:00) [座長：森畑明昌]

招待講演「Rust から広がるソフトウェア検証・テストの新展望」
○松下 祐介（京都大学）

休憩 (14:00–14:15)

セッション2 (14:15–16:15) [座長：佐藤重幸]

2024-1-(1) (14:15–15:00)
「Rustにおけるトレイトの実装の衝突を避けるための新たなトレイト境界の構文の提案」
○岡本 祐希（芝浦工業大学），篠埜 功（芝浦工業大学）

2024-1-(2) (15:00–15:45)
「曲線の定性的扱いと自己交差性の判定」
○高橋 和子（関西学院大学）

2024-1-(3) (15:45–16:15) [短い発表]
「TensorSafeのテンソル形状一致検査方式の有向非巡回グラフモデルへの応用」
○須田 太斗（東京工業大学），田邉 裕大（東京工業大学），増原 英彦（東京工業大学），叢 悠悠（東京工業大学）

懇親会 (18:00–20:00)

Last update: 2024-06-03