今天上課複習了一些數學，有些記憶竟已模糊，平常太依賴專用類型了 = =