CheckF[ile filespec 省略可能 チェックポイント機能が有効になっている場合 チェックポイント ファイルに名前を付けます filespec 引数には チェックポイント パスのファイル名とパスを指定します

CheckF[ile] filespec  省略可能。チェックポイント機能が有効になっている場合、チェックポイント ファイルに名前を付けます。 filespec 引数には、チェックポイント パスのファイル名とパスを指定します。