最近作成された記事

国際標準化機構が定める国際標準一覧 (ISO 14000 から ISO 14999 まで)

ISO 13000番台からISO 15000番台の規格は、環境マネジメント、機械安全、宇宙航行体、溶接、情報技術、医療機器など、多岐にわたる分野を網羅しています。これらの規格は、製品の品質、安全性、環境への配慮、技術的な互換性を確保するために不可欠です。


国際標準化機構が定める国際標準一覧 (ISO 10000 から ISO 10999 まで)

ISO規格10000番台は、情報技術、品質管理、材料試験、製造、医療、環境など多岐にわたる分野の国際標準を網羅しています。これらの規格は、製品やサービスの品質向上、安全性確保、相互運用性の促進を目的としており、各分野の専門家によって詳細に定められています。


取引主体識別子

取引主体識別子(LEI)は、金融取引を行う法人やファンドを特定する国際的な識別コードです。G20と金融安定理事会が導入を決定し、取引の実態把握を効率化します。LEIは指定機関により付番され、GLEIFがグローバルな整合性を確保します。


京都の女の子

研ナオコの4枚目シングル「京都の女の子」は、1972年に発売されたご当地ソング。京都の名所を織り込んだ歌詞と、懐かしいGS風のサウンドが特徴。B面曲「ボーイフレンド」と共に、長らく入手困難だったが、後にCD化され再評価された楽曲。


脳波

脳波は、脳の電気活動を捉える検査で、医療現場や研究で広く用いられます。この記事では、脳波の基本原理から歴史、測定方法、判読、異常波形までを網羅的に解説します。脳波研究の進展がもたらす、医療や技術への応用についても触れています。


HL7

HL7は、医療情報交換のための国際標準規格であり、策定団体も指します。HL7標準とHL7協会を区別し、その起源や規格の詳細、国際的な活動について解説します。


GEヘルスケア・ジャパン

GEヘルスケア・ジャパンは、東京都日野市に拠点を置く医療機器メーカーです。X線撮影装置からMRI、超音波診断装置、麻酔器、生体情報モニタまで幅広い製品を開発・製造しています。その歴史は、ゼネラル・エレクトリックと横河電機の合弁会社設立に始まり、合併と改称を経て現在に至ります。


ビジネスプロセス管理

ビジネスプロセス管理(BPM)は、組織の業務プロセスを最適化するための手法です。プロセスの設計、実行、監視を継続的に行うことで、業務効率の向上やコスト削減を目指します。BPMシステムを活用することで、データに基づいた意思決定が可能になり、変化に強い組織作りを支援します。


ビジネスプロセスモデリング

ビジネスプロセスモデリングは、業務プロセスを分析・改善する活動です。業務効率化や品質向上を目的とし、ビジネスモデル、プロセス、ツール、関連技術など多岐にわたる要素を含みます。本稿では、その歴史から手法、関連技術までを包括的に解説します。


XML Process Definition Language

XPDLは、ワークフロー製品間でビジネスプロセス定義を交換するための標準XML形式です。WfMCによって策定され、プロセスの視覚的な表現もXMLで記述できる点が特徴です。BPELとは異なり、図としての情報も保持します。ワークフローの自動化に不可欠な要素を包括的に定義し、その歴史と関連技術についても解説します。


BPEL

BPEL(Business Process Execution Language)は、ビジネスプロセスをモデル化し実行するための言語です。XMLベースで大規模プログラミングの概念を実現しますが、特定のセマンティックや構造要素を持たないため、他の言語や拡張機能との併用が一般的です。この記事では、BPELの起源、目的、設計目標、言語仕様、歴史、BPMNとの関係などを詳しく解説します。


ドイツ工業規格の一覧

ドイツ工業規格の一覧は、ドイツで制定された工業規格をまとめたものです。これらの規格は、製品の品質、安全性、互換性を保証するために重要な役割を果たしています。


