湊真一 情報学研究科教授が「2025年度情報処理学会功績賞」を受賞しました