z3の歴史上の位置づけ.