Re:>3 高校卒業程度ではまだブルバキは読めないと思うが。