【初心者歓迎】C/C++室 Ver.101【環境依存OK】 [無断転載禁止]©2ch.net

**デフォルトの名無しさん** · 2017/07/18(火) 07:07:27.20

エスケープシーケンスやWin32APIなどの環境依存なものでもOK。
ただしその場合、質問者は必ず環境を書きましょう。

◆ソースのインデントについて
半角空白やTABでのインデントはスレに貼ると無くなります。
そのため、アップローダーに上げるのも手ですが直接貼る場合は、
全角空白かに置換すると見栄えだけはよくなります。

【アップローダー】(質問が長い時はココ使うと便利)
http://codepad.org/ (コンパイルもできるし出力結果も得られる[]privateをチェック)
http://ideone.com/ (時間帯によってはcodepadが重い事があるのでここも利用)

前スレ
【初心者歓迎】C/C++室 Ver.100【環境依存OK】
http://mevius.2ch.net/test/read.cgi/tech/1478440682/

**デフォルトの名無しさん** · 2017/07/22(土) 01:36:10.92

>>36
できました。そういう風に書くんですね。ありがとうございました。

**デフォルトの名無しさん** · 2017/07/22(土) 01:38:48.73

()が強いので1||2が先に計算されて1になってしまう。

**デフォルトの名無しさん** · 2017/07/22(土) 01:40:28.07

!(soku == 1 || soku == 2) 　　　　（1 または 2 ）ではない
⇒　soku != 1 && soku != 2 　　1ではないかつ 2ではない

**デフォルトの名無しさん** · 2017/07/22(土) 01:47:45.17

いろんな書き方もできるんですね！
勉強になります。ありがとうございます。

**デフォルトの名無しさん** · 2017/07/22(土) 06:19:41.71

C++1zでかっこよく書けるようになる。
そう思っていた時期がありました

**はちみつ餃子** ◆8X2XSCHEME · 2017/07/22(土) 07:13:43.26

>>39-40
この理屈はド・モルガンの定理って名前がついてるやつ。

**デフォルトの名無しさん** · 2017/07/22(土) 14:34:43.25

>>38
なんで3じゃなく1になるの？

**デフォルトの名無しさん** · 2017/07/22(土) 14:51:10.38

>>43
ビット演算のor ではなく、真偽判定の論理和なので
1の真偽を求めて真 ⇒ 1
（2の真偽を求めて真 ⇒ 1 ：　or 結合のショートサーキットで判定しなけど便宜的に）
こうなる

**デフォルトの名無しさん** · 2017/07/22(土) 14:51:24.55

1|2なら3
1||2は1

**デフォルトの名無しさん** · 2017/07/22(土) 15:12:08.99

難しいのね…

◆QZaw55cn4c · 2017/07/22(土) 18:27:01.28

>>42
いつも不思議に思うのだが、このド・モルガンは議論のスタートとなる公理なの？
それとも、なんらかの公理から導かれる定理なの？
教科書の最初の方でカップハットをやらされる度に思う疑問です

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 18:39:33.61

>>47
定理って言ってるんだから、定理だろ。
ベン図と真理値表で簡単に証明可能。

◆QZaw55cn4c · 2017/07/22(土) 18:41:59.88

>>48
それは集合が有限個の場合
集合が無限個の場合はどうなる？公理じゃないとうまくいかないんじゃない？

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 18:48:30.61

無限集合の場合は集合の内包的定義により、離散的な論理学に還元され、やはり成り立つ。

**デフォルトの名無しさん** · 2017/07/22(土) 18:50:49.49

>>50
稠密な実数の世界のもとでも、それはいえるの？
われわれの解析学の世界では、まず実数からスタートするんです

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 18:57:46.94

A＝{ x | x ∈A }.
B＝{ x | x ∈B }.
A∩B＝{ x | x ∈A ∧ x∈B }.
このように、集合の元の存在は論理学に還元される。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 19:05:08.09

論理学の真理値表→論理学のド・モルガンの定理→集合論のド・モルガンの定理

◆QZaw55cn4c · 2017/07/22(土) 19:09:10.20

