2009/03/23

Quotients

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

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

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

Labels: