結局C++とRustってどっちが良いの？ 3traits

**デフォルトの名無しさん** · 2023/05/04(木) 07:49:56.33

「C++の色々配慮してめんどくさい感じは好きだけど、実務になったらメモリ安全性とか考えて今後Rustに変わっていくんかな」
「うだうだ言ってないで仕事で必要なのをやればいいんだよ、趣味なら好きなのやればいい」

っていう雑談スレ。

前スレ: 結局C++とRustってどっちが良いの？ 2traits
https://mevius.5ch.net/test/read.cgi/tech/1680363777/

関連スレ(マ板): Google&MS「バグの70%はC/C++。Rustにする」
https://medaka.5ch.net/test/read.cgi/prog/1619943288/

**デフォルトの名無しさん** · 2023/05/07(日) 11:35:48.42

エスケープ解析が有効なシーンにあっても速度向上はわずか1%～2%ぐらいのレベルなので
誤差と言えば誤差

**デフォルトの名無しさん** · 2023/05/07(日) 11:37:17.94

>>154
時代に取り残されてるな
まず大昔にレジスタ最大限活用最適化により1対1は崩れてる
さらにパイプライン最適化によって手書きアセンブリが敗北するようになってのがだいぶ昔の話
並行してキャッシュ最大限活用最適化によりスタック利用有利がさらに強まったり

**デフォルトの名無しさん** · 2023/05/07(日) 11:38:19.17

>>157
そんなことない。

**デフォルトの名無しさん** · 2023/05/07(日) 11:40:38.01

お互いに自分の強いと思う必殺技を叫んで殴り合ってる状態だな
映画館に行かずにこんなところで聖闘士星矢が見られるとは…

**デフォルトの名無しさん** · 2023/05/07(日) 11:46:33.50

今は究極のパイプライン最適化により
生成された機械語と元のプログラミング言語は実行順序すら異なる
だから連投してるアホ>>155の書き込みは読む必要なし
memory orderingとかすら知らない低レベル

**デフォルトの名無しさん** · 2023/05/07(日) 11:46:55.96

いくらRustが独自の最適化しても、その最適化と同じことを
C++では書こうと思えば書けてしまうのだから、C++が負ける可能性
はない可能性がとても高いと言うこと。

**デフォルトの名無しさん** · 2023/05/07(日) 11:48:22.26

>>160
そのレベルの最適化は、コンパイラの最後の段階であるところのLLVMレベル
で行なわれるから、Rustとclangで差が出ることは無い。
出るとしたら、LLVM最適化がたまたまその時には上手く最適化できなかっただけ。

**デフォルトの名無しさん** · 2023/05/07(日) 11:49:35.05

>>162
厳密に言うと、「LLVMレベル」ではなく、それより
さらにマシン語に近いところのレベルの最適化。

**デフォルトの名無しさん** · 2023/05/07(日) 11:54:20.57

まあ一番差が出るのは浮動小数ユニットの扱いだけどね。

**デフォルトの名無しさん** · 2023/05/07(日) 11:57:59.97

>>162
同じLLVMを用いていても
C++よりRustが速くなった例はいくつか知られていて
それはRustの参照排他ルールによりLLVMに渡すことができる制御情報オプションが増えることで
LLVMによる最適化がRustの場合のみ生じることが原因のようです
つまりRustの言語仕様がC++より速くなるケースを生み出しています

**デフォルトの名無しさん** · 2023/05/07(日) 12:20:49.96

どんどん互いにいい技術をパクリあって向上したらいいだけだろ
今後AIによるコード研究が進むだろうし技術的境目はどんどんあいまいになってく

過疎板でお互いにペガサス流星拳を打ち合う必要もなくなる

**デフォルトの名無しさん** · 2023/05/07(日) 12:44:26.77

>>131
そもそもこのグラフが、何を測定したかの説明も無い。
事実である根拠も無い。
Rustだけ優秀な人がプログラムし、C++では、スクリプト言語上がりの
CPUやマシン語の基礎が分かってない人がプログラムしたのかもしれない。
それに、Rustは、必ず世界最強クラスの最適化バックエンドLLVMを使っている
のに対し、C++用のコンパイラは最適化がほとんど行なわれないような簡易
コンパイラも含まれる。

