25/09/28 22:26:42.41 iPJCP/07.net
いまこのスレで発狂してるやつ見てるとQiitaでアカウントBANされたコイツ思い出すんだよなあ。
URLﾘﾝｸ(web.archive.org)
> はい、私が勘違いしてました。
> 途中で、
>
> スクリーンショット 2022-12-19 184235.png
>
> みたいな突っ込みがあって、やっと問題文をちゃんと読み直して『あれ？』となったわけですが、
>
> 自分、基本的にTwitterでの間違いは死んでも認めない主義なので、そのまま押し切る事にしました。
>
> Twitterとかのネットは所詮遊び場なので「バトルしようぜ、Tweetバトル！俺が勝ったらテメェは俺以下だぁー！！」みたいなノリで強引に押し切ろうとしました。
>
> で、まぁ、惨敗したわけですけどねｗ
176:デフォルトの名無しさん
25/09/28 22:27:15.68 jJ7lr+aR.net
以下の性質の良さの違いのため
プログラミングでは半開区間が多用されている
半開区間 (性質が良い)
・start～endの長さはend-start
・startから始まる長さlenの区間はstart～(start+len)
・startから始まる長さ0の区間はstart～startと表せてそのまま自然に扱える
・途中middleでstart～middleとmiddle～endの二つに分割できる
閉区間 (性質が悪い)
・start～endの長さはend-start+1
・startから始まる長さlenの区間はstart～(start+len-1)
・startから始まる長さ0の区間はstart～(start-1)になって破綻
・途中middleでstart～middleとmiddle～endの二つに分割できない
start～middleと(middle+1)～endか
start～(middle-1)とmiddle～endになる
177:デフォルトの名無しさん
25/09/28 22:27:24.30 aU9wcwp7.net
>>173
カルト教団のむきになった反論そのものw 教祖様のお言葉がソースか?
自然言語と高校までの数学表記が一般に広く受け入れられていること、それで根拠として十分。
178:デフォルトの名無しさん
25/09/28 22:32:09.90 .net
>>177
>>171
低学歴だから定義を無視して字面から妄想し
低学歴だからソースもないのに妄想を断定できてしまう
179:デフォルトの名無しさん
25/09/28 22:38:40.96 jJ7lr+aR.net
区間指定の文法を持つ最近のメジャーなプログラミング言語では半開区間を簡単に表記できるようになっている
例えば
GoやPythonなどでは list[start:end]
C#やRustなどでは list[start..end]
いずれもendを含まない半開区間を意味している
180:デフォルトの名無しさん
25/09/28 22:46:12.82 aU9wcwp7.net
>>178
定義なんて所詮は教祖様がお作りになった教義に過ぎない。それを絶対視して変だと考えず、
変だと指摘する人にむきになって壊れたレコードのようにワンパターンな反応を繰り返す
カルト信者。
181:デフォルトの名無しさん
25/09/28 22:47:22.28 .net
>>180
定義はコンパイラの仕様
バカすぎる無職
182:デフォルトの名無しさん
25/09/28 22:47:41.83 .net
>>180
変なのはお前
だから無職なんだろ中卒
183:デフォルトの名無しさん
25/09/28 22:49:02.93 .net
>>176,179
これを入社試験の面接で説明できなきゃ不採用でいいわ
これ分からん奴はセンスが無さすぎる
184:デフォルトの名無しさん
25/09/28 23:01:12.25 aU9wcwp7.net
>>181
コンパイラは教祖様がお作りになった言語仕様に沿って作られたものだろ。
>>182
無限ループ、またの名を暴走と言うw
185:デフォルトの名無しさん
25/09/28 23:01:37.54 .net
>>184
これが無職
186:デフォルトの名無しさん
25/09/28 23:25:09.36 jJ7lr+aR.net
>>183
初心者は仕方ないとしてもプログラミング歴のある人には必須な知識だと思う
187:デフォルトの名無しさん
25/09/28 23:34:39.97 SbwCraTd.net
ここプログラム技術板で閉区間が自然だと主張して暴れてるやつはどこから来たお客さんなんだろう
188:デフォルトの名無しさん
25/09/28 23:48:23.78 aU9wcwp7.net
>>187
閉区間が自然だとは全く主張していないぞ。
・閉区間で書くのが便利な場合も半開区間で書くのが便利な場合もあるので、両方の書き方を
提供するのが良い（勿論、前者の場合には閉区間が自然ということになるが）
・閉区間には左右対称、半開区間には左右非対称の記号を割り当てるのが自然で、バグを
生みにくい
と主張しているだけ。
189:デフォルトの名無しさん
25/09/28 23:54:41.82 jJ7lr+aR.net
現実のメジャーなプログラミング言語では>>179のように半開区間を簡潔に記述できることを重視している
190:デフォルトの名無しさん
25/09/29 00:05:25.27 .net
>>188
根拠0
証拠0
ソース0
バカすぎて論外
191:デフォルトの名無しさん
25/09/29 00:05:49.17 .net
>>188
こういうバカは無職なのが自然
192:デフォルトの名無しさん
25/09/29 03:12:26.72 KaR4fBa3.net
>>188
func main(){
var a = [5]string{"a","b","c","d","e"}
fmt.Println(a[0]) // a
fmt.Println(a[1]) // b
fmt.Println(a[1:3]) // [b c]
}
Go言語は半開区間のみ
> 両方の書き方を提供するのが良い
半開区間のみを提供するのが良い
２つの書き方を提供するのはバグを生みやすい
あるプロジェクトでマイクロソフトが自社のC#でなくGo言語を採用したことが有名
193:デフォルトの名無しさん
25/09/29 03:23:08.08 Lm5HPMDj.net
>>192
横からだけど
Goは言語機能が非常に弱くて
その半開区間の指定も部分フライス指定にしか使えない
イテレータとして機能しない
(switchやmatchなどの)パターンマッチングにも使えない
194:デフォルトの名無しさん
25/09/29 07:48:42.16 kekj+dde.net
>>192
＞あるプロジェクトでマイクロソフトが自社のC#でなくGo言語を採用したことが有名
TypeScriptコンパイラのことなら
Microsoft TypeScript Devs Explain Why They Chose Go Over Rust, C#
という記事にまとめられているが
＞半開区間のみを提供するのが良い
＞２つの書き方を提供するのはバグを生みやすい
なんて理由は挙げられてないね。
195:デフォルトの名無しさん
25/09/29 23:43:13.74 6lOYarrI.net
現実は>>179
理由は>>176
ということでいいのかな
196:デフォルトの名無しさん
25/09/30 00:17:04.81 jvKDz5J9.net
閉区間と半開区間のどちらが優れているということは誰も言ってないのに一人発狂してる人がいる感じ
197:デフォルトの名無しさん
25/09/30 01:59:55.11 4wPfeVv9.net
閉区間より半開区間が優れている
そのため半開区間を短い記述で指定できる文法を用意している言語が多い
短い記述の結果として半開区間が左右対称の記述になっているが誰も気にすることはない
半開区間の記述は左右非対称であるべきだとこだわっているキチガイは一人だけ
198:デフォルトの名無しさん
25/09/30 02:52:38.16 .net
無職の妄想に価値はない
199:デフォルトの名無しさん
25/09/30 08:25:04.59 EJn4wwZL.net
グレゴリオ暦のうるう年判定に延々とおかしなイチャモンつけてたashworthまんまだなｗ
200:デフォルトの名無しさん
25/09/30 10:36:18.87 hvi0j7l5.net
そもそも自転はずれるからな
201:デフォルトの名無しさん
25/09/30 11:06:24.13 EJn4wwZL.net
いまはこのルールでやりましょうというグレゴリオ暦を分かってないｗ
202:デフォルトの名無しさん
25/09/30 12:34:48.41 dVe563is.net
グレゴリオ暦のうるう年の判定ルール
・西暦年が4で割り切れる年はうるう年となる
・ただし、西暦年が100で割り切れる年はうるう年としない
・さらに、西暦年が400で割り切れる年は例外的にうるう年とする
203:デフォルトの名無しさん
25/09/30 12:39:42.96 .net
低学歴がなぜ低学歴なのかよくわかる
204:デフォルトの名無しさん
25/09/30 12:40:27.16 .net
>>201
バカすぎてルールを理解できないことを正当化するためにルールがおかしいと吠えたまま死ぬ
これが低学歴の人生
205:デフォルトの名無しさん
25/09/30 12:40:59.11 .net
そういうゴミクズを雇ったら終わりなので学歴システムがある
人間判定試験
猿を雇わないようにするための仕組み
206:デフォルトの名無しさん
25/09/30 23:54:22.10 gehVEPsn.net
>>188
閉区間ではなく半開区間をサポートするプログラミング言語が多い理由を考えてみよう
それらの言語は半開区間に左右非対称の記号ではなく簡潔な記号を割り当てている理由を考えてみよう
207:デフォルトの名無しさん
25/10/01 00:59:06.36 .net
算術符号とかハフマン符号なんて聞いたことすらねえんだろうな低学歴は
208:デフォルトの名無しさん
25/10/01 01:38:56.41 Fskx/ZBj.net
> そもそも自転はずれるからな
地球の自転周期が変わったとして影響があるのは1日の長さなんだがｗ
209:デフォルトの名無しさん
25/10/01 02:15:45.08 VkTjow7K.net
>>207
多用する半開区間に短い記号を充てるのが正解だと思う
しかしPythonやGoの start:end はあまりにも短すぎて用いる場所によっては文法的に曖昧になる可能性があるためなのか
現状はスライスのインデックス部分 a[start:end] でしか用いることができない
例えばmatch文のcaseでは指定できないため case x if start <= x < end と書く必要がある
イテレータとしても指定できないため for i in range(start, end) と書く必要がある
これら全て同じ記法で書けると好ましい
210:デフォルトの名無しさん
25/10/01 21:52:18.72 yE7SMjvb.net
Rustは同じ扱い
buf[100..200]
for i in 100..200 { … }
match x {
100..200 => …,
…
}
211:デフォルトの名無しさん
25/10/01 23:34:49.32 a34LDfpM.net
>>206
>それらの言語は半開区間に左右非対称の記号ではなく簡潔な記号を割り当てている理由を考えてみよう
教祖様がお作りになった教義だから。教祖様の好みが強く反映されているとしか言いようがない。
>閉区間ではなく半開区間をサポートするプログラミング言語が多い
事実ではなかろう。
・閉区間しかない
Ada, bash, Delphi, Elixir, F#, Fortran, Groovy, Haskell, Julia, MATLAB, OCaml, Octave, Pascal, Perl, PowerShell, R, S, Scilab, Wolfram
（Wolfram以外は左右対称記号を使用、Wolframはほぼ左右対称の;;を使用）
・半開区間しかない
C#, D, Go, Python
（すべてが左右対称記号を使用）
・両方ある
Kotlin, Nim, Raku, Ruby, Rust, Swift, Zig
（これらのうち、
閉区間に左右対称記号を使用：Kotlin, Nim, Raku, Ruby, Swift, Zig
半開区間に左右対称記号を使用：Ruby, Rust, Zig）
※抜けている言語や記憶違いなどがあるかも知れないので、見つけたら指摘してもらいたい
以上を一覧すれば、半開区間しかない言語は少ないし、閉区間に左右対称記号を使う言語は多いし、
半開区間に左右対称記号を使う言語は少ない。要するに、一般的感覚に敢えて背く仕様の言語は
少ないことが看取される。
212:デフォルトの名無しさん
25/10/01 23:35:20.38 a34LDfpM.net
>>207
圧縮ファイルを直読みできる超人さんですか?w
短さを馬鹿の一つ覚えみたいに持ち出しているが、間違えにくさを犠牲にしてまで達成すべきものではない。
人間は機械ではないのでうっかり間違えやすい記号を宛てないのが賢明で、たった1文字をケチるのは愚行。
正確に言えば機械も生の状態では間違えるから、エラー訂正符号を付加して無謬に見せかけているだけなので、
人間にも機械にも最短ではなくそれぞれの間違え方を防ぐような追加の情報も必要だという訓戒に纏められるな。
そこを疎かにするのは欠陥設計。
213:デフォルトの名無しさん
25/10/01 23:36:14.72 .net
>>211
算術符号とかハフマン符号なんて聞いたことすらねえんだろうな低学歴は
214:デフォルトの名無しさん
25/10/01 23:37:07.68 .net
>>212
え？圧縮ファイル？
何言ってんのこの中卒無職脳障害
そんなの関係ねえよ猿が
情報理論的な効率性の話しかしてないのに中卒だからわかんねえのか自殺しとけ猿が
215:デフォルトの名無しさん
25/10/01 23:38:06.41 .net
>>212
お前が低学歴で人間じゃないだけ
お前は無職で人間の世界から排除されてるから人間の世界に口出しする権利ないよ
参加お断り
216:デフォルトの名無しさん
25/10/01 23:51:28.21 a34LDfpM.net
>>214
馬鹿には皮肉の解説が必要だったか。情報理論的な効率性を徹底的に追求したのが圧縮ファイルだろ。
それは人間には勿論読めないが、もう少し緩く追求した半開区間に..を使う表記も人間にはやっぱり
間違いやすい。お前がそんなことはないと言い張るなら、さぞかし凄い超人なんだろうねーという皮肉。
たった1文字追加するだけで効率性と間違えにくさのバランスが取れた表記になるのに、ムキになって
否定するのは愚か。
217:デフォルトの名無しさん
25/10/01 23:56:05.16 .net
>>216
圧縮ファイルなんて使ってない
人間の世界では最短符号を使って人間は読んでる
無職はそれが読めないから誰も雇わない
218:デフォルトの名無しさん
25/10/01 23:56:30.77 .net
>>216
お前が間違えてもどうでもいい
だってお前は人間じゃないし人間の社会に参加出来ないから
219:デフォルトの名無しさん
25/10/01 23:57:04.34 .net
>>216
人間は間違えない
猿は間違える
だから猿を雇わない
よってお前は無職
猿だからな
220:デフォルトの名無しさん
25/10/02 00:00:52.83 IXGrVOcw.net
>>216
C#の半開区間指定start..end読みやすくて良いと思うよ
閉区間だと間違える人はいない
221:デフォルトの名無しさん
25/10/02 00:02:09.92 .net
人間は間違えない
猿は間違える
だから猿を雇わなきゃいいだけ
222:デフォルトの名無しさん
25/10/02 00:02:41.34 .net
猿に合わせて人間のルールを変えるわけねえだろ
猿を排除するのが最善
223:デフォルトの名無しさん
25/10/02 00:44:06.46 Jz40Wv3H.net
>>211
それら閉区間しかないプログラミング言語は現代のメジャーな言語ではないな
センスが悪いとメジャーな言語になれないことがわかった
224:デフォルトの名無しさん
25/10/02 01:12:51.54 EU/7mSn/.net
>>202
『あなたは本当に「プログラミングができない、向いてない」のか？ 〜うるう年判定プログラムで考える〜』
URLﾘﾝｸ(qiita.com)
という記事のコメ欄でashworthが他のコメントに絡んでたけど(垢BAN済み)、記事のコード見ると
> year = int(input())
> if year % 400 == 0: # 400の倍数なら「うるう年です。」
> print("うるう年です。")
> elif year % 100 == 0: # 100の倍数なら「うるう年ではありません。」
> print("うるう年ではありません。")
> elif year % 4 == 0: # 4の倍数なら「うるう年です。」
> print("うるう年です。")
> else: # どれにも当てはまらなければ、「うるう年ではありません。」
> print("うるう年ではありません。")
400は100の倍数、100は4の倍数を利用したグレゴリオ暦の説明の逆順で判定するけったいなコード書いてんなあナンダコレ?
まあ記事はNucoなんでセンスなくて当たり前なんだけど、ashworthがこれに絡んでなかった辺りやっぱセンスないわなｗ
225:デフォルトの名無しさん
25/10/02 01:14:57.85 qLX1OCT3.net
まともな言語がいずれも半開区間をサポートしているのは偶然ではなくて、
配列やリストやベクタあるいは文字列などの連続領域の一部分いわゆるスライスを言語で扱おうとすると、
その区間を指定する必要がでてくる。
まともな汎用言語ならそのスライスと区間指定をサポートするのは必然で、
しかも閉区間は扱いにくいことが判明しているわけだから、
結果的に半開区間をサポートしているか否かでまともな言語か否かが判明することになっている。
226:デフォルトの名無しさん
25/10/02 04:38:08.95 oFFK8/LC.net
>>224のコードってそんなに変かな？ 自分もこんな感じに書くと思うが。
227:デフォルトの名無しさん
25/10/02 05:00:19.18 vDXY/c5t.net
>>226
動くコードは無数に考えられる。
しかし保守性を考慮すると、
元の文章に対応したコードのみが正解。
元の文章と逆順に書いた場合、
何か理由が添えてない限り失格でクビだろうね。
228:デフォルトの名無しさん
25/10/02 07:15:16.83 .net
ソース読めよ
Check out this DeepWiki page URLﾘﾝｸ(deepwiki.com)
229:デフォルトの名無しさん
25/10/02 07:34:34.02 3AP3Ig0g.net
なるほど、if文のネストみたいな感じで書くのだとしたらそれはかえって分かりにくいのではと思ったけど、and or で1行で書いちゃうならスッキリしているね。
230:デフォルトの名無しさん
25/10/02 08:18:23.33 .net
if文使った時点で不採用
print文使った時点で不採用
正解は
・数式・比較演算子と論理演算子で書く
・デバッガで各論理式の評価を確認してprint文を使わない
231:デフォルトの名無しさん
25/10/02 08:19:21.13 .net
deepwikiでソースコードに聞け
低スキルの「エンジニア」同士で低スキルを伝播しても害しかない
232:デフォルトの名無しさん
25/10/02 08:24:53.30 3AP3Ig0g.net
print関数はさすがに説明の便宜のためでしょ。
233:デフォルトの名無しさん
25/10/02 08:26:48.25 .net
知りたいgithubのアドレスを取得
URLﾘﾝｸ(github.com)
アドレスのgithubをdeepwikiに置換
URLﾘﾝｸ(deepwiki.com)
最下部のフォームに質問すればソースコードをソースにして回答する
234:デフォルトの名無しさん
25/10/02 08:29:36.47 .net
で
このdeepwikiもMCPでアクセスできるので
AIエージェントがコーディングのお作法を実装前にDeepWiki MCPで確認してソースコードをソースにして手順を確立してメモしてからそれを見ながら実装を開始するように出来る
低スキルエンジニア同士の会話など害しかない
235:デフォルトの名無しさん
25/10/02 08:45:54.05 6BvO5ATM.net
速さ優先ならこれとはまた異なってくるのだろう
return year % 4 == 0 and (year % 100 != 0 or year % 400 == 0)
236:デフォルトの名無しさん
25/10/02 13:03:09.54 sP1LMqCx.net
return False
237:デフォルトの名無しさん
25/10/02 13:37:06.50 dLU/Z4Pm.net
> それ、問題文の条件のまま書いちゃダメなんですよね。
> 「ただし」がある場合は前出の条件を否定してくるので、条件の順番通りに書くと破綻します。
> だから、「ただし」がある場合は条件を逆に記述していくのが鉄則です。
ashworthさん、何言ってんの?
238:デフォルトの名無しさん
25/10/02 23:03:29.56 jdy8/BVE.net
>>219
これまでの書き込みからお前はRust信者と推測されるが、「言語仕様で明確に定義されているのに数学につられて
間違えるのは低学歴・無職・猿」という煽り文句がブーメランになることに気づいていないのか?
C, C++ではif (a = b)という書き方が許されているが、数学では=が比較にも使われるため、比較するつもりで
if (a = b)とうっかり書き間違え、読み返しても間違いを見落とす恐れがあるので、C#やRustではこういう書き方を
できなくした。お前の煽り文句に従えば、代入は=、比較は==と言語仕様で明確に区別して定義されているのに
数学につられて間違えるのは低学歴・無職・猿で、C#やRustは低学歴・無職・猿向けの言語ってことになるねw
仮にお前がRustでなく他の言語の信者だとしても、似たようなブーメランを見つけることができるだろう。
Rustは他にも変数宣言でmutをいちいち書かせるなど過保護な安全性が設計思想にあるのに、半開区間..では
危うさを放置するのはチグハグだな。
あと、ここはプログラマー板じゃなくてプログラム板だから、別に職業プログラマ向けというわけではなく、
プログラムに関する見識は職を得ることに結びつかない。職業プログラマなんてIT土方とも揶揄されて
威張れるもんじゃないし、まして特定の言語と一蓮托生で必死になってるようではなー。お前の煽り文句は
明後日の方を向いているw
239:デフォルトの名無しさん
25/10/02 23:03:54.24 jdy8/BVE.net
>>223
ユーザーは区間の記法だけによってどの言語を使うか選んでいるわけではないから、一概には言えない。
Pythonはずぼらだからはびこってしまった。あんな害蛇はさっさと駆除すべきだな。その点、Rustは
繁文縟礼の塊なのであまり普及せず実害は少ない。
C#はユーザーを十分獲得した後の2019年に半開区間..を初めて導入した。.NET兄弟のF#とPowerShellが
..を閉区間に既に割り当てていたのに、そして開発責任者はPascalと縁が深いのに、何であんな変な記法を
許してしまったの解せない。
240:デフォルトの名無しさん
25/10/02 23:12:57.09 .net
>>238
いやRustなんか興味ないし知らん
どうでもいい
脳障害は日本語すら読めないだけ
人間は間違えないので猿を雇わなければ良いだけ
猿のために人間のルールを変えるわけない
241:デフォルトの名無しさん
25/10/03 00:09:20.16 Q1aE47Vx.net
半開区間に左右非対称を採用してる言語はSwiftだけじゃね？
半開区間の記法
【start:end】 Go Python
【start..end】C# Rust Zig
【start...end】Ruby
【start..<end】Swift
この現状で左右対称を採用している言語はダメだと叩いている人は偏った異端者かと
242:デフォルトの名無しさん
25/10/03 01:07:33.20 aYxPE6CF.net
1991 Python
1995 Ruby
2000 C#
2009 Go
2010 Rust
2014 Swift
2015 Zig
後発の方が先達の反省が活かされた洗練された記法を採用してる可能性は普通に考えられるかな
243:デフォルトの名無しさん
25/10/03 01:23:00.07 Q1aE47Vx.net
C#が半開区間start..endを導入したのは2019年リリースのC# version 8.0
244:デフォルトの名無しさん
25/10/03 08:33:47.40 qYL3CF1r.net
『Cなら知ってるんですけど、C++ってできますか？』
Cた間違い
245:デフォルトの名無しさん
25/10/03 08:35:11.18 qYL3CF1r.net
CやC++初心者は間違い探し的に読むと良い記事。
246:デフォルトの名無しさん
25/10/03 10:41:32.04 WGTRKW6c.net
>>244
モダンC++と言いつつ大昔の古臭いC++11で草
さらにC++11と言いつつ中核のスマートポインタを割愛で草
247:デフォルトの名無しさん
25/10/03 11:02:03.70 gMkT4O8N.net
長文おぢウザい
248:デフォルトの名無しさん
25/10/03 23:27:23.05 DEcBymr7.net
>>241
>>211に挙げた「両方ある」の7言語のうち「半開区間に左右対称記号を使用」の3言語を除いた4言語、
つまりKotlin, Nim, Raku, Swiftが半開区間に左右非対称の記号を使用している（Kotlin, Nim, Swiftは
..<で、Rakuは...^）。Rakuには左半開区間^...と開区間^...^もあり、4種類すべての区間を書ける。
これらに含まれる...は…と1文字で書いても良い。
Rubyは閉区間..より半開区間...の方が長いから、>>165がやたらこだわっている情報理論的効率性とやらには
反しているな。
249:デフォルトの名無しさん
25/10/03 23:28:02.03 ft8WeviY.net
>>238
> 変数宣言でmutをいちいち書かせるなど
これはプログラマーに
mutable宣言を意味するmutなどを書かせるべきか
immutable宣言を意味するconstなどを書かせるべきか
どちらをデフォルトにすべきかという問題だね
これはimmutableのみが許されてmutableを許さないプログラミング言語もあるくらいで
immutableをデフォルトとして必要不可欠な変数のみmutable宣言させるのが正しいと思われる
プログラマーの手間もその方が少ない
250:デフォルトの名無しさん
25/10/04 14:05:10.36 eyfPTg37.net
Qiita Conference 2025 Autumn というので
URLﾘﾝｸ(qiita.com)
> 今のコンピュータはAIにもWebにも向いていないので作り直そう
> 2018年にAttentionが発表され、2022年末にLLMが登場して以降、GPUを用いた生成AIがあらゆるコンピューティングの活用を塗り替えていますが、実はGPUが生成AIに向いていないことをご存知でしょうか？
> 他にも、現代コンピュータアーキテクチャ自体が約70年前に構想されて以来、スループット／レイテンシ／電力消費に根本的な課題を抱えたままで、WebやIoTなどの大量ユーザー利用／データ利用と言った現代に求められる様々は「エンジニアが無理やり何とかしている」と言う実態があります。
> こうした課題を生み出す裏側を解説した後、性能と省電力を圧倒的に引き上げるための考え方／イノベーションを共有し、実際の解決実装例をご紹介します。
コイツに講演させちゃうんだなあ。ゲスト講演ということだけどどうやって人選してるのだろう?
251:デフォルトの名無しさん
25/10/04 19:45:26.17 .net
>>250
課題を生み出すwwww
省電力を引き上げるwwwww
これだけで価値がないとわかる
252:デフォルトの名無しさん
25/10/04 21:38:51.49 MpcY569I.net
>>250
山崎かなと思ったら福岡Elixirって書いてあったから同族か
253:デフォルトの名無しさん
25/10/04 23:29:54.72 gLEEZL45.net
>immutableのみが許されてmutableを許さないプログラミング言語もあるくらいで
マイナーな言語しかなくね？
「そういう言語がある」だけで、多くの人にとってはそれが便利だと思われてないと思うぞ
254:デフォルトの名無しさん
25/10/04 23:33:11.13 qAgFTJKW.net
Elixirの軽量スレッドで並列処理が効率化できてスパコン的用途にも使えると思ってる人たちだからなあ、つける薬がない。
255:デフォルトの名無しさん
25/10/04 23:59:14.21 XZN99/my.net
>>253
immutableだけだと不便で制限が生じる
その一方でプログラムはなるべくimmutableを中心にしてmutableは補助的に使うと良いコードになる
256:デフォルトの名無しさん
25/10/05 23:10:55.15 W6M3iXcI.net
Elixirでフィボナッチ数列をいろいろ書いてみた Part. 5
URLﾘﾝｸ(qiita.com)
> Fibonacci with Matrix は素晴らしく速いですね！
Elixirで順に指定個数の素数を列挙する関数をEnum, Stream, Flowで作ってみた
URLﾘﾝｸ(qiita.com)
> 1000,10000個の時にはFlowが最速でした．
1000番目のフィボナッチ数計算すんのに 1.33m秒とか、ベンチマーク結果なんでか編集で消えてるんだけど
> prime_flow 11.84 84.48 ms ±1.22% 84.27 ms 89.85 ms
20000未満の素数算出すんのに 84m秒って遅すぎね?
福岡Elixirってこんな記事ばっかりだな。んで、身内でいいね付けあってる。
257:デフォルトの名無しさん
25/10/05 23:41:25.21 .net
スキルがあるのに福岡なんかにある仕事の給料で耐えられるわけない
258:デフォルトの名無しさん
25/10/06 00:44:13.25 3OKVU+gM.net
>>256
> 20000未満の素数算出すんのに 84m秒って遅すぎね?
ベンチマーク出すのに84m秒って速すぎね?
84m秒のベンチマークを100回やるのがいいのか8.4秒のベンチマークを1回やるのがいいのかで遅いほうがいいと思うんだが
259:デフォルトの名無しさん
25/10/06 01:20:13.00 bQ0ntySb.net
フィボナッチ数は行列累乗を理解してないから乗数の数だけ掛け算やってるし、素数の方は「エラトステネスのふるいを純朴に利用して」と書いてる割に剰余計算で余りがでたものを倍数としてフィルタする処理になってて全然エラトステネスのふるいじゃないなあ、ダメだこりゃ。
どちらの記事もアルゴリズムへの理解がなくて効率悪いことやってるんだが、こういう記事平気で公開してる人が
地球温暖化とコンピュータのエネルギー消費の問題にElixirで立ち向かう〜「コンピュータと地球温暖化は
決して無縁ではない」(2022年版)
URLﾘﾝｸ(qiita.com)
なんて記事書いてて頭が痛い。
これで大学の先生ってなあ、冗談なら良いのに。
260:デフォルトの名無しさん
25/10/06 01:25:15.29 bQ0ntySb.net
>>258
84m秒は100回実行した中央値らしいしそこは問題ないと思う。
> ##### With input 10000 #####
> Name ips average deviation median 99th %
> prime_flow 11.84 84.48 ms ±1.22% 84.27 ms 89.85 ms
> prime_stream 1.14 874.15 ms ±21.02% 787.90 ms 1243.42 ms
> prime_enum 0.81 1233.13 ms ±0.51% 1235.09 ms 1241.00 ms
261:デフォルトの名無しさん
25/10/06 06:36:07.31 53QY0HCL.net
>>259
エラトステネスのふるいは、
作業メモリをその数だけ必要とすることと引き換えに、
足し算だけで素数を求めることができるアルゴリズムだから、
遅い剰余算を用いた時点で失格となりますね。
エラトステネスのふるいの場合をベンチマークとして比較しているわけでもないようてすね。
262:デフォルトの名無しさん
25/10/06 08:49:11.07 0Xz/SJfu.net
この先生はElixirみたいなニッチな言語研究するより先にアルゴリズムの勉強したほうが良いと思う。
現状では学部の学生並みの知識もある気がしない。
263:デフォルトの名無しさん
25/10/09 14:36:21.61 /RUFLlG7.net
『【C言語】char型の落とし穴~オーバーフロー~』
charの変数の値はintに昇格されてから加算されるのでこの場合オーバーフローしないし、intからcharに型変換する際にビットが捨てられるのもオーバーフローじゃないけど、この記事は何をオーバーフローと呼んでいるのか?
264:デフォルトの名無しさん
25/10/09 15:40:17.99 KD7T9yPY.net
Cしか使えない特殊な環境ならともかく
勝手に異なる型へ自動変換されて困ったことになる弱い型付け言語のCを使ってる情弱の知識はそんなもんだ
265:デフォルトの名無しさん
25/10/10 00:22:23.86 SqpOO1WH.net
URLﾘﾝｸ(qiita.com)
> ご指摘ありがとうございます。数値を修正しました...
コンパイルエラーが出るよう修正するとかｗ
URLﾘﾝｸ(gcc.godbolt.org)
266:デフォルトの名無しさん
25/10/10 01:56:58.97 3qfmD/kK.net
今となっては未定義動作だらけの欠陥言語Cにこだわる人はほぼ異常者だな
残りは特定の環境・コンパイラ・設定で偶然動けばいい特殊な状況の人だけ
267:デフォルトの名無しさん
25/10/10 08:25:59.69 ckTDD7bx.net
組み込みの世界知らない人かな
268:デフォルトの名無しさん
25/10/10 09:05:26.07 FYVFXot6.net
C以外は特定の環境・コンパイラ・設定で偶然動けばいい特殊な状況の人って事?
269:デフォルトの名無しさん
25/10/10 09:11:11.73 9zFqUBbx.net
>>267
それはコレやね
>>特定の環境・コンパイラ・設定で偶然動けばいい特殊な状況の人だけ
270:デフォルトの名無しさん
25/10/10 09:17:04.99 JrlTg/8e.net
>>268
C以外に未定義動作だらけなクソ言語あるの？
271:デフォルトの名無しさん
25/10/10 09:30:05.88 ckTDD7bx.net
> C以外に未定義動作だらけなクソ言語あるの？
C++も聞いたことない人かあ
272:デフォルトの名無しさん
25/10/10 10:03:41.96 Joie9IL1.net
C/C++は同罪だね
C++が失敗した理由はいくつも挙げられてきたけど
拡張方法の失敗に加えてCの未定義動作を埋めきれなかったことが響いてる
273:デフォルトの名無しさん
25/10/10 10:10:16.74 EYYPWczZ.net
Javaでもメソッド無いの初期化されていない変数とかで失敗するけど
未定義動作になるのを言語のせいとか言ってるけど自分が必用な値が自動でセットされるわけじゃないのだからそういう奴ってバグを作り出す
274:デフォルトの名無しさん
25/10/10 10:23:29.55 c258Qk98.net
>>273
Javaでは未定義動作にならないため問題は起きません
ローカル変数は初期化しないとエラー
インスタンス変数はデフォルト値で自動的に初期化されます
デフォルト値は各型により0やfalseやnullなど定まっています
Cの実行するたびに値が変わる問題はJavaでは起きません
275:デフォルトの名無しさん
25/10/10 12:28:43.96 ckTDD7bx.net
最適化のなしかありかで挙動の変わる言語があるらしいけどそういうのは最悪。
fn main() {
let mut sum: i8 = 0;
let mut num: i8;
num = 100;
sum += num;
num = -10;
sum += num;
num = 120;
sum += num;
println!("3つの数の合計は{}です。", sum);
}
276:デフォルトの名無しさん
25/10/10 12:45:31.67 AslPjXj+.net
その辺見越して大きい値扱える変数使って明示的にうまいことやるからどうでもいいんだよなあ
277:デフォルトの名無しさん
25/10/10 12:56:29.02 BIOy5Wv+.net
>>275
debug modeとrelease modeの違い
標準状態ではdebug modeで動作
実行時コストをかけて様々な検出をしてくれる
release modeでは明示的な実行時コスト指定ex. checked_add()などがある時のみ
278:デフォルトの名無しさん
25/10/10 17:34:11.75 ckTDD7bx.net
x86やARMでオーバーフローチェックのコストなんて大したものではないので、最適化有効の場合でもオーバーフローチェックは行うのがフェイルセーフ的に正しいな。
オーバーフローチェックのコストが問題になるレアケースでは記述を変える対応が良い。
そういう判断できなかった辺りが残念言語なんだよなあ。
279:デフォルトの名無しさん
25/10/10 19:59:29.06 EwscZStB.net
>>278
オーバーフローチェックのコストはとんでもなく高いんだよ。
演算命令1つ行なう毎に、そこで立った条件フラグによる条件分岐を毎回行なう必要がある。
これはコンパイラが行なうコードの並べ替えやループの展開やベクトル化などを全て阻止してしまう。
劇的に遅くなることが判っているよ。
さらにアセンブリ言語を書いたりコンパイル結果を見たりしたことがあれば理解しやすいけど、
条件フラグを変更せず保持したまま演算を行ないたいことが多いんだよ。
そのため条件フラグを変更しない演算命令が一部用意されていて、それらが活用されている。
常にオーバーフローフラグを必要とするならそれもできなくなってしまう。
条件フラグをレジスタやメモリに一時退避させるコストもかかってくるんだよ。
280:デフォルトの名無しさん
25/10/10 21:05:08.50 ckTDD7bx.net
いまどきのプロセッサは分岐予測も優秀だし分岐しない条件分岐命令は大してペナルティならねぇよアホか。
281:デフォルトの名無しさん
25/10/10 21:12:19.16 ckTDD7bx.net
＞条件フラグを変更せず保持したまま演算を行ないたいことが多いんだよ。
＞そのため条件フラグを変更しない演算命令が一部用意されていて、それらが活用されている。
知らないこと想像で書いてて大変宜しいｗ
282:デフォルトの名無しさん
25/10/10 21:29:12.39 EwscZStB.net
>>280
理解できていないようだけど、
演算命令の順序が固定かつシリアル化されてしまうことが大きいんだよ。
命令順序の入れ替えは最適化の基幹であるとともに、並列展開もできなくなってしまう。
さらに条件フラグの保存コスト問題も生じてしまう。
283:デフォルトの名無しさん
25/10/10 21:32:04.92 EwscZStB.net
>>281
x86など使ったことある人には常識だけど、
条件フラグの更新を伴う加算と伴わない加算としてADD命令とLEA命令の使い分けをコンパイラも多用しているよ。
それ以前の演算で反映された条件フラグを変化させないまま、
LEA命令によって加算や一部の乗算及びその組み合わせ演算をできる利点があるためだよ。
284:デフォルトの名無しさん
25/10/10 23:12:50.77 ckTDD7bx.net
実例挙げられない辺りが限界なんだろうなあｗ
285:デフォルトの名無しさん
25/10/10 23:19:18.23 EwscZStB.net
>>284
実例を既に>>283で挙げたよ。
もしかしてアセンブラ使ったことすらなくて理解すらできなかった？
286:デフォルトの名無しさん
25/10/10 23:42:12.34 SqpOO1WH.net
どのコンパイラがどういうコード吐いてるかも示せないで実例とか言ってるのはたまげたなｗ
287:デフォルトの名無しさん
25/10/11 00:12:43.19 e8fGXa5a.net
ADDではなくLEAでフラグ変化させずに加算演算するのは手動でもコンパイラでも基本
この常識を理解できない低レベルな人はコード書いたりコンパイラ生成コードを見たことすらない人
288:デフォルトの名無しさん
25/10/11 10:05:05.53 mX/iHQDj.net
コンパイラが出力した「条件フラグを変更せず保持したまま演算を行なう」コードの実例から逃げてるとこ見ると「LEAで加算ができる」が知識の限界の人かな
289:デフォルトの名無しさん
25/10/11 10:12:37.71 mX/iHQDj.net
> コンパイラ生成コードを見たことすらない人
このスレでCompiler Explorerのアドレス貼ってる人は珍しくないので（>>150とか）同様にして見せてやれば良い。
290:デフォルトの名無しさん
25/10/12 03:13:55.78 obnnOjq+.net
Rust信者ってこんなもんだなあとういうのはまあ納得
291:デフォルトの名無しさん
25/10/12 03:35:45.68 Iv4aWOmO.net
Rust？
関係ないだろ
292:デフォルトの名無しさん
25/10/12 05:25:08.36 D80drn0C.net
マシン語にするプログラミング言語は最適化によって意図と違うコードになることがあるという話をしたいんだろ。
293:デフォルトの名無しさん
25/10/12 12:59:12.78 EE9svh1n.net
> Rust？
> 関係ないだろ
>>275からの話の流れが理解できない人かな
294:デフォルトの名無しさん
25/10/12 19:07:27.09 txsY3oX4.net
>>275
このRustプログラムが最適化あり（リリースビルド）／最適化なし（デバッグビルド）で挙動が変わる理由は、i8型の符号付き整数オーバーフローの扱い方が状況によって異なるためです
最適化なし（デバッグビルド）
sum += numで加算の結果がi8の範囲（-128～127）を超えてしまうと、panicになるため意図した出力が得られず、エラーが発生します
最適化あり（リリースビルド）
オーバーフローのチェックが省略されて二の補数によるラップアラウンド（桁あふれの結果として範囲内に収める計算）が行われます
295:デフォルトの名無しさん
25/10/12 19:15:49.53 txsY3oX4.net
リリースビルド（最適化あり）でもオーバーフローを検出し、デバッグビルド（最適化なし）と同じ挙動にする方法があります
Cargo.tomlに以下を追記します：
[profile.release]
overflow-checks = true
リリースビルドでも整数オーバーフローが発生するとpanic（異常終了）になります
296:デフォルトの名無しさん
25/10/12 20:41:41.77 VrekPvIE.net
デフォで安全側に倒してない時点で残念言語だな
297:デフォルトの名無しさん
25/10/12 21:03:27.80 UHx3WDzt.net
オーバーフローでプログラムを中断したいのか
オーバーフローをエラーとして返したいのか
オーバーフローを値として受けて活用したいのか
オーバーフローは影響しない処理なのか
一般的に様々な状況が考えられる
これは安全性の問題とは関係がない
298:デフォルトの名無しさん
25/10/12 21:59:02.37 VrekPvIE.net
> オーバーフローでプログラムを中断したいのか
> オーバーフローをエラーとして返したいのか
> オーバーフローを値として受けて活用したいのか
> オーバーフローは影響しない処理なのか
> 一般的に様々な状況が考えられる
話についてこれない人かな
299:デフォルトの名無しさん
25/10/12 22:06:32.37 UHx3WDzt.net
>>298
オーバーフローをどう処理したいかはプログラミングの内容に依って変わる
これは安全性の問題ではない
300:デフォルトの名無しさん
25/10/12 22:47:47.29 EE9svh1n.net
オーバーフローを無視して処理を続けていいわけはないので安全性の話なんだよなあ
何言ってんのこの人ｗ
301:デフォルトの名無しさん
25/10/12 22:55:53.45 jaSkqZ+M.net
オーバーフローは無視できる処理もあるし、オーバーフローが起きない場合もあるわけだから、そこはケースバイケースやろ。
状況次第としか。
302:デフォルトの名無しさん
25/10/12 23:07:39.13 yC0+QvH7.net
生成コードで考えると
オーバーフローフラグが立つ演算命令1つ毎に直後にオーバーフローの有無で判断する分岐命令を必ず入れることになるがそれは効率が悪すぎる
しかも命令順序の固定化と直列化を招いてしまう
現在のCPUは命令順序の入れ替えと並列化で最適化をするからそれができないと劇的に遅くなる
不要なオーバーフローチェックは可能な限り避けるべき
303:デフォルトの名無しさん
25/10/13 02:39:47.42 5mcGe2/B.net
>>290
オーバーフローのチェックのコストの重さ問題は特定の言語に関係なく全ての言語で生じる話だよ
そのためC/C++ Java Go Rustなど多くの言語では標準状態でオーバーフローのチェックは行われずラップアラウンドされた結果となるよ
そして必要に応じてオーバーフローのチェックをする関数を呼び出すなどして対応するよ
304:デフォルトの名無しさん
25/10/13 02:43:31.43 eGOGeFhV.net
最適化のなしかありかで挙動の変わると言ったのが間違い
最適化でなくオーバーフローチェックのなしかありかで挙動の変わる
デフォで安全側に倒してないと言ったのも間違いでデフォでデバッグビルドを作って安全側に倒してオーバーフローチェックがある
劇的に遅くなるからリリースビルドのデフォでオーバーフローチェックがないのは妥当
305:デフォルトの名無しさん
25/10/13 09:36:39.69 wFHYv9H9.net
配列アクセスで範囲チェックしてくれる言語についてオーバーフローチェックは「効率ｶﾞｰ」と発狂してるのｵﾓﾛｲｗ
お前らRustも実行効率もなんも分かってないなｗ
306:デフォルトの名無しさん
25/10/13 16:43:07.06 4KhFq0Un.net
配列アクセスでの範囲チェックはメモリ安全性の一つであり必須事項
コンパイラが範囲内であると判断できれば最適化で安全にチェックをなくすことが可能
さらにRustなどではシーケンシャルアクセスの場合にインデックスアクセスが使われないため安全性と実行効率を両立させている
307:デフォルトの名無しさん
25/10/13 22:59:28.18 CEh/Jf9d.net
> 配列アクセスでの範囲チェックはメモリ安全性の一つであり必須事項
オーバーフローチェックをやんなくて良い理由なんてないし。
> コンパイラが範囲内であると判断できれば最適化で安全にチェックをなくすことが可能
それはオーバーフローチェックも同様。>>275のコードなんてコンパイル時にオーバーフローするか判定できるわけだし。
308:デフォルトの名無しさん
25/10/13 23:06:55.10 KxydRFf5.net
＞配列アクセスでの範囲チェックはメモリ安全性の一つであり必須事項
プログラムが完璧に作られてれば範囲チェックなんて要らんぞ？何言ってんの？？
309:デフォルトの名無しさん
25/10/13 23:21:03.25 cZNgUw0p.net
>>308
本気で言ってるのかね？
範囲外アクセスでどれだけ多くのセキュリティホールを招いてきているか
310:デフォルトの名無しさん
25/10/13 23:38:05.02 xSeTVBuE.net
配列などのメモリ範囲外アクセスチェックは必ずしなければならない。
その上でコンパイラが範囲内だと保証できれば最適化により範囲内チェックを省略する。
ミスを起こし得る人間がそれを判断してはいけない。
311:デフォルトの名無しさん
25/10/14 00:00:34.05 EH8FowVD.net
Cで配列などのメモリ範囲外アクセスチェックは必ずするかと言ったらしないよね？
「必ず」というのはそれを必ずするライブラリを使うということで
フリーの配列ライブラリなんてないよね？
配列ライブラリを使うならRustでいいと
312:デフォルトの名無しさん
25/10/14 00:04:17.51 a2UJ2nPa.net
>>311
そのためにC/C++は大量のセキュリティホールを生み出してきた
そんなことは許されない時代になった
C/C++はそれ以外にも多くの未定義動作など問題が多すぎるため使うべきではない
313:デフォルトの名無しさん
25/10/14 00:14:41.04 lAetg0vq.net
「ソフトウェアはメモリ安全でなければならない」との声明を発表、米ホワイトハウス：「C」「C++」よりも「Rust」などの言語を推奨
URLﾘﾝｸ(atmarkit.itmedia.co.jp)
米国ホワイトハウスが開発者に対しC++やC言語からRustやJavaなどのメモリ安全性に優れたプログラミング言語への移行を勧める
URLﾘﾝｸ(gigazine.net)
314:デフォルトの名無しさん
25/10/14 00:14:44.98 sCKwxfM0.net
配列アクセスでの範囲チェックは絶対必要だけどオーバーフローチェックはやんなくていいって言ってる人の頭の中ってどうなってるのかな?
オーバーフローに関してだけはプログラムが完璧に作られてるからありえないって思想?
315:デフォルトの名無しさん
25/10/14 00:26:24.96 JKaSUvhP.net
実際の利用で最も多いシーケンシャルアクセスはインデックスの範囲チェックを消すことができる
for (i=start; i<end; i++) { a[i]利用 }
これはループ内でiの終端チェックとa[i]の範囲チェックの2回起きる
for (p=&a[start]; p<&a[end]; p++) { *p利用 }
このように書くかもしくはコンパイラが取り扱うと
ループ内でpの終端チェックのみになる
しかし人間が行なうとミスが入り込む余地があるため好ましくない
Rustなどはこれを抽象的なイテレータとして提供していて抽象化とメモリ安全性と実行効率の三つを両立させている
316:デフォルトの名無しさん
25/10/14 01:29:56.77 QdU4k/SE.net
配列は静的メモリ確保なのに動的メモリ確保とごっちゃになっている素人w
317:デフォルトの名無しさん
25/10/14 01:39:29.82 gE5nGyvL.net
>>316
言語によって細かい区別や呼び方から実装方法まで様々に異なるため
こういう時に皆は抽象的に代表名として配列と呼んでいるだけだよ
その意味での配列を静的メモリ領域に置くこともあればスタック領域に動的に置くこともあればビープ領域に動的に置くこともある
そして静的であろうと動的であろうと場所がどこであろうと範囲チェックは必要
318:デフォルトの名無しさん
25/10/14 05:15:51.00 vZAfdOxe.net
>>316
配列を必ず静的に確保する言語はレア
多くの言語は配列を宣言する位置によって動的確保がある
例えばC言語は関数内で配列を宣言すると関数呼び出しするたびに動的に配列を含めたローカル変数の領域がスタック上に自動的に確保される
静的確保ではなく動的確保であるからこそ関数の再帰呼び出しが可能になっている
319:デフォルトの名無しさん
25/10/14 07:20:27.59 dimV1O2B.net
くっだらねえ
320:デフォルトの名無しさん
25/10/14 15:07:30.93 vn+4DI+D.net
>>316
静的メモリ確保の意味を理解できてないだろ
Cならグローバル変数とstatic変数が静的メモリ領域に確保される
配列もグローバル変数かstatic変数にした時のみ静的メモリ確保
そうでない普通の関数内の配列は動的メモリ確保
321:デフォルトの名無しさん
25/10/14 20:36:41.72 2xWEVdNj.net
>>320
CやRustだと「普通の関数内の配列」にはスタックに置かれるものもあるんですが
要素数はコンパイル時に決まってる必要はあるけど
322:デフォルトの名無しさん
25/10/14 21:04:55.21 ZulSE3F6.net
>>321
違いは簡単
静的メモリ配置 ←アドレス固定
動的メモリ配置 ←アドレス変動
static宣言すると静的にメモリ領域が確保されてアドレスが固定になる
実例コード
void foo() {
static int a1[] = {1, 2, 3};
int a2[] = {1, 2, 3};
printf("アドレス固定 a1: %p\n", &a1);
printf("アドレス変動 a2: %p\n", &a2);
}
void sub() {
foo();
}
int main() {
foo();
sub();
return 0;
}
323:デフォルトの名無しさん
25/10/15 01:32:24.83 F/Bk7x58.net
>>316
>>321
staticの意味は「静的な」
staticを付けないと動的に毎回確保されることくらい分かりそうなものだが
324:デフォルトの名無しさん
25/10/15 02:42:55.78 tBMKGpTr.net
なんてことだstatic宣言した変数が共有ライブラリの中だとアドレスが変わることがあるゾ！
325:デフォルトの名無しさん
25/10/15 02:49:12.17 LnEbzNuN.net
>>324
リンク時に変わることはあっても
実行中にアドレスが変わることはない
326:デフォルトの名無しさん
25/10/15 18:27:52.24 V1g0382z.net
cの静的動的はサイズが実行時に定まるか否かってことじゃないん？
staticかどうかはcプログラマにとっては別の感心事で
メモリの動静を語るときはそうだったと思うけど
俺の知ってる限り
staticつけてないローカルな配列のことを動的な確保って言ってる人見たこと無いわ
327:デフォルトの名無しさん
25/10/15 19:23:40.95 MHowvYgL.net
Grokに訊いたら非標準のallocaやC99のVLAは動的確保に含まれる場合があるそうだ。
328:デフォルトの名無しさん
25/10/15 19:43:01.58 zk4Ust74.net
配列やベクタやリストやスライスなど、言語によって様々な呼び方や実装が異なるもの、全てに共通の必須な仕組みとして、
総称としての配列の範囲チェックの話をしていて、そのまま特定の言語に関係なくこの話の流れでいいんだよな
>>316
>>配列は静的メモリ確保なのに動的メモリ確保とごっちゃになっている素人w
静的と動的は様々な対象に用いられるが、今回は静的メモリ確保
これをアドレスが変わらないという解釈でも、いわゆるセグメントのうち静的領域に確保するという意味でも同じ
特定の言語の話ではないが、例えばC言語なら静的宣言(static宣言)をする変数がこれに該当する
動的メモリ領域は毎回アドレスが変わるという意味でも、何かをするたびにメモリ空間から領域を確保する意味でも同じ
ただし二つに分かれて、関数呼び出しのたびに領域が確保されて関数から去ると無効になるものと、関数呼び出しのタイミングと関係なく確保することで関数を去っても有効になるもの、それら二つの異なる性質のものに分かれる
いわゆるセグメント領域としては、前者はスタック領域に確保されて後者はヒープ領域に確保される
前述の静的領域の変数とは異なり、スタック領域やヒープ領域に動的に確保することが共通の特徴であり、タイミングによってアドレスも変化する
329:デフォルトの名無しさん
25/10/15 22:57:25.39 dwkfuJij.net
>>317
コレクションという言葉を知らないのか？
配列は連続したメモリ領域だぞ？
330:デフォルトの名無しさん
25/10/15 23:01:05.50 dwkfuJij.net
>>320
あのさ、関数でも関数を呼び出す方でも実行時にメモリを確保するんだよ？
実行中にメモリを確保することは、また別の話。
331:デフォルトの名無しさん
25/10/15 23:03:30.96 dwkfuJij.net
>>328
CPUとOSレベルで別のプロセスが使っているメモリ領域にアクセスできないようになっていることを知らない高齢者か？
進化を知らずに大昔の仕様で語るのはやめろ。
332:デフォルトの名無しさん
25/10/15 23:14:46.54 1UpfUBnV.net
連投が全て的外れでワロタ
>>329
元レスはコレクションとも連続領域とも全く無関係な話だな
>>330
区別ついてないのかよ
静的な変数が置かれる静的領域は関数呼び出しと無関係に最初から存在するため遅くとも実行開始時点でアドレスが確定する
>>331
元レスに別プロセスの話もアクセス権もどこにも書かれてなく無関係
そもそもプロセス間の共有メモリがある
333:デフォルトの名無しさん
25/10/15 23:26:49.61 dwkfuJij.net
>>332
元はメモリのアドレスをなめる行為の話だぞ？
飛び飛びのメモリ領域のことを一般的には配列とは呼ばない。コレクションの実装は飛び飛びのこともある。
334:デフォルトの名無しさん
25/10/15 23:27:17.68 dwkfuJij.net
このスレはキータだったなw
変なやつしかいない
335:デフォルトの名無しさん
25/10/15 23:37:23.88 1UpfUBnV.net
>>333
コレクションの話なんかどこにも出てきていないのに妄想で幻で見えてるのか？
336:デフォルトの名無しさん
25/10/15 23:46:08.93 NrKjLOWm.net
>>333
飛び飛びのメモリ領域の話をしてる人はいないと思いますよ
どうして突然そんなことを言い出すのですか？
337:デフォルトの名無しさん
25/10/18 11:07:29.35 bVsQMdfb.net
『浮動小数点数に非常に小さい値を加えるとどうなるか？float型の精度限界を調べた』
知識がないところでFLT_EPSILONに近い概念を独自に発見しようとしてるのは偉いのだが、deltafの初期値を0.1fで始めてるのが惜しい。1.0fにしてればFLT_EPSILONの1/2が求まる筈。
338:デフォルトの名無しさん
25/10/18 12:49:36.77 bVsQMdfb.net
>>279
> オーバーフローチェックのコストはとんでもなく高いんだよ。
> 劇的に遅くなることが判っているよ。
簡単なコードで確認してみた。
URLﾘﾝｸ(wandbox.org)
339:デフォルトの名無しさん
25/10/18 13:32:11.38 qBI4ZXTO.net
>>338 は32bitと大き目で更にoverflowしたらループを抜けるだけで代わりの値を代入したりしてない
unsigned charの8bit演算でoverflowしたら255にして
何回か毎に大きな値を引く(underflowは0)にする処理もあわせると分岐予測がある程度阻害されるのでは
(>>279 の具体的根拠は知らないけど)
340:デフォルトの名無しさん
25/10/18 13:44:09.89 NqvbaKoR.net
＞32bitと大き目で更にoverflowしたらループを抜けるだけで代わりの値を代入したりしてない
1から4を1億回足してるだけだからオーバーフローは発生しない。>>279が問題にしてるのはオーバーフローチェックのコストでありオーバーフローするかどうかは関係がない。
341:デフォルトの名無しさん
25/10/18 19:06:57.05 ETv7F4p1.net
実際のプログラムには足し算など無数にあるから分岐が無数に増えて分岐予測テーブルが溢れそう
342:デフォルトの名無しさん
25/10/18 19:11:50.98 usFOY54p.net
Qiitaの話を全くしてないのは草
343:デフォルトの名無しさん
25/10/18 20:38:26.02 wTbxZHCN.net
現実的には関数呼出になるから遅い…が、使いどころなんてたかが知れてるよな
344:デフォルトの名無しさん
25/10/18 20:49:39.50 rM2qmS8P.net
結局こういうことだろね
現実と対応
303 デフォルトの名無しさん sage 2025/10/13(月) 02:39:47.42 ID:5mcGe2/B
オーバーフローのチェックのコストの重さ問題は特定の言語に関係なく全ての言語で生じる話だよ
そのためC/C++ Java Go Rustなど多くの言語では標準状態でオーバーフローのチェックは行われずラップアラウンドされた結果となるよ
そして必要に応じてオーバーフローのチェックをする関数を呼び出すなどして対応するよ
345:デフォルトの名無しさん
25/10/18 22:24:24.75 bVsQMdfb.net
> そのためC/C++ Java Go Rustなど多くの言語では標準状態でオーバーフローのチェックは行われずラップアラウンドされた結果となるよ
危険を承知で`-Ounchecked`を指定しない限りオーバーフローチェックを行うSwiftが安全性については唯一まともな判断してるってことだよなあ。
URLﾘﾝｸ(godbolt.org)
346:デフォルトの名無しさん
25/10/18 22:43:53.65 eyj6w4mM.net
半開区間を長い左右非対称な記号で表わす話もSwiftが異端だったな
そこまでの行き過ぎた過剰を他の言語は求めていないのだと思われる
347:デフォルトの名無しさん
25/10/18 23:17:36.52 63qoaJUs.net
最適化指示でオーバーフロー検出が働くなるRustの仕様が適当かはRustの開発コミュでもたびたび議論になってることなのに「現行がこうなってる」で納得してるのは思考停止なんだよなあ。
348:デフォルトの名無しさん
25/10/18 23:33:52.89 3aakVM9g.net
Rustはプロジェクトを作る時にオーバーフローのチェックを強制したい方針ならばこの指定機能が何年も前に入ったため今は大丈夫だよ
overflow-checks = true
349:デフォルトの名無しさん
25/10/18 23:42:20.50 63qoaJUs.net
>>348
そういうの気にしない馬鹿のためにデフォルトの挙動はどうであるべきかって話が理解できない奴は安全性について語らない方が良いよ。
350:デフォルトの名無しさん
25/10/18 23:49:49.42 7LIpXt77.net
RustがIT各社に次々と採用されていってる理由は企業から見ても安全性が最も良い言語であると支持されたため
351:デフォルトの名無しさん
25/10/19 20:21:17.40 +RR12fUB.net
『🏆最小自由数で競う！C++, Lisp, Rust, Mojoによる速度対決🔥 / Competing on the Minimum Free Number! Speed Battle with C++, Lisp, Rust, and Mojo 🔥』
URLﾘﾝｸ(qiita.com)
「そのコードは良くない。こう書くべき」みたいな具体的なコメントができない辺りがRust信者の限界なのかな
352:デフォルトの名無しさん
25/10/20 22:42:27.76 RnZTjdTH.net
このスレ見る限りRust信者はコード書けないみたいだしなあ
353:デフォルトの名無しさん
25/10/21 15:24:12.70 2uplBhQe.net
> オーバーフローチェックのコストはとんでもなく高いんだよ。
> 劇的に遅くなることが判っているよ。
安全性よりパフォーマンスが重要と思ってる人は根本的なところから分かってない。
354:デフォルトの名無しさん
25/10/21 16:11:44.43 PAfcSIKV.net
安全重視のJavaもオーバーフローチェックしないよ
355:デフォルトの名無しさん
25/10/21 16:42:19.08 bG0rJrvl.net
もはや誰もQiitaの話をしていないのである
356:デフォルトの名無しさん
25/10/21 17:18:52.11 2uplBhQe.net
30年前の設計のJavaを安全重視と信じてる人がいるとはたまげたなあ
357:デフォルトの名無しさん
25/10/21 17:46:00.64 d/sWvnzZ.net
最近の言語Go Nim RustなどもCやJavaと同様にデフォルトではオーバーフロー時にラップアラウンド
358:デフォルトの名無しさん
25/10/21 18:39:21.79 2uplBhQe.net
> 最近の言語Go Nim RustなどもCやJavaと同様にデフォルトではオーバーフロー時にラップアラウンド
C言語では符号付き整数のオーバーフローは未定義動作なんだがそんなことも知らない輩がなんか言ってなんだなあ。
359:デフォルトの名無しさん
25/10/21 19:12:50.27 CCxWu0hF.net
デフォルトでオーバーフローチェックしなくて問題になった話を聞いたことがないな
世の中のシステムは問題なく動いているもんな
チェックしたければオーバーフローチェックできるから何が問題なのかわからん
360:デフォルトの名無しさん
25/10/21 19:36:04.80 2uplBhQe.net
255からエクステンドでゲームオーバーなんてザラにあるのにな
361:デフォルトの名無しさん
25/10/21 23:13:46.96 Xc9g4ZCw.net
>>43
『VRでもリアル空間でもスマホでも！「sonoXR」での音楽体験を実現する先端技術・FPGA独自チップ』
URLﾘﾝｸ(note.com)
↑の記事で当日の様子が紹介されてる。
> そのElixirChipですが、2025年9月17日、Elixir関連コミュニティのオンラインLT会で初お披露目されました！
> LT会のデモンストレーションでは、macの画面共有でElixirChipがターミナルから実行されている処理が映し出されて、その解説がメインのお話だったのですよね。
> それもそのはず。
> FPGA（Field Programmable Gate Array）とは「内部の論理回路をソフトウェアのように後から自由に組み替えられるチップ」のことだというのを、このLT会で今更ながら理解しました。（お恥ずかしい・・・）
> 私はElixirChipの開発を行う株式会社Digidock Consultingにてセールスエグゼクティブも担当しています。
FPGAがどういうもんだか知らなかった人がセールス担当で「先端技術・FPGA独自チップ」とか言ってんのスゲエな。
362:デフォルトの名無しさん
25/10/21 23:25:43.96 Kzm3UPI2.net
64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
363:デフォルトの名無しさん
25/10/21 23:37:30.32 Xc9g4ZCw.net
> 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
2**64/(365.25*24*3600*10000000000) = 58.4542046091 だから59年目でオーバーフローするだろ。
364:デフォルトの名無しさん
25/10/22 00:52:52.35 36Oigqe9.net
8bit時代は一瞬で溢れたのに
64bit時代は凄いな
365:デフォルトの名無しさん
25/10/22 02:05:57.52 1Zu7PCWv.net
５９年に1回だけ出現するバグがすごい
毎年再起動で対応すべき
366:デフォルトの名無しさん
25/10/22 02:24:22.73 W6apSoTE.net
最新のCPUでも10GHz行かないので1秒間に100億回のカウントが無理だよな
オーバーフローするまでもっとかかる
367:デフォルトの名無しさん
25/10/22 02:29:12.26 kkMCRZ3c.net
フィボナッチはオーバーフローする
368:デフォルトの名無しさん
25/10/22 02:49:06.07 DMZH9rqW.net
オーバーフローチェック関数を呼び出せばいい
369:デフォルトの名無しさん
25/10/22 07:42:15.54 pPjVNDwq.net
> 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
こういうマヌケが今後もいなくなることはないからオーバーフローチェックは常に行うのが安全。
370:デフォルトの名無しさん
25/10/22 08:11:36.58 UieYLCLo.net
溢れないんだからチェックは無駄じゃん
だから昔からチェックしない言語が使われてるんだろ
文句があるならここで暴れずに各言語に公式に言えばいい
371:デフォルトの名無しさん
25/10/22 09:13:09.53 hPyx8jr0.net
Rustは多段階に対応しているよ
デフォルトはデバックモードになりオーバーフロー含めた様々なチェックが充実
プロジェクト毎に常にオーバーフローチェックをする指定が可能
オーバーフローを扱う関数も多数あり
372:デフォルトの名無しさん
25/10/22 09:20:59.95 pPjVNDwq.net
> 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
こういうマヌケはプロジェクトにオーバーフローチェックを行う指定なんてしないしオーバーフローを扱う関数を呼ぶこともないんだよなあ。
373:デフォルトの名無しさん
25/10/22 09:30:10.17 hPyx8jr0.net
安全性の対策ができるかどうかが重視されている
安全性の対策のためにRustは次々と採用されている
対抗できるプログラミング言語が他にないからね
374:デフォルトの名無しさん
25/10/22 09:37:57.80 pPjVNDwq.net
Rustを使えば安全という勘違い
375:デフォルトの名無しさん
25/10/22 09:41:04.98 hPyx8jr0.net
Rustに勝てるプログラミング言語がないんだよ
だからこそIT大手がこぞってRustを採用した
376:デフォルトの名無しさん
25/10/22 16:35:15.27 h019lk2V.net
○bitまで演算できるから大丈夫
だったのが、整数型をオーバーする●年問題とか起きたんだよ
そして今度は◯bitまで使えるから安心と結局は同じ事を繰り返してるだけ
なのに「ずっと使い続けても大丈夫」とか言えるものなんだな
377:デフォルトの名無しさん
25/10/22 16:36:38.79 h019lk2V.net
それプログラム言語で勝ちとか
何が言いたいのだか
378:デフォルトの名無しさん
25/10/22 18:57:59.20 Hv/mNdUH.net
>>279
> オーバーフローチェックのコストはとんでもなく高いんだよ。
> 劇的に遅くなることが判っているよ。
このスレのRust信者はコードが書けない馬鹿しかいないのでオーバーフローチェックのコストとやらがとんでもなく高いことの例示すらできないんだよなあ。俺が代わりに確認してやったぞ。
最適化レベル3 オーバーフローチェックなし(-Copt-level=3)
URLﾘﾝｸ(wandbox.org)
最適化レベル3 オーバーフローチェックあり(-Copt-level=3 -Coverflow-checks=yes)
URLﾘﾝｸ(wandbox.org)
379:デフォルトの名無しさん
25/10/22 20:39:07.74 TnWf0U/l.net
>>378
コードを書けないのはおまえだろ
その出力結果を見ろよ
999999999 0.000000 sec.
380:デフォルトの名無しさん
25/10/22 21:14:42.57 Hv/mNdUH.net
> コードを書けないのはおまえだろ
> その出力結果を見ろよ
何が起こってるか分からんとこういう反応ｗ
381:デフォルトの名無しさん
25/10/22 21:44:59.81 5MvhTmyF.net
実行時間0秒ということはコンパイル時の定数化だろうね
コードを正しく書けない人が定数データをそのまま使って正しくベンチマーク計測できていない典型的な失敗例
382:デフォルトの名無しさん
25/10/22 22:01:20.17 Hv/mNdUH.net
>>379
>>381
「とんでもなく高い」と>>279が言ってるオーバーフローチェックをコンパイル時にやれてることが理解できない低能ｗ
383:デフォルトの名無しさん
25/10/22 22:11:40.81 wCiIvwD8.net
比較ベンチを測るプログラムでコンパイル時に定数になってしまってるのは初心者あるあるでちよっと恥ずかしい
さらに定数になったことでオーバーフローチェックは軽いと主張している人は恥ずかしいを通り越してキチガイ
384:デフォルトの名無しさん
25/10/22 22:25:59.29 Hv/mNdUH.net
> さらに定数になったことでオーバーフローチェックは軽いと主張している人は恥ずかしいを通り越してキチガイ
コスト0でできるオーバーフローチェックの例を挙げただけだけど馬鹿だとこういう理解になんのなｗ
385:デフォルトの名無しさん
25/10/22 22:40:18.18 aaZcXuwG.net
連投クンは3つの過ちを犯している
①実行時間の比較をすべきところでコンパイル時に定数となるコードを書いてしまった
②その結果をもってコスト0だと主張
③その事例をもってオーバーフローチェックは重くないと主張
386:デフォルトの名無しさん
25/10/22 22:53:43.71 Hv/mNdUH.net
> ①実行時間の比較をすべきところでコンパイル時に定数となるコードを書いてしまった
オーバーフローチェックのコストの話だからコンパイル時にできるんなら御の字なんだよなあ。
> ②その結果をもってコスト0だと主張
俺が挙げた例ではその通り。
> ③その事例をもってオーバーフローチェックは重くないと主張
オーバーフローチェックの重い例はIDコロコロ君が挙げりゃ良いのにｗ
馬鹿って本気で馬鹿なんだなあという感想しかないわｗ
387:デフォルトの名無しさん
25/10/22 23:22:33.57 MJsEo9z/.net
定数の同士の計算をコンパイル時にできるだけでしょ
普通は定数同士ではないためオーバーフローのチェックをコンパイル時にできるわけではないよ
388:デフォルトの名無しさん
25/10/23 00:01:19.28 F7QtUS8E.net
> 定数の同士の計算をコンパイル時にできるだけでしょ
同じコードで「最適化レベル3 オーバーフローチェックなし」では定数の同士の計算をコンパイル時にできていないので場合による。rustcは最適化が控えめなのでオーバーフローチェックを行ったほうがデータフロー解析を深いレベルで行なって効率良いコードを吐いてくれる可能性まである。
> 普通は定数同士ではないためオーバーフローのチェックをコンパイル時にできるわけではないよ
できる場合もあればできない場合もある。
安全性を蔑ろにして良いわけはないのでコンパイル時にできないのであれば実行時のオーバーフローチェックは行うべき。そのコストが問題になるのであればプログラマがオーバーフローしないことを保証してやれば良い。
389:デフォルトの名無しさん
25/10/23 00:05:35.18 OBXMa/ZD.net
言い訳ばかりだな
オーバーヘッドを比較するための実行時間ベンチマークで
まともなプログラマーならばコンパイル時定数になるコードを書かない
390:デフォルトの名無しさん
25/10/23 00:08:38.47 F7QtUS8E.net
コンパイル時にオーバーフローチェックされた例が余程悔しかったと見えるｗ
391:デフォルトの名無しさん
25/10/23 00:10:30.87 F7QtUS8E.net
つか何で
> オーバーフローチェックのコストはとんでもなく高いんだよ。
という具体的を提示しないんだろうか?
392:デフォルトの名無しさん
25/10/23 01:00:14.89 eRkhgGUb.net
>>379
実行時間を比較しようとして定数計算で実行時間0.000秒は草
それをそのまま貼るのは慌てん坊
393:デフォルトの名無しさん
25/10/23 22:48:26.28 qJPQXYyn.net
最適化レベル3 オーバーフローチェックなし
URLﾘﾝｸ(wandbox.org)
> 999999999 0.000000 sec.
最適化レベル3 オーバーフローチェックなし
URLﾘﾝｸ(wandbox.org)
> 999999999 0.192019 sec.
なるほど、確かに最適化控えめだなｗ
394:デフォルトの名無しさん
25/10/24 10:56:06.36 1/8UQp8U.net
> オーバーフローチェックのコストはとんでもなく高いんだよ。
clangより遅いRustがますます遅くなっちゃうってことか。
でもそれで安全性と天秤に掛けて安全性捨てて良いって理屈にはならんと思うが。
395:デフォルトの名無しさん
25/10/24 11:39:42.14 pf7VrHln.net
Rustはオーバーフローに関しても最も充実している言語
まずデフォルトではデバッグモードとなりオーバーフローを含めた様々な問題をチェックして指摘してくれる
次にオーバーフローを取り扱う関数が30個以上と充実しておりオーバーフロー時に様々な対処ができるようになっている
さらにオーバーフローチェック強制モードを指定することもできる
396:デフォルトの名無しさん
25/10/24 12:33:51.25 1/8UQp8U.net
肝心のユーザーが
> 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
こんなこと言ってるようじゃせっかくの機能も台無し。
こういうユーザーはオーバーフローを軽視しているので、それを扱う関数を呼んだりオーバーフローチェック強制モードを指定することもしない。
397:デフォルトの名無しさん
25/10/24 12:54:38.21 yjIuofsm.net
Rustより優れているプログラミング言語がなく出現しそうにない
IT大手をはじめとして各社が次々とRust採用に踏み切った理由
398:デフォルトの名無しさん
25/10/24 21:32:19.69 Rjl1Yp+F.net
何をもって優れてるというのか知らんけど
採用される率だったら圧倒的に Python や JavaScript じゃないの？
399:デフォルトの名無しさん
25/10/24 22:24:54.90 sOhxBEuL.net
普及している言語を採用するのは当たり前
普及してない言語をわざわざ採用するのは他の言語では代わりにならないほどメリットがある時
400:デフォルトの名無しさん
25/10/24 23:11:41.06 dp05dd3l.net
> 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
この程度の実行時検出もできなくて「メリットがある」と言い張ってて草ｗ
401:デフォルトの名無しさん
25/10/25 00:27:47.26 dZEZZMvJ.net
見ていてなんとなくわかってきた
プログラミング言語として敵わないからよくわからない言いがかりをつけてずっと粘着しているだけのような
402:デフォルトの名無しさん
25/10/25 08:20:17.15 7tgM5Cd8.net
言語の優劣（笑）にこだわってる子が一人だけおるっていう状況かな
自己のアイデンティティを借り物で満たそうとしちゃってるね
自分がRustの作者ってんならともかく、単なるユーザでしかないのにね
403:デフォルトの名無しさん
25/10/25 08:45:36.74 0A7PnaiQ.net
>>395
オーバーフローに関してそこまで充実していない言語も多いけど、なぜか充実している言語の方をしつこく叩いてるコンプレックス持ちがおるから面白い。
404:デフォルトの名無しさん
25/10/25 11:38:38.14 APUPz67M.net
安全性分かってない奴がRust盲信してて笑われてるだけｗ
405:デフォルトの名無しさん
25/10/25 11:52:03.54 HsDC01zZ.net
>>52
> Rustが広まってる理由はC並みの高速実行をゼロコスト抽象化によるコードの可読性・保守性・開発効率の高さで実現したことにあるからね
> 安全性などはついでのオマケ
IDコロコロ君安全性は屁のように考えてるみたいだけど、だったら配列アクセスのたびに範囲チェックで無駄なコスト払ってるRustは良い言語ではないんじゃね? それかunsafeでポインタアクセスするのが正義?
406:デフォルトの名無しさん
25/10/25 11:53:06.73 H3w3YKY0.net
安全性のためにRustを採用するところが世界的にどんどん増えているのはなぜだろう？
407:デフォルトの名無しさん
25/10/25 11:59:12.87 APUPz67M.net
Rustの普及と
> 安全性などはついでのオマケ
とか言っちゃう馬鹿が笑われてるのは別の話だゾｗ
408:デフォルトの名無しさん
25/10/25 12:07:43.62 LnBfHi83.net
>>405
Rustは配列などのアクセスもゼロコスト抽象化で速さと安全性を両立してるよん
409:デフォルトの名無しさん
25/10/25 12:58:15.22 APUPz67M.net
>>408はrustcの出力見たことない人かな?
配列の範囲チェックって
URLﾘﾝｸ(godbolt.org)
> cmpq %rsi, %rdx
> jae .LBB0_7
↑がそれ。
ちなみにCだとこんなだ。
URLﾘﾝｸ(godbolt.org)
410:デフォルトの名無しさん
25/10/25 13:03:29.33 APUPz67M.net
rustcが最適化控えめという話は既出か。
rustc
URLﾘﾝｸ(godbolt.org)
clang
URLﾘﾝｸ(godbolt.org)
411:デフォルトの名無しさん
25/10/25 17:01:14.86 L+Kq+g5v.net
C言語は、ポインタが、ヤバイくて、危ないよね。
RUST言語は、ポインタが、無いのなら、安全ぢゃねえ?
412:デフォルトの名無しさん
25/10/25 17:40:57.11 zF/r+ywr.net
>>402
マジでこれ
関数型言語あたりに多いけど、自分が好きな言語をアイデンティティにしてる奴にまともなのはいない
自分は何を作れるか・何を作ったかの方がプログラマにとっての価値だろ
413:デフォルトの名無しさん
25/10/25 18:04:23.93 zF/r+ywr.net
個人開発ならともかく、仕事で使う言語は自分の好みじゃなくて組織によって決まるものだよね
Rustが好きでも、Goのプロジェクトに入ったらGoを書く、Javaのプロジェクトに入ったらJavaを書くのがプロ
宣言的なコードが好きだからといって、OOPの言語や、for文 と if文 をひたすら書かされる言語では仕事したくないです、なんてのは社会人としてだめでしょ
(Rustを使える企業に転職する、という選択ができる人は別だけど)
414:デフォルトの名無しさん
25/10/25 19:23:29.07 KXTmWn4e.net
企業や立場によってピンキリだよ
そういう歯車として使われる人もいればそうでない人もいる
415:デフォルトの名無しさん
25/10/25 19:50:23.21 SFAxzZT/.net
どの分野でもAとBの比較の話をしている時に同じことが起きてるな
純粋にそれぞれの特徴やメリットで優劣を比較すればいい
ところが不利になった側はどの話でもこう言い出す
Aを使うやつはXXXだ！Aの価値よりおまえの価値はどうなんだ！
AとBの比較から逃避して人間の攻撃を始める
416:デフォルトの名無しさん
25/10/25 19:55:57.53 waw5U/cg.net
なんか話がズレまくってるなここ
417:デフォルトの名無しさん
25/10/25 19:56:03.79 N83OYtmK.net
> オーバーフローチェックのコストはとんでもなく高いんだよ。
> 劇的に遅くなることが判っているよ。
とか
> 安全性などはついでのオマケ
とか言ってる人は根本的なところがわかってないので言語を選定したりプロジェクトを先導する立場に立たせてはダメ。
418:デフォルトの名無しさん
25/10/25 20:04:36.75 nC0XVvFS.net
安全性と速さの両立が最重要だもんな
利害対立し合うIT大手企業が珍しく揃ってそのために選択したRustを用いるのが正しい
419:デフォルトの名無しさん
25/10/25 20:25:04.83 N83OYtmK.net
> 安全性と速さの両立が最重要だもんな
↑馬鹿発見ｗ
420:デフォルトの名無しさん
25/10/25 20:33:41.34 TVzQqIlO.net
安全性と速さだけではダメ
高い抽象度で読み書きしやすいことが大切
Rustはそこを満たしたからこそ新たな移行先になった
421:デフォルトの名無しさん
25/10/25 22:07:09.40 APUPz67M.net
>>411
Rustもポインタが使えるし場合によっては危険。
URLﾘﾝｸ(godbolt.org)
422:デフォルトの名無しさん
25/10/25 22:29:45.32 OtGrSoGw.net
>>421
生ポインタの指す先を読み書きできるのはunsafe Rust
unsafe RustではC言語と同じ状態という点で危険だが普通のプログラミングでunsafeを使うことはない
423:デフォルトの名無しさん
25/10/25 22:31:29.44 vZIJ37nc.net
言語の良し悪しを語ってる時点で草なんよね
だって俺らは与えられた言語で仕事するだけだから
C++でもPerlでもPHPでも書くだけだから
You play with the cards you're dealt.
424:デフォルトの名無しさん
25/10/25 22:36:24.17 Oc43Pjaf.net
>>423
IT土方は仕事を選べないもんな
425:デフォルトの名無しさん
25/10/25 22:58:03.75 vZIJ37nc.net
はい（真顔）
426:デフォルトの名無しさん
25/10/25 23:15:04.51 9ui6NOtA.net
土方が無理に言語の優劣の話にクビを突っ込まなくてもいいけど
新たな優秀な言語が出現したチャンスと捉えて習得して土方を脱出する手もある
427:デフォルトの名無しさん
25/10/25 23:23:22.89 RL99M0X7.net
> 普通のプログラミングでunsafeを使うことはない
と言ってる人はunsafeが使われてる標準ライブラリも使わないのかな?
428:デフォルトの名無しさん
25/10/25 23:28:59.12 JGY3STeT.net
>>427
それは真逆だよ
Rustでunsafeが使われるのは標準ライブラリの内部やそれに準じる基盤クレートの内部
普通のRustプログラミングでunsafeは使われない
429:デフォルトの名無しさん
25/10/25 23:40:35.95 RL99M0X7.net
> 普通のRustプログラミングでunsafeは使われない
ああ低レイヤに縁のない人か
430:デフォルトの名無しさん
25/10/25 23:53:30.01 EfkNjJ0Z.net
低レイヤの意味は複数あるけど
いずれも可能な限りunsafeは使われないね
効率面でunsafe必要になるパターン一般化されてプログラムの外部へ切り出されてライブラリ化されるよ
そうしてできたのがRustの標準ライブラリ
431:デフォルトの名無しさん
25/10/26 01:56:48.53 GI8xQK7J.net
画像処理でピクセルを走査するようなケースだと unsafe なポインタ操作は必須じゃないの？
インデックスアクセスだと範囲チェックのコストがかかるし
単に1画素を1画素にマップするだけならほぼノーコストでイテレーターを使えるだろうけど、周辺画素を参照する操作もよくあるから単純なイテレーターは使えないし
432:デフォルトの名無しさん
25/10/26 01:59:51.53 GI8xQK7J.net
あとはCとのFFI
過去に書かれたC/C++資産の利用はRustでやりたいことの一つだろうし、これは流石に標準ライブラリのような「一般的なユーザーは使わない」ものでは無いと思う
433:デフォルトの名無しさん
25/10/26 02:39:48.97 PJJMD6bT.net
Rustのunsafeは他の言語と同じ様の状況になりますよという意味で、コンパイルが通っても安全性を保証しませんという意味。
つまり他の言語と同様に、unsafeな部分の安全性は人間が保証してください、がRustのunsafe。
したがって他の言語とリンクする場合にその境界部分がunsafeになるのは当たり前でこれを避けることはできない。
しかしパターン化できる場合はunsafe使用部分をライブラリの中に閉じ込めてそれを安全に用いることもできる。
例えばPythonのライブラリをRustのPyO3クレートで作成する場合など。
434:デフォルトの名無しさん
25/10/26 03:35:04.78 uL5v2PLc.net
低レイヤに縁がない人がオーバーフローチェックを否定してるのがわけわからんのよねｗ
低レイヤ担当は色々手段を尽くして実行効率が良くて安全なものを提供してると思うんだけどそれに乗っかってる側は自分が書いてるコードの実行効率を気にするよりは安全性を重視するべきではないの?
435:デフォルトの名無しさん
25/10/26 04:33:18.62 SK2IH7bS.net
また言語の話で不利になったため逃げて、
妄想上の人の話へとすり替えようとしてる
436:デフォルトの名無しさん
25/10/26 09:10:11.83 +y7r90/A.net
もうQiita関係ないな
437:デフォルトの名無しさん
25/10/26 20:55:09.12 v+5C5Bjl.net
IDコロコロくんは面白いなｗ
438:デフォルトの名無しさん
25/10/27 06:58:16.48 x+p8Wgca.net
せやな
439:デフォルトの名無しさん
25/10/29 20:12:21.16 oGx2PQGm.net
『Cから学ぶRustの良さ』
3年前に書かれた記事だがトレンドに挙がってたので初めて見た。
酷い記事だなあ。なんで90人もいいねしてんの?
440:デフォルトの名無しさん
25/10/29 23:35:08.75 xnDexBBj.net
>>439
C/C++は弱い型付け言語なのでサイズの異なる型への自動変換が起きることに加えて8bit環境以外では
Cでは sizeof('a') == sizeof(123)
C++では sizeof('a') != sizeof(123)
などの無茶苦茶な仕様が混乱に拍車をかけているよな
441:デフォルトの名無しさん
25/10/29 23:46:47.92 kkKNfkqN.net
AIに聞いたら聞き返された
もしよろしければ、あなたが特に「酷い」と感じた記事の具体的な内容や論点について教えていただけますか？
それについて、Rustの技術的な視点から掘り下げて解説することもできます。
442:デフォルトの名無しさん
25/10/30 01:06:50.83 Hkp2/Mla.net
ChatGPTに
> この記事読めますか? URLﾘﾝｸ(qiita.com)
> 前述の記事には誤りと思われる個所が複数あると思います。気が付いた点があれば挙げてみてください。
と訊いたら
> 確認できた範囲で、記事「Rust と C の比較（著：ushijima ryosuke／uv_ussy）に 誤りまたは誤解を招きやすい記述 がいくつかあります。いくつか挙げますので、もしよければさらに掘り下げましょう。
と言って気になった点というのを 5点挙げてくれたけどな? >>441はどういう聞き方したんだろう?
443:デフォルトの名無しさん
25/10/30 01:16:31.30 L8pN1QHs.net
>>442
レスの全文を正確にコピペしただけ
AIに聞いた質問は誤りと思われる個所を探すことでない
レスをよく読んでみてね
444:デフォルトの名無しさん
25/10/30 01:40:41.25 Hkp2/Mla.net
>>443
俺はお前が「AIに聞いたら聞き返された」って馬鹿なこと言ってるから面白がってるだけよ?
445:デフォルトの名無しさん
25/10/30 01:43:15.62 Hkp2/Mla.net
> レスの全文を正確にコピペしただけ
アドレスも貼らんでAIが理解してくれるって認識かｗ
446:デフォルトの名無しさん
25/10/30 02:40:13.26 pCIdJOGw.net
>>440
CとC++で色々と違っているのを知らずに誤解する人多いよね
>>442
Rustの問題ではなくて
Cの問題点と不備な点と間違えやすい点に加えて誤解してる点と間違ってる点のフルコースの記事だね
447:デフォルトの名無しさん
25/10/30 08:28:20.42 lzfhCIfj.net
> C/C++は弱い型付け言語なので
それはそう。
> サイズの異なる型への自動変換が起きることに加えて
サイズの同じ異なる型への自動変換もあるからサイズ関係ないぞ。件の記事はなんでかサイズで説明してるが。
> 8bit環境以外では
> Cでは sizeof('a') == sizeof(123)
> C++では sizeof('a') != sizeof(123)
> などの無茶苦茶な仕様が混乱に拍車をかけているよな
件の記事ではCとC++の仕様の違いについて言及してないね。「8bit環境以外では」も意味不明。結論的には>>440はバカ。
448:デフォルトの名無しさん
25/10/30 08:58:26.48 DCpoislO.net
Cの時点でぐちゃぐちゃなのにC++が互換性を持たせずに変えてしまった部分だからめちゃくちゃになってるところ
449:デフォルトの名無しさん
25/10/31 08:16:40.44 dfFjY6H8.net
>>439の記事の筆者名検索するとFaceBookのページ出てくるけど国立大学で情報工学専攻でこれというのはいろいろ考えてしまうな。
450:デフォルトの名無しさん
25/10/31 23:01:52.88 dfFjY6H8.net
IDコロコロ君はRustスレにも迷惑掛けてるのかｗ
もう自分を迷惑な人材として認識しておとなしくすりゃ良いのにねｗ
451:デフォルトの名無しさん
25/11/01 10:19:13.22 QCwdg/pu.net
12月1日から25日まで、みんなで技術記事を投稿して、カレンダーを埋め尽くそう
qiita.com/advent-calendar/2025
完走チャレンジ賞の達成条件は以下です。
・1人で15～24記事投稿した方を表彰します。
プレゼントカレンダーは2025/10/31～2025/12/31に記事を投稿
期間が2つある
452:デフォルトの名無しさん
25/11/01 12:59:34.87 wOU/NDvb.net
>>447
それが意味不明で分からないなら馬鹿はお前の方では？
453:デフォルトの名無しさん
25/11/01 13:07:22.38 KM9f//71.net
『stdio.hやiostream.hの中身を見る方法』
/usr/include/ かINCLUDEが指してる先見に行った方が早くね?
454:デフォルトの名無しさん
25/11/01 13:40:27.56 IJ9tr23i.net
> 8bit環境以外では
> Cでは sizeof('a') == sizeof(123)
> C++では sizeof('a') != sizeof(123)
8bit環境に限っては↑のようにならないとでも言いたげだがC言語では'a'の型はintなので
sizeof('a') == sizeof(123)
は常に1となる。
C++では'a'の型はcharなのでcharのサイズがintと同一な環境でもない限りは
sizeof('a') != sizeof(123)
は常にtrueとなる。C++は規格としてintのサイズは最小でも16bitあるから仮にcharのサイズがintと同一の環境であれば
sizeof('a') != sizeof(123)
はfalseとなるが>>440が言ってる8bit環境とやらはcharのサイズが16bitあるのかな?
結論的には>>452もバカ。
455:デフォルトの名無しさん
25/11/01 13:50:33.72 B/e2fvdA.net
そういう基本的な部分でCとC++の扱いが違うなんて失敗言語だよなあ
456:デフォルトの名無しさん
25/11/01 15:57:18.25 QSMh1nGC.net
C++では'a'の型はchar
知らんまま書いとったわｗ
457:デフォルトの名無しさん
25/11/02 13:42:32.21 zw4M8eHQ.net
『データ構造入門(1) - ポインタ・配列・構造体』
URLﾘﾝｸ(qiita.com)
> 学習のためなら、一度はコンパイルして実行した方がよいと思います。
> C++ならコンパイルエラーになってくれます。
コンパイル確認しろはその通りだがCのタグついててC++のタグはない記事のコードになんでC++でコンパイルなんて言うかなあ?
>>455 同様CとC++が違う言語と認識できてない人かな。
458:デフォルトの名無しさん
25/11/02 14:35:56.04 Z91049yH.net
>>457
int genderに"man" や"woman"を入れようとしてるんだぞ
エラーにする言語が正しい
459:デフォルトの名無しさん
25/11/02 14:53:51.62 zw4M8eHQ.net
CとC++が違う言語と認識できてない人が早速現れたｗ
460:デフォルトの名無しさん
25/11/02 15:01:26.49 QN/Mkn5m.net
>>459は誰に対して言ってるんだ？