1.13 各データ型の定義