>>52
ん、それって A, B, C ‥と数えられる世界の中では、いずれ到達できると思う。
でも、力学とか解析学とかをやるときは、ぎっしりつまった実数を相手に論理を組むよね
実数を相手に考える世界では、かぞえられる、とかいう性質を前提にしてはいけないんだと思うよ

まあ立場の問題かもしれない、計算機は数えられる世界で考えればいいことなのかもしれない

いま読んでる教科書の最初の方での∀∃∩∪を読むたびに思うのです
よく「証明は読者の演習としよう」で苦しむのです、これ、やめて欲しいんですけどね
∩∪の羅列である命題にドモルガンを振り返るときれいに解決するのですが
そんなことでいいのだろうか、と常々思っているのでした

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 19:16:19.03

何も数えていないぞ。
x∈Aというのはxの性質を表しただけだ。
集合論の内包的定義を否定するのか？

◆QZaw55cn4c · 2017/07/22(土) 19:19:02.26

>>55
分割して分割して最後に行き止まりがあるから、その推論はなりたつと思うんです
でも分割して分割して分割して‥終わりがない場合には、その推論は成り立つのでしょうか？
成り立つものとして仮定しているだけなんじゃないでしょうか？

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 19:32:50.77

集合論で、無限演算(極限)が必要になることは少ない。無限集合においても扱う性質が有限であることが多いからだ。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 19:38:35.09

無限集合では、１つ１つ数えるのではなく、性質(述語)に着目する。集合は述語の組み合わせで表せる。
取り扱う集合を表す述語が有限の表現で表せないなら、人間はそれを考えることすらできないだろう。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 19:47:57.23

そんなに気になるなら、疑問をなくすために本格的に数学者になって『集合の極限に関する研究』という本を出版してはいかがか。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 20:00:32.46

すまない。オレは数学の話になると神経質になるんだ。

**デフォルトの名無しさん** · 2017/07/22(土) 20:10:05.26

トラウマがあるのか。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 20:27:14.25

A＝{ x | x ∈A }. B＝{ x | x ∈B }.
A∩B＝{ x | x ∈A ∧ x∈B }.
A∪B＝{ x | x ∈A ∨ x∈B }.
~A＝{ x | ￢(x∈A) }.
~(A∩B)＝{ x | ￢(x ∈A ∧ x∈B) }.
~A∪~B＝{ x | ￢(x ∈A) ∨ ￢(x∈B) }.
ここで、￢(x ∈A ∧ x∈B)＝{ x | ￢(x ∈A) ∨ ￢(x∈B)を証明すれば、
~(A∩B)＝~A∪~B と言える。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 20:34:24.27

ここでα＝(x∈A)、β＝(x∈B)とおけば、命題α、βによる命題論理学のド・モルガンの定理に還元される。
α、βについて真理値表を作れば、容易に命題論理学のド・モルガンの定理が証明できる。□

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 20:38:22.42

>>62
訂正。
(誤) ここで、￢(x ∈A ∧ x∈B)＝{ x | ￢(x ∈A) ∨ ￢(x∈B)を証明すれば、
(正) ここで、￢(x ∈A ∧ x∈B)＝￢(x ∈A) ∨ ￢(x∈B)を証明すれば、

◆QZaw55cn4c · 2017/07/22(土) 20:47:11.33

>>59
いや，手持ちの本が読めれば十分なので（今はその部分は結論ありきで読み飛ばしている）追求しようという意図はない
ていうか，たぶん，そうやって読まないといけない（そうじゃないと進めない）

でも，ド・モルガンは定理じゃなくて公理じゃないのかなって「感じる」んですよ
これは私だけの気のせい？多分気のせいなんだろうな‥ごめんね

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 20:47:54.26

集合の極限というと、
S＝f(X_0)∪f(X_1)∪...∪f(X_n)∪...
みたいな感じか？
自明ではないが、つまらないな。

**デフォルトの名無しさん** · 2017/07/22(土) 21:04:17.39

>>58は健常者の様な発言なのに、
スレをツイッターと勘違いしているかのようなクソレス連投が残念だ

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 21:09:55.19

君の公理系では公理かも知れない。ただZFCで証明されるものであるから、定理と言った方がいい。

◆QZaw55cn4c · 2017/07/22(土) 21:15:06.91

>>66
https://www.amazon.co.jp/dp/4320014731
最初の方だが，すでに∞前提
演習
(1)（∪_{n=1}^∞ An)∩A = ∪_{n=1}^∞(An ∩A)
(2)（∩_{n=1}^∞ An)∪A = ∩_{n=1}^∞(An ∪A)
どちらか一方だけ証明できたら，残りはドモルガン採用ですっとばしているが，ドモルガンが∞にも使えるか迷いがある

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 21:21:12.59

