本文へスキップ

 


 

ICT用語の意味と同義語

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

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

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

 表明(ひょうめい、assertion)とは、プログラミングにおける概念のひとつであり、そのプログラムの前提条件を示すのに使われる。アサーションとも呼ばれる。表明は、プログラムのその箇所で必ず真であるべき式の形式をとる。多くの言語ではそのような前提条件のチェックに表明を使用するが、設計上の判断を文書化するのに使う場合もある。表明が偽となった場合、プログラムにバグが潜在していることを示している。これを「表明違反; assertion failure」と呼ぶ。表明を言語構文や標準ライブラリとしてサポートするプログラミング言語も存在する。 ・・・

Microsoft Public Affiliate Program (JP)(マイクロソフトアフィリエイトプログラム)


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

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



【 表明 の同義語と関連語 】
< 1 >
同義語・類義語 関連語・その他
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日




【 表明 の同義語と関連語 】
< 2 >
同義語・類義語 関連語・その他
アサーション assert
assertion əsə́rt
əsə́rʃən アゥサゥートゥ
アゥサゥーシュン アサートゥ
アサーシュン アサート
[名詞] [他動詞]
主張 主張する
成立すべき条件 断言する
断言 言い張る
表明

Assertion checking

assertion check

assertion checker

assertion failure

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

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

アサーション・チェッカ

アサーション・チェック

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

アサーションチェッカ

アサーションチェック

表明違反





































更新日:2021年 7月21日




ICT用語索引
記号 数字 A B C
D E F G H
I J K L M
N O P Q R
S T U V W
X Y Z

       
背景色薄緑は全用語編集完了
白は書きかけの用語を含んでいます
ICT用語辞典リンク集
ICT用語解説サイト120

バナースペース

     P A S T E M