つまり、一日を [0, 24*60) の区間と捉え、休憩時間や作業時間はその部分集合として扱う。区間=図形=集合にしてしまえば休憩時間の差し引きは単純な集合操作になるので、始業時刻・終業時刻が休憩時間内にあるか否かは考えなくて済む。ルベーグ積分の勉強が初めて役立ったな(ルベーグ積分はまだ理解していない)。