半区間展開