DIN 1451

DIN 1451は、ドイツ規格協会が1931年に制定したサンセリフ書体です。公共交通機関の案内表示やソフトウェアなど、幅広い分野で使用されています。その歴史的背景、特徴、そして具体的な使用例について詳しく解説します。


概念地図

概念地図は、知識を視覚的に表現するツールです。概念間の関係を矢印で結び、階層構造で示すことで、複雑な情報を整理し理解を深めます。教育からビジネスまで幅広く活用され、アイデア創出や知識共有に役立ちます。


意味ネットワーク

意味ネットワークは、概念間の関係性を表現するモデルであり、知識表現に広く利用されます。有向グラフや無向グラフで概念と関係性を視覚化し、人間の記憶構造を模倣します。その歴史、基礎、応用について解説します。


情報アーキテクチャ

情報アーキテクチャは、情報を効果的に伝え、ユーザーが求める情報を見つけやすくするための技術とデザイン分野です。ウェブサイトからデータベース設計、紙媒体まで幅広く適用され、その専門家は情報アーキテクトと呼ばれます。図書館情報学をルーツとし、UI/UXデザインにも不可欠な概念です。


参照 (計算機科学)

参照とは、データそのものではなく、データが格納されている場所を示す情報を持つオブジェクトです。住所のように、実際のデータへのアクセスを可能にする役割を担います。参照の仕組みや利点、プログラミング言語での扱いについて詳しく解説します。


ファインダビリティ

ファインダビリティとは、情報やオブジェクトの「見つけやすさ」を指す概念です。Webに限らず普遍的な重要性を持ち、情報アーキテクチャの目標の一つですが、ユーザビリティなど他の要素も考慮する必要があります。


ナレッジマネジメント

ナレッジマネジメントは、企業が持つ情報や個人の経験などの知的資産を共有し、創造的な仕事につなげる経営手法です。暗黙知を形式知に変え、組織全体の知識向上を目指します。SECIモデルやデータマイニングなどの具体的な手法も用いられます。


ジオタギング

ジオタギングは、写真や動画などのメディアに地理情報を付加する技術です。位置情報に基づいた検索や情報提供を可能にし、SNSでの共有やブログでの活用が広がっています。しかし、プライバシーやセキュリティ上のリスクも伴うため、注意が必要です。


オントロジー (情報科学)

情報学におけるオントロジーについて解説します。オントロジーは、知識を概念とその関係として形式的に表現し、ドメイン内の実体を記述・推論するために利用されます。この記事では、オントロジーの基本概念、歴史的背景、構成要素、種類、工学、言語、ライブラリ、応用例について詳しく解説します。


オントロジー

オントロジーは、哲学における存在論から、情報科学における概念の明示的な仕様、生物学における遺伝子オントロジーまで、多岐にわたる分野で用いられる用語です。それぞれの分野で異なる意味合いを持ちながらも、共通して「存在」や「概念」を捉えようとする試みであると言えるでしょう。


JSON-LD

-LDは、をベースにLinked Dataを表現する技術です。既存のデータを容易に-LDへ変換できるよう設計されており、RDFデータモデルとの連携を可能にします。W3Cによって標準化され、多様な分野で活用されています。


HCard

hCardは、人物、企業、場所などの連絡先情報をウェブ上で表現するためのマイクロフォーマットです。HTMLのクラス属性とrel属性を利用し、vCardのプロパティと値を記述します。検索エンジンやブラウザのプラグインに対応し、アドレス帳への読み込みも可能です。


HCalendar

hCalendarは、Webページ上でイベント情報を記述するためのマイクロフォーマットです。HTMLのクラスや属性を利用し、イベントの詳細を抽出、表示、検索できます。カレンダーアプリへの読み込みやタイムライン表示も可能です。開始・終了日時や場所などを記述し、アクセシビリティへの配慮も重要です。


Friend of a Friend

