不完全配列型に関する仕様を追加