半自明解