Friend of a Friend (FOAF)は、RDFを用いて人の情報を記述し、コンピュータによる情報分析を容易にするプロジェクトです。人のつながりを基盤とし、セマンティックウェブの一形態として注目されています。FOAFを活用することで、興味関心による検索や、人脈の広がりを可視化できます。


公開審査

公開審査とは、審議の過程を公開する形式の審査を指します。建築や芸術分野のコンペティション、作品の優劣を競うコンクール、国際規格策定におけるパブリックレビューなど、幅広い分野で実施されます。審査員だけでなく、学識者や一般傍聴者も参加し、多角的な視点から評価が行われます。


FIPS 140

FIPS 140は、アメリカ連邦政府が定める暗号モジュールに関するセキュリティ基準です。モジュールの信頼性を確保するため、ハードウェアとソフトウェアの両面から詳細な要件を規定しています。本稿では、FIPS 140の概要、目的、セキュリティレベル、要件範囲、歴史について解説します。


カメラ映像機器工業会

一般社団法人カメラ映像機器工業会(CIPA)は、カメラメーカーが加盟する団体で、日本写真機工業会の後継として設立されました。カメラ関連の標準化活動を推進しており、ExifやPictBridgeなどの規格策定に貢献しています。


DCF

DCFという言葉は複数の意味を持ちます。資産価値評価法、ファイルシステム規格、着信音の拡張子、空港コード、文書管理ソフト、医療データベースなど、多岐にわたる分野で使われています。


素朴集合論

素朴集合論は、形式論理を用いず自然言語で集合を定義する数学の基礎理論です。ベン図やブール代数など、集合の直感的な側面を扱い、現代数学における集合論の概念を日常的に扱うのに十分です。一方で、ラッセルのパラドックスのような矛盾も抱えており、より厳密な公理的集合論への足がかりとなる理論です。


バートランド・メイヤー

バートランド・メイヤーは、オブジェクト指向プログラミングの先駆者であり、Eiffel言語の開発者として知られています。ソフトウェア工学における「契約による設計」の提唱者であり、数々の著書を通じてオブジェクト指向の普及に貢献しました。彼の理論と実践は、現代のソフトウェア開発に大きな影響を与え続けています。


VDM

VDM(Vienna Development Method)は、IBMウィーン研究所で開発された形式手法で、仕様記述言語VDM-SLはISO標準です。オブジェクト指向拡張のVDM++も存在し、モデリングツールが利用可能です。


B-Method

B-Methodは、AMNという形式記述言語を核とする形式手法に基づくソフトウェア開発手法です。ヨーロッパの大規模システムで利用され、堅牢なツール群による仕様記述、設計、検証、コード生成を特徴とします。Z言語よりも詳細化に重点を置いています。


属性 (データベース)

リレーショナルモデルにおける属性(attribute)は、データ構造の基本要素です。属性は、データ型を意味する定義域と対応し、具体的な値を持つことで情報を表現します。SQLでは列(カラム)とほぼ同義で使われ、組(タプル、行)や関係(リレーション、表、テーブル)を構成する重要な要素です。関係代数やSQLにおける操作の基本単位としても機能します。


ユースケース図

ユースケース図は、UMLで定義される図の一つで、システムに対する要件を明確にするために用いられます。システムの利用者(アクタ)と、彼らがシステムに対して行う操作(ユースケース)を視覚的に表現し、要求定義に役立ちます。


パッケージ図

UMLのパッケージ図は、システムを論理的にグループ化し、依存関係を視覚化する図です。クラス図の一部として、システムの構造を把握し、開発を効率化するために利用されます。パッケージは、ディレクトリ構造のように表現され、システムを階層的に分割するのに役立ちます。


ジェームズ・ランボー

