Quotients

代數導論不斷地動用 quotients 構造物件如有理數（field of quotients）和複數（ℝ[x]/(x² + 1)），頻繁程度讓我隱隱感到不安 XD。

今日飲食：中午麻婆豆腐燴飯 + 檸檬汁 @ 7-11（$65）；晚上鍋燒烏龍麵 @ 老爺上菜（$80）+ 巧克力葡萄奶酥 @ 男一麵包店（$14）。合計 $159。

--
反正 XOO 很快就會解掉 quotient types 的問題吧？XD