#10 ?

不動点定理。 f = φ(f) の最小不動点が存在する。
φの最小不動点は ⊔{φ^k(⊥)}_k となる（ように拡張した）。

φ の構成法。
例えば階乗 fact(x) := if x=0 then 1 else x⋅fact(x-1)
は、 F(f) = if x=0 then 1 else x⋅f(x-1)
の不動点である。
このとき最小不動点が fact(x) の意味を与える（あんまりわかってない）