throw SDE optionalで型分けるんですね