ジェームズ・ランボーは、オブジェクト指向ソフトウェア工学の分野で著名なアメリカのソフトウェア技術者です。OMT、UML、Unified Processの開発に貢献し、特にモデリング分野でその功績が広く知られています。スリーアミーゴスの一人としても知られ、ソフトウェア開発の発展に大きな影響を与えました。


コンポーネント図

UMLのコンポーネント図は、ソフトウェアシステムの構造を部品とそのインターフェース、依存関係で示す図です。物理的な構成要素を表現し、システム全体を把握するのに役立ちます。UML2.0で大幅に改訂され、より詳細な表現が可能になりました。


オブジェクト指向モデリング

オブジェクト指向モデリングは、システム設計にオブジェクト指向の概念を取り入れた手法です。複雑な問題をオブジェクトの集合として捉え、クラスという設計図に基づき、属性とメソッドを持つオブジェクトを定義します。UMLにより標準化が進んでいます。


オブジェクト図

UMLのオブジェクト図は、特定の時点におけるシステムの構造を視覚化する図です。クラス図のインスタンスであり、オブジェクトと属性、それらの間のリンクに焦点を当てます。システムの状態のスナップショットを示し、データ構造の例示やクラス図のテストケースとして活用されます。インスタンス仕様やリンクなどの要素で構成され、時間経過に伴うシステムの進化を理解するのに役立ちます。


イヴァー・ヤコブソン

イヴァー・ヤコブソンは、スウェーデン出身のコンピュータ科学者であり、ソフトウェア工学、特にオブジェクト指向ソフトウェア開発の分野で多大な貢献をしました。OOSE、UML、Unified Processの開発者として知られ、ソフトウェア開発手法の標準化に大きな影響を与えました。


アクティビティ図

UMLのアクティビティ図は、ビジネスプロセスやプログラムの制御フローを視覚的に表現する図です。フローチャートに似ていますが、並行処理やデータフローも記述できる点が特徴です。ソフトウェア開発だけでなく、業務プロセスの可視化にも役立ちます。


Eclipse Modeling Framework

Eclipse Modeling Framework (EMF)は、構造化データモデルに基づくモデリングフレームワークです。コード生成ツールとして、アプリケーションやツール開発を支援します。XMIモデルからJavaコードやエディタを生成し、相互運用性の基盤を提供します。


衝突 (計算機科学)

ハッシュ関数における衝突とは、異なるデータから生成されたハッシュ値が同じになる現象です。この現象は、データの一意性を損なうため、多くの場面で問題となります。しかし、特定の用途では意図的に衝突を発生させる場合もあります。本記事では、衝突が起こる原理や、その影響、具体的な対策について詳しく解説します。


差分解読法

差分解読法は、ブロック暗号の解読に用いられる手法で、入力差分と出力差分の関係を分析し、暗号の脆弱性を発見します。この手法はDESの設計にも影響を与え、現代の暗号設計において重要な要素となっています。


子持ち銀河

子持ち銀河は、りょうけん座に位置する美しい渦巻銀河で、伴銀河との相互作用が特徴的です。その独特な形状と構造は、多くの天文学者やアマチュア観測者を魅了し続けています。10万光年の直径を持ち、M51銀河群の一員としても知られています。


原像攻撃

暗号理論における原像攻撃は、特定のハッシュ値を持つメッセージを探す攻撃です。第一原像攻撃と第二原像攻撃の2種類があり、それぞれ異なる目標を持ちます。攻撃の難易度や衝突攻撃との違いについても解説します。


レインボーテーブル

レインボーテーブルは、ハッシュ値から元の平文を効率的に復元する技術です。時間と空間のトレードオフを利用し、総当たり攻撃よりも高速にパスワード解析を行います。その仕組みや利点、弱点について詳細に解説します。


フィンセント・ライメン

フィンセント・ライメンは、ベルギー出身の著名な暗号学者であり、AES(Advanced Encryption Standard)に採用されたRijndael暗号の開発者の一人です。彼はまた、複数の暗号学的ハッシュ関数やブロック暗号の開発にも関与し、暗号技術の進歩に大きく貢献しました。


