第151回プログラミング研究発表会プログラム

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

日程：2024年11月12日（火）〜 11月13日（水）
会場：東京科学大学（旧称 東京工業大学） 大岡山キャンパス 西8号館E棟10階 1004号室 および オンラインのハイブリッド開催
　　　〒152-8550 東京都目黒区大岡山2-12-1
開場：11月12日（火）: 13:00、11月13日（水）: 9:00

  • 西8号館E棟 1004号室への経路：
    • 西8号館の入り口が本館側の入り口だった場合、正面通路すぐの左手にエレベーターがありますので、10階まで上ります（なおこの入り口は3階です）
    • 建物の下をくぐる通路に設置された入り口の場合、入り口突き当たりの右手にエレベーターがありますので、10階まで上ります（この入り口は1階です）
      • ただしE棟ではなくW棟の入り口も正面にあります。こちらは製図室となっているので、おそらく誤って入ることはないと思いますが、こちらからは着きません。
    • 10階につきましたら、通路左手側に1004号室があります（右手に大会議室がありますがこちらではありません）
  • 1件あたり45分（発表25分，質疑・討論20分）（短い発表は発表20分, 質疑・討論10分）
  • ◯印が登壇者です．

11月12日(火)

＊セッション1（14:00-15:45）：座長　森口草介（東京科学大学）
  • 2024-3-(1)：14:00-14:45
    「Functional Reactive Animation with Functions of Time」
    ○Katsuhiro Ueno, Haru Karato (Niigata University)
  • 2024-3-(2)：14:45-15:15（短い発表）
    「重なりのある正則項書き換えシステムの合流性条件」
    ○伊井 亮祐, 青戸 等人 (新潟大学大学院自然科学研究科)
  • 2024-3-(3)：15:15-15:45（短い発表）
    「等式論理の帰納的定理証明のための無限の導出木を持つ証明体系EqID$^¥omega$の提案に向けて」
    ○嶋貫 凌, 青戸 等人 (新潟大学大学院自然科学研究科)
＊2023年度CS領域功績賞・2024年度CS領域奨励賞授与式および拡大運営委員会（15:45-16:15）
＊懇親会 18:00-20:00（予定）

11月13日(水)

＊セッション2（9:30-11:00）：座長　緒方一則（日本IBM）
  • 2024-3-(4)：9:30-10:15
    「プログラミング言語処理系を実装するためのRust上の環境」
    ○中神 悠太 (筑波大学理工情報生命学術院システム情報工学研究群), 中井 央 (筑波大学図書館情報メディア系), 三宮 秀次 (筑波大学システム情報系)
  • 2024-3-(5)：10:15-11:00
    「否定標準回路を用いた問題の計算複雑性の解析」
    ○小林 弘二 (個人)

Last update: 2024-10-25