ブラウザよりも高速アクセス！
14 関係: 仕様記述言語、マークアップ言語、ライブラリ、データ記述言語、コンピュータ言語、スキーマ言語、Extensible HyperText Markup Language、Extensible Markup Language、HyperText Markup Language、RELAX NG、Standard Generalized Markup Language、World Wide Web Consortium、XML Schema、文書型宣言。
仕様記述言語
仕様記述言語（しようきじゅつげんご）は、システムなどの仕様を記述する、コンピュータ言語（すなわち形式言語）である。形式的でない仕様記述もあるが（後述）、そういったものを含めて何らかの主張がされている場合もある。 プログラミング言語がシステムそのものに変換されるのに対し、仕様記述言語は必ずしもシステムに自動変換されるものではなく、あくまで仕様の妥当性を検証することに重きを置いている。ソフトウェア工学における一般的な設計プロセスの位置づけから、多くはプログラミング言語を記述する前段階に記述されることを期待している。 仕様記述と検証の方法について説明する。仕様記述では、何らかのシステムの仕様を論理学的あるいは代数学的に、形式的に記述する（形式仕様記述）。検証では、論理学や代数学に基づき（すなわち「機械的」に）、無矛盾性などといったシステムにおける「好ましい性質」の保証、あるいはデッドロックの可能性があるといった「好ましくない性質」の不存在を保証する（あるいは存在することを示し、修正を促す）。代表的な形式的仕様記述言語としてZ言語やLOTOSなどがある。研究段階では長い歴史を持つが、記述が複雑で高度なスキルを要求する上、システム全体の仕様を全て表現するには膨大な量の記述が必要になる。 また、検証ではない方法もある。たとえば、完全な妥当性は保証できないが、シミュレーションを行うことで、ある限られた場合においての動作を模擬して確かめる方法もある。SpecCはこの立場を取る。プロトタイピングもこの範疇にある。.
新しい！!: Document Type Definitionと仕様記述言語 · 続きを見る »
マークアップ言語
HTMLへの変換が容易となるだけでなく、高度なクエリの実行が可能となる。 マークアップ言語（マークアップげんご、markup language）は、視覚表現や文章構造などを記述するための形式言語である。テキストファイルであることが多いが、バイナリデータによる形式もある。 “markup”という語は英語圏の出版業界で著者、編集者、印刷者の間で指示を伝える方法を意味していた（語源を参照）。.
新しい！!: Document Type Definitionとマークアップ言語 · 続きを見る »
ライブラリ
ライブラリ（）は、汎用性の高い複数のプログラムを再利用可能な形でひとまとまりにしたものである。ライブラリと呼ぶ時は、それ単体ではプログラムとして作動させることはできない実行ファイルではない場合がある。ライブラリは他のプログラムに何らかの機能を提供するコードの集まりと言うことができる。ソースコードの場合と、オブジェクトコード、あるいは専用の形式を用いる場合とがある。たとえば、UNIXのライブラリはオブジェクトコードをarと呼ばれるアーカイバでひとまとめにして利用する。図書館（）と同様にプログラム（算譜）の書庫であるので、索引方法が重要である。 また、ソフトウェア以外の再利用可能なものの集合について使われることもある。.
新しい！!: Document Type Definitionとライブラリ · 続きを見る »
データ記述言語
データ記述言語（データきじゅつげんご）またはデータ言語とは、コンピュータにおいて扱うデータを記述するための形式言語である。コンピュータ言語の一種だが、プログラミング言語ではない。HTMLに代表されるマークアップ言語などがある。.
新しい！!: Document Type Definitionとデータ記述言語 · 続きを見る »
コンピュータ言語
ンピュータ言語（コンピュータげんご）とは、コンピュータにおいて用いられる言語の総称である。一般に人工言語で、もっぱら形式言語である（親しみやすさなどの目的で、自然言語風にデザインされることもある）。 プログラムを記述するためのプログラミング言語の一群が最も有名であり、そのため「コンピュータ言語」と「プログラミング言語」は同じ意味で使われることもある。しかし、コンピュータ言語としては他にもハードウェア記述言語や、マークアップ言語のようなデータ記述言語などがあり、それらは「プログラミング言語」ではない。.
新しい！!: Document Type Definitionとコンピュータ言語 · 続きを見る »
スキーマ言語
ーマ言語（スキーマげんご）とはXMLやSGML等で文書を作成する際、その文書構造を定義する言語を言う。 「スキーマ」とは本来データベースの構造定義であり、関係データベースの場合はテーブルの各項目のデータ型、他のテーブルとの関連性などを定義したものを指す。XML文書等では、同様にXMLで作成された各要素の互いの関連性や個々の文書全体での位置付け等の定義を指す。 本来、文書は構成要素の集合体であるが、一定の構造を持たなければ単なる要素の寄せ集めでしかなく、規則性や体裁といった構造を得て初めて意味のある有用な文書となる。XMLやSGMLは文書の各要素を作成するメタ言語であり、文書構造自体を定義する事はできない為、このままでは扱いにくい。そこで構造を定義する言語が必要となり、開発されたのがスキーマ言語である。 例えば、SGMLではDTDがスキーマ言語として使用されていた。XMLがSGMLから派生した関係からXMLでもDTDが使用されていたが、DTDは文法がXMLと全く異なっている事や、要素のデータ型を定義する事ができない事等から、新たに XML Schema や、RELAX、RELAX NG が開発されている。.
新しい！!: Document Type Definitionとスキーマ言語 · 続きを見る »
Extensible HyperText Markup Language
Extensible HyperText Markup Language（エクステンシブル ハイパーテキスト マークアップ ランゲージ）、略記・略称：XHTML （エックスエイチティーエムエル）は、SGMLで定義されていたHTMLをXMLの文法で定義しなおしたマークアップ言語である。その仕様はHTMLと同じくW3Cによって勧告されている。 XMLを採用したため、MathMLやSVGなど他のXML文書を埋め込むことができるようになった。 なお、「eXtensible HyperText Markup Language の略である」とされることがあるが、これは間違いであり、XはExの発音を表している。.
新しい！!: Document Type DefinitionとExtensible HyperText Markup Language · 続きを見る »
Extensible Markup Language
Extensible Markup Language（エクステンシブル マークアップ ランゲージ）は、基本的な構文規則を共通とすることで、任意の用途向けの言語に拡張することを容易としたことが特徴のマークアップ言語の総称である。一般的にXML（エックスエムエル）と略称で呼ばれる。JISによる訳語は「拡張可能なマーク付け言語」。 SGMLからの移行を目的として開発された。文法はSGMLの構文解析器と互換性を保つようにSGMLのサブセットに定められシンプルになり、機能はSGMLに無いものが追加されている。 XML の仕様は、World Wide Web Consortium (W3C) により策定・勧告されている。1998年2月に XML 1.0 が勧告された。2010年4月現在、XML 1.0 と XML 1.1 の2つのバージョンが勧告されている（#バージョン）。 ちなみに、「eXtensible Markup Language の略である」と書かれることがあるが、これは間違いであり、XはExの発音を表している。.
新しい！!: Document Type DefinitionとExtensible Markup Language · 続きを見る »
HyperText Markup Language
HyperText Markup Language（ハイパーテキスト マークアップ ランゲージ、HTML（エイチティーエムエル））は、ハイパーテキストを記述するためのマークアップ言語の1つである。World Wide Web (WWW)において、ウェブページ（1990年代後半頃からはコンテンツという語も利用されている。「中身」という意味の語であり、大層な意味は無い）を表現するために用いられる。ハイパーリンクや画像等のマルチメディアを埋め込むハイパーテキストとしての機能、見出しや段落といったドキュメントの抽象構造、フォントや文字色の指定などの見た目の指定、などといった機能がある。 2012年7月以降、WHATWG により仕様が作られ、それを元に W3C により勧告が行われるという流れになっている。W3C は、XML ベースの規格である XHTML の勧告も行っている。.
新しい！!: Document Type DefinitionとHyperText Markup Language · 続きを見る »
RELAX NG
RELAX NG （リラクシング、RELAX Next Generation） は、マークアップ言語XMLのスキーマ言語の一つである。RELAX NG で記述されたスキーマは、XML文書の構造と内容のパターンを定義する。RELAX NG で記述されたスキーマは、それ自身がXML文書である。RELAX NG でスキーマをXML文書として記述する方法を、XML構文という。しかし RELAX NG では、スキーマをXML構文ではない簡潔な短縮構文 (Compact Syntax) で記述することもできる。つまり RELAX NG では、XML構文でスキーマを記述しても良いし、短縮構文でスキーマを記述しても良い。RELAX NG は、W3C XML Schema と比べて仕様が簡潔である。RELAX NG は、ジェームズ・クラークと村田真が共同で設計した。2001年12月に、OASISの RELAX NG 技術委員会が、RELAX NG の仕様を標準として策定した。2003年に、ISO/IEC 19757-2 (文書スキーマ定義言語 第2部 正規文法に基づく妥当性検証) として策定された。.
新しい！!: Document Type DefinitionとRELAX NG · 続きを見る »
Standard Generalized Markup Language
Standard Generalized Markup Language（スタンダード ジェネラライズド マークアップ ランゲージ、略：SGML）は、マニュアルなどの文書のためのマークアップ言語である。SGMLとXMLの対応（比較）については、ジェームズ・クラークによる「Comparison of SGML and XML」というタイトルの、1997年12月15日に議論のためにまとめられた（何らかの公式のものではない）ノートがあり、それによればSGML (ISO 8879) とXMLの関係はスーパーセットともサブセットとも結論付けられてはいない。XML 1.0のAppendix CではNon-Normative（参考）として、XMLはSGMLのサブセットとなるべく設計され（designed to be）、全てのXML文書は同時にSGMLにもconforming（準拠）でもあるべき（should）と書かれており、前述のノートを参照せよとされている。国際標準は ISO 8879:1986 であり、対応するJISとして JIS X 4151:1992 が存在する。.
新しい！!: Document Type DefinitionとStandard Generalized Markup Language · 続きを見る »
World Wide Web Consortium
World Wide Web Consortium（ワールド・ワイド・ウェブ・コンソーシアム）は、World Wide Webで使用される各種技術の標準化を推進する為に設立された標準化団体、非営利団体。略称はW3C（ダブリュースリーシー）。 ティム・バーナーズ＝リーが創設し、率いている 。このコンソーシアムには企業や団体が会員として加入し、専任スタッフと共にWorld Wide Webの標準策定を行っている。2014年1月26日現在、388の組織が会員として加入している。 W3Cはまた教育活動も行っており、ソフトウェアを開発してWebに関するオープンな議論の場を提供している。 HTML、XML、MathML、DOM等の規格を勧告。HTMLは、従来IETFでRFCとして標準化されていたが、HTML 3.2以降はW3Cへと引き継がれた。 XHTMLの規格に不満を持った企業等はW3Cに対抗するWHATWGという対抗団体を立ち上げているが、両団体はHTML5の策定にあたって協力関係にあり、WHATWGによって2004年に定められたWeb Applications 1.0にWeb Forms 2.0を取り入れたものがW3Cの専門委員会に採用され、W3Cより2008年1月22日にドラフト（草案）が発表された。.
新しい！!: Document Type DefinitionとWorld Wide Web Consortium · 続きを見る »
XML Schema
XML Schema（XMLスキーマ）は、XML文書の論理的構造を定義する為に開発されたスキーマ言語の一つ。現在、W3Cが開発・標準化にあたっている。 元々XMLのスキーマ言語としてはSGML用のスキーマ言語であるDTDが使われていたが、要素のデータ型が定義できない、文法がXMLと全く異なっている等、XMLでは使いづらい面があった。そこでマイクロソフトの「XML Data」やCommerceOne社の「SOX」等の提案を受けたW3Cが、1998年11月にXML Schemaの仕様策定を始めた。 XML Schema自体がXMLにより記述される仕様となっていること、データ型やXML名前空間の定義が扱えることからDTDよりもXMLに適したスキーマ言語となっている。しかし、複数の業界有力企業が仕様の策定に参加して、各社の思惑が絡み合い、あまりに多くの機能を取り込んだ為に、標準化は難航し、複雑な仕様となってしまっている。.
新しい！!: Document Type DefinitionとXML Schema · 続きを見る »
文書型宣言
文書型宣言（ぶんしょかたせんげん）、DOCTYPE宣言（DOCTYPEせんげん）は、SGMLやXML文書を、文書型定義（DTD）と結びつけるための宣言である。.
新しい！!: Document Type Definitionと文書型宣言 · 続きを見る »