**デフォルトの名無しさん** · 2023/05/07(日) 12:45:57.83

ていうか、シンプルにしか書けない(のが利点の)Rustに負けるC++の書きようが悪いって話
きれいに書こうなｗ

**デフォルトの名無しさん** · 2023/05/07(日) 12:47:17.14

>>131
「実行時間」というが、PICやAKI-H8、ラズパイPICO、安物Androidデバイス
と、Core i9 とでは全然違ってくる。
Rustは、32BIT 以上専用なのに対し、C++ は、8MHz(?) の 16BIT の
PIC マイコンでも使えるのだから、比較にならない。
C++は、安い低速CPUでも動くが、Rustは高級で豪華な CPU でしか動かない
ということだ。それがグラフに現れているだけだろう。

**デフォルトの名無しさん** · 2023/05/07(日) 12:49:59.71

>>165
>それはRustの参照排他ルールによりLLVMに渡すことができる制御情報オプションが増えることで
>LLVMによる最適化がRustの場合のみ生じることが原因のようです
>つまりRustの言語仕様がC++より速くなるケースを生み出しています
その場合、C++でも、同じ「参照排他ルール」に従ってプログラムすれば、
LLVMは同じように最適化できるだろう。

**デフォルトの名無しさん** · 2023/05/07(日) 12:52:04.21

>>167
>>169
atcoderは競技プログラムのプラットフォームで参加者がコード書いて提出
コンパイルも向こうでされてるので統一した環境ではあるかなとｗ

**デフォルトの名無しさん** · 2023/05/07(日) 12:56:54.33

>>171
だったら、外国では、C++には、レベルの低い人も参加したのに対して、
Rustはレベルの高い人だけが参加した可能性が高い。

**デフォルトの名無しさん** · 2023/05/07(日) 13:02:09.04

atcoderは日本のサイトだよ
出題は英語で去れ店の？

rustは答えを出せる人間が少なく
低レベルコーダーが足切りされてる可能性が高い

**デフォルトの名無しさん** · 2023/05/07(日) 13:03:09.17

>>172
もう一つの可能性は、C++は歴史が長いから、古いCPUで測定された時の
実行時間が記録に残っているのに対し、Rustは、新しいCPUで測定された
記録しか存在して無いという不公平があるのかもしれない。

**デフォルトの名無しさん** · 2023/05/07(日) 13:04:40.62

>>173
つまり、
「Rustは初心者向けではない」
「Rustは優秀な人が試している段階」
ということを示しているのかもしれない。

**デフォルトの名無しさん** · 2023/05/07(日) 13:05:35.59

おじいさんは自分の見たいものしか見ず考えもしない

**デフォルトの名無しさん** · 2023/05/07(日) 13:10:50.09

Rust信者は木を見て森を見ず。

**デフォルトの名無しさん** · 2023/05/07(日) 13:11:54.80

>>170
参照排他ルールに従うプログラミングをするだけでは最適化されません
言語コンパイラがLLVMへその指示を出さないとLLVMは最適化しないし出来ません

例えばLLVMのnoalias最適化指示の場合
Rustではプログラマーは何も指定しなくても言語仕様によりRustコンパイラが自動的にLLVMへ自動的に指示を出します
C言語の場合はrestrict修飾子が導入されているためプログラマーが自己責任で修飾すればCコンパイラがその指示を出すことが可能です
C++は言語仕様にないためプログラマーは指示できません (言語仕様を独自拡張しているコンパイラのみ可能)

以上のようにプログラマーが何も指示せずともLLVMで最適化が行われるRustが有利な現状です

**デフォルトの名無しさん** · 2023/05/07(日) 13:13:52.93

>>178
それは初めて知りました。
このスレで初めてまともな意見です。

**デフォルトの名無しさん** · 2023/05/07(日) 13:15:46.72

