TOP > 新着情報 > 情報処理学会より山下記念研究賞を受賞しました。(情報システム学専攻 早乙女献自 D3)

情報処理学会より山下記念研究賞を受賞しました。(情報システム学専攻 早乙女献自 D3)

  1. 受賞日：2026-03-06
  2. 受賞名：山下記念研究賞
  3. 主催団体：情報処理学会
  4. 受賞者の氏名、所属、職名（学年）：
    早乙女献自 (情報システム学専攻 D3)
  5. 受賞対象となった研究のテーマ：
    Cyclic-proof systems for symbolic heaps require cut formulas outside initial signatures
  6. 受賞概要：
    上記論文に関して口頭発表した内容が、山下記念研究賞に選出された。
  7. URL：
    https://www.ipsj.or.jp/award/yamashita2025.html

PAGE TOP