assertによるチェックとログ出力を追加