faith_and_brave https://blog.hatena.ne.jp/faith_and_brave/ Faith and Brave - C++で遊ぼう https://faithandbrave.hateblo.jp/ C++ # 間違ってたら誰か指摘してください C++0x の Concept では concept, concept_map, requires, late_check の他に axiom というキーワードが追加されるaxiom とは、日本語では"公理"という意味で「命題Pが成り立つならQも成り立つ」という"概念を定義する条件"や"証明無しで認められる最も基本的な命題"のことらしい axiom は concept 内で型の意味(セマンティクス)を定義するための機能のようだ concept Number<typename N> { // ... axiom { Var<N> a, b; a+0 == a… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffaithandbrave.hateblo.jp%2Fentry%2F20080716%2F1216198935" title=" C++0x Axiom - Faith and Brave - C++で遊ぼう" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-07-16 18:02:15 rich https://faithandbrave.hateblo.jp/entry/20080716/1216198935 1.0 100%