無限大について、濃度が定まっている。集合が一意に確定する。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 21:25:41.26

集合であることの定義にまでさかのぼって、well-definedであることを確認すればいい。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 21:26:51.50

あとは数学的帰納法だ。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 21:36:21.21

整数の無限大は整数ではない。
整数の全体集合は無限の濃度だが、集合としてwell-definedである。
このように、極限については個別に存在を確認する必要がある。

◆QZaw55cn4c · 2017/07/22(土) 21:41:01.35

うん，確かにこの場合は自然数の無限だから可算個だね，ちょっと今までの私の話とは事情が違う，なかなかいい例が思い浮かばないね‥

**デフォルトの名無しさん** · 2017/07/22(土) 22:41:47.08

なにこの自演連投

**デフォルトの名無しさん** · 2017/07/22(土) 23:51:19.55

>>57
ωの定義は？
Γ_0の定義は？

**デフォルトの名無しさん** · 2017/07/23(日) 00:08:17.96

そろそろC/C++に関係ない話だから適切なスレに移動してもらえないか？

**デフォルトの名無しさん** · 2017/07/23(日) 00:15:19.26

災害だと思って諦めろ

**デフォルトの名無しさん** · 2017/07/23(日) 04:53:37.10

コイツ等は
何が楽しくて生きているんだろうか

**デフォルトの名無しさん** · 2017/07/23(日) 08:32:31.28

しかし間違いだらけで、見てるだけで苛ついてくるな

**デフォルトの名無しさん** · 2017/07/23(日) 11:35:11.86

糞ハンネ

**デフォルトの名無しさん** · 2017/07/24(月) 18:08:53.79

>>80
間違いだと思う点について具体的に

**デフォルトの名無しさん** · 2017/07/24(月) 18:34:08.77

>>48
違う。通常公理系から証明する。

>>50
違う。可算加法性は自明な性質ではない。

>>57
解析学は非可算無限、整数論は可算無限を扱う
無限集合を扱うのは一般的
むしろ有限集合を扱うほうが特殊

>>58
ソボレフ空間とかガン無視かよ

めんどくさいからこのくらいで
ほぼすべてのレスに間違いが含まれてる

**デフォルトの名無しさん** · 2017/07/24(月) 18:40:29.85

>>83
では、糞コテQZが提起している「ド・モルガンこそ公理」については、どう思う？

**デフォルトの名無しさん** · 2017/07/24(月) 18:44:31.66

>>84
それも間違ってるよ

**デフォルトの名無しさん** · 2017/07/24(月) 18:49:15.52

>>85
立場を確認する
排中律（二重否定）は認める立場？認めない立場？

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/24(月) 19:20:26.89

天才の時間を無駄にするなよ。

**デフォルトの名無しさん** · 2017/07/24(月) 19:22:57.71

>>87
初等整数論だけが数学ではない、中国剰余定理でとまっていては惜しい

**はちみつ餃子** ◆8X2XSCHEME · 2017/07/24(月) 22:07:17.47

>>47-50
やりたければ公理にした系を考えてもええんやで。
でもまあこのスレの話題として必要なのは手書きで真理値表を書けるレベルの狭い世界の論理だろう、JK

**デフォルトの名無しさん** · 2017/07/24(月) 22:49:36.92

論理回路とかでまともな無限元のブール代数教えるとこなら、
交換、結合、単位元、補元の公理から証明する手順教える。

**デフォルトの名無しさん** · 2017/07/24(月) 22:51:50.82

と、荒らし共が申しております

**デフォルトの名無しさん** · 2017/07/25(火) 10:10:52.25

operator[](int n)　をその定義されてるクラス自身で呼び出すにはどうしたらいいんですか?

**デフォルトの名無しさん** · 2017/07/25(火) 10:41:29.07