C++の方が自由度が高いのだから遅く書くことを妨げない
一方でRustの自由度は低い
書いた人のレベルが如実に現れたってだけでは?
実際に最速は変わらない
Cの最速が遅いのはサンプルが少なかったから?

**デフォルトの名無しさん** · 2023/05/07(日) 13:16:13.51

でたらめを書く前によく見ろよ
グラフにatcode abc 182 e と書かれてるからその問題見て見たらいいだろ

abc = AtCoder Beginner Contest
2020-11-08(日) 21:00 ~ 2020-11-08(日) 22:40 (100分)
問題はAからFまであり後ろに行くほど難易度が高い

E問題を見ると再帰も使わないただのループ問題だからrustの有利なシーンはないと思う
制限時間があるからそこまでの問題で事実上足切りされた人が多いんだろ

**デフォルトの名無しさん** · 2023/05/07(日) 13:20:05.33

そもそも、atcoder なんて知りませんから。

**デフォルトの名無しさん** · 2023/05/07(日) 13:21:58.46

通常通り書くとやはりpythonとかは遅くなると思う

速い回答出せた人もいると言うことは技術的に枝狩りできるシーンがあるんだろうな

atcoder知らない＝おじいちゃん

**デフォルトの名無しさん** · 2023/05/07(日) 13:22:50.40

C++でやった人は、単に個人の遊びとしてやっていただけなのに対し、
Rustでやった人は、Rustの力をこのスレで自慢するために最高の品質
のコードを書いた「バイアス」があった可能性を除外できない。

**デフォルトの名無しさん** · 2023/05/07(日) 13:23:13.45

atcoderで性能比較www

**デフォルトの名無しさん** · 2023/05/07(日) 13:23:38.22

atcoderなんてやってるほど暇人じゃないから。

**デフォルトの名無しさん** · 2023/05/07(日) 13:24:50.84

なんで1問だけで比べるのか
データ公開されてるよね？

**デフォルトの名無しさん** · 2023/05/07(日) 13:24:56.80

それでこのスレでペガサス流星拳を撃ってるとｗ

その前におじいちゃんはe問題解けるのかなあ？

**デフォルトの名無しさん** · 2023/05/07(日) 13:28:05.72

なにがペガサス流星拳なんだか、幼稚な。

**デフォルトの名無しさん** · 2023/05/07(日) 13:30:01.06

pythonでギリギリ問題解けるようなレベルの人間がc++やrustに移行できるとは思えない
c++やrustという言語で足切りされてる

でも今後はプログラマー不足が顕著になるのでpythonの利用が促進されると思うわ

**デフォルトの名無しさん** · 2023/05/07(日) 13:33:41.26

そもそも、「実験しなければ分からない」というのは物理や数学、コンピュータの
世界ではウソ。理論があるし、人間には想像力があるんだから、思考実験で
済む場合が多い。但し、アホな人は除く必要がある。

**デフォルトの名無しさん** · 2023/05/07(日) 13:34:36.79

プログラムの最適化に詳しくてもプログラム自体出来ないなら本当に存在意義が不明なんだよな
○○が早いと言う人より目的時間内にコードを完成させる人が求められている
アセンブラが捨てられて高級言語が使われてる
生産性の向上が一番の問題

○○速くてスゲーと言うのは意味がない
知識があれば小学生にでも言える

**デフォルトの名無しさん** · 2023/05/07(日) 13:39:28.20

>>190
そこで不足している簡単なレベルかつPythonでできるようなことならば
類似サンプルも多数ネット上に転がっているせいでChatGPTが答えられる
だから従来は人員不足とされたその分野の人材は不要となった
C++/Rustで書かれる分野は少なくとも現状のAIは対応できない
特にインフラをAIが吐くコードに依存するのはリスクが高すぎるため人間の最後の砦として需要が残るだろう

**デフォルトの名無しさん** · 2023/05/07(日) 13:42:06.90

小学生に○○流星拳と言う言葉を教える

何かあればそれを叫ばせるこれがこのスレで起こってる全てです