ソルト (暗号)

ソルトは、パスワードを安全に保管するための重要な技術です。パスワードをハッシュ化する際にランダムなデータを追加することで、辞書攻撃やレインボーテーブル攻撃への対策となります。この記事では、ソルトの仕組み、利点、誤用例、そして具体的な実装について詳しく解説します。


Yescrypt

yescryptは、Fedora、Debian、Ubuntu、Arch Linuxといった主要なLinuxディストリビューションで採用されている、パスワードハッシュのための鍵導出関数です。これは、オフラインでのパスワードクラック攻撃への耐性を強化するために設計されており、SHA-512よりも高いセキュリティを提供します。また、yescryptは、scryptを基盤として開発されています。


Sボックス

Sボックスは、共通鍵暗号における重要な要素で、平文と暗号文の相関を複雑にする役割を担います。DESやAESなどの暗号で使われ、その設計は暗号強度に大きく影響します。差分解読法や線形解読法への耐性が求められるため、慎重な設計が必要です。


Square (暗号)

Squareは、ホァン・ダーメンとフィンセント・ライメンによって設計された128ビットブロック暗号です。1997年に発表され、AESの選定に影響を与えたRijndaelの前身としても知られています。また、Square攻撃という新しい暗号解読法と共に発表されました。


SHA-2

SHA-2は、SHA-1を改良した暗号学的ハッシュ関数であり、米国国家安全保障局が設計しました。複数のバリエーションを持ち、ハッシュ長も異なります。安全性が高く、様々なプロトコルやアプリケーションで広く利用されています。SHA-3の登場後も、その重要性は変わっていません。


RadioGatún

RadioGatúnは、Guido Bertoniらによって開発された暗号ハッシュ関数です。複数のバリエーションを持ち、ハッシュ関数やストリーム暗号として利用可能です。開発チームは後にSHA-3アルゴリズムを開発しました。安全性と攻撃実験に関する詳細な情報も含まれています。


RIPEMD

RIPEMDは、ベルギーの大学で開発された暗号学的ハッシュ関数です。MD4を基に設計され、SHA-1と同等の性能を持ちます。オープンな開発が特徴で、RIPEMD-160が最も普及しています。ハッシュ長が異なる複数の変種が存在します。


Poly1305

Poly1305は、データ完全性検証と認証に用いられるメッセージ認証符号です。ダニエル・バーンスタインによって設計され、RFC 7539で標準化されています。高速な計算が可能で、多様な暗号ライブラリでサポートされています。


MD4

MD4は、1990年にロナルド・リベストによって開発されたハッシュ関数です。128ビットのハッシュ値を生成し、暗号ハッシュ関数の実装に利用されました。SHAやRIPEMDなど、後のハッシュ関数に大きな影響を与えた一方、脆弱性が発見されています。


MD2

MD2は、ロナルド・リベストによって1989年に開発されたハッシュ関数です。8ビットコンピュータ向けに最適化され、RFC 1319で仕様が定義されています。安全性に問題が指摘されていますが、一部のシステムで利用が継続されています。


LMハッシュ

LMハッシュは、かつてWindowsでパスワードを保存するために使われたハッシュ関数ですが、脆弱性が多く、現在は推奨されていません。その仕組み、脆弱性、対策、そしてサードパーティでの実装状況について解説します。


HMAC

HMAC(Hash-based Message Authentication Code)は、秘密鍵とメッセージ、ハッシュ関数を組み合わせたメッセージ認証符号です。データの改ざんを検出し、送信者が鍵を共有していることを保証します。RFC 2104で規定され、FIPS PUB 198にも採用されています。


Counter with CBC-MAC

