docker hubはcodice_13がデフォルトで利用する公開レジストリである。