**デフォルトの名無しさん** · 2023/05/07(日) 14:20:21.84

AtCoderの良問は良問だぞ俺は全然だけど
あんなもん要らねえｗｗｗとうそぶきつつ、こそっとやっとくと賢くなる

**デフォルトの名無しさん** · 2023/05/07(日) 14:44:33.78

>>172みたいに自分に都合の良い想定を平気で行う人間は
どういう大学出てるんだろうな
「可能性が高い」なんて学部生のレポートレベルでも書かないわ
そのへんのリテラシーなくクソレス書き散らしてるの恥ずかしくないのか

**デフォルトの名無しさん** · 2023/05/07(日) 15:02:41.71

大見得切ってる割に単発で書いてる時点でな

**デフォルトの名無しさん** · 2023/05/07(日) 15:11:30.83

競技プログラミングってC++でやるもんでしょ
集まってくるやつのレベルもピンキリだよ

**デフォルトの名無しさん** · 2023/05/07(日) 15:16:11.45

>>131の各プログラミング言語の実行速度比較は実行環境が統一されてる点で信頼度が非常に高いと思う
さらに多数の人たちがコードを書いているためコードのせいで遅くなったりする要因も排除できてる
たまにあるベンチマーク比較でコードが下手なせいで言語によって左右されてるのも見かけるため

**デフォルトの名無しさん** · 2023/05/07(日) 15:29:50.80

自分は触れたくないがpythonって存在は面白い
c++やrustには移れないのにpythonならできるって人が多い

今後c++やrustの研究が進んで実行速度が1%上がるとかそんなレベル
乾いたぞうきんを絞ってる
それだったらpythonをjava並みに引き上げるほうが社会的意義があると思う

pythonの有名ライブラリはc++で書かれてチューンされて実行速度は速い
個人が各部分のコードが遅くてもライブラリが速いならこれで十分
でもそれがc++ユーザーに反映されて利用が進んでいるとは言えない
一般の研究で利用はpythonに軸足が移ってる
今後も進むだろうし

**デフォルトの名無しさん** · 2023/05/07(日) 15:33:01.77

いや、どうみてもPython（PyPy3）書いてるやつらはヘタだな
C++のやつらと同じ程度の頭脳なら言語そのものの早さはともかく分布の形状が同じにならないとおかしい
Pythonだとベストのアルゴリズムを選べないんだろうか？

2500msまで行ってるのはC++しか無いがおそらくはタイムオーバーで失敗したやつもいる
この課題をクリアできたやつの統計だな
クリアできなかった人数もやっぱりC++とPythonが多いと思われる
単に利用者が多いからな

**デフォルトの名無しさん** · 2023/05/07(日) 15:36:56.31

頭脳程度が同じだとすればPythonだと10000ms程度で解けるような尾の方が足きりされてるから分布がそう見えるだけなのか？
すると分布の形状はC++とは相似で、pythonではそれが拡大されただけになる

**デフォルトの名無しさん** · 2023/05/07(日) 15:39:50.70

だから知能レベルが低くてコーディングが下手な人間が書いても成果が残せるんならそっちの言語に注視したほうがいい
ある意味優秀だからさ
たまにライブラリレベルで回答できる問題もあるし正規表現で解決できる問題もある

優劣と言うより実現できるかどうかの世界

**デフォルトの名無しさん** · 2023/05/07(日) 15:41:53.17

とするとC++とPythonの下位は全く同じアルゴリズムを使っているが、
C++の言語性能のおかげで2500msに収まっている

考えてることが同じ人間でそう変わるわけもない

**デフォルトの名無しさん** · 2023/05/07(日) 15:43:48.79

まともにプログラミングができる人ならばC++かRustもやるだろうしな
高速さと省メモリで他の言語とはまるで違う
このスレになぜかJavaのほうが速いと主張してる一匹いるが

**デフォルトの名無しさん** · 2023/05/07(日) 15:46:07.10

効率の良いプログラムを書けない人はAI代替でいいから不要となるんじゃないか
C++とRustだけが残りそうだ

