四線道

現在我好像有四條路線要同時前進：

1. Dependent types (type theories in general);
2. Algebra of Programming (functional programming in general);
3. MMIX (computer architecture in general);
4. regular courses.

嗯，我這一個星期太天真了，不能再混了…

--
實行上學期末擬定的計畫吧！