9.14

照相

致远新生需要去永平路 228 的 “开容照相馆” 照相，我预约在今天 13:30

“开容” 这个名字有些恐怖。我想 “容” 就是脸，那么 “开容” 就是把脸打开，听起来不太阳间。当然了，在百度百科上可以搜索到 “开容” 是一个词语，意思是 “气量宽宏，能接受批评或采纳意见”，可一个照相馆形容自己 “气量宽宏”，那也不对劲。至于这个名字真正寓意为何，就不清楚了

到了照相馆，才知道要穿致远院服——丑蓝色的一件衣服。恰巧有一个男同学刚拍完，大方地把衣服借我穿。后来一起骑车回宿舍楼，才知道是致远理科化学的同学。

拍完，听见老板夸照片帅，心情自然愉悦起来。这种机会是难得的——和平常在照相馆掏钱买照片的模式不同，因为是统一照相，我可没在他这花一分钱，便没有了丝毫利益的考量，只剩下真诚的心！

TAPL 读后感 3

第四章秒了，习题 4.2.2 解答：

exception NoRuleApplies

let rec eval t = match t with
  | v when is_val v -> v
  | TmIf(t1, t2, t3) ->
      let v1 = eval t1 in
      (match v1 with
        | TmTrue -> eval t2
        | TmFalse -> eval t3
        | _ -> raise NoRuleApplies)
  | TmSucc(t1) -> TmSucc(eval t1)
  | TmPred(t1) ->
      let v1 = eval t1 in
        (match v1 with
          | TmZero -> TmZero
          | TmSucc(nv1) -> nv1
          | _ -> raise NoRuleApplies)
  | TmIsZero(t1) ->
        let v1 = eval t1 in
        (match v1 with
          | TmZero -> TmTrue
          | TmSucc(nv1) -> TmFalse
          | _ -> raise NoRuleApplies)
    | _ -> raise NoRuleApplies

然后看了一点第五章：

5.2.1：

n o t = λ b . b f l s t r u

5.2.2：

s c c = λ n . λ s . λ z . n s (s z)

5.2.3：

t i m e s = λ m . λ n . λ s . λ z . m (n s) z

5.2.4：

p o w = λ m . λ n . n m

C++ 复健

ACM 班室友今天去软件学院进行 “第〇次机考”，看了看最难的第三题 2792. Youming的完全立方化，由于很久没做题了，TLE, RE, WA 了无数次才做出来。

题面省流：给定一个正整数 $x$ ，请找到最小的正整数 $y$ ，使得它们的乘积是一个完全立方数。

这东西没考任何算法，基本就是质因数分解模板，这个模板在洛谷上是黄题：B3716 分解质因子 3

绷不住了，写个黄题都那么费劲。上次在洛谷做题是 4.12 ，距今 5 个月。这不到半年时间，C++ 水平就清零了