**デフォルトの名無しさん** · 2023/05/07(日) 15:47:17.20

e問題を見れば分かるけどおそらく出題内容をベタにそのままプログラムすると遅くなる
c++の人たちはそんなことはしてないと思う

**デフォルトの名無しさん** · 2023/05/07(日) 15:48:14.10

いいすぎかな
実際自分は解いてないで雰囲気で言ってるだけだから的外れかもしれない

**デフォルトの名無しさん** · 2023/05/07(日) 15:57:11.39

後は手元でのコンパイル時間だろうか
gccとrustcでせいぜい100行200行のコード、コンパイル時間に差が出るとも思えないが

100倍も違ったらさすがに競技プログラミングでは忌避されるがそうじゃあないでしょう
そして書いてすぐ試せるとなるとpythonとかになる
にも関わらずRuby利用者がいないのは悲惨としか言いようがない

**デフォルトの名無しさん** · 2023/05/07(日) 16:01:14.86

競プロに限らず無駄な効率悪いプログラムを書くプログラマーが溢れてる
そいつらで十分な分野はAIで置き換わるのたろう
ちゃんと考えて効率良いプログラムを書けるプログラマーならC++でもRustでも会得すぐだしな

**デフォルトの名無しさん** · 2023/05/07(日) 16:03:17.49

pythonは有名ライブラリ内でavx512使ってたりする
コードが寄贈されたりしてる

**デフォルトの名無しさん** · 2023/05/07(日) 16:20:26.96

あとはCargoと競技プログラミングの相性だろうか

**デフォルトの名無しさん** · 2023/05/07(日) 17:00:28.41

連休最終日だというのにお前らは

**デフォルトの名無しさん** · 2023/05/07(日) 17:27:29.15

>>206
効率の良いプログラムもAIが書いてくれるようになる

**デフォルトの名無しさん** · 2023/05/07(日) 17:44:09.69

>>214
現在のAIの方式だとそれは無理だな
論理の理解がなく例えば素数すら列挙する以外に理解できない
足し算ですら桁が大きくなると間違える
抜本的な大発明が将来起きない限り見込みがないだろう

**デフォルトの名無しさん** · 2023/05/07(日) 18:06:36.61

>>131 みれば、平均したらRustのほうがC++より速いだろ
それどころか、平均したらC++はPythonにも負けてそうだぞ

**デフォルトの名無しさん** · 2023/05/07(日) 18:07:20.74

Pythonクソ速いな
C++より速いな

**デフォルトの名無しさん** · 2023/05/07(日) 18:10:02.13

boxプロットも読めない奴がいるなw

**デフォルトの名無しさん** · 2023/05/07(日) 18:11:19.92

んなもん読まんでええのや

**デフォルトの名無しさん** · 2023/05/07(日) 18:31:40.13

>>215
AtCoderの問題を解くような処理がプログラミングにおいて最もAIを活用できる分野だよ
広く知られたアルゴリズムの最適化なんてお手のもの

**デフォルトの名無しさん** · 2023/05/07(日) 18:36:12.26

>>220
競プロに興味はない
そんな話はしていない

**デフォルトの名無しさん** · 2023/05/07(日) 18:42:35.09

C++がウェブ界に進軍したら、お前らみんな無職だぞ

C++のパワーをまざまざと見せつけられ、しょんベンチビルと思うわ

**デフォルトの名無しさん** · 2023/05/07(日) 18:43:59.40

それにしてもPython速いな

中にRust入ってるのと違うやろな

**デフォルトの名無しさん** · 2023/05/07(日) 20:06:09.85

>>215
AIが理解できなくてもパターンみたいに学習するからできちゃうんじゃん
突飛な想像力が必要なのは無理だろうけど

**デフォルトの名無しさん** · 2023/05/07(日) 20:18:49.70

工夫すれば１行分（＋電球とブロックの位置）の記憶だけで解けるのか
H,Wが1500以下でメモリ制限1024MBだとH＝~Wの確保も許容範囲だからそこで差がつきそう
解答者全体のレベルがよく分からないけどPythonにもガチ勢がいただけでしょ

