42(1): はちみつ餃子 ◆8X2XSCHEME [sage] 2017/07/22(土) 07:13:43.26 ID:Sw3YC1YO(1) AAS
>>39-40
この理屈はド・モルガンの定理って名前がついてるやつ。

48(3): 片山博文MZ ◆T6xkBnTXz7B0 [sage] 2017/07/22(土) 18:39:33.61 ID:WTRjQogU(1/18) AAS
>>47
定理って言ってるんだから、定理だろ。
ベン図と真理値表で簡単に証明可能。

52(1): 片山博文MZ ◆T6xkBnTXz7B0 [sage] 2017/07/22(土) 18:57:46.94 ID:WTRjQogU(3/18) AAS
A＝{ x | x ∈A }.
B＝{ x | x ∈B }.
A∩B＝{ x | x ∈A ∧ x∈B }.
このように、集合の元の存在は論理学に還元される。

55(1): 片山博文MZ ◆T6xkBnTXz7B0 [sage] 2017/07/22(土) 19:16:19.03 ID:WTRjQogU(5/18) AAS
何も数えていないぞ。
x∈Aというのはxの性質を表しただけだ。
集合論の内包的定義を否定するのか？

59(1): 片山博文MZ ◆T6xkBnTXz7B0 [sage] 2017/07/22(土) 19:47:57.23 ID:WTRjQogU(8/18) AAS
そんなに気になるなら、疑問をなくすために本格的に数学者になって『集合の極限に関する研究』という本を出版してはいかがか。

66(1): 片山博文MZ ◆T6xkBnTXz7B0 [sage] 2017/07/22(土) 20:47:54.26 ID:WTRjQogU(13/18) AAS
集合の極限というと、
S＝f(X_0)∪f(X_1)∪...∪f(X_n)∪...
みたいな感じか？
自明ではないが、つまらないな。

97(2): デフォルトの名無しさん [sage] 2017/07/25(火) 18:10:25.51 ID:0HSMBoAM(1) AAS
operator()();
俺はこの言語を勉強するのをやめた

180(4): デフォルトの名無しさん [] 2017/07/30(日) 17:25:43.33 ID:w5RmXCUD(1/3) AAS
enum EMFType
{
MF_INT, // 符号付き整数
};

// いろいろなデータを１つの関数で表示します
void MultiFunc(EMFType type, unsigned int data)
{
switch(type)
{
case MF_INT : cout << (int)data << endl; break;
}
}

int main()
{
int a = -10;

MultiFunc(MF_INT , a);
return 0;
}

実行結果
-10

unsigned int にマイナスの値を渡してるんですが、そのまま出力されます。
これが仕様だとすると、パラメーターにunsigned int を指定する意味はなんなんでしょうか？

599(2): デフォルトの名無しさん [] 2017/09/05(火) 17:29:23.60 ID:b+ZxWLYj(1/2) AAS
class CFirstClass {
public: virtual const char* GetString() const = 0;
};
class CNinja : public CFirstClass {
public: virtual ~CNinja();
virtual const char* GetString() const;
};
class CMaster : public CFirstClass {
public: virtual ~CMaster();
virtual const char* GetString() const;
};
class CJohnin : public CNinja, public CMaster {
public: virtual ~CJohnin();
};
CNinja::~CNinja(){ }
CMaster::~CMaster(){ }
CJohnin::~CJohnin(){ }
const char* CNinja::GetString() const { return "忍者"; }
const char* CMaster::GetString() const { return "マスター"; }
int main() {
CJohnin johnin;
cout << dynamic_cast<CNinja&>(johnin).GetString() << endl;
cout << johnin.CMaster::GetString() << endl;
return 0;
}

GetStringの戻り値charから*を消したらエラーになるんですが、
これがポインタじゃなければならない理由は何でしょうか？