無有之間

離開台北前換來一隻 MX Revolution，無段滾輪（撥一下就一直轉，而不會一格一格的）的設計非常有趣，而且我又意外發現按一下就可以切換有段和無段，佩服不已。昨天想展示給 Weijin 看，可是怎麼按都換不過去。打開設定畫面才知道「能否切換」是可以用軟體控制的，甚至可以設定成超過某個轉速時自動切換為無段、速率降下來再自動切換回有段，真是太神奇了！

--
然後剛剛我終於看懂怎麼在 distributive category 下面定義 McCarthy conditional form 了！