file manipulatorとは 意味・読み方・使い方

If you downloaded the archive file to C:Temp, then it would unpack into C:Tempfoo-1.0;you can use either a archive manipulator with a graphical user interface(such as WinZip) or a command-line tool (such as unzip or pkunzip) to unpack the archive.例文帳に追加

アーカイブファイルを C:Temp にダウンロードしたのなら、(WinZip のような) グラフィカルユーザインタフェースつきのアーカイブ操作ソフトや、 (unzip やpkunzip のような) コマンドラインツールを使ってアーカイブを展開します。 - Python

Furthermore, when generating a sub image to be displayed by operating a manipulator or the like, sub images of source images following a seventh priority such as a source image of a file name "G" or of source image data of high priorities are generated for pages for which sub images are not generated.例文帳に追加

また、操作装置の操作等により表示される副画像を生成する場合、ファイル名「Ｇ」の原画像のような優先順位７位以下の原画像や、優先順位の高い原画像データの副画像を生成していないページについて生成する。 - 特許庁