# 水平 4

（安：我曾經將以上「平行宇宙」的講法解釋給另外一個朋友（甲）聽，但是講來講去，他也不明白。）

（安：你這個都是一個很有趣的話題。有機會的話，可以再討論「如何得到這個 level？」）

— Me@2010.04.27

# 間時間表

Pure Maths 8

Past papers 22

Timetable for high school study 4

… 如果你有十份功課習作，九份也未交的話，你應該先做哪一份呢？

（LWT：即是先做最新的一份？）

（LWT：有少少印象。）

 3 hours Pure Maths

 30 minutes Pure Maths 30 minutes Pure Maths 30 minutes Pure Maths 30 minutes Pure Maths __________ _________________________ 30 minutes Pure Maths 30 minutes Pure Maths

 30 minutes Pure Maths: Assignment 10 30 minutes Pure Maths: Assignment 10 30 minutes Pure Maths: Assignment 10 30 minutes Pure Maths: Assignment 10 __________ _________________________ 30 minutes Pure Maths: Assignment 2 30 minutes Pure Maths: Assignment 2

— Me@2010.04.26

# Category theory

Categorical logic is now a well-defined field based on type theory for intuitionistic logics, with applications in functional programming and domain theory, where a cartesian closed category is taken as a non-syntactic description of a lambda calculus. At the very least, category theoretic language clarifies what exactly these related areas have in common (in some abstract sense).

— Wikipedia on Category theory

2010.04.27 Tuesday ACHK

# English language

.

In this opposition between falling and rising pitch, which plays a larger role in English than in most other languages, falling pitch conveys certainty and rising pitch uncertainty.

— Wikipedia on English language

.

.

.

2010.04.27 Tuesday $ACHK$