ベータ簡約を繰り返し適用するようにした