【计算机理论01组】理论积累