「宣言型」って何?