CCMモードは、ブロック暗号の暗号利用モードの一つで、認証付き暗号として機能します。CTRモードを基盤とし、暗号化と認証を同時に行うことが可能です。特許問題のない代替アルゴリズムとして、IEEE 802.11iなどで採用されています。


CMAC

CMACは、ブロック暗号を基盤とするメッセージ認証符号アルゴリズムで、データ認証と機密性保証に利用されます。CBC-MACのセキュリティ上の弱点を克服し、固定長以外のメッセージにも安全に対応できます。鍵生成とタグ生成プロセス、検証プロセスを詳細に解説します。


CBC-MAC

CBC-MACはブロック暗号を基盤とするメッセージ認証コード生成法です。固定長メッセージには有効ですが、可変長メッセージには脆弱性があります。この記事では、その仕組み、脆弱性、および安全な利用法について詳しく解説します。


Bcrypt

bcryptは、Blowfish暗号を基盤としたパスワードハッシュ関数です。ソルトを組み込み、ブルートフォース攻撃への耐性を高めるため、反復回数を調整可能です。様々な言語で実装され、多くのシステムで利用されています。


BLAKE

BLAKEは、SHA-3の候補として提案された暗号学的ハッシュ関数で、ChaChaをベースにしています。BLAKE-256, BLAKE-512など複数のバリエーションがあり、それぞれ異なるハッシュ長を出力します。BLAKE2、BLAKE3と進化を続けています。


埋め込みSQL

埋め込みSQLは、プログラミング言語にSQLを組み込む手法です。これにより、データベース操作を直接コード内に記述できます。様々な言語とデータベースで利用され、SQLプリプロセッサによる前処理が特徴です。


ネスティング

プログラミングにおけるネスティングとは、制御構造、データ構造、副プログラムなどが、まるで入れ子のように、再帰的に記述される構造を指します。この記事では、C言語風の擬似コードを例に、ネスティングの概念を詳細に解説します。ネスト構造の基本から、制御構造、データ構造、副プログラム、名前空間における具体的な例、注意点までを網羅的に説明します。


TREX

TREXは、XMLのスキーマ言語であり、XML文書自体でスキーマを記述します。W3C XML Schemaよりも簡潔で、RELAX NGの基礎となりました。この記事では、TREXの概要、記述例、実装、関連技術について解説します。


プリミティブ

「プリミティブ」は、原始的、未発達といった意味を持つ言葉で、コンピュータ分野では基本的な要素を指します。型理論、グラフィックス、並行処理など、多岐にわたる分野で重要な役割を果たしています。この記事では、プリミティブの多様な意味と応用について詳しく解説します。


フォンシェーディング

フォンシェーディングは、3Dグラフィックスにおける陰影計算の補間技術で、ピクセル単位で法線ベクトルを補間し、滑らかな陰影を実現します。グーローシェーディングよりも高品質ですが、計算コストが高いのが特徴です。


変換言語

変換言語は、入力されたデータ内のパターンを検出し、それを別の形式に置き換えたり、意味を保持したまま異なるフォーマットに変換する専用の言語です。多くはルールベースで動作し、マクロ言語としても知られています。


モデル変換

モデル駆動工学におけるモデル変換は、モデル間の整合性を保つ自動化手法です。モデルの構築と修正を効率化し、成果物の品質向上に貢献します。変換の種類や分類、変換言語について詳しく解説します。


モデルベーステスト

モデルベーステストは、システムモデルからテストケースを導出するソフトウェアテスト手法です。抽象的なモデルからテストを生成し、自動化を促進します。様々なモデル化手法とテスト導出アルゴリズムが利用され、複雑なシステムテストに対応します。


ドメイン固有モデリング

ドメイン固有モデリング(DSM)は、特定の分野に特化したシステム開発手法です。汎用的なモデリング言語よりも抽象度が高く、開発効率の向上や品質向上に貢献します。この記事では、DSMの概要から、ツールサポート、UMLとの比較、言語定義までを詳細に解説します。


