東大レゴ部が去年作ったらしい駒場キャンパス模型を初めて見たが、数理棟が入っていない……やはりあそこは駒場キャンパスではなかったのか