関数定義のときのエラーについて

関数定義の際、その関数がエラーを返すかどうかは「仕様」として予め決める。