Master.read関数に事後条件を追加
Partクラスのクラス変数からprivateキーワードを削除
Partクラスの関数に事前条件および事後条件を追加