画像をデジタルデータとして記録する際にデータ列の並び方を指示する方式。特定の画像形式で保存されているデータは、その形式に対応したアプリケーションを使用して表示・編集する。
画像形式を大きく分けると、画像を点の集まりとして記録する「ビットマップグラフィックス」と、画像を線や面などの図形の集まりとして記録する「ベクターグラフィックス」の2種類になる。おおむね、インターネット上で使用されているのは処理が簡単なビットマップ、編集中の画像を記録する用途には劣化が起こらないベクター、という住み分けが行われている。
現在インターネット上でよく使用されている画像形式は、PNG、JPEG、GIFの3種類(すべてビットマップ方式)。グラフィックス表示ができるWebブラウザは、これらの画像形式の表示に対応しているため、ブラウザの画面上に画像を表示することができる。 … 続きを読む
この他にも、ローカルマシン上では、BMPやTIFFなどの画像形式が使われているほか、グラフィックスソフトはそれぞれ独自の画像形式を使用して独特の機能に対応するなど、用途に応じて非常に多くの画像形式が使い分けられている。
月収40万円以上のIT派遣のお仕事Ciscoルータ設定 無料体験セミナー開催Excel VBA実践編 「VBAランクUP術」HP効果がいきなり｢倍増｣する12の実務とはサーバ設定を実機で学ぶ！ネットワーク基礎講座プログラマーのお仕事一覧ページ3DCAD エンジニア育成支援セミナー 無料！シーケンス制御育成支援講座組込み技術習得までの道のり電気・電子・精密機器設計とはどんな仕事？正社員エンジニア（特定派遣社員）募集未経験からエンジニアになるチャンス' );
DIB ..られるようになっている。機器に依存しない画像形式である。現在のBMP形式は実際にはそのほとんどがDIB形式である。
EPS ..存することができる。EPSファイルは他の画像形式と同じようにコンピュータ間で送受信したり文書編集ソフトで文書内に貼..
Exif ..像(サムネイル)を記録することができる。画像形式はRGB無圧縮方式やJPEG方式など複数の形式をサポートしている。
MNG アニメーション処理に対応した画像形式の一つ。WWW上で流通する画像フォーマットの標準を目指して開発されたPNGの拡張フォ..
アニメーションGIF 画像形式「GIF」の拡張仕様の一つで、動画を扱う形式。一つのファイルの中に複数のGIF画像を保存し、それらを順に..
ハフマン符号化 ..表的なアルゴリズム。ファイル圧縮ソフトや画像形式など、様々な場面で活用されている。一定ビットごとに文字列を..
ビットマップグラフィックス ..である。主なWebブラウザが対応している画像形式はすべてビットマップグラフィックスを採用しているほか、O..
圧縮 ..圧縮」)という手法が使われることがある。画像形式のJPEGや音声形式のMP3は損失のある圧縮法を採用しており、どの程度の..
DIB Windowsで標準的に利用される画像フォーマット。BMP形式の画像情報とともにカラーパレットを格納することで、どのような環..
Exif 1994年に富士フィルムが提唱したデジタルカメラ用の画像ファイルの規格。JEIDAによって標準化され、各社のデジタルカメラ..
JPEG 静止画像データの圧縮方式の一つ。ISOにより設置された専門家組織の名称がそのまま使われている。圧縮の際に、若干の画質..
JPEG-LS 元の画像の画質をまったく損なわない可逆圧縮が可能な静止画像データの圧縮方式の一つ。写真画像などの圧縮に使われるJ..
LZW特許 Unisys社が保有していた、GIF画像フォーマットなどで利用されているLZW圧縮法に関する特許。現在ではすでに失効している..
MNG アニメーション処理に対応した画像形式の一つ。WWW上で流通する画像フォーマットの標準を目指して開発されたPNGの拡張フォ..
MP3 映像データ圧縮方式のMPEG-1で利用される音声圧縮方式の一つ。最も広く普及している音声圧縮方式の一つ。MP3では他の主要..
OpenDocument ワープロ文書や表計算ソフトのワークシートなど、オフィスソフトの扱う文書ファイルを保存するためのXMLベースのオー..
アニメーションGIF 画像形式「GIF」の拡張仕様の一つで、動画を扱う形式。一つのファイルの中に複数のGIF画像を保存し、それらを順に..
インターレースGIF WWWでよく利用される画像ファイル形式であるGIF形式の拡張仕様の一つ。通常のGIF画像はユーザのコンピュータにダウ..
インポート 他のアプリケーションソフトで作成したファイルを読み込み、データを変換して利用できるようにすること。本来そのソフ..
テキストファイル 文字データだけで構成されたファイル。どんな機種のコンピュータでも共通して利用できる数少ないファイル形式の一つ..
バイナリ テキスト形式(文字データ)以外のデータ形式全般のこと。バイナリ形式のデータをバイナリデータ、バイナリデータで構成さ..
バイナリファイル 専用のアプリケーションソフトで扱うことを前提として、文字コードの範囲などを考慮せずに作成されたファイルのこと..
ファイルコンバータ ある形式で記録されているファイルを、別の形式に変換して記録するソフトウェア。画像の記録方式の変換や、テキス..
プログレッシブJPEG インターネットなどでよく利用される画像ファイル形式であるJPEG形式の拡張仕様の一つ。通常のJPEG画像はユーザの..
画像形式 画像をデジタルデータとして記録する際にデータ列の並び方を指示する方式。特定の画像形式で保存されているデータは、そ..
関連用語は自動でリンクしているため、同音異義語など不適切なリンクが一部ございますがご容赦ください。' );
【 104】引用元 画像形式とは 【image format】 - 意味・解説 ： IT用語辞典
URL： http://e-words.jp/w/E794BBE5838FE5BDA2E5BC8F.html
ソフトウェアの品質向上手段として注目されている形式手法。今回は、厳密な仕様定義を目的とした「形式仕様記述」を中心に、形式手法を分かりやすく解説する。（編集部）
ソフトウェアの品質を確保するため、誰もがレビューとテストを行います。しかし、一般的に行われているレビューやテストにおいて、システムが正しく動作することをどの程度保証できているのでしょうか。優秀なエンジニアによる小規模ソフトウェア開発であれば、設計・テスト・検証における細心の注意とノウハウにより高品質のシステムを実現することが可能です。では、50人を超えるようなチームではどうでしょうか。
ここでは、ソフトウェアの品質と安全性向上のために、「プログラムの正しさ」に関する研究から生まれた「形式手法（Formal Method）」を簡単に紹介します。
形式手法とは、1970年代から始められたプログラム開発手法の1つで、論理学や離散数学などが基礎になっています。プログラムの正しさに関する数学的な証明体系として整理された理論をベースとし、形式仕様記述やモデル検査へと研究対象を発展させてきています。最初は取りあえず、「品質向上のための手法（ツール）」ととらえてもよいでしょう。
形式手法は、システムの大規模化・複雑化から、上流工程での品質改善手段として最近日本でも注目を集めるようになりました。また、海外では規格・標準において形式手法を推奨もしくは必須とするものが現れ、日本企業も真剣に取り組まざるを得ない状況になってきました。
形式手法には多種多様な側面があります。本稿では、形式手法の最も重要な要素である
システムが「仕様」として定義され、これが開発のベースとなる現在の開発スタイルにおいて、仕様作成者の意図を正しくシステムに反映させるには、仕様作成者がシステムを直接開発・検証するか、正しい仕様と対比してシステムを開発・検証する必要があります。しかし、仮に仕様作成者がすべての開発・検証を行ったとしても、仕様自体に矛盾や未定義事項があれば、システムが正しく振る舞うことを保証できません。
ソフトウェアを勉強した人であれば、オートマトンやペトリネットなどの言葉を耳にしたことがあると思います。今日の形式検証技術はこれらの研究を基礎にしています。
一般に、設計したモデルの検証はレビューにより実施されます。しかし複雑なシステムの場合、取り得る状態が莫大になり、すべてのケースを想定することが困難になります。プログラムによる検証においてもC2レベルのカバレッジを実現することは難しく、計算機の性能向上により部分的に実現できるようになったというのが現状です。
形式検証は、プログラムの状態をモデル化することで仕様が正しいことを検証する方法です。通信や並行処理システムにおける複雑な状態を検証する方法として、レビューだけで検証するよりも、ツールによるモデルの自動検証は有効な手段です。
組み込みソフトウェアでは、並列処理において複雑な状態モデルのデッドロック検知などを行う手法が研究されています。モデルが正しく構築されなければ意味を成さない点で、形式仕様記述に比べ扱いが難しいものになっています。
＠ITMONOist トップ組み込み開発フォーラム トップ会議室利用規約プライバシーポリシーサイトマップ
著作権はアイティメディア株式会社またはその記事の筆者に属します。（著作権について）
【 105】引用元 いまさら聞けない 形式手法入門（1/3） − ＠IT MONOist
URL： http://monoist.atmarkit.co.jp/fembedded/special/fm/fm01.html