| 出典: アサーション 『通信用語の基礎知識』 更新年月日 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システムで利用されている。 |
| 同義語・類義語 | 関連語・その他 |
|---|---|
| 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日 |
| 同義語・類義語 | 関連語・その他 |
|---|---|
| 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日 |