東大駒場キャンパスに行ったら、「トレーニング体育館」が赤化して「レーニン体育館」になっていました。