グレムリン (プログラミング言語)

グレムリンは、Apache TinkerPopが開発したグラフデータベース操作のためのプログラミング言語です。多対多の関係を表現するグラフ作成に優れており、MongoDBなどのドキュメントグラフを扱うことができます。将来的にはCouchDBやTerracottaへの対応も予定されています。


オブジェクト指向分析設計

オブジェクト指向分析設計(OOAD)は、ソフトウェアをオブジェクトの相互作用としてモデル化する開発手法です。分析(OOA)と設計(OOD)の工程があり、UMLなどの記法を用いてシステムを構築します。オブジェクト指向の概念や開発方法論についても詳しく解説します。


インテンショナルプログラミング

インテンショナルプログラミングは、開発者の意図を明確にするプログラミング手法です。ソースコードをメタ構造化し、意味レベルでの抽象化を可能にすることで、可読性と保守性を向上させます。この手法は、コードの理解を深め、大規模な開発における効率化を目指します。


QUEL

QUELは、関係データベースを操作するための問い合わせ言語で、SQLと多くの類似点があります。カリフォルニア大学バークレー校で開発され、ALPHAに基づいています。短い期間でしたが、多くのRDBMSで採用されました。SQLとは異なり、すべての命令が統一された形式を持つことが特徴です。


Molecular Query Language

分子クエリ言語(MQL)は、化学情報学における検索手法の一つです。SMARTSよりも詳細な検索が可能で、原子の空間的・物理化学的性質や、原子を用いない表現も扱えます。JavaCCを用いたEBNFに基づいたクエリ言語です。


MDX (問い合わせ言語)

MDX(多次元式)は、OLAPデータベースの多次元データを扱うためのクエリ言語です。SQLに似た構文を持ちながら、OLAPキューブ特有の操作に最適化されており、スプレッドシートのような数式記述も可能です。この記事では、MDXの基本構造、歴史、データ型、クエリ例などを詳細に解説します。


D (データベース言語仕様)

Dは、クリス・デイトとヒュー・ダーウェンが提唱した、関係データベース言語の要件集合です。SQLへの批判から生まれ、Tutorial Dはその抽象的な実装例です。Industrial Dは実務向けのDを指し、複数の実装が存在します。


Contextual Query Language

CQL(Contextual Query Language)は、情報検索システムへの問い合わせを記述する形式言語です。検索エンジンや図書館システムで利用され、複雑な検索条件を直感的に表現できます。Z39.50のセマンティクスに基づき、アメリカ議会図書館が開発・保守しています。


CODASYL

CODASYLは、データ処理業界の標準化を推進した組織で、COBOLの標準規格やネットワーク型データベースモデルを定義しました。その活動は関係データベースの台頭とともに終息しましたが、データ管理の発展に重要な役割を果たしました。


Alloy Analyzer

Alloyは、軽量形式手法を基盤とするシステムで、仕様をモデルとして記述し検証を行います。データ間の関係性を模擬的に検証し、予期せぬ関係の発見を通じて仕様の不備を早期に特定することが可能です。


ATLAS Transformation Language

ATL(ATLAS Transformation Language)は、INRIAが開発したモデル変換言語で、OMGの標準であるQVTの提案に基づいて作成されました。文法変換と意味論変換の両方をサポートし、モデル変換用仮想機械上で動作します。Eclipseのプラグインとして提供され、MOF QVTを実装しています。


村田真

村田真は、XMLやEPUBの国際標準化に貢献した日本のソフトウェア技術者です。W3CでのXML1.0仕様策定、RELAX NGの設計、EPUB日本語拡張仕様策定など、多岐にわたる業績があります。現在は慶應義塾大学で教鞭をとり、アクセシビリティ分野でも活躍しています。


仕様記述言語

仕様記述言語は、システムの仕様を形式的に記述する言語です。プログラミング言語とは異なり、仕様の検証に重点を置いています。形式的な記述と検証が困難な場合、シミュレーションやモデリングが用いられることもあります。


