本文へスキップ

パステムは、桐の業務システム開発を支援しています

ICT用語同義語辞典COMPANY


【 「表明」又はそれに関連する用語の意味 】
出典: アサーション 『通信用語の基礎知識』 更新年月日 2008/05/19,URL: https://www.wdic.org/

 プログラムの実行中に、ある条件が成立していることを表明すること。

[特徴] プログラミングにおいて「ここを実行する時にはこうなっているはず」という条件を記述しておくもの。ある処理を始める前に満たすべき条件を表明する事前条件、処理の前後で変化しない条件を表明する不変条件、処理の後で満たすべき条件を表明する事後条件がある。実装例としては、Eiffelのrequireやinvariant句、C/C++のassertマクロ、Javaのassert文などが挙げられる。
出典: 表明 『フリー百科事典 ウィキペディア日本語版(Wikipedia)』 最終更新 2019年4月12日 (金) 01:42 UTC、URL: https://ja.wikipedia.org/

 表明(ひょうめい、assertion)とは、プログラミングにおける概念のひとつであり、そのプログラムの前提条件を示すのに使われる。アサーションとも呼ばれる。表明は、プログラムのその箇所で必ず真であるべき式の形式をとる。多くの言語ではそのような前提条件のチェックに表明を使用するが、設計上の判断を文書化するのに使う場合もある。表明が偽となった場合、プログラムにバグが潜在していることを示している。これを「表明違反; assertion failure」と呼ぶ。表明を言語構文や標準ライブラリとしてサポートするプログラミング言語も存在する。 ・・・
出典: コードページ 『フリー百科事典 ウィキペディア日本語版(Wikipedia)』 最終更新 2019年11月5日 (火) 12:43 UTC、URL: https://ja.wikipedia.org/

 コードページ(英: Code page)とは、特定の符号化文字集合を指定するための数字、またはその数字で指定された符号化文字集合、あるいはそのような方法で符号化文字集合を指定するためのシステムのことである。CPと表示されることもある。それぞれの符号化文字集合は「コードページ○○(○○は2桁から5桁の数字)」という形で管理される。
 コードページという用語は、システムベンダ各社が管理している符号化文字集合を指す時にしか用いられず、ISO等の公的な規格の文字集合を「コードページ○○」などと呼ぶことはない。IBMおよび、マイクロソフトは各自、コードページを定めて管理している。マイクロソフトのコードページ群はMS-DOSやWindowsなどで利用されている。IBMのコードページはSystem iやDB2等の文字データ表現体系(CDRA: "Character Data Representation Architecture")をサポートするIBMシステムで利用されている。

【表明の同義語と関連語 】
< 1 >
同義語・類義語 関連語・その他
assertion assert
əsə́rʃən əsə́rt
アゥサゥァーシュン アゥサゥァートゥ
アゥサゥ́ァーシュン アゥサゥ́ァートゥ
アサーション アサート
アサ́ーション アサ́ート
[名詞] [他動詞]
主張 主張する
しゅちょう 断言する
成立すべき条件 言い張る
断言
だんげん Assertion checking
表明 assertion check
ひょうめい əsə́rʃən tʃék

アゥサゥァーシュン チェック

アゥサゥァーシュン・チェック

アゥサゥ́ァーシュン・チェッ́ク

アサーション チェック

アサーション・チェック

アサ́ーション・チェッ́ク


assertion checker

アサーション チェッカー

アサーション・チェッカー


assertion failure

əsə́rʃən féiljər

アゥサゥーシュン・フェイリゥュアゥ

アサーション・フェイリヤー


表明違反



















更新日:2024年 4月24日


【表明の同義語と関連語 】
< 2 >
同義語・類義語 関連語・その他
CDRA Character
síː díː ɑ́ːr éi kǽrəktər
シィー ディー アゥー エイ キャェラゥクタゥァー
シィ́ー ディ́ー アゥ́ー エ́イ キャェ́ラゥクタゥァー
シー ディー アール エー キャラクター
シ́ー ディ́ー ア́ール エ́ー キャ́ラクター
Character Data Representation Architecture [名詞]
kǽrəktər déitə rèprizentéiʃən ɑ́rkətèktʃər 記号
キャェラゥクタゥァー デイダァー レプジェンテイシュン アゥーケテクチャァー 符号
キャェラゥクタゥァー・デイダァー・レプジェンテイシュン・アゥーケテクチャァー 文字
キャェ́ラゥクタゥァー・デ́イダァー・レ̀プゼェンテ́イシュン・アゥ́ーケテ̀クチャァー
キャラクタ データ レプリゼンテーション アーキテクチャー Representation
キャラクタ・データ・レプリゼンテーション・アーキテクチャー rèprizentéiʃən
キャ́ラクター・デ́ーター・レ̀プリゼンテ́ーション・ア́ーキテ̀クチャー レプゼェンテイシュン
文字データー処理体系 レ̀プゼェンテ́イシュン
もじ データー しょり たいけい レプリゼンテーション
レ̀プリゼンテ́ーション

[名詞]

表現

表現すること

表明

描写

描写すること


Architecture

ɑ́rkətèktʃər

アゥーケテクチャァー

アゥ́ーケテ̀クチャァー

アーキテクチャー

ア́ーキテ̀クチャー

[名詞]

建築術

建築様式

構造

基本設計概念
【 以下関連語 】 きほん せっけい がいねん
CP 内部構造
コードページ ないぶこうぞう
Code page 体系
たいけい

更新日:2024年 1月10日


【 他のICT用語辞典へ(外部リンク)】

Character Data RepresentationArchitecture (IBM)
アサーション (通信用語の基礎知識)
コードページ (Wikipedia)
表明 (Wikipedia)