>>8や>>16が言ってるのもおかしい
aが負だったらその場合分けにはならない