式をスマートキャストで囲みます。