Avatar
t.ae 7/5/2018 5:27 AM
emptyかどうかはprecondition入ってます。