「半日」とは何時間のことか。