(*this)[n]

**デフォルトの名無しさん** · 2017/07/25(火) 10:49:24.51

サンクスです

**デフォルトの名無しさん** · 2017/07/25(火) 12:05:17.11

>>92
難しく考えなくてもそのまんまだよ
this->operator[](n);
もしくは単に
operator[](n);

**デフォルトの名無しさん** · 2017/07/25(火) 12:22:00.82

あとから劣後した提案できるって尋常じゃないね

**デフォルトの名無しさん** · 2017/07/25(火) 18:10:25.51

operator()();
俺はこの言語を勉強するのをやめた

◆QZaw55cn4c · 2017/07/25(火) 19:38:58.05

>>97
こう使う
http://mevius.2ch.net/test/read.cgi/tech/1434079972/21

**デフォルトの名無しさん** · 2017/07/25(火) 20:05:19.85

>>97
operator彡(ﾟ)(ﾟ)
こう使う

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/25(火) 20:35:51.44

尋常小學校

**デフォルトの名無しさん** · 2017/07/26(水) 03:01:12.72

int main() {
vector<int> v;
v.reserve(10000);
v.push_back(0);
cout << v.capacity() << endl;
vector<int> (v).swap(v);
cout << v.capacity() << endl;
}
(v).swap(v); の文頭のvに付いてる()は何の意味があるんでしょうか?

**デフォルトの名無しさん** · 2017/07/26(水) 03:21:52.99

バルタン星人。

**デフォルトの名無しさん** · 2017/07/26(水) 04:24:25.95

>>101
vector<int> (v)
までで一時オブジェクトをコピーコンストラクトしてるんじゃ？

で、.swap(v) で中身を入れ替えて、コンパクションするっていうサンプルに見える。
未確認で書いてるので、間違えてたらごめん。

**デフォルトの名無しさん** · 2017/07/26(水) 06:18:35.77

　　・V ・
(v).swap(v)　ﾌｫｯﾌｫｯﾌｫｯ

**デフォルトの名無しさん** · 2017/07/26(水) 15:54:35.58

>>103
何とか理解できました。ありがとうございます。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/26(水) 20:46:35.22

vector<int> (v).swap(v);

