読み方：ひょうめい自分の考え・決意などを、はっきりあらわし示すこと。Weblio国語辞典では「表明」の意味や使い方、用例、類似表現などを解説しています。">

表明とは何？ わかりやすく解説 Weblio辞書 (original) (raw)

| 辞典・百科事典の検索サービス - Weblio辞書 556の専門辞書や国語辞典百科事典から一度に検索! | | | | --------------------------------------------------------------------------------------------------------------------------------------------------------- | | |

デジタル大辞泉デジタル大辞泉

ひょう‐めい〔ヘウ‐〕【表明】

ウィキペディアウィキペディア

表明 (プログラミング)

(表明 から転送)

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/02/07 08:17 UTC 版)

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

  1. ^ C.A.R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, 1969.
  2. ^ assert - cppreference.com (C)
  3. ^ assert - cppreference.com (C++)
  4. ^ assert - cpprefjp C++日本語リファレンス
  5. ^ Conditional Compilation - D Programming Language, §Static Assert
  6. ^ Jon Jagger, Compile Time Assertions in C, 1999.[_リンク切れ_]
  7. ^ GCC 4.3 Release Series — Changes, New Features, and Fixes - GNU Project
  8. ^ Predefined Macros | Microsoft Docs (Visual C++ 2008)
  9. ^ Predefined Macros | Microsoft Docs (Visual C++ 6.0)
  10. ^ コンパイル時アサート - boostjp
  11. ^ Alan Turing, Checking a Large Routine, 1949
  12. ^ quoted in C.A.R Hoare, "The Emperor's Old Clothes", 1980 Turing Award lecture.

ウィキペディアウィキペディア

表明

表明

ウィキペディア小見出し辞書の「表明」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。

表明

辞典・百科事典の検索サービス - Weblio辞書辞典・百科事典の検索サービス - Weblio辞書

「表明」の例文・使い方・用例・文例

固有名詞の分類

品詞の分類

「表明」の関連用語

表明のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

| | | | | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | | デジタル大辞泉デジタル大辞泉 | (C)Shogakukan Inc. 株式会社 小学館 | | ウィキペディアウィキペディア | All text is available under the terms of the GNU Free Documentation License.この記事は、ウィキペディアの表明 (プログラミング) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。 | | ウィキペディアウィキペディア | Text is available under GNU Free Documentation License (GFDL).Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、WikipediaのNode.js (改訂履歴)、SystemVerilog (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 | | Wiktionary | Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).Weblioに掲載されている「Wiktionary日本語版（日本語カテゴリ）」の記事は、Wiktionaryの表明 (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 | | TANAKA Corpus | Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います： Creative Commons Attribution (CC-BY) 2.0 France. | | 京大-NICT 日英中基本文データ | この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。 | | 浜島書店 Catch a Wave | Copyright © 1995-2024 Hamajima Shoten, Publishers. All rights reserved. | | 株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション | Copyright © Benesse Holdings, Inc. All rights reserved. | | 研究社研究社 | Copyright (c) 1995-2024 Kenkyusha Co., Ltd. All rights reserved. | | 日本語WordNet日本語WordNet | 日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License | | 日外アソシエーツ株式会社日外アソシエーツ株式会社 | Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編 | | EDRDGEDRDG | This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence. |

©2024 GRAS Group, Inc.RSS