情報科学院 大倉 佑斗さん(修士2年)が一般社団法人情報処理学会の2025年度コンピュータサイエンス領域奨励賞を受賞しました。
受賞日：2025年7月10日
氏名：大倉 佑斗
学年：修士2年
所属：情報科学院 情報科学専攻 情報理工学コース 大規模知識処理研究室
授与団体：一般社団法人情報処理学会
賞名：2025年度コンピュータサイエンス領域奨励賞
受賞論文名，研究題目名または受賞理由：Exact Algorithm for the Boolean Connectivity of k-Horn Formulas via Deterministic PPZ（kホーン式の解空間の連結性判定問題に対する決定性 PPZ アルゴリズムを利用した厳密アルゴリズム）
問い合わせ先：Tel 011-706-6470 / E-mail seto[a]ist.hokudai.ac.jp（脊戸 和寿 准教授）