**デフォルトの名無しさん** · 2023/05/07(日) 20:20:12.61

>>224
パターンはその通りで得意
しかしそこからの帰納法が無理
例えば素数を多数知っているがそこから素数の性質特徴を理解するのは無理
ただし学習として素数の性質特徴はわかるしプログラムも多数転がってるのでわかるだろう
でもそれじゃダメだ
未知のもの(初めてのもの)に対して出来ないといけない

**デフォルトの名無しさん** · 2023/05/07(日) 20:42:06.12

>>226
そういうことができるプログラマ以外いらなくなりそうだよね

◆QZaw55cn4c · 2023/05/07(日) 21:21:38.60

>>226
素数に関して突っ込んでいえば、素数の定義と素数の性質＝すべての自然数は素数の積で一意に表現できる、との間には大きなギャップがあるのに、それがあまり意識されていないのが問題

**デフォルトの名無しさん** · 2023/05/07(日) 21:25:03.91

>>227
全く逆だよ
そういうことを差別化要素と捉えてるようなプログラマがいらなくなる
コモディティ化しやすい知識とそうでない知識の違い

**デフォルトの名無しさん** · 2023/05/07(日) 21:34:18.83

>>229
難しくてわかんない
もう少し優しく

**デフォルトの名無しさん** · 2023/05/07(日) 22:10:30.80

バイアスがあった可能性を否定できない　っていうんなら逆方向も否定できないだろうに、なんでこのおじいちゃんは片方にだけ肩入れするん？
不自然ですよ

**デフォルトの名無しさん** · 2023/05/08(月) 00:59:11.95

最大の問題は rustの利用者が何でこんなに少ないかだな
ただこれには複案があっておそらくは C ++から移ってきたやつらがrustをやってると思われる
すると rustの標榜するモットーにも合致すると思われる

**デフォルトの名無しさん** · 2023/05/08(月) 01:13:16.38

もう出ている通りにこの問題を最速で解く機械語は存在するので
あと疑うべきは入出力のオーバーヘッドだけになる

メインのアルゴリズムやらロジックやらが同じなら
遅くしている要因は入出力だ

**デフォルトの名無しさん** · 2023/05/08(月) 01:15:13.32

>>232
しかし、SNSを見てると、好きな言語にRustを書いている人は、他の好きな言語と
して、JSやGo、Kotlinなどを挙げる傾向が強く、C++は全く書かれてない
ことが多い。

**デフォルトの名無しさん** · 2023/05/08(月) 02:06:52.10

C++のほうが機能が多いので、使える人はC++を使うからだろ

**デフォルトの名無しさん** · 2023/05/08(月) 02:33:43.51

機能の差の比較は難しいが
言語自体で様々な安全保証をするRustの機能が本質的に大きいかな

**デフォルトの名無しさん** · 2023/05/08(月) 02:37:25.24

C/C++の90%のコードが危険というような話は
9割が20年以上前に書かれているだけで
最近のマナーで書けば済む話では

**デフォルトの名無しさん** · 2023/05/08(月) 03:00:18.94

IT大手各社が揃って同じ判断をした
C++では無理なので新たなシステムからRustを採用
そしてRust Foundationを共同で立ち上げた
さらに既存のWindows、Linux、AndroidなどもRustの採用を開始

**デフォルトの名無しさん** · 2023/05/08(月) 03:33:40.76

そんなこと言ったらJavaの採用も開始してるしC/C++なんか大昔から採用を開始してるだろ

**デフォルトの名無しさん** · 2023/05/08(月) 03:48:41.01

非GC言語として絶対的な王道を確立したC++が存在するにも関わらず、
新たな部分からC++ではなくRustを採用し始めたことに重い意味があるのでしょう。
しかも競合ライバル同士が同じ判断をした点も非常に重い意味があるのでしょう。
そのため正しい判断をした可能性が極めて高いでしょう。

