初期化済み検査の追加。
引数検査の追加。