>と( の間が離れてるのが、分かりにくい読みづらい、意地悪な点だな。

**はちみつ餃子** ◆8X2XSCHEME · 2017/07/26(水) 21:25:55.76

>>106
なんか宣言っぽく見えるよね。

**デフォルトの名無しさん** · 2017/07/26(水) 22:56:52.57

int OTL=3;

**デフォルトの名無しさん** · 2017/07/27(木) 01:04:28.47

> vector<int> (v).swap(v);

C++は糞だな。

**デフォルトの名無しさん** · 2017/07/27(木) 06:22:38.44

同意

**デフォルトの名無しさん** · 2017/07/27(木) 06:23:16.82

C++というより、ライブラリだが

**デフォルトの名無しさん** · 2017/07/27(木) 06:55:32.44

>>103
そんな変な文法を考えたヤツ誰だよ？

**デフォルトの名無しさん** · 2017/07/27(木) 07:34:51.23

その書き方がわかりづらいからC++11でvectorにshrink_to_fit()が追加されてるわけで

http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#755

**デフォルトの名無しさん** · 2017/07/27(木) 17:10:11.12

そんで、mapの場合はどうするんでつか？

**デフォルトの名無しさん** · 2017/07/27(木) 19:10:45.43

mapでシュリンクが必要なケースあるの？

**デフォルトの名無しさん** · 2017/07/27(木) 19:41:35.37

無いの？

**デフォルトの名無しさん** · 2017/07/27(木) 22:33:18.49

無いと思ったから、あるの？って聞いたんだけど。

**デフォルトの名無しさん** · 2017/07/27(木) 22:33:51.77

そもそもreserveできないし。

**デフォルトの名無しさん** · 2017/07/27(木) 23:08:59.52

>>117
あると思ったから無いの？なのに
どうして無いのか説明できないアフォなの？

**デフォルトの名無しさん** · 2017/07/27(木) 23:34:10.64

今流行りのこれか
これからわざとこういうやり取りして荒らすやつ増えるんだろうな

http://www.honmotakeshi.com/archives/51758414.html

委員「あなたがやっていることの根拠を示してください」
前川「俺のやることに疑問を持つなら疑問を持つ根拠を示せ」
委員「政策を実現するにはそれに基づく根拠が欲しいと言ってるんです」
前川「それだけの疑問を呈するなら疑問の根拠を示せ」

**デフォルトの名無しさん** · 2017/07/27(木) 23:43:42.41

>>119
最初からそう言えばいいのに。
そもそもシュリンクが必要になるのかがわからないって事でOK?

**デフォルトの名無しさん** · 2017/07/28(金) 08:07:33.12

>>121
最初から一貫した発言しかしてないけど
「最初からそう言えばいいのに」ってアフォなの？

**デフォルトの名無しさん** · 2017/07/28(金) 08:22:36.87

コミュニケーション出来てない
明らかに触ってはダメな人でしょ

**デフォルトの名無しさん** · 2017/07/28(金) 08:34:52.56

わざとじゃねーの？

**デフォルトの名無しさん** · 2017/07/28(金) 12:38:35.23

どっちも説明する気がないから
平行線

**デフォルトの名無しさん** · 2017/07/28(金) 12:39:07.07

煽り専用の人工無能でしょ

**デフォルトの名無しさん** · 2017/07/28(金) 14:08:59.02

バイナリファイルについて質問します
変数xyzがあったときxyzをまとめてバイナリファイルにすることはできないんでしょうか?
例えば
#include<stdio.h>
FILE *fp;
int main(void) {
fp=fopen("test2.dat", "wb");
int x = 10;
double y = 15.55;
char z[] = { "abcde" };
fwrite(&x, sizeof(x),1, fp);
fclose(fp);
return 0;
}
これでｘのバイナリファイルはできると思いますがyzにもそれぞれ専用のファイルポインタを用意して
それぞれ個別に書き出すことしかできないんでしょうか?

**デフォルトの名無しさん** · 2017/07/28(金) 14:46:45.90

fclose()する前に同じfpに続けてfwrite()すれば、同じファイルに書き出されますよ

**デフォルトの名無しさん** · 2017/07/28(金) 15:02:04.83

ありがとうございます。
いっぺんに書くんじゃなくて行を増やして書けばよかったんですね(´ｴ`)

**デフォルトの名無しさん** · 2017/07/28(金) 21:22:15.86

> char z[] = { "abcde" };
こんな初期化初めて見た
奥が深いな

**デフォルトの名無しさん** · 2017/07/29(土) 01:30:09.73

mapで、あるvalueを持つpairだけを別のmapに移す時はどうやればよいでしょうか？

例えば
unordered_map<int, int> map1{
　　{0, -10},
　　{10, -1},
　　{2, 5},
}
があってvalueが負のもの({0, -1.}と{10, -1})をmap1から削除して
map2へ移す、みたいな場合です。

**デフォルトの名無しさん** · 2017/07/29(土) 02:13:30.18

C++14まではmapの要素を直接付け替えることはできないのでそのまま
1 ループやalgorithmで該当する要素を見つける
2 その要素のキーと値でmap2に新しい要素を追加
3 古い要素をmap1から削除
4 該当する要素がなくなるまで1-3を繰り返す

**はちみつ餃子** ◆8X2XSCHEME · 2017/07/29(土) 08:10:20.47

>>131
std::remove_copy_if を使うのが一番簡単な方法だと思う。

std::remove_copy_if(std::begin(map1), std::begin(map2), std::inserter(map2, std::end(map2)), [](decltype(map2)::value_type x) { return x.second < 0; });

みたいな感じ。

**デフォルトの名無しさん** · 2017/07/29(土) 08:18:43.60

C++のSTLってこういうの好きだけど
ベタに書いた方が絶対楽だよな・・

**デフォルトの名無しさん** · 2017/07/29(土) 08:21:23.24

あとから見てこれなにやってるんだっけ？
ってなりそうで怖い

**はちみつ餃子** ◆8X2XSCHEME · 2017/07/29(土) 08:24:46.31

>>134-135
こういう場合に for で回した方がいいというタイプの人は go に移行した方が幸せになれると思う。