型注釈 (Type Annotation)