東大の数学科が駒場祭で環体コレクションしてた．