1.formula_1は端末特異点しか持たない。