5章読んだ。 正直もうきつい。 評価戦略苦手…なんとなく正規順序が括弧の外からで適用順序が中から、としか認識してない…値がラムダ抽象値なのが混乱の元っぽい。 完全ベータ簡約は任意の順序でベータ簡約。簡約基は簡約（できる）基なのね。ベータ簡約って…