>>615
size()==0よりもempty()を使えって話になるんじゃないか?