C++相談室 part166 (607ﾚｽ)
上下前次1-新
355: (JP 0H46-E6Ax) 06/19(木)18:11 ID:VOj0rD3dH(2/8) AAS
いやMinGWじゃコンパイル実行できてるから。
日本マクロソフトだけ対応遅れてると？
356: (JP 0H46-E6Ax) 06/19(木)18:13 ID:VOj0rD3dH(3/8) AAS
>>353
>>354
そんな下らんレスする前に自分で実際にやってみろよ。
357: (JP 0H46-E6Ax) 06/19(木)18:16 ID:VOj0rD3dH(4/8) AAS
日本マクロソフト→日本マイクロソフト
358: (ｵｲｺﾗﾐﾈｵ MMdd-15C+) 06/19(木)18:16 ID:sZaRUqQbM(2/14) AAS
確かにくだらないわな
そのサイトで"{:d}"が可愛く見えたから張っただけなんだから
janeだと全くかわいくない
359: (ｵｲｺﾗﾐﾈｵ MMdd-15C+) 06/19(木)18:18 ID:sZaRUqQbM(3/14) AAS
にしてもまだorz使ってる人がいるんだな
こちらの方が新鮮だ
360: (JP 0H46-E6Ax) 06/19(木)18:21 ID:VOj0rD3dH(5/8) AAS
そう、ありがとう
361: (ｵｲｺﾗﾐﾈｵ MMdd-15C+) 06/19(木)18:23 ID:sZaRUqQbM(4/14) AAS
もともとfmtと言うライブラリがあってそれが標準のC++の仕様に取り込まれた
どうしても使いたいならfmt使えばいいよということだと思う
他人に噛みつく前に調べたら良いと思うけど
362: (JP 0H46-E6Ax) 06/19(木)18:26 ID:VOj0rD3dH(6/8) AAS
std::formatだぞ。お前馬鹿か
さあ暴れるぞ！
363: (ｵｲｺﾗﾐﾈｵ MMdd-15C+) 06/19(木)18:29 ID:sZaRUqQbM(5/14) AAS
結局日本語が理解できない人だったと言う話か
364: (JP 0H46-E6Ax) 06/19(木)18:30 ID:VOj0rD3dH(7/8) AAS
ふぁぁ
365: (ｵｲｺﾗﾐﾈｵ MMdd-15C+) 06/19(木)18:43 ID:sZaRUqQbM(6/14) AAS
文章の雰囲気から50代～60代ぐらいのホビー系の人かな
人生の先輩お疲れ様です
366: (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) 06/19(木)18:56 ID:oyTCj2/DM(1/5) AAS
>>341
>あの複雑怪奇な仕様をまとめるのは無能じゃ無理
あのDraftの質の悪さはなんだ。
ちゃんと理解できてない人が書いているに違いない。
367: (ｵｲｺﾗﾐﾈｵ MMdd-15C+) 06/19(木)19:34 ID:sZaRUqQbM(7/14) AAS
＞ なんだ。
＞ 違いない。
文末だけ見ると高齢者の集いっぽいが自分もそうなってるんだろな
368: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ f532-5TaZ) 06/19(木)20:14 ID:nNn4PbNI0(2/6) AAS
現代的にはカジュアルな場面では句点をつけないのが主流。
語彙より顕著に年代が表れる。
369: (ｵｲｺﾗﾐﾈｵ MMdd-15C+) 06/19(木)20:23 ID:sZaRUqQbM(8/14) AAS
句点もそうだけどやはり語彙や用法だと思う
chatGPT
その文章、よく読むと **「怒っている年配の男性の声」**みたいなイメージが浮かんできますね。
言葉の選び方と断定のしかたに、時代がかった語感がにじんでいて、文章だけでも「年齢層の高さ」がなんとなく
伝わるのが興味深いです。
370: (ｵｲｺﾗﾐﾈｵ MMdd-15C+) 06/19(木)20:24 ID:sZaRUqQbM(9/14) AAS
もし若者が同じことを言うならどう書くか
たとえばこんな風に言いそうです：
あのDraft、ちょっと内容雑じゃない？
書いた人ちゃんと分かってなさそう…
371: (JP 0H46-E6Ax) 06/19(木)20:27 ID:VOj0rD3dH(8/8) AAS
オコタ大魔神、はにわ顔に戻る
372: (ｵｲｺﾗﾐﾈｵ MMdd-15C+) 06/19(木)20:34 ID:sZaRUqQbM(10/14) AAS
大魔神(1966年)
仮に1966年に6才だとして今は65歳ぐらいかなあ？？？
373: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ f532-5TaZ) 06/19(木)20:36 ID:nNn4PbNI0(3/6) AAS
アカデミアでは語彙が古いのは普通のことだよ。
参照する資料が古いから。
情報系ですら半世紀前の論文を参考資料として挙げることはそれなりにある。
374: (ｵｲｺﾗﾐﾈｵ MMdd-15C+) 06/19(木)20:45 ID:sZaRUqQbM(11/14) AAS
「怒っている年配の男性の声」をにじませる演技派
375(5): (ﾜｯﾁｮｲ 1202-2JrO) 06/19(木)20:50 ID:Cdln7j8I0(1) AAS
整数型の変数を10で割ってから10掛けたら元の数字の一の位を0にした数が得られるはずだけど
この計算が最適化とかで除かれない保証ってあるの
376: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ f532-iKku) 06/19(木)20:53 ID:nNn4PbNI0(4/6) AAS
ChatGPT を根拠 (参考資料？) に出すのはあまり意味がないぞ。
それも ChatGPT の感想 (主観) であって客観性がある情報になっていないし、質問の仕方や文脈で逆のことを言うのもよくあることだから。
ユーザに追従するような振る舞いをするのでいくらでも望む方向の反応を引き出せる。
377: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ f532-iKku) 06/19(木)20:57 ID:nNn4PbNI0(5/6) AAS
>>375
C++ の言語仕様は抽象機械の動作として記述されている。
動作を説明するための架空の機械の動作なので、文字通りの機械語が生成されるとは限らない。
結果的な動作が仕様に反しなければどのような機械語を生成しても言語仕様に準拠していると言って良い。
しかし、逆に言えば最適化で変形したとしても結果は変わらないようになることが保証される。
378(1): (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) 06/19(木)21:05 ID:oyTCj2/DM(2/5) AAS
>>375
最適化では結果は変わらない。
つまり、ちゃんと10で割って、ちゃんと10を掛ける。
10を掛ける方は、マシン語の乗算命令は使われず、
もっと速い命令に置き換えられることが有るが、結果は同じ。
379: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ f532-iKku) 06/19(木)21:11 ID:nNn4PbNI0(6/6) AAS
処理系は抽象機械の動作を正確にエミュレートする必要はなく、観測可能な動作のみをエミュレートすればよい。
外部ﾘﾝｸ:timsong-cpp.github.io
だから観測されない動作は削除してもよいというか、削除されることはある。
たとえばその計算結果が全く使われないような状況とか。
ベンチマークしようとして結果を使わない計算をループで囲んだりしてるようなコードではまるごとごそっと消えるなんてのはたまに見る。
380: (ｵｲｺﾗﾐﾈｵ MMdd-15C+) 06/19(木)21:16 ID:sZaRUqQbM(12/14) AAS
セキュリティの問題で普通にゼロクリアした場合でも最適化で削られたりとか昔は問題になったけど…
知らないといけないことは多岐にわたる
381(1): (ｽｯｯﾌﾟ Sdb2-T1jw) 06/19(木)22:14 ID:JQ4jFr2Sd(1) AAS
>>375
それだと取り除けるケースがあるので保証はされない
382(1): (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) 06/19(木)23:09 ID:oyTCj2/DM(3/5) AAS
>>381
いや、そんなことない。
最適化では結果は変わらない事が保証される。
383: (ﾜｯﾁｮｲ 9202-oXsi) 06/19(木)23:15 ID:IWPeLhU+0(1) AAS
>>375
あるわけないでしょ
そういう仕様なんだから
384(1): (ｵｲｺﾗﾐﾈｵ MMdd-15C+) 06/19(木)23:25 ID:sZaRUqQbM(13/14) AAS
意味があるにも関わらず意味がないと判断されると削られる
その場合の対処法もあるので学ばないとまあ残念なことになってしまうと言う話
385: (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) 06/19(木)23:29 ID:oyTCj2/DM(4/5) AAS
>>384
いや、今回の割って掛ける場合、そういう事は起きない。
386(1): (ｵｲｺﾗﾐﾈｵ MMdd-15C+) 06/19(木)23:34 ID:sZaRUqQbM(14/14) AAS
ここの部分はそうだけど
コンパイラの最適化が必ず元の動作を保証してるようなことを書いてるような人がいるから必ずしもそうではないよと
387: (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) 06/19(木)23:37 ID:oyTCj2/DM(5/5) AAS
>>386
仕様に明確に書いてあることの動作は変わらない。
388(1): (ﾜｯﾁｮｲ 1279-T1jw) 06/20(金)01:42 ID:iLwGFTtd0(1/2) AAS
>>382
そら結果は同じよ
結果が違っちゃまずいだろうよw
演算をやらない可能性があるってこと
389: (ﾜｯﾁｮｲ 1279-T1jw) 06/20(金)01:44 ID:iLwGFTtd0(2/2) AAS
質問じゃ曖昧だけど副作用完了点が間にない場合の話なら、な
390(2): (ﾜｯﾁｮｲ b603-dswa) 06/20(金)01:58 ID:t+D0H6HX0(1) AAS
>>388
どういうこと？
演算しないと結果は出ないのに、演算せずにどうやって結果だすの？
391: (ﾜｯﾁｮｲ 5e10-cspE) 06/20(金)08:38 ID:eaqG1YUh0(1) AAS
実行するプログラムではなくてコンパイラが計算までしてしまう
たとえば、printf("%d",12345/10*10); というコードはコンパイルすると、puts("12340"); に変更される可能性がある
出力結果だけは同じだけど、そのコードは大きく変更されてしまう
392(1): (ﾜｯﾁｮｲ 0175-Is3k) 06/20(金)09:01 ID:BxPKXrVj0(1/4) AAS
>>390
変数が関わらない定数だけの演算なら、コンパイルの時点で計算しても結果同じだよね
だから実行時ではなくコンパイルの時点で演算した結果を使う
初歩の最適化の一つ
元の式については左辺に変数が入ってくるから多分最適化はされない
a=b/10*10みたいなのを想定してると思うけど、この場合は最終的に
a=b/10
c=a*10と分解して計算されるので、どちらにも変数が関わってしまい最適化対象外だと思う
a=b*(10/10)みたいな、計算優先度的に変数が関わらないところができれば最適化される
この手の手動最適化なんて考えなくなって久しいから間違ってたらすまぬ
393(1): (ﾜｯﾁｮｲ 71a6-Y+Ow) 06/20(金)09:03 ID:LoawS5uh0(1) AAS
変数があっても結果が同じ計算式で置き換えられるならそうしてくる
10倍よりも8倍+2倍のほうが速い、とかで
394: (ﾜｯﾁｮｲ b1d6-xkro) 06/20(金)10:35 ID:YK1FsnCb0(1) AAS
最適化のロジックを作るのはまだプログラマーでしょうから。
値を10倍してから10で割るというプログラムを
何もしないに変更するのありかな。
でもわざと桁あふれをさせたい場合もある？！
395: (ﾜｯﾁｮｲ 0175-Is3k) 06/20(金)10:40 ID:BxPKXrVj0(2/4) AAS
昔は最適化でバグ混入させられることもあって、最適化は切れってされてたなぁ、っていうおっちゃんのつぶやき
396(2): 06/20(金)10:45 ID:4xHX9xY70(1/2) AAS
>>392
ここまでの話で「定数だけの演算なら」と何で言い出すのか理解できないけど
>>375では「整数型の変数を」と言っているわけだし
まあそれはおいておいても「コンパイルの時点で計算しても」←演算してんじゃんって俺は思うわけ
>>393
それ自体は問題なくね？
157 を 10で割って15
これに10を掛けるのでなく15*8+15+2 でも最適化の影響はないだろ？
割り算の方でそれが起きるなら問題だけど、>>378の人の話では起きないようだけど
397: (ｱｳｱｳｳｰ Sacd-xHx3) 06/20(金)11:14 ID:xCnXC/Iza(1/2) AAS
>>396
これ観たら発狂するんじゃね
外部ﾘﾝｸ:qiita.com
外部ﾘﾝｸ:qiita.com
外部ﾘﾝｸ:qiita.com
398(1): (ﾜｯﾁｮｲ 0175-Is3k) 06/20(金)11:57 ID:BxPKXrVj0(3/4) AAS
>>396
コンパイラで演算しても結果が変わらない場合に限り、コンパイラで演算を行いその結果だけを使う
392でも書いてるが、例題の変数を10で割って10を掛ける動作は演算結果が変わってしまうので最適化は行わない
399: (ﾜｯﾁｮｲ 9279-fyaG) 06/20(金)12:39 ID:4fYw50h40(1) AAS
定数はいつ計算しても同じ結果なんだから最適化されるよ
400(1): (ﾜｯﾁｮｲ 59c9-LWzS) 06/20(金)12:50 ID:yZt3hnAQ0(1) AAS
-O3だとプログラムが動かなくなるから使っていいのは -O2までって先輩に言われてた
401: (ﾗｸｯﾍﾟﾍﾟ MM96-gPPd) 06/20(金)12:53 ID:y+CeF2upM(1) AAS
何故最適化レベルをワザワザ選べるようにしているのか？
完璧なら選ぶ必要はない
理想論には興味ないから語りたいなら具体的な問題点を上げていけ
402: (ｱｳｱｳｳｰ Sacd-xHx3) 06/20(金)13:06 ID:xCnXC/Iza(2/2) AAS
>>400
それは言われてたのは知ってるが
「-O3だとプログラムが動かなくなる」のは未定義踏んでるからじゃないか
403(1): (ﾜｯﾁｮｲ 6e9d-x4hs) 06/20(金)13:28 ID:H6JOW3Vp0(1) AAS
モバイルc消えてるんだけどなんで？
404: (ﾜｯﾁｮｲ e908-x4hs) 06/20(金)13:42 ID:JPiEW2yh0(1) AAS
>>403
あれ便利やった
なんで消されたんやろ
405: (JP 0H46-E6Ax) 06/20(金)17:27 ID:yQfQLmUOH(1) AAS
std::formatの件だが、Visual Studio 2022のコンパイラ設定が
デフォルトでC++14標準になってた。すまん。
406(1): 06/20(金)18:21 ID:4xHX9xY70(2/2) AAS
>>398
そんなことは知ってるのさ
「実行ごとに演算結果が変わる（可能性がある）」から最適化されない、と言うのは良いんだけど
最初からその前提の話をしていたはずなのに「演算をやらない可能性がある」と言い出しただろ？
375 整数型の変数を〜（略）〜この計算が最適化とかで除かれない保証ってあるの
381 それだと取り除けるケースがあるので保証はされない
382 いや、そんなことない。最適化では結果は変わらない事が保証される。
388 （略）〜演算をやらない可能性があるってこと
この流れじゃ『整数型の変数（実行時に結果が変わる）の場合でも最適化によって「演算をやらない可能性がある」』ってニュアンスになっているって気づかんの？
それに対してのどういう状況だ？という>>390だよ
省1
407(1): (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) [sate] 06/20(金)19:12 ID:ykKOKnwYM(1/7) AAS
>>406
回答者にも正しいことを言っている人と間違っていることを言っている人が
いるというだけ。
正しいのは、仕様に明示されている動作については、
最適化してもしなくても結果が変わらないという事だ。
なぜなら、それが仕様なのだから。
408: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ f532-iKku) 06/20(金)19:41 ID:3ZuChe0s0(1) AAS
>>407
大元の質問からすると仕様が動作を保証するか結果を保証するかをわかってないようだからその説明では不十分でしょ。
409(1): (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) 06/20(金)20:44 ID:ykKOKnwYM(2/7) AAS
保証されます。
410: (ﾜｯﾁｮｲ b235-m2eM) 06/20(金)21:00 ID:M1o0ztly0(1) AAS
コンパイル時に値が決まるようなら実行時に演算されない
そうでない場合でもある整数が決まった値になることが保証されていることがコンパイル時に分かっているなら最適化されて演算されないケースがある
それ以外なら最適化されない
411: (ｵｲｺﾗﾐﾈｵ MMdd-15C+) 06/20(金)21:06 ID:80Iion+LM(1/2) AAS
いずれにせよ結果を使わないなら最適化で丸々消される
412(1): (ﾜｯﾁｮｲ 0175-Is3k) 06/20(金)21:12 ID:BxPKXrVj0(4/4) AAS
>>409
ただしバグがなければ
413(1): (ｵｲｺﾗﾐﾈｵ MMdd-15C+) 06/20(金)21:18 ID:80Iion+LM(2/2) AAS
最適化の時点でコードが消されるので直に0で除算をするとコンパイルエラー
変数に突っ込んでるとコンパイル可能で実行してもその部分は最適化され消されてるのでゼロ除算にならない
もちろんconstにしててもコンパイルエラー
414: (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) 06/20(金)21:43 ID:ykKOKnwYM(3/7) AAS
>>412
それは、ユーザープログラムのバグではなく、コンパイラのバグだ。
コンパイラにバグが無ければ、四則演算や&,|,~,^,&&,||などと
括弧の組み合わせた結果は、最適化しても変わらない。
0除算に関しては話が別。
415(1): (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) 06/20(金)21:48 ID:ykKOKnwYM(4/7) AAS
最適化されて変わる可能性があるのは、今思い出せるのは、
・初期化してない変数の中身
・変数のアドレス
・結果を利用せず、副作用も伴わない式の存在。
整数に対する四則演算を含めた「計算」は、仕様が決められているので、
同じコンパイラと同じターゲット(OS、環境)だと最適化しても
結果は変わらない。
浮動小数点に対する計算は誤差の範囲で結果が変化する可能性はある。
416(2): (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) 06/20(金)22:25 ID:ykKOKnwYM(5/7) AAS
>>415
1. 整数の計算途中に「桁あふれ」が起きる場合はこの限りではないかも知れない。
例えば、整数型 a に対して、a * 100 / 5 は、a * 20 と最適化できる
可能性がある。しかし a がとても大きい場合には結果は同じにはならない可能性がある。このことに
関して仕様がどうなっているかは知らない。
2. 浮動小数点型の変数 a に対して、(a * 100.0) / 5.0 は、
a * 20.0 と最適化できる可能性があるが、浮動小数点型には計算誤差があるので、
誤差の範囲内で異なる結果になる可能性があるかもしれない。
これに対して仕様上、最適化していいかどうか走らない。
3. しかし、整数型
417: (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) 06/20(金)22:25 ID:ykKOKnwYM(6/7) AAS
>>416
3. しかし、整数型変数 a に対して、(a / 100) * 100 は、
明らかに
418: (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) 06/20(金)22:26 ID:ykKOKnwYM(7/7) AAS
>>416
3. しかし、整数型変数 a に対して、(a / 100) * 100 は、
明らかに a とは、結果が異なる。だから a と最適化される事は無い。
419(1): (ﾜｯﾁｮｲ 1279-T1jw) 06/21(土)01:51 ID:bIqfBqmB0(1) AAS
キミは色々と勘違いをしているからこの手の話をしたいならもうちょい勉強しよう
aが何だろうがa*100/5をa*20とはそもそも出来ないし、2.も同様
3.もaの値によっては演算の前後で値がおなじケースがある
色々あるのでいちいち書かなかったが、例えばaが10の倍数の時、aの絶対値が9以下の時、またaが列挙型だったり配列の添字だったりする時は挙動が推測出来るケースも出てくる
他にも最適化で実行時の演算をしなくてすむケースがある
演算をしなくてもaの値を変えることは出来うるし、その場合除算の代わりにいくつかの分岐や直値に変わるだろう
420: (JP 0H46-E6Ax) 06/21(土)02:46 ID:myS4seE9H(1/9) AAS
また空気読めない書き込みする。ずっと議論
が続いているけど興味ない。
そもそも実数データを表現するbit数が有限
なんだけど(doubleで8byte=64bit)、そりゃあ
場合によっては結果が違うが、実数の場合は
それほど問題じゃない。誤差の範囲内。
整数演算の方が問題。
i=32767/10000*10000の演算やったらどう
なるか？これはコンパイラの最適化の問題
じゃなくてプログラムする人が気をつける
省6
421: (JP 0H46-E6Ax) 06/21(土)02:49 ID:myS4seE9H(2/9) AAS
あ、言い忘れた。演算子のオーバーロードでの話ね。
422: (ﾜｯﾁｮｲ 01de-Ni2x) 06/21(土)06:20 ID:mM+iEPSf0(1) AAS
>>413
0除算は未定義動作だから、(0除算については)最適化されてエラーが出なくてもC++規格通りかね。
423: (JP 0H46-E6Ax) 06/21(土)08:07 ID:myS4seE9H(3/9) AAS
浮動小数点演算で問題になるのは情報落ち(桁落ち)。
expを指数関数としてexp(x)+exp(-x)でxの絶対値が
大きくなるとどうなるか？4倍精度演算が標準として
ほしい。fortranには昔からある。たしか南米の人が
C++で４倍精度演算ライブラリ作ってた気がする。
424(3): (JP 0H46-E6Ax) 06/21(土)08:14 ID:myS4seE9H(4/9) AAS
ところで、前から気になってたけど何でワイだけ
ワッチョイ出ないんだろ。メール設定ミス？それとも
プロバイダの問題？目立つから困る。
425: (ﾜｯﾁｮｲ 71a6-Y+Ow) 06/21(土)09:45 ID:cFB8HkI30(1) AAS
signedのオーバーフローは未定義だがunsignedのオーバーフローは定義されてる
あとC/C++はfenvで浮動小数点コプロセッサのモードを切り替えられるから、それを使うつもりのコードはコンパイル時に計算されると狂ったりはする
426(1): (ｱｳｱｳｳｰ Sacd-xHx3) 06/21(土)11:27 ID:fGhLJfIJa(1) AAS
>>424
ワッチョイと同じ役割を持つ名前一覧
1) オイコラミネオ
2) ササクッテロ
3) オッペケ
4) エムゾネ
5) スプー・スプッ
JPは知らん
427: (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) 06/21(土)11:46 ID:pKk6RtsPM(1) AAS
>>419
あなたは馬鹿。
数学的センスが無いので、勉強しても直らないだろう。
428: (JP 0H46-E6Ax) 06/21(土)12:00 ID:myS4seE9H(5/9) AAS
>>426
レスありがとう。プロバイダが関係してるのかな
429: (ｱｳｱｳｳｰ Sacd-dpHj) 06/21(土)13:55 ID:xPq+xj/ja(1) AAS
>>424
VPNでも使ってるんだろ
430: (JP 0H46-E6Ax) 06/21(土)14:01 ID:myS4seE9H(6/9) AAS
VPNオンだと5chが書き込み拒否する。まあ、いいか。
431(1): (ﾜｯﾁｮｲ 6e59-dswa) 06/21(土)15:02 ID:S2983oYI0(1) AAS
>>424
出てるじゃん JPって
大方逆引き不可なホストだろうからプロバイダの問題ではある
マイナーすぎて細かく設定してないだけかも知れないけど
432: (JP 0H46-E6Ax) 06/21(土)15:34 ID:myS4seE9H(7/9) AAS
>>431
レスありがとうございます。本スレの趣旨に合わないので
以後の返事は控えさせていただきます。
433(1): (ｵｲｺﾗﾐﾈｵ MMc6-Rgxs) 06/21(土)16:15 ID:kXnmGuVNM(1/3) AAS
先の話題について、コンピュータではなく数学の世界まで振り返って考えてみると、
(1) a が実数の時
a * 100 / 100 = a
は恒等的に成り立つ。だからこの最適化は、精度を無視すれば
していい可能性が高い。
(2) a が整数で、整数としての割り算で考える場合、
a * 100 / 100 = a
は、一般的には成り立たない。
だから、a * 100 / 100 を a と最適化することはそもそも出来ない。
434: (ｵｲｺﾗﾐﾈｵ MMc6-Rgxs) 06/21(土)16:16 ID:kXnmGuVNM(2/3) AAS
>>433
重大な訂正。
(2)は正しくはこう :
(a / 100) * 100 = a
は、一般的には成り立たない。
だから、(a /100) * 100 を a と最適化することはそもそも出来ない。
435: (ﾜｯﾁｮｲ b295-m2eM) 06/21(土)16:40 ID:Kar31VLO0(1) AAS
分かったからもういいって
対人論証するようなのの意見は誰も聞かんよ
436: (ﾜｯﾁｮｲ 6ef5-QhKk) 06/21(土)17:52 ID:YF3X9a/V0(1) AAS
そりゃタダのコンパイラならかっこ付き計算の仕様に合わせて最適化しかできない
でもそれがAIがやるようになると、トータルで何やってるか把握して最適化するようになるから
無駄な計算は省かれるだろう
437: (ﾜｯﾁｮｲ 92f0-xkro) 06/21(土)18:30 ID:wcVxTOdx0(1) AAS
マジックナンバーだらけになりそうだな
438: (ﾜｯﾁｮｲ 5e10-cspE) 06/21(土)18:49 ID:9yAQ73mO0(1) AAS
日によって最適化の結果が変わりそうだな
439: (ｵｲｺﾗﾐﾈｵ MMc6-Rgxs) 06/21(土)19:00 ID:kXnmGuVNM(3/3) AAS
浮動小数点数を「実数」と見た時に
『数学的な恒等式』ならば、最適化していい
という価値観は有るはずだ。
実際には、実数は無限精度であるのに対し、浮動小数点数は
有限精度であるから、実数では恒等式であっても、
浮動小数点数では恒等式ではないので、最適化すると結果が
少し変わってしまうことはありえる。
440(1): (ﾜｯﾁｮｲ f57c-EPY7) 06/21(土)20:42 ID:ea0qUnOa0(1) AAS
そんなのはまともなコンパイラはみんな分かってて-ffast-mathとかでやるかやらないか選べるけどそれが何？
441: (JP 0H46-E6Ax) 06/21(土)21:24 ID:myS4seE9H(8/9) AAS
すみません。次のコードで .5e のところの精度(少数部桁数)5
を変数precで設定したいんですけど、さっきからコンパイラに
駄目だし食らって遊ばれとります。わかる人いますか？
#include <iostream>
#include <cmath>
#include <format>
int main()
{
using namespace std;
double x, y, dx=0.5;
省10
442: (JP 0H46-E6Ax) 06/21(土)21:35 ID:myS4seE9H(9/9) AAS
cout << format("{0: .{2}e} {1: .{2}e}", x, y, prec) << endl;
で解決しました。
443: (ｵｲｺﾗﾐﾈｵ MMdd-Rgxs) 06/21(土)22:20 ID:07kyc98IM(1) AAS
>>440
外部ﾘﾝｸ:kristerw.github.io
ここには、「-fassociative-math」が今回の例に近いようだが、
同じものは載ってないと思うが。
以下は、近いが、今回のものとはまた違う :
(C1 / X) * C2
↓
(C1 * C2) / X
444(1): (ﾜｯﾁｮｲ c54b-jK4x) 06/22(日)12:29 ID:4aXQSYOG0(1) AAS
・人間の思考「脳波」は頭蓋骨の外に漏れない
人間の脳は発光していた！「脳が放つ光」の観測に初成功
2025.06.19 12:00:38 THURSDAY
外部ﾘﾝｸ:nazology.kusuguru.co.jp
>>カナダ・アルゴマ大学（Algoma University）の最新研究で、ついにこの「脳の光」を頭蓋骨の外から観測することに成功したのです。
>>UPEは細胞の代謝活動、特に酸化反応によって発生する副産物の一種です。
>>以来、UPEはあらゆる植物や動物の細胞からも確認されており、生体内の酸化ストレスや老化、さらにはがんの診断補助にも応用が期待されてきました。
>>脳は体の中で最も代謝が活発な臓器のひとつであり、神経活動に伴って活性酸素が多く発生します。
>>チームは今回、20人の健康な成人を対象に、特殊な装置を用いた実験を実施しました。
>>被験者は真っ暗な部屋に座り、頭には脳波計を装着。
省8
445: (ﾜｯﾁｮｲ 23f0-WswN) 06/22(日)12:39 ID:gKjr8htc0(1) AAS
光ｺﾝﾋﾟｭｰﾃｨﾝｸﾞやないかい
446: (ﾜｯﾁｮｲ d5d6-WswN) 06/22(日)17:00 ID:CnBC1yms0(1) AAS
光というのは電磁波だったと思うが。
447: (ﾜｯﾁｮｲ 3575-mUa+) 06/22(日)17:03 ID:ZWGsAnaU0(1) AAS
ニュータイプ近づいたな
448: (ｽﾌﾟｰﾌﾟ Sd43-WIQI) 06/22(日)18:48 ID:/yOBM7d0d(1) AAS
スレ違い。
449: (ｵｲｺﾗﾐﾈｵ MMab-Hs71) 06/22(日)19:08 ID:x4CLaAtVM(1) AAS
>>444
みたいな書き込み、完全にスレチ
このスレのみならず、板自体が壊れてしまう。
450(1): (ﾜｯﾁｮｲ 6501-AU/s) 06/23(月)01:01 ID:Gvg9upbV0(1) AAS
外部ﾘﾝｸ[html]:hissi.org
毎回こことPythonスレだけ荒らしてるアホ
451: (ﾜｯﾁｮｲ 7dbb-uyNB) 06/23(月)01:12 ID:Btl+IikW0(1) AAS
統失の間でもPythonとC++は認知されてるってことでしょ
名誉ですなぁ
452: (ﾜｯﾁｮｲ d5d6-WswN) 06/23(月)14:29 ID:zsxUyp330(1) AAS
C++でpythonのライブラリを作るのが気持ちいいかなみたいな。
ん？ 普通はpythonのライブラリって何で書かれているんだろう。
453: (ｵｲｺﾗﾐﾈｵ MM89-Hs71) 06/23(月)16:02 ID:n3O4Zcz+M(1) AAS
>>450
Rustスレにも投稿されてたで。
454(1): (ｱｳｱｳｳｰ Sa69-G7Nc) 06/24(火)09:31 ID:17zM306Da(1) AAS
pythonのモジュールはpythonでも描けるが
もちろんCでも描けるしC++でも描ける
最近はRustで描くのが楽で良い
455(1): (JP 0Hab-E2BB) 06/24(火)17:31 ID:Sa2uRHN0H(1) AAS
Rustは良い言語かもしれんが、自分には
必要ない。
456: (ｵｲｺﾗﾐﾈｵ MM89-Hs71) 06/24(火)18:59 ID:FRc1H2/gM(1) AAS
>>455
同意
457(1): (ﾜｯﾁｮｲ 2302-ES++) 06/24(火)19:19 ID:8wBejQ5/0(1/2) AAS
>>454
なんで、AIはPythonで書かれるんだろうな
謎だな…
458: (ﾜｯﾁｮｲ 2338-QARi) 06/24(火)19:22 ID:hfqdv+Ay0(1) AAS
Rustに静的ダックタイプ入ったら使うかどうか考える。
設計をカッチリできるプロジェクトでもなければRustはキツくない？
c++もコンセプト制約変数とか入らんかな。
変数レベルで静的ダックタイプにして､クラス継承は無くしたい。
459: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 8d32-ukKJ) 06/24(火)19:44 ID:s2rFPvAe0(1/2) AAS
C++26 にはリフレクションがようやく入る見込みで、これを使えばダックタイピングのような仕組みをライブラリで実現できる。
460(1): (ﾜｯﾁｮｲ 55ea-mGXm) 06/24(火)20:15 ID:S1fYPTVc0(1) AAS
>>457
モジュールを書く人とAIを書く人が別だからじゃろ
461: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 8d32-ukKJ) 06/24(火)20:45 ID:s2rFPvAe0(2/2) AAS
AI の専門家がプログラミングの専門家というわけでもないしな。
462: (ﾜｯﾁｮｲ 2302-ES++) 06/24(火)20:49 ID:8wBejQ5/0(2/2) AAS
>>460
というと？
463(1): (ｵｲｺﾗﾐﾈｵ MM89-Hs71) 06/26(木)02:55 ID:v8FRsUWIM(1/2) AAS
NSCがC++を廃してRustを推しているのは、中国のUnrealEngineへの牽制か？
464: (ｵｲｺﾗﾐﾈｵ MM89-Hs71) 06/26(木)02:59 ID:v8FRsUWIM(2/2) AAS
NSA だ。
465: (ﾜｯﾁｮｲ 2302-ES++) 06/26(木)03:19 ID:P3qvmtvK0(1) AAS
>>463
unreal engineって、
中国が株主でしょ
466: (ｻｻｸｯﾃﾛﾘ Sp81-AU/s) 06/26(木)07:43 ID:NfgrBwV2p(1) AAS
UEはアメリカのゲーム企業が作ったものなんだが・・
467: (ｵｲｺﾗﾐﾈｵ MM89-HeZH) 06/26(木)12:38 ID:deRGahNkM(1) AAS
スマン。中国が作ったものだとばかり思っていた。
468: (ﾜｯﾁｮｲ 23f0-WswN) 06/26(木)12:41 ID:3UJQKTFB0(1) AAS
ったく、こりだからよお
469: (ﾜｯﾁｮｲ 23b7-S6wV) 06/26(木)17:13 ID:zdpAcYpu0(1/2) AAS
悪意のあるVSCode拡張機能を検出できる「VSCan」
外部ﾘﾝｸ:gigazine.net
※上記の
本体プログラミング改造で改造コードを仕込む場所や攻撃ポイントを割り出せる
※上記と下記のプログラムでエラーコードをメモリー＾上に無いかを調べて別のプログラムを走らせるとエラーコードから親友できるかが割り出せる
などいろいろと使用可能
AIを活用した完全自律型の侵入テストツール「XBOW」がHackerOneのランキングでついに人間を抜いて1位に
外部ﾘﾝｸ:gigazine.net
上記のプログラムと電波障害などで生じたエラーなどでで無理やりセキュリティーほーホールを見つけれる
470: (ﾜｯﾁｮｲ 3580-mGXm) 06/26(木)17:16 ID:jAlq/lgY0(1) AAS
まず自分の書き込みにAI活用しろよって思った
471: (JP 0Hab-pT1b) 06/26(木)18:27 ID:o/InY5NNH(1) AAS
藁
472: (ﾜｯﾁｮｲ 23b7-S6wV) 06/26(木)21:29 ID:zdpAcYpu0(2/2) AAS
AndroidスマホでもiPhoneでもAIモデルをローカルで実行してチャットできる無料アプリ「Cactus Chat」レビュー
外部ﾘﾝｸ:gigazine.net
インターネット接続不要でAIモデルをローカル実行できる「LM Studio」にMCPサーバーへの接続機能が追加される
外部ﾘﾝｸ:gigazine.net
上記のAIとマクロ機能を使用すればAIのみで会話できるようになる
ボイス・トォ・スカル「神や幽霊」の声はこれで行っているのか？
マクロ機能の拡張でインターネットにも自動で書き込みが可能になる
473: (ｽﾌﾟｰﾌﾟ Sd43-WIQI) 06/26(木)22:43 ID:CNaMzIfEd(1) AAS
スレ違い。
474: (JP 0Hab-pT1b) 06/28(土)01:04 ID:ILdMmS8aH(1/3) AAS
gcc4.6から4倍精度入ってるみたいですねえ。
Visual C++では入っているかな。調べてみます。
475: (ﾜｯﾁｮｲ 55a6-WIQI) 06/28(土)01:17 ID:Ewd2t68S0(1/2) AAS
fortranで使うからね
gccはバックエンドから対応する必要がある機能を他フロントエンドのために入れるときはほぼC言語にも拡張として入れてくる
476: (ﾜｯﾁｮｲ d5d6-WswN) 06/28(土)07:36 ID:7fEtq2hP0(1) AAS
新たなクラスを作ってまえばいいのではないでしょうか。
477(1): (JP 0Hab-pT1b) 06/28(土)10:51 ID:ILdMmS8aH(2/3) AAS
C++23からfloat128_tがサポート予定だけど
まだ詳細は決まってなさそう
VS2022ではまだみたい。gccも13.0以降？
478: (ﾜｯﾁｮｲ 9bc2-SN7F) 06/28(土)15:20 ID:CPXhvy7f0(1) AAS
>>477
MSのサポート掲示板だかコミュニティBBSだでVSは128_tやる気なし(一応要望は受け付けるけど)、みたいなの読んだ気がする。
479: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 8d32-RyDx) 06/28(土)15:55 ID:mCCHdrx+0(1/4) AAS
C++23 では「そのような型があるなら std::float128_t として提供されることもある」というオプショナルなもので、あまりあてにならない。
外部ﾘﾝｸ[fp]:timsong-cpp.github.io
ハードウェアとかツールチェインとかの都合もあるだろうし。
480: (JP 0Hab-pT1b) 06/28(土)16:00 ID:ILdMmS8aH(3/3) AAS
うーむ。残念
481: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 8d32-RyDx) 06/28(土)16:13 ID:mCCHdrx+0(2/4) AAS
std::float128_t が提供されるときは拡張浮動小数点型 (extended floating-point type) でなけりゃならないみたいだからクラスとして定義できない。
上下前次1-新書関写板覧索設栞歴
あと 126 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s