分解宣言ですべての型を明示的に指定します。