html file sizeとは 意味・読み方・使い方

Metrics information (width and height) of a designated character is obtained from an HTML file 100, and an HTML file 110 embedded as a comment 112 is generated, and a size of the character obtained by being replaced with a font (117) for character output (display or print) and that at the time of generation are compared with each other.例文帳に追加

ＨＴＭＬファイル１００から、指定文字のメトリクス情報（幅及び高さ）を求め、コメント１１２として埋め込んだＨＴＭＬファイル１１０を生成し、文字を出力（表示や印刷）するときのフォント（１１７）に置き換えたときの文字の大きさと、作成されたときの大きさとを比較する。 - 特許庁

Average length tables 15 for respective layers store an average data size per piece of vector information for the respective layers and a Web page file 16 is the file of an HTML form required at the time of performing display in the Web browser 21.例文帳に追加

レイヤ別平均長テーブル１５はベクタ情報の１つ当りの平均データサイズをレイヤ別に格納しており、Ｗｅｂページファイル１６はＷｅｂブラウザ２１で表示するとき必要なＨＴＭＬ形式のファイルである。 - 特許庁

On the other hand, the HTML file is read out in the user's terminal, and the files that compose the website are extracted one after another according to the commands in the HTML file. The contents included in each file are shown in the size and location as prescribed on the browser.発音を聞く 例文帳に追加

ユーザーの端末では、まずｈｔｍｌファイルが読み出され、そのｈｔｍｌファイルの記述に従って、そのウェブページを構成する各ファイルが順次展開されて、ディスプレー上の所定の位置に、所定の大きさで、各ファイルに収録された画像等のコンテンツが表示され、このようなプロセスを経て、ウェブページが再現されることになる。 - 経済産業省

A screen control part 60 displays manuals in a weighted order on the basis of the HTML file generated by the hint control part 50 and also displays the manuals while changing the size of characters in accordance with weighting.例文帳に追加

画面制御部６０は、ヒント制御部５０で生成されたＨＴＭＬファイルに基づき、重み付けの順にマニュアルを表示し、かつ重み付けに応じて文字の大きさを変えて表示する。 - 特許庁