2007年5月15日(火)豆粒のように小さい、というけれど、豆粒ってけっこう大きい。10円玉の厚さ、約1ミリ。1ミリってけっこう厚い。これが誤差だったら、だいぶ。昭和初期はミリ単位の誤差ならOKで、だいたいのものは作られたわけだけど、今はナノだもんね。洋司