次の、厳密な実行可能領域を仮定する:formula_19