スキーマ言語

スキーマ言語は、XMLやSGMLなどの文書構造を定義するための専用言語です。汎用言語では制約を受けるスキーマの自由度を高め、文書の構造を明確化します。この記事では、スキーマ言語の概要、役割、主な種類について詳しく解説します。


ジェームズ・クラーク (ソフトウェア技術者)

ジェームズ・クラークは、タイを拠点に活動するソフトウェア技術者であり、SGML/XML技術とオープンソース分野で多大な貢献をしてきました。W3CでのXML1.0仕様策定やRELAX NG設計など、彼の業績は多岐にわたります。また、タイのソフトウェア産業振興庁での活動やオープンソースソフトウェア開発にも尽力しています。


関係モデル

関係モデルは、データベースの基礎となる重要なモデルです。この記事では、関係モデルの基本概念からSQLとの関連、そして実際のデータベース設計例までを詳しく解説します。関係モデルの理論的背景から実践的な応用までを幅広く理解できるでしょう。


モデル駆動型アーキテクチャ

モデル駆動型アーキテクチャ(MDA)は、OMGによって提唱されたソフトウェア開発手法です。モデルを基盤にシステムを構築することで、技術変化に柔軟に対応し、開発効率の向上を目指します。この手法は、プラットフォームに依存しないモデル(PIM)から、特定のプラットフォームに特化したモデル(PSM)への変換を特徴としています。


モデル変換言語

モデル変換言語は、モデル駆動型アーキテクチャ(MDA)におけるモデル変換を記述するための言語です。プログラミング言語とは異なり、モデル間の関係性を定義し、自動的なモデル変換を実現します。OMGが標準化したMOF/QVTの他、様々なモデル変換言語が存在します。


ペトリネット

ペトリネットは、分散システムを数学的に表現する手法で、視覚的にモデリングできるのが特徴です。1962年にカール・アダム・ペトリによって提唱されました。システムの挙動を解析し、並行計算などの応用分野で活用されています。


プラットフォーム独立モデル

プラットフォーム独立モデル(PIM)は、特定の技術に依存しないシステムモデルです。モデル駆動型アーキテクチャ(MDA)の中核概念であり、変換言語を用いて多様なプラットフォームに対応するモデルを生成します。関連技術とともに、PIMの概念を詳しく解説します。


プラットフォーム特化モデル

プラットフォーム特化モデルは、特定の技術環境に依存するソフトウェアやビジネスシステムのモデルです。実装に不可欠であり、データベースやプログラミング言語などの要素に特化します。モデル駆動型アーキテクチャ(MDA)の概念でよく使用され、現実世界のシステム構築を支えます。


QVT

QVT(Queries/Views/Transformations)は、モデル駆動型アーキテクチャ(MDA)におけるモデル変換の標準規格です。OMGによって定義され、MOF(Meta-Object Facility)と密接に関連しています。モデル変換を効率化するための重要な要素であり、その詳細と実装について解説します。


Common Warehouse Metamodel

Common Warehouse Metamodel(CWM)は、データウェアハウスにおける多様なオブジェクトのメタデータモデリングのための仕様です。Object Management Group(OMG)によって管理され、ツールの相互運用性を高める補助仕様も提供されています。データ由来の追跡やメタデータの交換を可能にする標準として、ビジネスインテリジェンス分野で活用されています。


MPEG-7

MPEG-7は、マルチメディアコンテンツの検索を効率化するためのメタデータ記述に関する国際標準規格です。XMLを基盤とし、動画データのエンコードではなく、コンテンツ内容を記述するメタデータを提供します。


【記事の利用について】

タイトルと記事文章は、記事のあるページにリンクを張っていただければ、無料で利用できます。
※画像は、利用できませんのでご注意ください。

【リンクついて】

リンクフリーです。