プロパティの型宣言