CCF NOI比赛用的电脑品牌是什么

请问CCF NOI/NOIP 和CPS-J/S 比赛用的电脑是什么牌子的

是联想吗？