型注釈ってようするに
静的型のことだから