**デフォルトの名無しさん** · 2023/05/08(月) 04:02:39.80

C++は死ぬべきだけど、後釜がRustでいいかはわからんわ
コストかけて置き換えるなら最高の言語がいいしな

**デフォルトの名無しさん** · 2023/05/08(月) 04:21:48.93

Rustの書きやすさは気に入ったね
次の言語はコンパイラが様々な保証をする点を押さえた上で、Rustが取り込めないような別の新たな画期的な機能を持たないといけない
他に芽が現状ないからこのままRustで進みそう

**デフォルトの名無しさん** · 2023/05/08(月) 04:29:17.13

この流れなら言える

cpp2を知らなかったなんて言えない

**デフォルトの名無しさん** · 2023/05/08(月) 08:23:06.69

実際のところ、将来的に最適化はAIがやるようになって、要件定義と検証だけ人間がやるようになるんだろ。
設計自動化の流れだわな。

そうなってくると実装を人間がやる状況は限定されて、言語もIDLみたいになってくるかと。土方コーダーは全滅だな。
まぁ、c++はCOBOLみたいに過去資産メンテに、Rustはpostscriptみたいにバックエンドで生き残る可能性はあるけど。

**デフォルトの名無しさん** · 2023/05/08(月) 09:34:04.39

>>244
AIにとっても機械語を直接吐くのは保守性が悪すぎる
一方で少なくとも当面は人間が検証できる既存のプログラミング言語になりそう
万が一の時の対応や問題把握のためにも既存の言語が良さそう
インフラは人間がある程度把握し続けないとAIに主導権を奪われかねない点でも同じ
使われる言語は自動的に色々と保証されるRustになるのかな

**デフォルトの名無しさん** · 2023/05/08(月) 10:33:58.34

人命や経済損失に大きく関わるシステムは責任や論理的な信頼性の観点からAIに頼るのは無理そうだね。

**デフォルトの名無しさん** · 2023/05/08(月) 10:45:11.11

AIはTDD（人間がテストコード書いてAIが実装コード書く）と相性いいかなって思ったけど
絶妙にテストケースだけパスするようなコード吐いてきそうで怖い
人間的な一般化パターンを学習すれば使えそうだけど現状だとコピペミキサーでしょ

**デフォルトの名無しさん** · 2023/05/08(月) 11:29:16.24

AIがどうとか関係無いはずなんだが
Rustのここがダメ！みたいなことを書くと必死でレスしてくれる人がいるから無限に話を脱線させることができるんだね

**デフォルトの名無しさん** · 2023/05/08(月) 11:46:17.60

.gitignore に Cargo.lock を入れてるのに
cargo publish すると Cargo.lock もうｐされる
github の方にはもちろんうｐされていない
cargo publish --allow-dirty は本気で要らないものまでうｐされるからこれはやってないのだが

**デフォルトの名無しさん** · 2023/05/08(月) 12:11:03.58

AIに書いてもらうプログラミング言語はC++かRustになるんだろうが、
C++でプログラムの本質でない部分の隙を残すよりも、
コンパイルが通れば静的にその部分が自動検証されるRustになるんだろうな

**デフォルトの名無しさん** · 2023/05/08(月) 12:16:11.80

>>174
すばらC洞察

**デフォルトの名無しさん** · 2023/05/08(月) 12:31:11.67

>>251
バカだな
>>131の実行環境のマシンはプログラミング言語に依らず同一に決まってるだろ

**デフォルトの名無しさん** · 2023/05/08(月) 12:43:44.96

>>201
これは良いサンプル
https://www.youtube.com/watch?v=U-_43dmdV_I

**デフォルトの名無しさん** · 2023/05/08(月) 12:43:46.40

>>249
内部で呼ばれるcargo packageの仕様っぽいね
https://doc.rust-lang.org/cargo/commands/cargo-package.html
の2.でCargo.lockを含める条件が書かれてる
excludeで強引に外せるのかな

**デフォルトの名無しさん** · 2023/05/08(月) 12:48:52.30

>>228
全ての素数の積でπを造る公式あるな