ブラウザよりも高速アクセス！
16 関係: 仕様記述言語、マークアップ言語、データ型、データ記述言語、コンピュータ言語、ジェームズ・クラーク (ソフトウェア技術者)、スキマトロン、スキーマ言語、国際電気標準会議、国際標準化機構、Document Type Definition、Extensible Markup Language、Namespace-based Validation Dispatching Language、RELAX NG、Standard Generalized Markup Language、村田真。
仕様記述言語
仕様記述言語（しようきじゅつげんご）は、システムなどの仕様を記述する、コンピュータ言語（すなわち形式言語）である。形式的でない仕様記述もあるが（後述）、そういったものを含めて何らかの主張がされている場合もある。 プログラミング言語がシステムそのものに変換されるのに対し、仕様記述言語は必ずしもシステムに自動変換されるものではなく、あくまで仕様の妥当性を検証することに重きを置いている。ソフトウェア工学における一般的な設計プロセスの位置づけから、多くはプログラミング言語を記述する前段階に記述されることを期待している。 仕様記述と検証の方法について説明する。仕様記述では、何らかのシステムの仕様を論理学的あるいは代数学的に、形式的に記述する（形式仕様記述）。検証では、論理学や代数学に基づき（すなわち「機械的」に）、無矛盾性などといったシステムにおける「好ましい性質」の保証、あるいはデッドロックの可能性があるといった「好ましくない性質」の不存在を保証する（あるいは存在することを示し、修正を促す）。代表的な形式的仕様記述言語としてZ言語やLOTOSなどがある。研究段階では長い歴史を持つが、記述が複雑で高度なスキルを要求する上、システム全体の仕様を全て表現するには膨大な量の記述が必要になる。 また、検証ではない方法もある。たとえば、完全な妥当性は保証できないが、シミュレーションを行うことで、ある限られた場合においての動作を模擬して確かめる方法もある。SpecCはこの立場を取る。プロトタイピングもこの範疇にある。.
新しい！!: 文書スキーマ定義言語と仕様記述言語 · 続きを見る »
マークアップ言語
HTMLへの変換が容易となるだけでなく、高度なクエリの実行が可能となる。 マークアップ言語（マークアップげんご、markup language）は、視覚表現や文章構造などを記述するための形式言語である。テキストファイルであることが多いが、バイナリデータによる形式もある。 “markup”という語は英語圏の出版業界で著者、編集者、印刷者の間で指示を伝える方法を意味していた（語源を参照）。.
新しい！!: 文書スキーマ定義言語とマークアップ言語 · 続きを見る »
データ型
データ型（データがた、）とは、（コンピュータにおける）データ（値）の種類に関する分類である。データタイプとも。 具体的にいうと、たとえば 0, 1, 2, -42 といったような値は整数型であり、"foo", "Hello" といったような値は文字列型である。プログラミングなどにおいて、まずデータオブジェクトや関数などの「値」について、またさらに、それらに関連付け（束縛）される変数や定数、リテラル、それらを組合せる演算子、さらにそれらからなる式といった構文上の要素の型が、データ型の議論の対象となる。.
新しい！!: 文書スキーマ定義言語とデータ型 · 続きを見る »
データ記述言語
データ記述言語（データきじゅつげんご）またはデータ言語とは、コンピュータにおいて扱うデータを記述するための形式言語である。コンピュータ言語の一種だが、プログラミング言語ではない。HTMLに代表されるマークアップ言語などがある。.
新しい！!: 文書スキーマ定義言語とデータ記述言語 · 続きを見る »
コンピュータ言語
ンピュータ言語（コンピュータげんご）とは、コンピュータにおいて用いられる言語の総称である。一般に人工言語で、もっぱら形式言語である（親しみやすさなどの目的で、自然言語風にデザインされることもある）。 プログラムを記述するためのプログラミング言語の一群が最も有名であり、そのため「コンピュータ言語」と「プログラミング言語」は同じ意味で使われることもある。しかし、コンピュータ言語としては他にもハードウェア記述言語や、マークアップ言語のようなデータ記述言語などがあり、それらは「プログラミング言語」ではない。.
新しい！!: 文書スキーマ定義言語とコンピュータ言語 · 続きを見る »
ジェームズ・クラーク (ソフトウェア技術者)
ェームズ・クラーク（James Clark、1964年2月23日 - ）は、タイで活動しているソフトウェア技術者である。SGML/XML 技術、オープンソースなどにおいて、多くの業績がある。W3C (World Wide Web Consortium) の XML ワーキンググループで、技術リーダとして他の人々とともにマークアップ言語 XML1.0 の仕様を設計した。村田真とともにXMLのスキーマ言語、RELAX NGの仕様を設計した。 クラークはイングランド（イギリス）のロンドンで生まれ、Charterhouse（パブリックスクール）で学び、オクスフォード大学の Merton College で数学と哲学を専攻した。1995年にタイのバンコクに移住して現在に至る。 クラークは、2004年11月からタイのソフトウェア産業振興庁 (SIPA; Software Industry Promotion Agency) に勤務している。SIPAでタイにおけるオープンソース技術とオープンな標準技術の振興を仕事としている。また、タイの農村地域での教育を支援する活動を行っている。 クラークは、タイオープンソースソフトウェアセンターという名前の小さな会社を所有している。この会社は、クラークのオープンソースに関わる活動について、法的な側面を取り扱っている。.
新しい！!: 文書スキーマ定義言語とジェームズ・クラーク (ソフトウェア技術者) · 続きを見る »
スキマトロン
マトロン (Schematron) は、XML文書の構造の、XML文書木構造におけるパターンの存在・不存在の表明を記述することにより妥当性を検証する言語である。 スキマトロンは簡潔で強力なXML文書構造の妥当性検証言語である。 スキマトロンにおいてはパターンを記述するためにXPathを使うことが多い。 スキマトロンは文書スキーマ定義言語 (DSDL) の第3部を構成している。 スキマトロンは、DTD、RELAX NG、XML Schemaなどにより記述されたスキーマを補足するスキーマを記述するために、使うことができる。 スキマトロンでは、共通出現制約、非正規制約、文書間制約を、記述することができる。 スキマトロンを開発した Rick Jelliffe は、スキマトロンについて「他のスキーマ言語では手が届かないところに手を届かせることができる羽毛ばたき」と述べている。 スキマトロンは、 として標準化されている。.
新しい！!: 文書スキーマ定義言語とスキマトロン · 続きを見る »
スキーマ言語
ーマ言語（スキーマげんご）とはXMLやSGML等で文書を作成する際、その文書構造を定義する言語を言う。 「スキーマ」とは本来データベースの構造定義であり、関係データベースの場合はテーブルの各項目のデータ型、他のテーブルとの関連性などを定義したものを指す。XML文書等では、同様にXMLで作成された各要素の互いの関連性や個々の文書全体での位置付け等の定義を指す。 本来、文書は構成要素の集合体であるが、一定の構造を持たなければ単なる要素の寄せ集めでしかなく、規則性や体裁といった構造を得て初めて意味のある有用な文書となる。XMLやSGMLは文書の各要素を作成するメタ言語であり、文書構造自体を定義する事はできない為、このままでは扱いにくい。そこで構造を定義する言語が必要となり、開発されたのがスキーマ言語である。 例えば、SGMLではDTDがスキーマ言語として使用されていた。XMLがSGMLから派生した関係からXMLでもDTDが使用されていたが、DTDは文法がXMLと全く異なっている事や、要素のデータ型を定義する事ができない事等から、新たに XML Schema や、RELAX、RELAX NG が開発されている。.
新しい！!: 文書スキーマ定義言語とスキーマ言語 · 続きを見る »
国際電気標準会議
国際電気標準会議（こくさいでんきひょうじゅんかいぎ、International Electrotechnical Commission、IEC）は、電気工学、電子工学、および関連した技術を扱う国際的な標準化団体である。国際規格作成のための規則群(Directives)、規格適合(ISO/IEC 17000シリーズ）、IT技術(ISO/IEC JTC1)など一部は国際標準化機構(ISO)と共同で開発している。公用語は、英語とフランス語。.
新しい！!: 文書スキーマ定義言語と国際電気標準会議 · 続きを見る »
国際標準化機構
国際標準化機構（こくさいひょうじゅんかきこう、International Organization for Standardization）、略称 ISO（アイエスオー、イソ、アイソ）は、各国の国家標準化団体で構成される非政府組織である。 スイス・ジュネーヴに本部を置く、スイス民法による非営利法人である。1947年2月23日に設立された。国際的な標準である国際規格(IS: international standard)を策定している。 国際連合経済社会理事会に総合協議資格(general consultative status)を有する機関に認定された最初の組織の1つである。.
新しい！!: 文書スキーマ定義言語と国際標準化機構 · 続きを見る »
Document Type Definition
Document Type Definition（文書型定義、DTD）とは、マークアップ言語 SGMLおよびXMLにおいて、文書構造（文書型）を定義するためのスキーマ言語の一つである。 DTDでは、SGMLやXMLの文書内に記述することができる要素やその発生順序、発生回数、要素がもつ属性、属性の型などを記述することができる。 他のスキーマ言語と同様に、DTDにおいても、文書構造を厳密に定義することによって、SGMLやXMLの技術を利用する際の、処理の正確性や安全性を高めることができる。SGMLやXMLの文書処理を支援するライブラリの多くは、SGMLやXMLの文書がDTDによる文書構造に従っているかどうかを検証する機能を備えている。 もともとはSGMLのスキーマ言語として開発され、SGMLから派生したXMLにおいても、スキーマ言語として採用されている。例えば、SGMLの応用技術であるHTMLや、XMLの応用技術である XHTMLでは、DTDによって文書構造が定義されている。 現在では、XML技術を利用する場合には、スキーマ言語としてDTDを採用するケースは少なくなる傾向にある。XMLが勧告された後、DTDに対してはいくつかの欠点（XMLの文法とは異なる文法を採用している、XML名前空間に対応していない など）が問題として指摘されてきたためである。そのため、XML技術は広く普及したものの、DTDの欠点が XML技術を柔軟に活用する際の障害の一つとなっていた。 この問題を解決するために、新たなスキーマ言語としてRELAX NGやW3C XML Schemaなどが開発され、それらを採用する事例が増えている。.
新しい！!: 文書スキーマ定義言語とDocument Type Definition · 続きを見る »
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の発音を表している。.
新しい！!: 文書スキーマ定義言語とExtensible Markup Language · 続きを見る »
Namespace-based Validation Dispatching Language
Namespace-based Validation Dispatching Language (NVDL; 名前空間に基づく検証委譲言語) は、複数のXML名前空間を使って記述されたXML文書の妥当性を検証するためのスキーマ言語である。 NVDLは、ISO/IEC 19757 文書スキーマ定義言語 (DSDL) の第4部として標準化されている。 NVDLを構成している技術の大部分は、ジェームズ・クラークが設計した Namespace Routing Language (NRL) に由来する。 またNVDLおよびNRLは、村田真などの人々が設計した RELAX Namespace を源流としている。.
新しい！!: 文書スキーマ定義言語とNamespace-based Validation Dispatching 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部 正規文法に基づく妥当性検証) として策定された。.
新しい！!: 文書スキーマ定義言語と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 が存在する。.
新しい！!: 文書スキーマ定義言語とStandard Generalized Markup Language · 続きを見る »
村田真
村田 真（むらた まこと、1960年 - ）は、日本のソフトウェア技術者である。工学博士。慶応大学政策・メディア研究科特任教授 W3C (World Wide Web Consortium) の XMLワーキンググループで、他のグループメンバーとともにマークアップ言語 XML1.0 の仕様を設計した。また、ジェームズ・クラークとともに XML のスキーマ言語 RELAX NG の仕様を設計した。 村田は北海道旭川市出身であり、1978年に北海道旭川東高等学校、1982年に京都大学理学部を卒業した。1985年に富士ゼロックスに入社した。1993年から1995年の間は、米国ゼロックス社の研究所に滞在し、構造化文書の研究をした。1997年の時点では、村田は富士ゼロックスから富士ゼロックス情報システムに出向していた。 2000年、富士ゼロックスを退社した。同年、国際大学併任研究員と日本IBM東京基礎研究所特別研究員を兼任した。 2008年5月、日本IBMを退社した。 2008年9月現在、村田は国際大学でGLOCOMフェローとして在籍している。 2006年7月、筑波大学システム情報工学研究科で工学博士号を取得。 2009年11月 日本電子出版協会 CTO(技術主任)に就任し、EPUB研究会を主導。 2010年～ 文字情報技術促進協議会(旧「IVS技術促進協議会」) 副会長 2017年～慶応大学政策・メディア研究科特任教授 現在、ISO/IEC JTC1/SC34/WG4(OOXML) コンビーナ.
新しい！!: 文書スキーマ定義言語と村田真 · 続きを見る »
ここにリダイレクトされます：
DSDL、Document Schema Definition Languages、ISO 19757、ISO/IEC 19757、JIS X 4177。
