>>58
長さlenの連続体(スライス)のインデックスは0からlen-1になるのだから
0..lenが0以上len未満つまり0からlen-1を示すRustの仕様はセンスが良い
これを一般的には半開区間と言い数学では[start, end)と表記しstartは含むがendは含まず利点が多い
プログラミングでn個を処理するときにインデックスなどを i = 0 から i < n と書くがこれも半開区間でRustなら0..nの表記になる
ごく稀にn+1個の処理をする i = 0 から i <= n を扱いたい時には対応する0..=nの表記ができる
したがってRustの表記法がベストであることがよくわかる
探検
Qiita 7 - キータぞ、来たぞ、キータだぞー
2025/09/22(月) 08:00:31.81ID:01ZECo7h
2025/09/22(月) 09:09:30.72ID:2d/wDxg8
『Rust で書いたプログラムがなんか遅い』
Rustで..=を気軽にホイホイ使ってしまって「なんか遅い」と言ってる例。
抽象化の高い言語を使って何が起きてるか分かってないのも考えものだな。
Rustで..=を気軽にホイホイ使ってしまって「なんか遅い」と言ってる例。
抽象化の高い言語を使って何が起きてるか分かってないのも考えものだな。
2025/09/22(月) 09:16:25.38ID:Ow6is+fL
Rubyの .. はPascal と記法を合わせたもので、 ... は番兵を1つ外側に立たせておくくらいのイメージかな。
Rustの .. は、Pascac と記法を合わせることには拘らず、多用される番兵方式を少ない記号数で記述できる方が合理的という判断なんだろう。..= という記法のセンスの良し悪しは何とも言えないが。
どちらも内在的にはそれなりに合理的なんじゃないかな。
Rustの .. は、Pascac と記法を合わせることには拘らず、多用される番兵方式を少ない記号数で記述できる方が合理的という判断なんだろう。..= という記法のセンスの良し悪しは何とも言えないが。
どちらも内在的にはそれなりに合理的なんじゃないかな。
2025/09/22(月) 09:59:26.76ID:ytnqyum6
Pascal方式は1発進と相性がよく1..nがn個になる
Rust方式は0発進と相性がよく0..nがn個になる
indexが0発進になる言語はRust方式が便利
Rust方式は0発進と相性がよく0..nがn個になる
indexが0発進になる言語はRust方式が便利
2025/09/22(月) 10:11:48.70ID:2d/wDxg8
Pascalは..もforも閉区間[a, b]で統一されてるし配列の添字の範囲も自由なので思想的にはシンプルだと思う。
2025/09/22(月) 11:19:37.59ID:XiCaSJNI
記述や可読性の差が大きい
start..endの個数
【Rust】 end-start個
【Pascal】 end-start+1個
startからn個
【Rust】 start..(start+n)
【Pascal】 start..(start+n-1)
このように間違えやすく見にくい+1や-1が
半開区間を採用のRustでは不要となる
start..endの個数
【Rust】 end-start個
【Pascal】 end-start+1個
startからn個
【Rust】 start..(start+n)
【Pascal】 start..(start+n-1)
このように間違えやすく見にくい+1や-1が
半開区間を採用のRustでは不要となる
2025/09/22(月) 11:35:27.21ID:0o6m1dEB
Ruby の .. と ... はスッキリしているけど、老眼には辛いのよ。麻雀牌のニ萬と三萬よりさらに見分けづらいから。
66デフォルトの名無しさん
2025/09/22(月) 23:00:01.38ID:AxN4Bvca >>59
..は左右対称なので閉区間にしか見えず、それで右半開区間を表すのはバグの元となりやすい。
右半開区間は左右非対称の..<で表すのが妥当で、Swiftはそうしている。Swiftは閉区間が...で
.が1個余分なのは良くないが。
閉区間を..で、右半開区間を..<で表せば、左半開区間を<..で、開区間を<..<で整合的に表せるし、
互いの見分けも容易だから合理的。もしC++が範囲演算子を導入するならこうしてもらいたい。
..は左右対称なので閉区間にしか見えず、それで右半開区間を表すのはバグの元となりやすい。
右半開区間は左右非対称の..<で表すのが妥当で、Swiftはそうしている。Swiftは閉区間が...で
.が1個余分なのは良くないが。
閉区間を..で、右半開区間を..<で表せば、左半開区間を<..で、開区間を<..<で整合的に表せるし、
互いの見分けも容易だから合理的。もしC++が範囲演算子を導入するならこうしてもらいたい。
2025/09/22(月) 23:50:00.52ID:ci9fXj6N
前例に倣ったままにしとけめんどくせえ
2025/09/23(火) 00:57:25.80ID:0DVfn//v
>>64
Rustの方式が優れてるね
Rustの方式が優れてるね
2025/09/23(火) 08:21:07.31ID:ptEtOTO9
半開区間と閉区間の両方をサポートするならどちらも間違いようがない書き方にするべきだろう。Rustは閉区間を..=で表すなら半開区間は..<とでもすれば良かったな。
..では「あれ? どっちだっけ?」と思ってしまう可能性がある。
..では「あれ? どっちだっけ?」と思ってしまう可能性がある。
2025/09/23(火) 09:39:04.17ID:BqTZOz5k
コード内に使われる記号列として許容できるのは .. と ... までかなぁ(ただし、両方を採用すると、ぱっと見では見分けがつきにくいという問題がある)。..= とか ..< は、もちろんそれなりに合理的な考慮の上で採用されたんだろうけど、もう見た目で受け付けないわ。
Rustも基本的には .. を使えってことなんじゃない? 一応、..= も用意してあるけど、どうしても必要なケースがあるなら使ってねくらいの位置付けに過ぎないと思う。
Rustも基本的には .. を使えってことなんじゃない? 一応、..= も用意してあるけど、どうしても必要なケースがあるなら使ってねくらいの位置付けに過ぎないと思う。
2025/09/23(火) 10:03:23.14ID:U5/crNyE
範囲を表すのは .. だけにして、含まれない端点にはマーカー文字をつけるという方法もありそうだけど、目立つ採用例がないってことはたぶん問題があるんだろうね。
1 .. 5 → 1から5まで
1 .. 5^ → 1から4まで
1 .. 5 → 1から5まで
1 .. 5^ → 1から4まで
2025/09/23(火) 15:33:33.09ID:rmbzdEQk
2025/09/23(火) 17:38:31.18ID:ptEtOTO9
IDコロコロ君の投稿を容易に見分けられるようになってしまい残念な気持ち。
2025/09/23(火) 19:08:43.70ID:zU/q7UQ3
>>60
半開区間イテレータはゼロコスト抽象化が可能だけど、
閉区間イテレータはその仕様上どうしても枯渇フラグが別途必要となるため、
データサイズの増大とコード実行が遅くなってしまうからね。
閉区間イテレータは効率を求める場面ではタブーと教えるしかないよ。
半開区間イテレータはゼロコスト抽象化が可能だけど、
閉区間イテレータはその仕様上どうしても枯渇フラグが別途必要となるため、
データサイズの増大とコード実行が遅くなってしまうからね。
閉区間イテレータは効率を求める場面ではタブーと教えるしかないよ。
2025/09/23(火) 19:13:50.59ID:zU/q7UQ3
>>69
Rustはもともと効率のいい半開区間イテレータ「..」しかなくて、「..」以外の仕様でも半開区間が採用されているため、間違えることがないようにできているよ。
動作が遅くてもいいから欲しいとの要望により、閉区間イテレータ「..=」を後から追加したんだよ。
速度を気にする場所でこの変な記号「..=」を使うのは要注意と覚えれば大丈夫。
Rustはもともと効率のいい半開区間イテレータ「..」しかなくて、「..」以外の仕様でも半開区間が採用されているため、間違えることがないようにできているよ。
動作が遅くてもいいから欲しいとの要望により、閉区間イテレータ「..=」を後から追加したんだよ。
速度を気にする場所でこの変な記号「..=」を使うのは要注意と覚えれば大丈夫。
2025/09/24(水) 04:44:51.44ID:NxVT75eJ
歴史的な事情で対称性の悪い表記が存在するのって(その歴史を知らないと納得できないから)負の遺産だよね。
77デフォルトの名無しさん
2025/09/24(水) 09:37:45.93ID:iLsvaA+I2025/09/25(木) 07:39:21.36ID:rGEl0fht
Pythonのrange(1,5)も1,2,3,4を意味する半開区間だよ
2025/09/25(木) 08:04:45.13ID:+zec6Qog
半開区間と閉区間の両方をサポートしてて紛らわしい表記になってるのが残念という話が理解できない人かな
2025/09/25(木) 10:55:22.03ID:qSe6mg1h
Rustみたいに標準ライブラリ全体の仕様を半開区間で統一すれば間違えることもなく悩まずに済むのに
2025/09/25(木) 11:16:52.45ID:Wia1VUCr
要らない..=をサポートしてしまった為に糞化してしまったRust哀れ
2025/09/25(木) 11:29:57.30ID:qSe6mg1h
83デフォルトの名無しさん
2025/09/26(金) 10:22:57.69ID:UkFmEBgM 確かに元から糞なものが糞化とは腹が痛い
2025/09/26(金) 12:42:08.13ID:X9xxY5lJ
2025/09/26(金) 16:46:57.32ID:IX+dZCHo
>>82
ウンコになったってことだよ
ウンコになったってことだよ
2025/09/26(金) 20:33:46.74ID:/tXGYc/j
>>64
それよりもっと重要なことが抜けてるぞ
Pascal方式で避けられないそれら+1や-1がRust方式では不要となるだけでなく
Rust方式では長さ0を特別扱いせずに自然に扱えることが最大の特徴
Rust方式は長さnがstart..(start + n)であるため
長さ0はstart..startになって特別扱いすることなく自然にそのまま扱える
Pascal方式は長さnがstart..(start + n -1)であるため
長さ0はstart..(start -1)になり左右逆転してしまう
そのためこの不格好な逆転状態を長さ0とみなして扱うか
場合分けして長さ0を扱わないようにするか
場合分けして長さ0の時にnullとかnilとか空リストなど特別扱いする形になる
それよりもっと重要なことが抜けてるぞ
Pascal方式で避けられないそれら+1や-1がRust方式では不要となるだけでなく
Rust方式では長さ0を特別扱いせずに自然に扱えることが最大の特徴
Rust方式は長さnがstart..(start + n)であるため
長さ0はstart..startになって特別扱いすることなく自然にそのまま扱える
Pascal方式は長さnがstart..(start + n -1)であるため
長さ0はstart..(start -1)になり左右逆転してしまう
そのためこの不格好な逆転状態を長さ0とみなして扱うか
場合分けして長さ0を扱わないようにするか
場合分けして長さ0の時にnullとかnilとか空リストなど特別扱いする形になる
2025/09/27(土) 00:25:32.78ID:XX0uOJLH
>長さ0はstart..startになって特別扱いすることなく自然にそのまま扱える
長さ0を表現するのにstartが具体的な値持ってて自然てどういう理屈?
長さ0を表現するのにstartが具体的な値持ってて自然てどういう理屈?
2025/09/27(土) 00:31:44.56ID:lQv27qFK
2025/09/27(土) 00:43:10.07ID:XX0uOJLH
>>88
Pascalでstartの違う長さ0表して便利な例挙げてみて
Pascalでstartの違う長さ0表して便利な例挙げてみて
90デフォルトの名無しさん
2025/09/27(土) 00:55:46.18ID:B/IRYC2K >>87
Rustの..は性質の良い半開区間なので、
例えばstart..endを途中のmiddleの位置で分割すると、start..middleとmiddle..endの二つに綺麗に分かれる性質も持っているよ。
そしてそのmiddleの決定算出結果が処理内容や処理状況によっては、たまたまstartと一致することも出てくる。
その時、start..middleとmiddle..endの二つは、start..startとstart..endの二つに分かれて前者は長さ0になるね。
Rustでのプログラミングでも実際にこれはよく起きるよ。
Rustの..は性質の良い半開区間なので、
例えばstart..endを途中のmiddleの位置で分割すると、start..middleとmiddle..endの二つに綺麗に分かれる性質も持っているよ。
そしてそのmiddleの決定算出結果が処理内容や処理状況によっては、たまたまstartと一致することも出てくる。
その時、start..middleとmiddle..endの二つは、start..startとstart..endの二つに分かれて前者は長さ0になるね。
Rustでのプログラミングでも実際にこれはよく起きるよ。
2025/09/27(土) 01:43:57.58ID:XX0uOJLH
>>90
区間の長さが0だった話じゃなくて、長さ0を表現するのにstartが具体的な値持ってるのはどうなのと聞いています。
区間の長さが0だった話じゃなくて、長さ0を表現するのにstartが具体的な値持ってるのはどうなのと聞いています。
2025/09/27(土) 01:48:32.95ID:XX0uOJLH
閉区間と半開区間のどちらにメリットがある場合もあり、Rustも閉区間をサポートしてるのに半開区間のみを持ち上げてるのは見識が狭いな。
93デフォルトの名無しさん
2025/09/27(土) 02:17:11.42ID:B/IRYC2K2025/09/27(土) 02:20:12.82ID:u3EkYZLQ
『fast inverse square root (高速逆平方根) のようなトリックまとめ』
未定義動作コードの見本市みたいな記事。
C言語知りませんアピールか。
未定義動作コードの見本市みたいな記事。
C言語知りませんアピールか。
2025/09/27(土) 07:25:01.25ID:rUQ4UupW
C言語なんて動きゃいいんだよ動きゃ
2025/09/27(土) 08:53:18.36ID:ItgajmGE
動きゃいいんだよ動きゃなんて言語でカーネルを作ってほしくない
2025/09/27(土) 12:15:10.22ID:HCtgOBXK
古いのから新しいのまであらゆるCPUで動きゃいいんだよ動きゃ
2025/09/27(土) 13:57:37.59ID:HvNJXk8w
>動きゃいいんだよ動きゃ
動くかわからん未定義動作のコードにこういうこと言う奴は馬鹿
動くかわからん未定義動作のコードにこういうこと言う奴は馬鹿
2025/09/27(土) 16:57:30.37ID:1KNVq9e2
特定のCPU/GPU環境と断ってる
C言語仕様と特定CPU仕様を履き違えて未定義動作って言いたいだけの馬鹿の一つ覚え
C言語仕様と特定CPU仕様を履き違えて未定義動作って言いたいだけの馬鹿の一つ覚え
100デフォルトの名無しさん
2025/09/27(土) 17:02:10.01ID:mMYsldco CとC++はこの手の気持ち悪いオジサン湧くからほんと無理
101デフォルトの名無しさん
2025/09/27(土) 17:19:12.43ID:CHztWjoA >>94
その記事「特定のCPU/GPU環境」を書かないのが片手落ちやな
その記事「特定のCPU/GPU環境」を書かないのが片手落ちやな
102デフォルトの名無しさん
2025/09/27(土) 20:09:28.90ID:16nWnOPC103デフォルトの名無しさん
2025/09/27(土) 20:36:16.39ID:jktxSQ82 >>77
半開区間で書く方が便利な場合があることを誰も否定してはいないだろう。一方、閉区間で
書く方が便利な場合もある。例えば1からnまでの自然数を表示したいときがそうだが、
半開区間しかないPythonではfor i in range(1, n + 1): print(i)なんてひねくれた書き方を
強要されるし効率も悪い(Pythonで効率を云々しても意味ないが)。だから、半開区間と
閉区間の両方の記法を提供するのが良い。
半開区間を表すのに左右対称な..を使うのは紛らわしいので不適切。Pascalなどで..で閉区間を
表す慣用が定着していたにもかかわらず、..で半開区間を表す愚行を最初にやらかしたのはDか。
その前車の轍をC#, Go, Rustが踏んでしまった。特に.NET兄弟のF#とPowerShellが..を閉区間で
既に使っていたのにC#が半開区間を表すのに..を導入してしまったのは大きな誤りだった。
Dはほぼ死語と化したから、..で半開区間を表す不適切な記法も消え去るべきだな。
半開区間で書く方が便利な場合があることを誰も否定してはいないだろう。一方、閉区間で
書く方が便利な場合もある。例えば1からnまでの自然数を表示したいときがそうだが、
半開区間しかないPythonではfor i in range(1, n + 1): print(i)なんてひねくれた書き方を
強要されるし効率も悪い(Pythonで効率を云々しても意味ないが)。だから、半開区間と
閉区間の両方の記法を提供するのが良い。
半開区間を表すのに左右対称な..を使うのは紛らわしいので不適切。Pascalなどで..で閉区間を
表す慣用が定着していたにもかかわらず、..で半開区間を表す愚行を最初にやらかしたのはDか。
その前車の轍をC#, Go, Rustが踏んでしまった。特に.NET兄弟のF#とPowerShellが..を閉区間で
既に使っていたのにC#が半開区間を表すのに..を導入してしまったのは大きな誤りだった。
Dはほぼ死語と化したから、..で半開区間を表す不適切な記法も消え去るべきだな。
104デフォルトの名無しさん
2025/09/27(土) 20:44:14.86ID:CHztWjoA 閉区間イラネエ
105デフォルトの名無しさん
2025/09/27(土) 21:04:56.86ID:h+m11Qj8 閉区間を表す記号を用意すべきかどうかについてはそれぞれ考え方の違いがあるんだなと思うが、.. は左右対称だから閉区間にすべきというのは正直よく分からん理由付けだわ。Pascalだってそんな理由で .. を閉区間の記号にしたわけではないと思うが。
106デフォルトの名無しさん
2025/09/27(土) 21:10:34.65ID:B/IRYC2K >>103
多くの言語が半開区間を基本として扱っている理由は、半開区間だけが優れた性質を備えていてプログラミングに適しているためだよ。
半開区間だけが、start~endは長さ start - endを示し、startから長さnはstart~(start + n)になり、長さ0をstart~startで示すことができ、start~endをstart~middleとmiddle~endの2つに分割できる。
間違えた古い言語に習うことなく、半開区間をstart:endやstart..endなど簡素に記述するそれらの言語C# Go Rust Pythonなどが正しいよ。
JavaScriptもarr.slice(start, end)は半開区間であり、半開区間を基本とする言語が多数派だね。
多くの言語が半開区間を基本として扱っている理由は、半開区間だけが優れた性質を備えていてプログラミングに適しているためだよ。
半開区間だけが、start~endは長さ start - endを示し、startから長さnはstart~(start + n)になり、長さ0をstart~startで示すことができ、start~endをstart~middleとmiddle~endの2つに分割できる。
間違えた古い言語に習うことなく、半開区間をstart:endやstart..endなど簡素に記述するそれらの言語C# Go Rust Pythonなどが正しいよ。
JavaScriptもarr.slice(start, end)は半開区間であり、半開区間を基本とする言語が多数派だね。
107デフォルトの名無しさん
2025/09/27(土) 21:12:07.66ID:PCqkgGFG >特定のCPU/GPU環境と断ってる
>C言語仕様と特定CPU仕様を履き違えて未定義動作って言いたいだけの馬鹿の一つ覚え
記事のコードがダメのはC言語の仕様として未定義動作と規定されてることをやってるからで特定CPU関係ないよ。
>C言語仕様と特定CPU仕様を履き違えて未定義動作って言いたいだけの馬鹿の一つ覚え
記事のコードがダメのはC言語の仕様として未定義動作と規定されてることをやってるからで特定CPU関係ないよ。
108デフォルトの名無しさん
2025/09/27(土) 21:17:11.52ID:jktxSQ82109デフォルトの名無しさん
2025/09/27(土) 21:29:49.40ID:B/IRYC2K >>108
それら現在メジャーな各言語の、range(srart, end)もslice(start, end)もstart:endもstart..endも全て半開区間を意味しているため、間違える人はいなくて、初心者もすぐ理解して誰も困っていないよ。
0からn個がrange(0, n)
1からn個がrange(1, n + 1)
2からn個がrange(2, n + 2)
とてもわかりやすくなっているね。
それら現在メジャーな各言語の、range(srart, end)もslice(start, end)もstart:endもstart..endも全て半開区間を意味しているため、間違える人はいなくて、初心者もすぐ理解して誰も困っていないよ。
0からn個がrange(0, n)
1からn個がrange(1, n + 1)
2からn個がrange(2, n + 2)
とてもわかりやすくなっているね。
110デフォルトの名無しさん
2025/09/27(土) 21:50:13.15ID:jktxSQ82 >>109
そんなものがわかりやすいわけないだろ。2からnまでの自然数を表示したい場合にはn - 1個だから
右端はn - 1 + 2 = n + 1でrange(2, n + 1)なんていちいち計算するのかw
mからn個ならC#のEnuemerable.Rangeが分かりやすい。
0からn個がEnuemerable.Range(0, n)
1からn個がEnuemerable.Range(1, n)
2からn個がEnuemerable.Range(2, n)
理解していなくて間違えるのではなく、理解しているが左右対称の見た目につられてうっかり間違えやすい。
それなのにわずか1文字をケチるのは愚行。
そんなものがわかりやすいわけないだろ。2からnまでの自然数を表示したい場合にはn - 1個だから
右端はn - 1 + 2 = n + 1でrange(2, n + 1)なんていちいち計算するのかw
mからn個ならC#のEnuemerable.Rangeが分かりやすい。
0からn個がEnuemerable.Range(0, n)
1からn個がEnuemerable.Range(1, n)
2からn個がEnuemerable.Range(2, n)
理解していなくて間違えるのではなく、理解しているが左右対称の見た目につられてうっかり間違えやすい。
それなのにわずか1文字をケチるのは愚行。
111デフォルトの名無しさん
2025/09/27(土) 21:54:38.07ID:h+m11Qj8 ① 多用される半開区間を少ない記号で書けるよう .. を半開区間の記号にしました。
② Pascal以来の伝統を重視して .. を閉区間の記号にしました。
③ 閉区間の記号は数学記号に倣って左右対称であるべきなので .. を閉区間の記号にしました。
自分は、説得力を感じる度合いとしては① >= ② >>> ③ かな。③ははっきり言ってパラノイアの戯言レベルの物言いにしか思えない。
また、半開区間の記号を ..< とか ..〜 のような冗長で読みにくい記号にする前提なら、それが .. を閉区間の記号にしたくない最大の理由になるかな。Pascalのように閉区間の記号しか設けていないのなら仕方ないが、開区間と閉区間の記号を両方用意するなら、開区間の記号の方をスッキリした記号にして欲しい。Rubyの .. と... で許容範囲ギリギリくらい。
② Pascal以来の伝統を重視して .. を閉区間の記号にしました。
③ 閉区間の記号は数学記号に倣って左右対称であるべきなので .. を閉区間の記号にしました。
自分は、説得力を感じる度合いとしては① >= ② >>> ③ かな。③ははっきり言ってパラノイアの戯言レベルの物言いにしか思えない。
また、半開区間の記号を ..< とか ..〜 のような冗長で読みにくい記号にする前提なら、それが .. を閉区間の記号にしたくない最大の理由になるかな。Pascalのように閉区間の記号しか設けていないのなら仕方ないが、開区間と閉区間の記号を両方用意するなら、開区間の記号の方をスッキリした記号にして欲しい。Rubyの .. と... で許容範囲ギリギリくらい。
112デフォルトの名無しさん
2025/09/27(土) 22:08:37.36ID:jktxSQ82113デフォルトの名無しさん
2025/09/27(土) 22:45:20.51ID:fM3CYn91 > 閉区間[a, b] 開区間(a, b) 左半開区間(a, b] 右半開区間[a, b)
これでいうとrust方式は一貫性の点で詰んでないか?
閉区間[a, b] a..=b
開区間(a, b) ???
右半開区間[a, b) a..b
左半開区間(a, b] ???
pascal方式だと以下のように拡張しうる余地がある
閉区間[a, b] a..b
開区間(a, b) a<..<b
右半開区間[a, b) a..<b
左半開区間(a, b] a<..b
これでいうとrust方式は一貫性の点で詰んでないか?
閉区間[a, b] a..=b
開区間(a, b) ???
右半開区間[a, b) a..b
左半開区間(a, b] ???
pascal方式だと以下のように拡張しうる余地がある
閉区間[a, b] a..b
開区間(a, b) a<..<b
右半開区間[a, b) a..<b
左半開区間(a, b] a<..b
114デフォルトの名無しさん
2025/09/27(土) 23:23:15.70ID:h+m11Qj8 このスレでパラノイアの妄執を開陳されてもなぁ。
..< とか <..< とかで「一貫してるぞ、わーい」って喜べるの貴方くらいだよ。
..< とか <..< とかで「一貫してるぞ、わーい」って喜べるの貴方くらいだよ。
115デフォルトの名無しさん
2025/09/27(土) 23:40:53.38ID:xS2lIG/M Rustは非常にシンプルで
最も多用されて使いやすい半開区間
従来 i = 0 ; i < n を 0..n と表記
稀に用いられる閉区間
従来 i = 0 ; i <= n を 0..=n と表記
このようにシンプルに従来と対応している
この2種類しかないため逆に取り違えて誤用することもない
最も多用されて使いやすい半開区間
従来 i = 0 ; i < n を 0..n と表記
稀に用いられる閉区間
従来 i = 0 ; i <= n を 0..=n と表記
このようにシンプルに従来と対応している
この2種類しかないため逆に取り違えて誤用することもない
116デフォルトの名無しさん
2025/09/28(日) 00:57:38.05ID:aU9wcwp7 >>114
108と113は別人だから、少なくとも2人はいるな。左右対称の..が閉区間に見えるのが自然な感覚なのに、
それに反して半開区間を割り当てているのが正解だなんて言い張っている方がカルト教団だよ。
数学に固執する本当のパラノイアはJuliaの作者だな。文字列連結演算子には+を使うのが自然な感覚なのに、
数学では+は可換演算子だから不適切で、*は非可換演算子の場合もある(例:行列演算)から*を使うのが
適切と言い張っている。
108と113は別人だから、少なくとも2人はいるな。左右対称の..が閉区間に見えるのが自然な感覚なのに、
それに反して半開区間を割り当てているのが正解だなんて言い張っている方がカルト教団だよ。
数学に固執する本当のパラノイアはJuliaの作者だな。文字列連結演算子には+を使うのが自然な感覚なのに、
数学では+は可換演算子だから不適切で、*は非可換演算子の場合もある(例:行列演算)から*を使うのが
適切と言い張っている。
117デフォルトの名無しさん
2025/09/28(日) 01:05:52.83ID:IhNFMRKQ >>115
合理的だな
合理的だな
118デフォルトの名無しさん
2025/09/28(日) 01:15:35.68ID:aU9wcwp7 >>115
<は右の値を含まないことが一目瞭然だが、..はそうではなく右の値を含むようにしか見えない。
<は右の値を含まないことが一目瞭然だが、..はそうではなく右の値を含むようにしか見えない。
119デフォルトの名無しさん
2025/09/28(日) 01:22:45.65ID:OpklV7ok 対称なstart:endで半開区間を示す言語も多いけどそれには文句をつけずに
なぜかstart..endだけに文句をつけているから単なるキチガイだと思う
なぜかstart..endだけに文句をつけているから単なるキチガイだと思う
120デフォルトの名無しさん
2025/09/28(日) 01:28:15.16ID:aU9wcwp7 >>119
:で半開区間を表す言語なんてあったっけ?
:で半開区間を表す言語なんてあったっけ?
121デフォルトの名無しさん
2025/09/28(日) 01:34:38.77ID:exR0IU1B マイクロソフトまでもがC#8.0でついに導入した範囲構文を
「start..end」と記述して半開区間を意味することにしちゃったからね
半開区間が多数派だよ
「start..end」と記述して半開区間を意味することにしちゃったからね
半開区間が多数派だよ
122デフォルトの名無しさん
2025/09/28(日) 02:06:41.24ID:OkDUf4Ut >>102
気持ち悪いから絡んでくんなRust信者
気持ち悪いから絡んでくんなRust信者
123デフォルトの名無しさん
2025/09/28(日) 02:22:58.32ID:/6w9hfWi 現在メジャーに使われているプログラミング言語で調査してみた
start:endやstart..endと書いた時にどちらを意味するか?
【閉区間】Ruby
【半開区間】C# Go Python Rust
start:endやstart..endと書いた時にどちらを意味するか?
【閉区間】Ruby
【半開区間】C# Go Python Rust
124デフォルトの名無しさん
2025/09/28(日) 03:25:05.02ID:1+QqAxps Rubyでも半開区間はstart...endと左右対称な形で書くよ
「半開区間を左右対称な形に記述するな!」と主張してる>>108は頭おかしい
「半開区間を左右対称な形に記述するな!」と主張してる>>108は頭おかしい
125デフォルトの名無しさん
2025/09/28(日) 06:17:53.02ID:riDxLC/x 彼の主張する
・閉区間はPascalと同じstart..end
・半開区間は左右非対称な記号列
を満たす言語はそもそも存在するの?
Pascal自体は半開区間が存在しないから満たさない
>>123の各言語はRubyを含めて半開区間が左右対称な記号列
・閉区間はPascalと同じstart..end
・半開区間は左右非対称な記号列
を満たす言語はそもそも存在するの?
Pascal自体は半開区間が存在しないから満たさない
>>123の各言語はRubyを含めて半開区間が左右対称な記号列
126デフォルトの名無しさん
2025/09/28(日) 06:43:10.95127デフォルトの名無しさん
2025/09/28(日) 08:23:09.99ID:0sdmbxgV ここの住人もQiitaと同レベルだよな
128デフォルトの名無しさん
2025/09/28(日) 08:34:28.79ID:SzcnPpn2 争いは同じレベルの者同士でしか発生しないからな
129デフォルトの名無しさん
2025/09/28(日) 13:02:57.89ID:iPJCP/07 現行の言語のデザインに何も疑問を持たないのはそれだけの人
130デフォルトの名無しさん
2025/09/28(日) 13:46:21.84131デフォルトの名無しさん
2025/09/28(日) 13:49:09.56 全てのインデックスを過不足なく処理することの需要が最も大きいんだから
その用法の記述が最もシンプルになるべき
情報圧縮なんて聞いたことすら無いから登場頻度の多いものに少ないビット数を割り当てるなんて聞いたことすらないんだろう
そこで数学ガーとか言い出すのは間違いなく数学も出来ない低学歴無職
その用法の記述が最もシンプルになるべき
情報圧縮なんて聞いたことすら無いから登場頻度の多いものに少ないビット数を割り当てるなんて聞いたことすらないんだろう
そこで数学ガーとか言い出すのは間違いなく数学も出来ない低学歴無職
132デフォルトの名無しさん
2025/09/28(日) 14:09:14.21ID:Md4hnl4x どの言語も範囲指定は半開区間が基本だから困ってる人はいないだろ
半開区間を左右非対称な記法にしなければ閉区間と誤解する人なんていない
半開区間を左右非対称な記法にしなければ閉区間と誤解する人なんていない
133デフォルトの名無しさん
2025/09/28(日) 15:14:07.50 左右対称とかバカしかやらない
インデックスを過不足なく処理したいのに閉区間にされたら端の重複を除外する処理が追加で必要になる
知能が存在しないからそんな妄想ができる
間違いなく中学レベルの数学の証明すらできない脳障害の妄想
バカすぎて数学が出来なくて悔しかったので
思考力の無さを誤魔化すために「数学原理主義」に立つことで自分は数学ができるんだと言い聞かせるという低学歴しぐさ
インデックスを過不足なく処理したいのに閉区間にされたら端の重複を除外する処理が追加で必要になる
知能が存在しないからそんな妄想ができる
間違いなく中学レベルの数学の証明すらできない脳障害の妄想
バカすぎて数学が出来なくて悔しかったので
思考力の無さを誤魔化すために「数学原理主義」に立つことで自分は数学ができるんだと言い聞かせるという低学歴しぐさ
134デフォルトの名無しさん
2025/09/28(日) 16:40:35.56ID:1TqmSl7N 急所突かれて発狂w
135デフォルトの名無しさん
2025/09/28(日) 17:11:35.80ID:AfcFEDfn Pythonのlist[start:end]は半開区間でstartを含んでendは含まないけど
これを「閉区間と勘違いするから左右非対称なlist[start:<end]に変更しろ」と要求してるのかよwww
これを「閉区間と勘違いするから左右非対称なlist[start:<end]に変更しろ」と要求してるのかよwww
136デフォルトの名無しさん
2025/09/28(日) 17:32:21.30ID:1TqmSl7N 半開区間と閉区間の両方をサポートする言語と半開区間か閉区間のどちらかしかサポートしない言語との区別がつかない>>135は馬鹿だな
137デフォルトの名無しさん
2025/09/28(日) 18:01:58.35ID:fCzTTfAf なるほど
両方サポートしていれば閉区間の指定方法が別途あるから確実に両者の区別がついて混乱しないってことか
両方サポートしていれば閉区間の指定方法が別途あるから確実に両者の区別がついて混乱しないってことか
138デフォルトの名無しさん
2025/09/28(日) 18:33:01.36 そんなもん使い道が無い
139デフォルトの名無しさん
2025/09/28(日) 18:33:42.56 そもそもマシンコードに区間なんて存在しないんだから
内部的に2つの条件判断に置き換えるだけ
サポートしてるかどうかなど全く無意味
内部的に2つの条件判断に置き換えるだけ
サポートしてるかどうかなど全く無意味
140デフォルトの名無しさん
2025/09/28(日) 18:34:40.04 しかもいまだにAIエージェントでコーディングしてない時点でヤバすぎる
やるのはエージェントだからタイピングの手間とか見やすさとかそんなものは存在しない
仕事してない無職の妄想
やるのはエージェントだからタイピングの手間とか見やすさとかそんなものは存在しない
仕事してない無職の妄想
141デフォルトの名無しさん
2025/09/28(日) 18:58:05.58ID:abSkBPDh AIにとっては左右非対称であることが重要
左右対称なら閉区間だと思い込む可能性が高い
左右対称なら閉区間だと思い込む可能性が高い
142デフォルトの名無しさん
2025/09/28(日) 19:03:52.16 >>141
無職の妄想は意味ないよ
無職の妄想は意味ないよ
143デフォルトの名無しさん
2025/09/28(日) 19:04:21.97144デフォルトの名無しさん
2025/09/28(日) 19:17:29.37ID:HeMXelkZ そもそも人間は左右対称だと閉区間と思い込むもんなの?
そこからおかしいんじゃないの?
そこからおかしいんじゃないの?
145デフォルトの名無しさん
2025/09/28(日) 19:19:06.15146デフォルトの名無しさん
2025/09/28(日) 19:21:01.28 話題になり得るのはAIエージェントが取り違えしてないかどうかチェックするためのテストコードをどうやってAIエージェントに漏れなく全ての箇所で書かせるかとかだろ
人間にとっての見やすさなんて無職の自白
人間にとっての見やすさなんて無職の自白
147デフォルトの名無しさん
2025/09/28(日) 19:28:03.90 区間記号を全てgrepして該当箇所をファイルに書き出して書き込み禁止にし
その該当箇所全てでテストコードを書かことを義務付けてパスしないと認めない指示にするとかだな
記号なんて全くどうでも良い
テストするんだから
その該当箇所全てでテストコードを書かことを義務付けてパスしないと認めない指示にするとかだな
記号なんて全くどうでも良い
テストするんだから
148デフォルトの名無しさん
2025/09/28(日) 19:29:08.83 区間記号の解釈とテストがどうなっているべきかも.mdに最初に書かせて
それを守ってない行動は全てリバート
それを守ってない行動は全てリバート
149デフォルトの名無しさん
2025/09/28(日) 19:38:57.62ID:NUkjyMN+ 現在メジャーに使われているプログラミング言語で調査してみた
半開区間の指定が左右対称か左右非対称か?
【左右対称】C# Go Python Ruby Rust
【左右非対称】Swift
半開区間の指定が左右対称か左右非対称か?
【左右対称】C# Go Python Ruby Rust
【左右非対称】Swift
150デフォルトの名無しさん
2025/09/28(日) 20:05:41.70ID:iPJCP/07 >>139
> そもそもマシンコードに区間なんて存在しないんだから
> 内部的に2つの条件判断に置き換えるだけ
https://godbolt.org/z/q6T916rjW と https://godbolt.org/z/KvxEv7dsq じゃ結構違うと思うが何言ってる?
> そもそもマシンコードに区間なんて存在しないんだから
> 内部的に2つの条件判断に置き換えるだけ
https://godbolt.org/z/q6T916rjW と https://godbolt.org/z/KvxEv7dsq じゃ結構違うと思うが何言ってる?
151デフォルトの名無しさん
2025/09/28(日) 20:16:56.42152デフォルトの名無しさん
2025/09/28(日) 20:25:27.74ID:iPJCP/07 >>151
ちょっと何言いたいんだか分からんね。
ちょっと何言いたいんだか分からんね。
153デフォルトの名無しさん
2025/09/28(日) 20:27:54.00 >>152
アセンブラ書けねえのか無知
アセンブラ書けねえのか無知
154デフォルトの名無しさん
2025/09/28(日) 20:28:29.22155デフォルトの名無しさん
2025/09/28(日) 20:29:19.56156デフォルトの名無しさん
2025/09/28(日) 20:33:56.40ID:iPJCP/07 > 最終的にどんなマシンコードになるか知らないバカが妄想しても意味ねーから
スマホで見て発狂してる可能性もあるかな?
スマホで見て発狂してる可能性もあるかな?
157デフォルトの名無しさん
2025/09/28(日) 20:37:44.61158デフォルトの名無しさん
2025/09/28(日) 20:48:48.21ID:iPJCP/07 > 最適化レベルすら指定してない猿
指定してる -Copt-level=2 が最適化指示とわからん人かな?
指定してる -Copt-level=2 が最適化指示とわからん人かな?
159デフォルトの名無しさん
2025/09/28(日) 20:59:03.90ID:67OEPeOQ AIって想像以上にアホだぞ
160デフォルトの名無しさん
2025/09/28(日) 21:12:11.28ID:aU9wcwp7 >>124
Rubyは閉区間と半開区間の両方を提供したことと、閉区間に左右対称な..を採用したことでは
賢明だったが、半開区間に左右対称な...を採用したのは惜しい誤りだったな。..とも判別しづらいし。
..<か..~にすべきだった。
>>125
>>66にも書いたように、Swiftでは閉区間は...で左右対称、半開区間は..<で左右非対称だよ。
閉区間はPascalの..より.が1つ多い...だが、左右対称という点では共通する。
増分も指定できるように拡張することを見越すと、半開区間には..<より..~の方が適している。
開始値..増分..<終了値だと増分が負のとき変な感じがするが、開始値..増分..~終了値ならば
問題ないから。
もっともSwiftでは増分指定では記号を使わない。stride(from: 開始値, through: 終了値, by: 増分) の
ように省略不可の名前付き引数を書かせる。そして、名前付き引数だから順不同ということもなく、
この順でしか受け付けない。このようなガチガチの書式で固めたのもバグを防ぐための用心だろう。
Fortran, Juliaでは開始値:終了値:増分だがMATALAB, Octave, Scilabでは開始値:増分:終了値で
順序が異なるため、混同による書き間違えの恐れがあるから。
Rubyは閉区間と半開区間の両方を提供したことと、閉区間に左右対称な..を採用したことでは
賢明だったが、半開区間に左右対称な...を採用したのは惜しい誤りだったな。..とも判別しづらいし。
..<か..~にすべきだった。
>>125
>>66にも書いたように、Swiftでは閉区間は...で左右対称、半開区間は..<で左右非対称だよ。
閉区間はPascalの..より.が1つ多い...だが、左右対称という点では共通する。
増分も指定できるように拡張することを見越すと、半開区間には..<より..~の方が適している。
開始値..増分..<終了値だと増分が負のとき変な感じがするが、開始値..増分..~終了値ならば
問題ないから。
もっともSwiftでは増分指定では記号を使わない。stride(from: 開始値, through: 終了値, by: 増分) の
ように省略不可の名前付き引数を書かせる。そして、名前付き引数だから順不同ということもなく、
この順でしか受け付けない。このようなガチガチの書式で固めたのもバグを防ぐための用心だろう。
Fortran, Juliaでは開始値:終了値:増分だがMATALAB, Octave, Scilabでは開始値:増分:終了値で
順序が異なるため、混同による書き間違えの恐れがあるから。
161デフォルトの名無しさん
2025/09/28(日) 21:13:50.83ID:aU9wcwp7 >>131
>>116に挙げたJuliaの作者じゃないから、数学に合わせること自体に固執しているわけではない。
左右対称な..が閉区間を表すのが自然な感覚で、それに反するのはバグの元だからやめるべきだと
いうのが根源的な理由で、数学はそれに反していない例として挙げたに過ぎない。
人間は機械ではないから見た目に惑わされやすい。機械だけが相手なら半開区間をi!jで表せば
効率が最も良いし、多くの言語では破壊的変更も文法的に不要で好都合なはずだが、人間の
感覚では!は半開区間とは容易に結びつかない(:の変形と見なせば結びつかなくもないが)し、
|とも判別しづらいから不適当。
屁理屈を捏ねて自然な感覚に反することを強制するのは、ギークの村社会のキモい悪習としか
言いようがない。プログラム言語の記法の選定はUI設計の一種なのに、不自然で間違えやすい
記号を採用するのは工学的センスが絶望的にない。UIは美的にも心地良いことに越したことはなく、
その点でも見苦しい略語を多用するRustは落第だな。そもそも名前からして汚らしい。
>>144
基本ラテン文字の大文字全体を'A'..'Z'で表すのが素直な感覚(EBCDICのような化石はこの際
無視して良い)で、'Y'までしか含まないと言い張るのは無理がある。'A'..='Z'は冗長だし、
'A'..'['では何を意図しているかすぐには分からない人が多いだろう。
>>116に挙げたJuliaの作者じゃないから、数学に合わせること自体に固執しているわけではない。
左右対称な..が閉区間を表すのが自然な感覚で、それに反するのはバグの元だからやめるべきだと
いうのが根源的な理由で、数学はそれに反していない例として挙げたに過ぎない。
人間は機械ではないから見た目に惑わされやすい。機械だけが相手なら半開区間をi!jで表せば
効率が最も良いし、多くの言語では破壊的変更も文法的に不要で好都合なはずだが、人間の
感覚では!は半開区間とは容易に結びつかない(:の変形と見なせば結びつかなくもないが)し、
|とも判別しづらいから不適当。
屁理屈を捏ねて自然な感覚に反することを強制するのは、ギークの村社会のキモい悪習としか
言いようがない。プログラム言語の記法の選定はUI設計の一種なのに、不自然で間違えやすい
記号を採用するのは工学的センスが絶望的にない。UIは美的にも心地良いことに越したことはなく、
その点でも見苦しい略語を多用するRustは落第だな。そもそも名前からして汚らしい。
>>144
基本ラテン文字の大文字全体を'A'..'Z'で表すのが素直な感覚(EBCDICのような化石はこの際
無視して良い)で、'Y'までしか含まないと言い張るのは無理がある。'A'..='Z'は冗長だし、
'A'..'['では何を意図しているかすぐには分からない人が多いだろう。
162デフォルトの名無しさん
2025/09/28(日) 21:25:20.44ID:YRR4qqFp Rustのイテレータがとてもわかりやすい
【C】i = 0 ; i < n; i++
【Rust】0..n
と
【C】i = 0 ; i <= n; i++
【Rust】0..=n
対応している
【C】i = 0 ; i < n; i++
【Rust】0..n
と
【C】i = 0 ; i <= n; i++
【Rust】0..=n
対応している
163デフォルトの名無しさん
2025/09/28(日) 21:32:15.76 >>158
書いてないぞ
書いてないぞ
164デフォルトの名無しさん
2025/09/28(日) 21:38:57.07165デフォルトの名無しさん
2025/09/28(日) 21:43:13.72166デフォルトの名無しさん
2025/09/28(日) 22:05:51.43ID:aU9wcwp7 >>164
正直に白状しろ。心当たりが全くなくはないはずだ。
C++ STLの.begin()と.end()の組の.end()を書くときにも、もやもやする感覚が常に伴うな。
『リーダブルコード』に、
プログラミングの命名規約では、包含/排他的範囲にbeginとendを使うことが多い。
でも、endは少しあいまいだ。例えば、「本の終盤(the end of the book)を読んでいる」の
「end」は包含的だ。残念ながら英語には「ちょうど最後の値を超えたところ」を意味する簡潔な
言葉がない。
と述べられている通り。簡潔な言葉がないなら作れば良かったと思う。例えば、endの次(next)だから
nendとか。無闇に造語すべきではないが、どうしても必要なら作れば良い。bitは成功例だろう。
とは言え、複数の本を本棚に並べ右端の横にブックエンドを置いたとき、.end()は本そのものではなく
ブックエンドだと考えれば、.end()はまあ納得できるから..ほど悪くはなく許容できる。
>>165
誤記予防という機能性を犠牲にしてたった1文字をケチる愚行。第一、閉区間より半開区間の方が頻繁に
使われるという主張も怪しい。作るプログラムによって異なるだろ。
正直に白状しろ。心当たりが全くなくはないはずだ。
C++ STLの.begin()と.end()の組の.end()を書くときにも、もやもやする感覚が常に伴うな。
『リーダブルコード』に、
プログラミングの命名規約では、包含/排他的範囲にbeginとendを使うことが多い。
でも、endは少しあいまいだ。例えば、「本の終盤(the end of the book)を読んでいる」の
「end」は包含的だ。残念ながら英語には「ちょうど最後の値を超えたところ」を意味する簡潔な
言葉がない。
と述べられている通り。簡潔な言葉がないなら作れば良かったと思う。例えば、endの次(next)だから
nendとか。無闇に造語すべきではないが、どうしても必要なら作れば良い。bitは成功例だろう。
とは言え、複数の本を本棚に並べ右端の横にブックエンドを置いたとき、.end()は本そのものではなく
ブックエンドだと考えれば、.end()はまあ納得できるから..ほど悪くはなく許容できる。
>>165
誤記予防という機能性を犠牲にしてたった1文字をケチる愚行。第一、閉区間より半開区間の方が頻繁に
使われるという主張も怪しい。作るプログラムによって異なるだろ。
167デフォルトの名無しさん
2025/09/28(日) 22:07:15.34168デフォルトの名無しさん
2025/09/28(日) 22:08:16.70169デフォルトの名無しさん
2025/09/28(日) 22:11:06.36ID:5mXw367y >>162
従来との対応関係のあることが最も重要なのでそれで正しい
従来との対応関係のあることが最も重要なのでそれで正しい
170デフォルトの名無しさん
2025/09/28(日) 22:13:10.39171デフォルトの名無しさん
2025/09/28(日) 22:15:00.74ID:aU9wcwp7 >>167
低学歴ではないが、低学歴という煽りもここでは意味がないね。プログラム言語なんて小学生でも
分かる程度のものでしかないし、一般的感覚も自然言語と高校までの数学によって形成されるものだから。
そこから乖離した屁理屈をあれこれほざいても、ギークのキモい戯言でしかない。
低学歴ではないが、低学歴という煽りもここでは意味がないね。プログラム言語なんて小学生でも
分かる程度のものでしかないし、一般的感覚も自然言語と高校までの数学によって形成されるものだから。
そこから乖離した屁理屈をあれこれほざいても、ギークのキモい戯言でしかない。
172デフォルトの名無しさん
2025/09/28(日) 22:18:09.06 >>171
ソース出せない妄想と
ソース出せない妄想と
173デフォルトの名無しさん
2025/09/28(日) 22:18:52.64174デフォルトの名無しさん
2025/09/28(日) 22:23:17.24ID:iPJCP/07175デフォルトの名無しさん
2025/09/28(日) 22:26:42.41ID:iPJCP/07 いまこのスレで発狂してるやつ見てるとQiitaでアカウントBANされたコイツ思い出すんだよなあ。
https://web.archive.org/web/20221220153804/https://qiita.com/ashworth/items/a35270d88ac52116ef7d
> はい、私が勘違いしてました。
> 途中で、
>
> スクリーンショット 2022-12-19 184235.png
>
> みたいな突っ込みがあって、やっと問題文をちゃんと読み直して『あれ?』となったわけですが、
>
> 自分、基本的にTwitterでの間違いは死んでも認めない主義なので、そのまま押し切る事にしました。
>
> Twitterとかのネットは所詮遊び場なので「バトルしようぜ、Tweetバトル!俺が勝ったらテメェは俺以下だぁー!!」みたいなノリで強引に押し切ろうとしました。
>
> で、まぁ、惨敗したわけですけどねw
https://web.archive.org/web/20221220153804/https://qiita.com/ashworth/items/a35270d88ac52116ef7d
> はい、私が勘違いしてました。
> 途中で、
>
> スクリーンショット 2022-12-19 184235.png
>
> みたいな突っ込みがあって、やっと問題文をちゃんと読み直して『あれ?』となったわけですが、
>
> 自分、基本的にTwitterでの間違いは死んでも認めない主義なので、そのまま押し切る事にしました。
>
> Twitterとかのネットは所詮遊び場なので「バトルしようぜ、Tweetバトル!俺が勝ったらテメェは俺以下だぁー!!」みたいなノリで強引に押し切ろうとしました。
>
> で、まぁ、惨敗したわけですけどねw
176デフォルトの名無しさん
2025/09/28(日) 22:27:15.68ID:jJ7lr+aR 以下の性質の良さの違いのため
プログラミングでは半開区間が多用されている
半開区間 (性質が良い)
・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になる
プログラミングでは半開区間が多用されている
半開区間 (性質が良い)
・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デフォルトの名無しさん
2025/09/28(日) 22:27:24.30ID:aU9wcwp7179デフォルトの名無しさん
2025/09/28(日) 22:38:40.96ID:jJ7lr+aR 区間指定の文法を持つ最近のメジャーなプログラミング言語では半開区間を簡単に表記できるようになっている
例えば
GoやPythonなどでは list[start:end]
C#やRustなどでは list[start..end]
いずれもendを含まない半開区間を意味している
例えば
GoやPythonなどでは list[start:end]
C#やRustなどでは list[start..end]
いずれもendを含まない半開区間を意味している
180デフォルトの名無しさん
2025/09/28(日) 22:46:12.82ID:aU9wcwp7181デフォルトの名無しさん
2025/09/28(日) 22:47:22.28182デフォルトの名無しさん
2025/09/28(日) 22:47:41.83183デフォルトの名無しさん
2025/09/28(日) 22:49:02.93184デフォルトの名無しさん
2025/09/28(日) 23:01:12.25ID:aU9wcwp7185デフォルトの名無しさん
2025/09/28(日) 23:01:37.54 >>184
これが無職
これが無職
186デフォルトの名無しさん
2025/09/28(日) 23:25:09.36ID:jJ7lr+aR >>183
初心者は仕方ないとしてもプログラミング歴のある人には必須な知識だと思う
初心者は仕方ないとしてもプログラミング歴のある人には必須な知識だと思う
187デフォルトの名無しさん
2025/09/28(日) 23:34:39.97ID:SbwCraTd ここプログラム技術板で閉区間が自然だと主張して暴れてるやつはどこから来たお客さんなんだろう
188デフォルトの名無しさん
2025/09/28(日) 23:48:23.78ID:aU9wcwp7 >>187
閉区間が自然だとは全く主張していないぞ。
・閉区間で書くのが便利な場合も半開区間で書くのが便利な場合もあるので、両方の書き方を
提供するのが良い(勿論、前者の場合には閉区間が自然ということになるが)
・閉区間には左右対称、半開区間には左右非対称の記号を割り当てるのが自然で、バグを
生みにくい
と主張しているだけ。
閉区間が自然だとは全く主張していないぞ。
・閉区間で書くのが便利な場合も半開区間で書くのが便利な場合もあるので、両方の書き方を
提供するのが良い(勿論、前者の場合には閉区間が自然ということになるが)
・閉区間には左右対称、半開区間には左右非対称の記号を割り当てるのが自然で、バグを
生みにくい
と主張しているだけ。
189デフォルトの名無しさん
2025/09/28(日) 23:54:41.82ID:jJ7lr+aR 現実のメジャーなプログラミング言語では>>179のように半開区間を簡潔に記述できることを重視している
190デフォルトの名無しさん
2025/09/29(月) 00:05:25.27191デフォルトの名無しさん
2025/09/29(月) 00:05:49.17 >>188
こういうバカは無職なのが自然
こういうバカは無職なのが自然
192デフォルトの名無しさん
2025/09/29(月) 03:12:26.72ID:KaR4fBa3 >>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言語は半開区間のみ
> 両方の書き方を提供するのが良い
半開区間のみを提供するのが良い
2つの書き方を提供するのはバグを生みやすい
あるプロジェクトでマイクロソフトが自社のC#でなくGo言語を採用したことが有名
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言語は半開区間のみ
> 両方の書き方を提供するのが良い
半開区間のみを提供するのが良い
2つの書き方を提供するのはバグを生みやすい
あるプロジェクトでマイクロソフトが自社のC#でなくGo言語を採用したことが有名
193デフォルトの名無しさん
2025/09/29(月) 03:23:08.08ID:Lm5HPMDj >>192
横からだけど
Goは言語機能が非常に弱くて
その半開区間の指定も部分フライス指定にしか使えない
イテレータとして機能しない
(switchやmatchなどの)パターンマッチングにも使えない
横からだけど
Goは言語機能が非常に弱くて
その半開区間の指定も部分フライス指定にしか使えない
イテレータとして機能しない
(switchやmatchなどの)パターンマッチングにも使えない
194デフォルトの名無しさん
2025/09/29(月) 07:48:42.16ID:kekj+dde >>192
>あるプロジェクトでマイクロソフトが自社のC#でなくGo言語を採用したことが有名
TypeScriptコンパイラのことなら
Microsoft TypeScript Devs Explain Why They Chose Go Over Rust, C#
という記事にまとめられているが
>半開区間のみを提供するのが良い
>2つの書き方を提供するのはバグを生みやすい
なんて理由は挙げられてないね。
>あるプロジェクトでマイクロソフトが自社のC#でなくGo言語を採用したことが有名
TypeScriptコンパイラのことなら
Microsoft TypeScript Devs Explain Why They Chose Go Over Rust, C#
という記事にまとめられているが
>半開区間のみを提供するのが良い
>2つの書き方を提供するのはバグを生みやすい
なんて理由は挙げられてないね。
196デフォルトの名無しさん
2025/09/30(火) 00:17:04.81ID:jvKDz5J9 閉区間と半開区間のどちらが優れているということは誰も言ってないのに一人発狂してる人がいる感じ
197デフォルトの名無しさん
2025/09/30(火) 01:59:55.11ID:4wPfeVv9 閉区間より半開区間が優れている
そのため半開区間を短い記述で指定できる文法を用意している言語が多い
短い記述の結果として半開区間が左右対称の記述になっているが誰も気にすることはない
半開区間の記述は左右非対称であるべきだとこだわっているキチガイは一人だけ
そのため半開区間を短い記述で指定できる文法を用意している言語が多い
短い記述の結果として半開区間が左右対称の記述になっているが誰も気にすることはない
半開区間の記述は左右非対称であるべきだとこだわっているキチガイは一人だけ
198デフォルトの名無しさん
2025/09/30(火) 02:52:38.16 無職の妄想に価値はない
199デフォルトの名無しさん
2025/09/30(火) 08:25:04.59ID:EJn4wwZL グレゴリオ暦のうるう年判定に延々とおかしなイチャモンつけてたashworthまんまだなw
200デフォルトの名無しさん
2025/09/30(火) 10:36:18.87ID:hvi0j7l5 そもそも自転はずれるからな
201デフォルトの名無しさん
2025/09/30(火) 11:06:24.13ID:EJn4wwZL いまはこのルールでやりましょうというグレゴリオ暦を分かってないw
202デフォルトの名無しさん
2025/09/30(火) 12:34:48.41ID:dVe563is グレゴリオ暦のうるう年の判定ルール
・西暦年が4で割り切れる年はうるう年となる
・ただし、西暦年が100で割り切れる年はうるう年としない
・さらに、西暦年が400で割り切れる年は例外的にうるう年とする
・西暦年が4で割り切れる年はうるう年となる
・ただし、西暦年が100で割り切れる年はうるう年としない
・さらに、西暦年が400で割り切れる年は例外的にうるう年とする
203デフォルトの名無しさん
2025/09/30(火) 12:39:42.96 低学歴がなぜ低学歴なのかよくわかる
204デフォルトの名無しさん
2025/09/30(火) 12:40:27.16205デフォルトの名無しさん
2025/09/30(火) 12:40:59.11 そういうゴミクズを雇ったら終わりなので学歴システムがある
人間判定試験
猿を雇わないようにするための仕組み
人間判定試験
猿を雇わないようにするための仕組み
206デフォルトの名無しさん
2025/09/30(火) 23:54:22.10ID:gehVEPsn207デフォルトの名無しさん
2025/10/01(水) 00:59:06.36 算術符号とかハフマン符号なんて聞いたことすらねえんだろうな低学歴は
208デフォルトの名無しさん
2025/10/01(水) 01:38:56.41ID:Fskx/ZBj > そもそも自転はずれるからな
地球の自転周期が変わったとして影響があるのは1日の長さなんだがw
地球の自転周期が変わったとして影響があるのは1日の長さなんだがw
209デフォルトの名無しさん
2025/10/01(水) 02:15:45.08ID:VkTjow7K >>207
多用する半開区間に短い記号を充てるのが正解だと思う
しかしPythonやGoの start:end はあまりにも短すぎて用いる場所によっては文法的に曖昧になる可能性があるためなのか
現状はスライスのインデックス部分 a[start:end] でしか用いることができない
例えばmatch文のcaseでは指定できないため case x if start <= x < end と書く必要がある
イテレータとしても指定できないため for i in range(start, end) と書く必要がある
これら全て同じ記法で書けると好ましい
多用する半開区間に短い記号を充てるのが正解だと思う
しかしPythonやGoの start:end はあまりにも短すぎて用いる場所によっては文法的に曖昧になる可能性があるためなのか
現状はスライスのインデックス部分 a[start:end] でしか用いることができない
例えばmatch文のcaseでは指定できないため case x if start <= x < end と書く必要がある
イテレータとしても指定できないため for i in range(start, end) と書く必要がある
これら全て同じ記法で書けると好ましい
210デフォルトの名無しさん
2025/10/01(水) 21:52:18.72ID:yE7SMjvb Rustは同じ扱い
buf[100..200]
for i in 100..200 { … }
match x {
100..200 => …,
…
}
buf[100..200]
for i in 100..200 { … }
match x {
100..200 => …,
…
}
211デフォルトの名無しさん
2025/10/01(水) 23:34:49.32ID:a34LDfpM >>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)
※抜けている言語や記憶違いなどがあるかも知れないので、見つけたら指摘してもらいたい
以上を一覧すれば、半開区間しかない言語は少ないし、閉区間に左右対称記号を使う言語は多いし、
半開区間に左右対称記号を使う言語は少ない。要するに、一般的感覚に敢えて背く仕様の言語は
少ないことが看取される。
>それらの言語は半開区間に左右非対称の記号ではなく簡潔な記号を割り当てている理由を考えてみよう
教祖様がお作りになった教義だから。教祖様の好みが強く反映されているとしか言いようがない。
>閉区間ではなく半開区間をサポートするプログラミング言語が多い
事実ではなかろう。
・閉区間しかない
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デフォルトの名無しさん
2025/10/01(水) 23:35:20.38ID:a34LDfpM >>207
圧縮ファイルを直読みできる超人さんですか?w
短さを馬鹿の一つ覚えみたいに持ち出しているが、間違えにくさを犠牲にしてまで達成すべきものではない。
人間は機械ではないのでうっかり間違えやすい記号を宛てないのが賢明で、たった1文字をケチるのは愚行。
正確に言えば機械も生の状態では間違えるから、エラー訂正符号を付加して無謬に見せかけているだけなので、
人間にも機械にも最短ではなくそれぞれの間違え方を防ぐような追加の情報も必要だという訓戒に纏められるな。
そこを疎かにするのは欠陥設計。
圧縮ファイルを直読みできる超人さんですか?w
短さを馬鹿の一つ覚えみたいに持ち出しているが、間違えにくさを犠牲にしてまで達成すべきものではない。
人間は機械ではないのでうっかり間違えやすい記号を宛てないのが賢明で、たった1文字をケチるのは愚行。
正確に言えば機械も生の状態では間違えるから、エラー訂正符号を付加して無謬に見せかけているだけなので、
人間にも機械にも最短ではなくそれぞれの間違え方を防ぐような追加の情報も必要だという訓戒に纏められるな。
そこを疎かにするのは欠陥設計。
213デフォルトの名無しさん
2025/10/01(水) 23:36:14.72214デフォルトの名無しさん
2025/10/01(水) 23:37:07.68215デフォルトの名無しさん
2025/10/01(水) 23:38:06.41216デフォルトの名無しさん
2025/10/01(水) 23:51:28.21ID:a34LDfpM >>214
馬鹿には皮肉の解説が必要だったか。情報理論的な効率性を徹底的に追求したのが圧縮ファイルだろ。
それは人間には勿論読めないが、もう少し緩く追求した半開区間に..を使う表記も人間にはやっぱり
間違いやすい。お前がそんなことはないと言い張るなら、さぞかし凄い超人なんだろうねーという皮肉。
たった1文字追加するだけで効率性と間違えにくさのバランスが取れた表記になるのに、ムキになって
否定するのは愚か。
馬鹿には皮肉の解説が必要だったか。情報理論的な効率性を徹底的に追求したのが圧縮ファイルだろ。
それは人間には勿論読めないが、もう少し緩く追求した半開区間に..を使う表記も人間にはやっぱり
間違いやすい。お前がそんなことはないと言い張るなら、さぞかし凄い超人なんだろうねーという皮肉。
たった1文字追加するだけで効率性と間違えにくさのバランスが取れた表記になるのに、ムキになって
否定するのは愚か。
217デフォルトの名無しさん
2025/10/01(水) 23:56:05.16218デフォルトの名無しさん
2025/10/01(水) 23:56:30.77219デフォルトの名無しさん
2025/10/01(水) 23:57:04.34220デフォルトの名無しさん
2025/10/02(木) 00:00:52.83ID:IXGrVOcw221デフォルトの名無しさん
2025/10/02(木) 00:02:09.92 人間は間違えない
猿は間違える
だから猿を雇わなきゃいいだけ
猿は間違える
だから猿を雇わなきゃいいだけ
222デフォルトの名無しさん
2025/10/02(木) 00:02:41.34 猿に合わせて人間のルールを変えるわけねえだろ
猿を排除するのが最善
猿を排除するのが最善
223デフォルトの名無しさん
2025/10/02(木) 00:44:06.46ID:Jz40Wv3H224デフォルトの名無しさん
2025/10/02(木) 01:12:51.54ID:EU/7mSn/ >>202
『あなたは本当に「プログラミングができない、向いてない」のか? 〜うるう年判定プログラムで考える〜』
https://qiita.com/kjm_nuco/items/fd16c2af6b089c4849cd
という記事のコメ欄で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がこれに絡んでなかった辺りやっぱセンスないわなw
『あなたは本当に「プログラミングができない、向いてない」のか? 〜うるう年判定プログラムで考える〜』
https://qiita.com/kjm_nuco/items/fd16c2af6b089c4849cd
という記事のコメ欄で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がこれに絡んでなかった辺りやっぱセンスないわなw
225デフォルトの名無しさん
2025/10/02(木) 01:14:57.85ID:qLX1OCT3 まともな言語がいずれも半開区間をサポートしているのは偶然ではなくて、
配列やリストやベクタあるいは文字列などの連続領域の一部分いわゆるスライスを言語で扱おうとすると、
その区間を指定する必要がでてくる。
まともな汎用言語ならそのスライスと区間指定をサポートするのは必然で、
しかも閉区間は扱いにくいことが判明しているわけだから、
結果的に半開区間をサポートしているか否かでまともな言語か否かが判明することになっている。
配列やリストやベクタあるいは文字列などの連続領域の一部分いわゆるスライスを言語で扱おうとすると、
その区間を指定する必要がでてくる。
まともな汎用言語ならそのスライスと区間指定をサポートするのは必然で、
しかも閉区間は扱いにくいことが判明しているわけだから、
結果的に半開区間をサポートしているか否かでまともな言語か否かが判明することになっている。
226デフォルトの名無しさん
2025/10/02(木) 04:38:08.95ID:oFFK8/LC >>224のコードってそんなに変かな? 自分もこんな感じに書くと思うが。
227デフォルトの名無しさん
2025/10/02(木) 05:00:19.18ID:vDXY/c5t228デフォルトの名無しさん
2025/10/02(木) 07:15:16.83 ソース読めよ
Check out this DeepWiki page https://deepwiki.com/search/calendarisleap_6015837d-0d22-4326-870d-fd0623c9acd7
Check out this DeepWiki page https://deepwiki.com/search/calendarisleap_6015837d-0d22-4326-870d-fd0623c9acd7
229デフォルトの名無しさん
2025/10/02(木) 07:34:34.02ID:3AP3Ig0g なるほど、if文のネストみたいな感じで書くのだとしたらそれはかえって分かりにくいのではと思ったけど、and or で1行で書いちゃうならスッキリしているね。
230デフォルトの名無しさん
2025/10/02(木) 08:18:23.33 if文使った時点で不採用
print文使った時点で不採用
正解は
・数式・比較演算子と論理演算子で書く
・デバッガで各論理式の評価を確認してprint文を使わない
print文使った時点で不採用
正解は
・数式・比較演算子と論理演算子で書く
・デバッガで各論理式の評価を確認してprint文を使わない
231デフォルトの名無しさん
2025/10/02(木) 08:19:21.13 deepwikiでソースコードに聞け
低スキルの「エンジニア」同士で低スキルを伝播しても害しかない
低スキルの「エンジニア」同士で低スキルを伝播しても害しかない
232デフォルトの名無しさん
2025/10/02(木) 08:24:53.30ID:3AP3Ig0g print関数はさすがに説明の便宜のためでしょ。
233デフォルトの名無しさん
2025/10/02(木) 08:26:48.25 知りたいgithubのアドレスを取得
https://github.com/python/cpython
アドレスのgithubをdeepwikiに置換
https://deepwiki.com/python/cpython
最下部のフォームに質問すればソースコードをソースにして回答する
https://github.com/python/cpython
アドレスのgithubをdeepwikiに置換
https://deepwiki.com/python/cpython
最下部のフォームに質問すればソースコードをソースにして回答する
234デフォルトの名無しさん
2025/10/02(木) 08:29:36.47 で
このdeepwikiもMCPでアクセスできるので
AIエージェントがコーディングのお作法を実装前にDeepWiki MCPで確認してソースコードをソースにして手順を確立してメモしてからそれを見ながら実装を開始するように出来る
低スキルエンジニア同士の会話など害しかない
このdeepwikiもMCPでアクセスできるので
AIエージェントがコーディングのお作法を実装前にDeepWiki MCPで確認してソースコードをソースにして手順を確立してメモしてからそれを見ながら実装を開始するように出来る
低スキルエンジニア同士の会話など害しかない
235デフォルトの名無しさん
2025/10/02(木) 08:45:54.05ID:6BvO5ATM 速さ優先ならこれとはまた異なってくるのだろう
return year % 4 == 0 and (year % 100 != 0 or year % 400 == 0)
return year % 4 == 0 and (year % 100 != 0 or year % 400 == 0)
236デフォルトの名無しさん
2025/10/02(木) 13:03:09.54ID:sP1LMqCx return False
237デフォルトの名無しさん
2025/10/02(木) 13:37:06.50ID:dLU/Z4Pm > それ、問題文の条件のまま書いちゃダメなんですよね。
> 「ただし」がある場合は前出の条件を否定してくるので、条件の順番通りに書くと破綻します。
> だから、「ただし」がある場合は条件を逆に記述していくのが鉄則です。
ashworthさん、何言ってんの?
> 「ただし」がある場合は前出の条件を否定してくるので、条件の順番通りに書くと破綻します。
> だから、「ただし」がある場合は条件を逆に記述していくのが鉄則です。
ashworthさん、何言ってんの?
238デフォルトの名無しさん
2025/10/02(木) 23:03:29.56ID:jdy8/BVE >>219
これまでの書き込みからお前はRust信者と推測されるが、「言語仕様で明確に定義されているのに数学につられて
間違えるのは低学歴・無職・猿」という煽り文句がブーメランになることに気づいていないのか?
C, C++ではif (a = b)という書き方が許されているが、数学では=が比較にも使われるため、比較するつもりで
if (a = b)とうっかり書き間違え、読み返しても間違いを見落とす恐れがあるので、C#やRustではこういう書き方を
できなくした。お前の煽り文句に従えば、代入は=、比較は==と言語仕様で明確に区別して定義されているのに
数学につられて間違えるのは低学歴・無職・猿で、C#やRustは低学歴・無職・猿向けの言語ってことになるねw
仮にお前がRustでなく他の言語の信者だとしても、似たようなブーメランを見つけることができるだろう。
Rustは他にも変数宣言でmutをいちいち書かせるなど過保護な安全性が設計思想にあるのに、半開区間..では
危うさを放置するのはチグハグだな。
あと、ここはプログラマー板じゃなくてプログラム板だから、別に職業プログラマ向けというわけではなく、
プログラムに関する見識は職を得ることに結びつかない。職業プログラマなんてIT土方とも揶揄されて
威張れるもんじゃないし、まして特定の言語と一蓮托生で必死になってるようではなー。お前の煽り文句は
明後日の方を向いているw
これまでの書き込みからお前はRust信者と推測されるが、「言語仕様で明確に定義されているのに数学につられて
間違えるのは低学歴・無職・猿」という煽り文句がブーメランになることに気づいていないのか?
C, C++ではif (a = b)という書き方が許されているが、数学では=が比較にも使われるため、比較するつもりで
if (a = b)とうっかり書き間違え、読み返しても間違いを見落とす恐れがあるので、C#やRustではこういう書き方を
できなくした。お前の煽り文句に従えば、代入は=、比較は==と言語仕様で明確に区別して定義されているのに
数学につられて間違えるのは低学歴・無職・猿で、C#やRustは低学歴・無職・猿向けの言語ってことになるねw
仮にお前がRustでなく他の言語の信者だとしても、似たようなブーメランを見つけることができるだろう。
Rustは他にも変数宣言でmutをいちいち書かせるなど過保護な安全性が設計思想にあるのに、半開区間..では
危うさを放置するのはチグハグだな。
あと、ここはプログラマー板じゃなくてプログラム板だから、別に職業プログラマ向けというわけではなく、
プログラムに関する見識は職を得ることに結びつかない。職業プログラマなんてIT土方とも揶揄されて
威張れるもんじゃないし、まして特定の言語と一蓮托生で必死になってるようではなー。お前の煽り文句は
明後日の方を向いているw
239デフォルトの名無しさん
2025/10/02(木) 23:03:54.24ID:jdy8/BVE >>223
ユーザーは区間の記法だけによってどの言語を使うか選んでいるわけではないから、一概には言えない。
Pythonはずぼらだからはびこってしまった。あんな害蛇はさっさと駆除すべきだな。その点、Rustは
繁文縟礼の塊なのであまり普及せず実害は少ない。
C#はユーザーを十分獲得した後の2019年に半開区間..を初めて導入した。.NET兄弟のF#とPowerShellが
..を閉区間に既に割り当てていたのに、そして開発責任者はPascalと縁が深いのに、何であんな変な記法を
許してしまったの解せない。
ユーザーは区間の記法だけによってどの言語を使うか選んでいるわけではないから、一概には言えない。
Pythonはずぼらだからはびこってしまった。あんな害蛇はさっさと駆除すべきだな。その点、Rustは
繁文縟礼の塊なのであまり普及せず実害は少ない。
C#はユーザーを十分獲得した後の2019年に半開区間..を初めて導入した。.NET兄弟のF#とPowerShellが
..を閉区間に既に割り当てていたのに、そして開発責任者はPascalと縁が深いのに、何であんな変な記法を
許してしまったの解せない。
240デフォルトの名無しさん
2025/10/02(木) 23:12:57.09241デフォルトの名無しさん
2025/10/03(金) 00:09:20.16ID:Q1aE47Vx 半開区間に左右非対称を採用してる言語はSwiftだけじゃね?
半開区間の記法
【start:end】 Go Python
【start..end】C# Rust Zig
【start...end】Ruby
【start..<end】Swift
この現状で左右対称を採用している言語はダメだと叩いている人は偏った異端者かと
半開区間の記法
【start:end】 Go Python
【start..end】C# Rust Zig
【start...end】Ruby
【start..<end】Swift
この現状で左右対称を採用している言語はダメだと叩いている人は偏った異端者かと
242デフォルトの名無しさん
2025/10/03(金) 01:07:33.20ID:aYxPE6CF 1991 Python
1995 Ruby
2000 C#
2009 Go
2010 Rust
2014 Swift
2015 Zig
後発の方が先達の反省が活かされた洗練された記法を採用してる可能性は普通に考えられるかな
1995 Ruby
2000 C#
2009 Go
2010 Rust
2014 Swift
2015 Zig
後発の方が先達の反省が活かされた洗練された記法を採用してる可能性は普通に考えられるかな
243デフォルトの名無しさん
2025/10/03(金) 01:23:00.07ID:Q1aE47Vx C#が半開区間start..endを導入したのは2019年リリースのC# version 8.0
244デフォルトの名無しさん
2025/10/03(金) 08:33:47.40ID:qYL3CF1r 『Cなら知ってるんですけど、C++ってできますか?』
Cた間違い
Cた間違い
245デフォルトの名無しさん
2025/10/03(金) 08:35:11.18ID:qYL3CF1r CやC++初心者は間違い探し的に読むと良い記事。
246デフォルトの名無しさん
2025/10/03(金) 10:41:32.04ID:WGTRKW6c247デフォルトの名無しさん
2025/10/03(金) 11:02:03.70ID:gMkT4O8N 長文おぢウザい
248デフォルトの名無しさん
2025/10/03(金) 23:27:23.05ID:DEcBymr7249デフォルトの名無しさん
2025/10/03(金) 23:28:02.03ID:ft8WeviY >>238
> 変数宣言でmutをいちいち書かせるなど
これはプログラマーに
mutable宣言を意味するmutなどを書かせるべきか
immutable宣言を意味するconstなどを書かせるべきか
どちらをデフォルトにすべきかという問題だね
これはimmutableのみが許されてmutableを許さないプログラミング言語もあるくらいで
immutableをデフォルトとして必要不可欠な変数のみmutable宣言させるのが正しいと思われる
プログラマーの手間もその方が少ない
> 変数宣言でmutをいちいち書かせるなど
これはプログラマーに
mutable宣言を意味するmutなどを書かせるべきか
immutable宣言を意味するconstなどを書かせるべきか
どちらをデフォルトにすべきかという問題だね
これはimmutableのみが許されてmutableを許さないプログラミング言語もあるくらいで
immutableをデフォルトとして必要不可欠な変数のみmutable宣言させるのが正しいと思われる
プログラマーの手間もその方が少ない
250デフォルトの名無しさん
2025/10/04(土) 14:05:10.36ID:eyfPTg37 Qiita Conference 2025 Autumn というので
https://qiita.com/official-campaigns/conference/2025-autumn
> 今のコンピュータはAIにもWebにも向いていないので作り直そう
> 2018年にAttentionが発表され、2022年末にLLMが登場して以降、GPUを用いた生成AIがあらゆるコンピューティングの活用を塗り替えていますが、実はGPUが生成AIに向いていないことをご存知でしょうか?
> 他にも、現代コンピュータアーキテクチャ自体が約70年前に構想されて以来、スループット/レイテンシ/電力消費に根本的な課題を抱えたままで、WebやIoTなどの大量ユーザー利用/データ利用と言った現代に求められる様々は「エンジニアが無理やり何とかしている」と言う実態があります。
> こうした課題を生み出す裏側を解説した後、性能と省電力を圧倒的に引き上げるための考え方/イノベーションを共有し、実際の解決実装例をご紹介します。
コイツに講演させちゃうんだなあ。ゲスト講演ということだけどどうやって人選してるのだろう?
https://qiita.com/official-campaigns/conference/2025-autumn
> 今のコンピュータはAIにもWebにも向いていないので作り直そう
> 2018年にAttentionが発表され、2022年末にLLMが登場して以降、GPUを用いた生成AIがあらゆるコンピューティングの活用を塗り替えていますが、実はGPUが生成AIに向いていないことをご存知でしょうか?
> 他にも、現代コンピュータアーキテクチャ自体が約70年前に構想されて以来、スループット/レイテンシ/電力消費に根本的な課題を抱えたままで、WebやIoTなどの大量ユーザー利用/データ利用と言った現代に求められる様々は「エンジニアが無理やり何とかしている」と言う実態があります。
> こうした課題を生み出す裏側を解説した後、性能と省電力を圧倒的に引き上げるための考え方/イノベーションを共有し、実際の解決実装例をご紹介します。
コイツに講演させちゃうんだなあ。ゲスト講演ということだけどどうやって人選してるのだろう?
251デフォルトの名無しさん
2025/10/04(土) 19:45:26.17252デフォルトの名無しさん
2025/10/04(土) 21:38:51.49ID:MpcY569I >>250
山崎かなと思ったら福岡Elixirって書いてあったから同族か
山崎かなと思ったら福岡Elixirって書いてあったから同族か
253デフォルトの名無しさん
2025/10/04(土) 23:29:54.72ID:gLEEZL45 >immutableのみが許されてmutableを許さないプログラミング言語もあるくらいで
マイナーな言語しかなくね?
「そういう言語がある」だけで、多くの人にとってはそれが便利だと思われてないと思うぞ
マイナーな言語しかなくね?
「そういう言語がある」だけで、多くの人にとってはそれが便利だと思われてないと思うぞ
254デフォルトの名無しさん
2025/10/04(土) 23:33:11.13ID:qAgFTJKW Elixirの軽量スレッドで並列処理が効率化できてスパコン的用途にも使えると思ってる人たちだからなあ、つける薬がない。
255デフォルトの名無しさん
2025/10/04(土) 23:59:14.21ID:XZN99/my256デフォルトの名無しさん
2025/10/05(日) 23:10:55.15ID:W6M3iXcI Elixirでフィボナッチ数列をいろいろ書いてみた Part. 5
https://qiita.com/zacky1972/items/1d2dd390454e80f39d3f
> Fibonacci with Matrix は素晴らしく速いですね!
Elixirで順に指定個数の素数を列挙する関数をEnum, Stream, Flowで作ってみた
https://qiita.com/zacky1972/items/2cdc68f56c2b42b803e1
> 1000,10000個の時にはFlowが最速でした.
1000番目のフィボナッチ数計算すんのに 1.33m秒とか、ベンチマーク結果なんでか編集で消えてるんだけど
> prime_flow 11.84 84.48 ms ±1.22% 84.27 ms 89.85 ms
20000未満の素数算出すんのに 84m秒って遅すぎね?
福岡Elixirってこんな記事ばっかりだな。んで、身内でいいね付けあってる。
https://qiita.com/zacky1972/items/1d2dd390454e80f39d3f
> Fibonacci with Matrix は素晴らしく速いですね!
Elixirで順に指定個数の素数を列挙する関数をEnum, Stream, Flowで作ってみた
https://qiita.com/zacky1972/items/2cdc68f56c2b42b803e1
> 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デフォルトの名無しさん
2025/10/05(日) 23:41:25.21 スキルがあるのに福岡なんかにある仕事の給料で耐えられるわけない
258デフォルトの名無しさん
2025/10/06(月) 00:44:13.25ID:3OKVU+gM >>256
> 20000未満の素数算出すんのに 84m秒って遅すぎね?
ベンチマーク出すのに84m秒って速すぎね?
84m秒のベンチマークを100回やるのがいいのか8.4秒のベンチマークを1回やるのがいいのかで遅いほうがいいと思うんだが
> 20000未満の素数算出すんのに 84m秒って遅すぎね?
ベンチマーク出すのに84m秒って速すぎね?
84m秒のベンチマークを100回やるのがいいのか8.4秒のベンチマークを1回やるのがいいのかで遅いほうがいいと思うんだが
259デフォルトの名無しさん
2025/10/06(月) 01:20:13.00ID:bQ0ntySb フィボナッチ数は行列累乗を理解してないから乗数の数だけ掛け算やってるし、素数の方は「エラトステネスのふるいを純朴に利用して」と書いてる割に剰余計算で余りがでたものを倍数としてフィルタする処理になってて全然エラトステネスのふるいじゃないなあ、ダメだこりゃ。
どちらの記事もアルゴリズムへの理解がなくて効率悪いことやってるんだが、こういう記事平気で公開してる人が
地球温暖化とコンピュータのエネルギー消費の問題にElixirで立ち向かう〜「コンピュータと地球温暖化は 決して無縁ではない」(2022年版)
https://qiita.com/zacky1972/items/a67459bf36f7b369b946
なんて記事書いてて頭が痛い。
これで大学の先生ってなあ、冗談なら良いのに。
どちらの記事もアルゴリズムへの理解がなくて効率悪いことやってるんだが、こういう記事平気で公開してる人が
地球温暖化とコンピュータのエネルギー消費の問題にElixirで立ち向かう〜「コンピュータと地球温暖化は 決して無縁ではない」(2022年版)
https://qiita.com/zacky1972/items/a67459bf36f7b369b946
なんて記事書いてて頭が痛い。
これで大学の先生ってなあ、冗談なら良いのに。
260デフォルトの名無しさん
2025/10/06(月) 01:25:15.29ID:bQ0ntySb >>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
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デフォルトの名無しさん
2025/10/06(月) 06:36:07.31ID:53QY0HCL >>259
エラトステネスのふるいは、
作業メモリをその数だけ必要とすることと引き換えに、
足し算だけで素数を求めることができるアルゴリズムだから、
遅い剰余算を用いた時点で失格となりますね。
エラトステネスのふるいの場合をベンチマークとして比較しているわけでもないようてすね。
エラトステネスのふるいは、
作業メモリをその数だけ必要とすることと引き換えに、
足し算だけで素数を求めることができるアルゴリズムだから、
遅い剰余算を用いた時点で失格となりますね。
エラトステネスのふるいの場合をベンチマークとして比較しているわけでもないようてすね。
262デフォルトの名無しさん
2025/10/06(月) 08:49:11.07ID:0Xz/SJfu この先生はElixirみたいなニッチな言語研究するより先にアルゴリズムの勉強したほうが良いと思う。
現状では学部の学生並みの知識もある気がしない。
現状では学部の学生並みの知識もある気がしない。
263デフォルトの名無しさん
2025/10/09(木) 14:36:21.61ID:/RUFLlG7 『【C言語】char型の落とし穴~オーバーフロー~』
charの変数の値はintに昇格されてから加算されるのでこの場合オーバーフローしないし、intからcharに型変換する際にビットが捨てられるのもオーバーフローじゃないけど、この記事は何をオーバーフローと呼んでいるのか?
charの変数の値はintに昇格されてから加算されるのでこの場合オーバーフローしないし、intからcharに型変換する際にビットが捨てられるのもオーバーフローじゃないけど、この記事は何をオーバーフローと呼んでいるのか?
264デフォルトの名無しさん
2025/10/09(木) 15:40:17.99ID:KD7T9yPY Cしか使えない特殊な環境ならともかく
勝手に異なる型へ自動変換されて困ったことになる弱い型付け言語のCを使ってる情弱の知識はそんなもんだ
勝手に異なる型へ自動変換されて困ったことになる弱い型付け言語のCを使ってる情弱の知識はそんなもんだ
265デフォルトの名無しさん
2025/10/10(金) 00:22:23.86ID:SqpOO1WH https://qiita.com/GonT38847064/items/0770153fd0fb05abaa8a#comment-b7ef583e34653899a04a
> ご指摘ありがとうございます。数値を修正しました...
コンパイルエラーが出るよう修正するとかw
https://gcc.godbolt.org/z/565sb5PEh
> ご指摘ありがとうございます。数値を修正しました...
コンパイルエラーが出るよう修正するとかw
https://gcc.godbolt.org/z/565sb5PEh
266デフォルトの名無しさん
2025/10/10(金) 01:56:58.97ID:3qfmD/kK 今となっては未定義動作だらけの欠陥言語Cにこだわる人はほぼ異常者だな
残りは特定の環境・コンパイラ・設定で偶然動けばいい特殊な状況の人だけ
残りは特定の環境・コンパイラ・設定で偶然動けばいい特殊な状況の人だけ
267デフォルトの名無しさん
2025/10/10(金) 08:25:59.69ID:ckTDD7bx 組み込みの世界知らない人かな
268デフォルトの名無しさん
2025/10/10(金) 09:05:26.07ID:FYVFXot6 C以外は特定の環境・コンパイラ・設定で偶然動けばいい特殊な状況の人って事?
269デフォルトの名無しさん
2025/10/10(金) 09:11:11.73ID:9zFqUBbx270デフォルトの名無しさん
2025/10/10(金) 09:17:04.99ID:JrlTg/8e >>268
C以外に未定義動作だらけなクソ言語あるの?
C以外に未定義動作だらけなクソ言語あるの?
271デフォルトの名無しさん
2025/10/10(金) 09:30:05.88ID:ckTDD7bx > C以外に未定義動作だらけなクソ言語あるの?
C++も聞いたことない人かあ
C++も聞いたことない人かあ
272デフォルトの名無しさん
2025/10/10(金) 10:03:41.96ID:Joie9IL1 C/C++は同罪だね
C++が失敗した理由はいくつも挙げられてきたけど
拡張方法の失敗に加えてCの未定義動作を埋めきれなかったことが響いてる
C++が失敗した理由はいくつも挙げられてきたけど
拡張方法の失敗に加えてCの未定義動作を埋めきれなかったことが響いてる
273デフォルトの名無しさん
2025/10/10(金) 10:10:16.74ID:EYYPWczZ Javaでもメソッド無いの初期化されていない変数とかで失敗するけど
未定義動作になるのを言語のせいとか言ってるけど自分が必用な値が自動でセットされるわけじゃないのだからそういう奴ってバグを作り出す
未定義動作になるのを言語のせいとか言ってるけど自分が必用な値が自動でセットされるわけじゃないのだからそういう奴ってバグを作り出す
274デフォルトの名無しさん
2025/10/10(金) 10:23:29.55ID:c258Qk98 >>273
Javaでは未定義動作にならないため問題は起きません
ローカル変数は初期化しないとエラー
インスタンス変数はデフォルト値で自動的に初期化されます
デフォルト値は各型により0やfalseやnullなど定まっています
Cの実行するたびに値が変わる問題はJavaでは起きません
Javaでは未定義動作にならないため問題は起きません
ローカル変数は初期化しないとエラー
インスタンス変数はデフォルト値で自動的に初期化されます
デフォルト値は各型により0やfalseやnullなど定まっています
Cの実行するたびに値が変わる問題はJavaでは起きません
275デフォルトの名無しさん
2025/10/10(金) 12:28:43.96ID:ckTDD7bx 最適化のなしかありかで挙動の変わる言語があるらしいけどそういうのは最悪。
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);
}
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デフォルトの名無しさん
2025/10/10(金) 12:45:31.67ID:AslPjXj+ その辺見越して大きい値扱える変数使って明示的にうまいことやるからどうでもいいんだよなあ
277デフォルトの名無しさん
2025/10/10(金) 12:56:29.02ID:BIOy5Wv+ >>275
debug modeとrelease modeの違い
標準状態ではdebug modeで動作
実行時コストをかけて様々な検出をしてくれる
release modeでは明示的な実行時コスト指定ex. checked_add()などがある時のみ
debug modeとrelease modeの違い
標準状態ではdebug modeで動作
実行時コストをかけて様々な検出をしてくれる
release modeでは明示的な実行時コスト指定ex. checked_add()などがある時のみ
278デフォルトの名無しさん
2025/10/10(金) 17:34:11.75ID:ckTDD7bx x86やARMでオーバーフローチェックのコストなんて大したものではないので、最適化有効の場合でもオーバーフローチェックは行うのがフェイルセーフ的に正しいな。
オーバーフローチェックのコストが問題になるレアケースでは記述を変える対応が良い。
そういう判断できなかった辺りが残念言語なんだよなあ。
オーバーフローチェックのコストが問題になるレアケースでは記述を変える対応が良い。
そういう判断できなかった辺りが残念言語なんだよなあ。
279デフォルトの名無しさん
2025/10/10(金) 19:59:29.06ID:EwscZStB >>278
オーバーフローチェックのコストはとんでもなく高いんだよ。
演算命令1つ行なう毎に、そこで立った条件フラグによる条件分岐を毎回行なう必要がある。
これはコンパイラが行なうコードの並べ替えやループの展開やベクトル化などを全て阻止してしまう。
劇的に遅くなることが判っているよ。
さらにアセンブリ言語を書いたりコンパイル結果を見たりしたことがあれば理解しやすいけど、
条件フラグを変更せず保持したまま演算を行ないたいことが多いんだよ。
そのため条件フラグを変更しない演算命令が一部用意されていて、それらが活用されている。
常にオーバーフローフラグを必要とするならそれもできなくなってしまう。
条件フラグをレジスタやメモリに一時退避させるコストもかかってくるんだよ。
オーバーフローチェックのコストはとんでもなく高いんだよ。
演算命令1つ行なう毎に、そこで立った条件フラグによる条件分岐を毎回行なう必要がある。
これはコンパイラが行なうコードの並べ替えやループの展開やベクトル化などを全て阻止してしまう。
劇的に遅くなることが判っているよ。
さらにアセンブリ言語を書いたりコンパイル結果を見たりしたことがあれば理解しやすいけど、
条件フラグを変更せず保持したまま演算を行ないたいことが多いんだよ。
そのため条件フラグを変更しない演算命令が一部用意されていて、それらが活用されている。
常にオーバーフローフラグを必要とするならそれもできなくなってしまう。
条件フラグをレジスタやメモリに一時退避させるコストもかかってくるんだよ。
280デフォルトの名無しさん
2025/10/10(金) 21:05:08.50ID:ckTDD7bx いまどきのプロセッサは分岐予測も優秀だし分岐しない条件分岐命令は大してペナルティならねぇよアホか。
281デフォルトの名無しさん
2025/10/10(金) 21:12:19.16ID:ckTDD7bx >条件フラグを変更せず保持したまま演算を行ないたいことが多いんだよ。
>そのため条件フラグを変更しない演算命令が一部用意されていて、それらが活用されている。
知らないこと想像で書いてて大変宜しいw
>そのため条件フラグを変更しない演算命令が一部用意されていて、それらが活用されている。
知らないこと想像で書いてて大変宜しいw
282デフォルトの名無しさん
2025/10/10(金) 21:29:12.39ID:EwscZStB >>280
理解できていないようだけど、
演算命令の順序が固定かつシリアル化されてしまうことが大きいんだよ。
命令順序の入れ替えは最適化の基幹であるとともに、並列展開もできなくなってしまう。
さらに条件フラグの保存コスト問題も生じてしまう。
理解できていないようだけど、
演算命令の順序が固定かつシリアル化されてしまうことが大きいんだよ。
命令順序の入れ替えは最適化の基幹であるとともに、並列展開もできなくなってしまう。
さらに条件フラグの保存コスト問題も生じてしまう。
283デフォルトの名無しさん
2025/10/10(金) 21:32:04.92ID:EwscZStB >>281
x86など使ったことある人には常識だけど、
条件フラグの更新を伴う加算と伴わない加算としてADD命令とLEA命令の使い分けをコンパイラも多用しているよ。
それ以前の演算で反映された条件フラグを変化させないまま、
LEA命令によって加算や一部の乗算及びその組み合わせ演算をできる利点があるためだよ。
x86など使ったことある人には常識だけど、
条件フラグの更新を伴う加算と伴わない加算としてADD命令とLEA命令の使い分けをコンパイラも多用しているよ。
それ以前の演算で反映された条件フラグを変化させないまま、
LEA命令によって加算や一部の乗算及びその組み合わせ演算をできる利点があるためだよ。
284デフォルトの名無しさん
2025/10/10(金) 23:12:50.77ID:ckTDD7bx 実例挙げられない辺りが限界なんだろうなあw
285デフォルトの名無しさん
2025/10/10(金) 23:19:18.23ID:EwscZStB286デフォルトの名無しさん
2025/10/10(金) 23:42:12.34ID:SqpOO1WH どのコンパイラがどういうコード吐いてるかも示せないで実例とか言ってるのはたまげたなw
287デフォルトの名無しさん
2025/10/11(土) 00:12:43.19ID:e8fGXa5a ADDではなくLEAでフラグ変化させずに加算演算するのは手動でもコンパイラでも基本
この常識を理解できない低レベルな人はコード書いたりコンパイラ生成コードを見たことすらない人
この常識を理解できない低レベルな人はコード書いたりコンパイラ生成コードを見たことすらない人
288デフォルトの名無しさん
2025/10/11(土) 10:05:05.53ID:mX/iHQDj コンパイラが出力した「条件フラグを変更せず保持したまま演算を行なう」コードの実例から逃げてるとこ見ると「LEAで加算ができる」が知識の限界の人かな
289デフォルトの名無しさん
2025/10/11(土) 10:12:37.71ID:mX/iHQDj290デフォルトの名無しさん
2025/10/12(日) 03:13:55.78ID:obnnOjq+ Rust信者ってこんなもんだなあとういうのはまあ納得
291デフォルトの名無しさん
2025/10/12(日) 03:35:45.68ID:Iv4aWOmO Rust?
関係ないだろ
関係ないだろ
292デフォルトの名無しさん
2025/10/12(日) 05:25:08.36ID:D80drn0C マシン語にするプログラミング言語は最適化によって意図と違うコードになることがあるという話をしたいんだろ。
293デフォルトの名無しさん
2025/10/12(日) 12:59:12.78ID:EE9svh1n294デフォルトの名無しさん
2025/10/12(日) 19:07:27.09ID:txsY3oX4 >>275
このRustプログラムが最適化あり(リリースビルド)/最適化なし(デバッグビルド)で挙動が変わる理由は、i8型の符号付き整数オーバーフローの扱い方が状況によって異なるためです
最適化なし(デバッグビルド)
sum += numで加算の結果がi8の範囲(-128~127)を超えてしまうと、panicになるため意図した出力が得られず、エラーが発生します
最適化あり(リリースビルド)
オーバーフローのチェックが省略されて二の補数によるラップアラウンド(桁あふれの結果として範囲内に収める計算)が行われます
このRustプログラムが最適化あり(リリースビルド)/最適化なし(デバッグビルド)で挙動が変わる理由は、i8型の符号付き整数オーバーフローの扱い方が状況によって異なるためです
最適化なし(デバッグビルド)
sum += numで加算の結果がi8の範囲(-128~127)を超えてしまうと、panicになるため意図した出力が得られず、エラーが発生します
最適化あり(リリースビルド)
オーバーフローのチェックが省略されて二の補数によるラップアラウンド(桁あふれの結果として範囲内に収める計算)が行われます
295デフォルトの名無しさん
2025/10/12(日) 19:15:49.53ID:txsY3oX4 リリースビルド(最適化あり)でもオーバーフローを検出し、デバッグビルド(最適化なし)と同じ挙動にする方法があります
Cargo.tomlに以下を追記します:
[profile.release]
overflow-checks = true
リリースビルドでも整数オーバーフローが発生するとpanic(異常終了)になります
Cargo.tomlに以下を追記します:
[profile.release]
overflow-checks = true
リリースビルドでも整数オーバーフローが発生するとpanic(異常終了)になります
296デフォルトの名無しさん
2025/10/12(日) 20:41:41.77ID:VrekPvIE デフォで安全側に倒してない時点で残念言語だな
297デフォルトの名無しさん
2025/10/12(日) 21:03:27.80ID:UHx3WDzt オーバーフローでプログラムを中断したいのか
オーバーフローをエラーとして返したいのか
オーバーフローを値として受けて活用したいのか
オーバーフローは影響しない処理なのか
一般的に様々な状況が考えられる
これは安全性の問題とは関係がない
オーバーフローをエラーとして返したいのか
オーバーフローを値として受けて活用したいのか
オーバーフローは影響しない処理なのか
一般的に様々な状況が考えられる
これは安全性の問題とは関係がない
298デフォルトの名無しさん
2025/10/12(日) 21:59:02.37ID:VrekPvIE > オーバーフローでプログラムを中断したいのか
> オーバーフローをエラーとして返したいのか
> オーバーフローを値として受けて活用したいのか
> オーバーフローは影響しない処理なのか
> 一般的に様々な状況が考えられる
話についてこれない人かな
> オーバーフローをエラーとして返したいのか
> オーバーフローを値として受けて活用したいのか
> オーバーフローは影響しない処理なのか
> 一般的に様々な状況が考えられる
話についてこれない人かな
299デフォルトの名無しさん
2025/10/12(日) 22:06:32.37ID:UHx3WDzt300デフォルトの名無しさん
2025/10/12(日) 22:47:47.29ID:EE9svh1n オーバーフローを無視して処理を続けていいわけはないので安全性の話なんだよなあ
何言ってんのこの人w
何言ってんのこの人w
301デフォルトの名無しさん
2025/10/12(日) 22:55:53.45ID:jaSkqZ+M オーバーフローは無視できる処理もあるし、オーバーフローが起きない場合もあるわけだから、そこはケースバイケースやろ。
状況次第としか。
状況次第としか。
302デフォルトの名無しさん
2025/10/12(日) 23:07:39.13ID:yC0+QvH7 生成コードで考えると
オーバーフローフラグが立つ演算命令1つ毎に直後にオーバーフローの有無で判断する分岐命令を必ず入れることになるがそれは効率が悪すぎる
しかも命令順序の固定化と直列化を招いてしまう
現在のCPUは命令順序の入れ替えと並列化で最適化をするからそれができないと劇的に遅くなる
不要なオーバーフローチェックは可能な限り避けるべき
オーバーフローフラグが立つ演算命令1つ毎に直後にオーバーフローの有無で判断する分岐命令を必ず入れることになるがそれは効率が悪すぎる
しかも命令順序の固定化と直列化を招いてしまう
現在のCPUは命令順序の入れ替えと並列化で最適化をするからそれができないと劇的に遅くなる
不要なオーバーフローチェックは可能な限り避けるべき
303デフォルトの名無しさん
2025/10/13(月) 02:39:47.42ID:5mcGe2/B >>290
オーバーフローのチェックのコストの重さ問題は特定の言語に関係なく全ての言語で生じる話だよ
そのためC/C++ Java Go Rustなど多くの言語では標準状態でオーバーフローのチェックは行われずラップアラウンドされた結果となるよ
そして必要に応じてオーバーフローのチェックをする関数を呼び出すなどして対応するよ
オーバーフローのチェックのコストの重さ問題は特定の言語に関係なく全ての言語で生じる話だよ
そのためC/C++ Java Go Rustなど多くの言語では標準状態でオーバーフローのチェックは行われずラップアラウンドされた結果となるよ
そして必要に応じてオーバーフローのチェックをする関数を呼び出すなどして対応するよ
304デフォルトの名無しさん
2025/10/13(月) 02:43:31.43ID:eGOGeFhV 最適化のなしかありかで挙動の変わると言ったのが間違い
最適化でなくオーバーフローチェックのなしかありかで挙動の変わる
デフォで安全側に倒してないと言ったのも間違いでデフォでデバッグビルドを作って安全側に倒してオーバーフローチェックがある
劇的に遅くなるからリリースビルドのデフォでオーバーフローチェックがないのは妥当
最適化でなくオーバーフローチェックのなしかありかで挙動の変わる
デフォで安全側に倒してないと言ったのも間違いでデフォでデバッグビルドを作って安全側に倒してオーバーフローチェックがある
劇的に遅くなるからリリースビルドのデフォでオーバーフローチェックがないのは妥当
305デフォルトの名無しさん
2025/10/13(月) 09:36:39.69ID:wFHYv9H9 配列アクセスで範囲チェックしてくれる言語についてオーバーフローチェックは「効率ガー」と発狂してるのオモロイw
お前らRustも実行効率もなんも分かってないなw
お前らRustも実行効率もなんも分かってないなw
306デフォルトの名無しさん
2025/10/13(月) 16:43:07.06ID:4KhFq0Un 配列アクセスでの範囲チェックはメモリ安全性の一つであり必須事項
コンパイラが範囲内であると判断できれば最適化で安全にチェックをなくすことが可能
さらにRustなどではシーケンシャルアクセスの場合にインデックスアクセスが使われないため安全性と実行効率を両立させている
コンパイラが範囲内であると判断できれば最適化で安全にチェックをなくすことが可能
さらにRustなどではシーケンシャルアクセスの場合にインデックスアクセスが使われないため安全性と実行効率を両立させている
307デフォルトの名無しさん
2025/10/13(月) 22:59:28.18ID:CEh/Jf9d > 配列アクセスでの範囲チェックはメモリ安全性の一つであり必須事項
オーバーフローチェックをやんなくて良い理由なんてないし。
> コンパイラが範囲内であると判断できれば最適化で安全にチェックをなくすことが可能
それはオーバーフローチェックも同様。>>275のコードなんてコンパイル時にオーバーフローするか判定できるわけだし。
オーバーフローチェックをやんなくて良い理由なんてないし。
> コンパイラが範囲内であると判断できれば最適化で安全にチェックをなくすことが可能
それはオーバーフローチェックも同様。>>275のコードなんてコンパイル時にオーバーフローするか判定できるわけだし。
308デフォルトの名無しさん
2025/10/13(月) 23:06:55.10ID:KxydRFf5 >配列アクセスでの範囲チェックはメモリ安全性の一つであり必須事項
プログラムが完璧に作られてれば範囲チェックなんて要らんぞ?何言ってんの??
プログラムが完璧に作られてれば範囲チェックなんて要らんぞ?何言ってんの??
309デフォルトの名無しさん
2025/10/13(月) 23:21:03.25ID:cZNgUw0p310デフォルトの名無しさん
2025/10/13(月) 23:38:05.02ID:xSeTVBuE 配列などのメモリ範囲外アクセスチェックは必ずしなければならない。
その上でコンパイラが範囲内だと保証できれば最適化により範囲内チェックを省略する。
ミスを起こし得る人間がそれを判断してはいけない。
その上でコンパイラが範囲内だと保証できれば最適化により範囲内チェックを省略する。
ミスを起こし得る人間がそれを判断してはいけない。
311デフォルトの名無しさん
2025/10/14(火) 00:00:34.05ID:EH8FowVD Cで配列などのメモリ範囲外アクセスチェックは必ずするかと言ったらしないよね?
「必ず」というのはそれを必ずするライブラリを使うということで
フリーの配列ライブラリなんてないよね?
配列ライブラリを使うならRustでいいと
「必ず」というのはそれを必ずするライブラリを使うということで
フリーの配列ライブラリなんてないよね?
配列ライブラリを使うならRustでいいと
312デフォルトの名無しさん
2025/10/14(火) 00:04:17.51ID:a2UJ2nPa313デフォルトの名無しさん
2025/10/14(火) 00:14:41.04ID:lAetg0vq 「ソフトウェアはメモリ安全でなければならない」との声明を発表、米ホワイトハウス:「C」「C++」よりも「Rust」などの言語を推奨
https://atmarkit.itmedia.co.jp/ait/articles/2403/18/news045.html
米国ホワイトハウスが開発者に対しC++やC言語からRustやJavaなどのメモリ安全性に優れたプログラミング言語への移行を勧める
https://gigazine.net/news/20240229-whitehouse-urges-use-rust-java/
https://atmarkit.itmedia.co.jp/ait/articles/2403/18/news045.html
米国ホワイトハウスが開発者に対しC++やC言語からRustやJavaなどのメモリ安全性に優れたプログラミング言語への移行を勧める
https://gigazine.net/news/20240229-whitehouse-urges-use-rust-java/
314デフォルトの名無しさん
2025/10/14(火) 00:14:44.98ID:sCKwxfM0 配列アクセスでの範囲チェックは絶対必要だけどオーバーフローチェックはやんなくていいって言ってる人の頭の中ってどうなってるのかな?
オーバーフローに関してだけはプログラムが完璧に作られてるからありえないって思想?
オーバーフローに関してだけはプログラムが完璧に作られてるからありえないって思想?
315デフォルトの名無しさん
2025/10/14(火) 00:26:24.96ID:JKaSUvhP 実際の利用で最も多いシーケンシャルアクセスはインデックスの範囲チェックを消すことができる
for (i=start; i<end; i++) { a[i]利用 }
これはループ内でiの終端チェックとa[i]の範囲チェックの2回起きる
for (p=&a[start]; p<&a[end]; p++) { *p利用 }
このように書くかもしくはコンパイラが取り扱うと
ループ内でpの終端チェックのみになる
しかし人間が行なうとミスが入り込む余地があるため好ましくない
Rustなどはこれを抽象的なイテレータとして提供していて抽象化とメモリ安全性と実行効率の三つを両立させている
for (i=start; i<end; i++) { a[i]利用 }
これはループ内でiの終端チェックとa[i]の範囲チェックの2回起きる
for (p=&a[start]; p<&a[end]; p++) { *p利用 }
このように書くかもしくはコンパイラが取り扱うと
ループ内でpの終端チェックのみになる
しかし人間が行なうとミスが入り込む余地があるため好ましくない
Rustなどはこれを抽象的なイテレータとして提供していて抽象化とメモリ安全性と実行効率の三つを両立させている
316デフォルトの名無しさん
2025/10/14(火) 01:29:56.77ID:QdU4k/SE 配列は静的メモリ確保なのに動的メモリ確保とごっちゃになっている素人w
317デフォルトの名無しさん
2025/10/14(火) 01:39:29.82ID:gE5nGyvL >>316
言語によって細かい区別や呼び方から実装方法まで様々に異なるため
こういう時に皆は抽象的に代表名として配列と呼んでいるだけだよ
その意味での配列を静的メモリ領域に置くこともあればスタック領域に動的に置くこともあればビープ領域に動的に置くこともある
そして静的であろうと動的であろうと場所がどこであろうと範囲チェックは必要
言語によって細かい区別や呼び方から実装方法まで様々に異なるため
こういう時に皆は抽象的に代表名として配列と呼んでいるだけだよ
その意味での配列を静的メモリ領域に置くこともあればスタック領域に動的に置くこともあればビープ領域に動的に置くこともある
そして静的であろうと動的であろうと場所がどこであろうと範囲チェックは必要
318デフォルトの名無しさん
2025/10/14(火) 05:15:51.00ID:vZAfdOxe >>316
配列を必ず静的に確保する言語はレア
多くの言語は配列を宣言する位置によって動的確保がある
例えばC言語は関数内で配列を宣言すると関数呼び出しするたびに動的に配列を含めたローカル変数の領域がスタック上に自動的に確保される
静的確保ではなく動的確保であるからこそ関数の再帰呼び出しが可能になっている
配列を必ず静的に確保する言語はレア
多くの言語は配列を宣言する位置によって動的確保がある
例えばC言語は関数内で配列を宣言すると関数呼び出しするたびに動的に配列を含めたローカル変数の領域がスタック上に自動的に確保される
静的確保ではなく動的確保であるからこそ関数の再帰呼び出しが可能になっている
319デフォルトの名無しさん
2025/10/14(火) 07:20:27.59ID:dimV1O2B くっだらねえ
320デフォルトの名無しさん
2025/10/14(火) 15:07:30.93ID:vn+4DI+D >>316
静的メモリ確保の意味を理解できてないだろ
Cならグローバル変数とstatic変数が静的メモリ領域に確保される
配列もグローバル変数かstatic変数にした時のみ静的メモリ確保
そうでない普通の関数内の配列は動的メモリ確保
静的メモリ確保の意味を理解できてないだろ
Cならグローバル変数とstatic変数が静的メモリ領域に確保される
配列もグローバル変数かstatic変数にした時のみ静的メモリ確保
そうでない普通の関数内の配列は動的メモリ確保
321デフォルトの名無しさん
2025/10/14(火) 20:36:41.72ID:2xWEVdNj322デフォルトの名無しさん
2025/10/14(火) 21:04:55.21ID:ZulSE3F6 >>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;
}
違いは簡単
静的メモリ配置 ←アドレス固定
動的メモリ配置 ←アドレス変動
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デフォルトの名無しさん
2025/10/15(水) 01:32:24.83ID:F/Bk7x58324デフォルトの名無しさん
2025/10/15(水) 02:42:55.78ID:tBMKGpTr なんてことだstatic宣言した変数が共有ライブラリの中だとアドレスが変わることがあるゾ!
325デフォルトの名無しさん
2025/10/15(水) 02:49:12.17ID:LnEbzNuN326デフォルトの名無しさん
2025/10/15(水) 18:27:52.24ID:V1g0382z cの静的動的はサイズが実行時に定まるか否かってことじゃないん?
staticかどうかはcプログラマにとっては別の感心事で
メモリの動静を語るときはそうだったと思うけど
俺の知ってる限り
staticつけてないローカルな配列のことを動的な確保って言ってる人見たこと無いわ
staticかどうかはcプログラマにとっては別の感心事で
メモリの動静を語るときはそうだったと思うけど
俺の知ってる限り
staticつけてないローカルな配列のことを動的な確保って言ってる人見たこと無いわ
327デフォルトの名無しさん
2025/10/15(水) 19:23:40.95ID:MHowvYgL Grokに訊いたら非標準のallocaやC99のVLAは動的確保に含まれる場合があるそうだ。
328デフォルトの名無しさん
2025/10/15(水) 19:43:01.58ID:zk4Ust74 配列やベクタやリストやスライスなど、言語によって様々な呼び方や実装が異なるもの、全てに共通の必須な仕組みとして、
総称としての配列の範囲チェックの話をしていて、そのまま特定の言語に関係なくこの話の流れでいいんだよな
>>316
>>配列は静的メモリ確保なのに動的メモリ確保とごっちゃになっている素人w
静的と動的は様々な対象に用いられるが、今回は静的メモリ確保
これをアドレスが変わらないという解釈でも、いわゆるセグメントのうち静的領域に確保するという意味でも同じ
特定の言語の話ではないが、例えばC言語なら静的宣言(static宣言)をする変数がこれに該当する
動的メモリ領域は毎回アドレスが変わるという意味でも、何かをするたびにメモリ空間から領域を確保する意味でも同じ
ただし二つに分かれて、関数呼び出しのたびに領域が確保されて関数から去ると無効になるものと、関数呼び出しのタイミングと関係なく確保することで関数を去っても有効になるもの、それら二つの異なる性質のものに分かれる
いわゆるセグメント領域としては、前者はスタック領域に確保されて後者はヒープ領域に確保される
前述の静的領域の変数とは異なり、スタック領域やヒープ領域に動的に確保することが共通の特徴であり、タイミングによってアドレスも変化する
総称としての配列の範囲チェックの話をしていて、そのまま特定の言語に関係なくこの話の流れでいいんだよな
>>316
>>配列は静的メモリ確保なのに動的メモリ確保とごっちゃになっている素人w
静的と動的は様々な対象に用いられるが、今回は静的メモリ確保
これをアドレスが変わらないという解釈でも、いわゆるセグメントのうち静的領域に確保するという意味でも同じ
特定の言語の話ではないが、例えばC言語なら静的宣言(static宣言)をする変数がこれに該当する
動的メモリ領域は毎回アドレスが変わるという意味でも、何かをするたびにメモリ空間から領域を確保する意味でも同じ
ただし二つに分かれて、関数呼び出しのたびに領域が確保されて関数から去ると無効になるものと、関数呼び出しのタイミングと関係なく確保することで関数を去っても有効になるもの、それら二つの異なる性質のものに分かれる
いわゆるセグメント領域としては、前者はスタック領域に確保されて後者はヒープ領域に確保される
前述の静的領域の変数とは異なり、スタック領域やヒープ領域に動的に確保することが共通の特徴であり、タイミングによってアドレスも変化する
329デフォルトの名無しさん
2025/10/15(水) 22:57:25.39ID:dwkfuJij330デフォルトの名無しさん
2025/10/15(水) 23:01:05.50ID:dwkfuJij331デフォルトの名無しさん
2025/10/15(水) 23:03:30.96ID:dwkfuJij332デフォルトの名無しさん
2025/10/15(水) 23:14:46.54ID:1UpfUBnV333デフォルトの名無しさん
2025/10/15(水) 23:26:49.61ID:dwkfuJij334デフォルトの名無しさん
2025/10/15(水) 23:27:17.68ID:dwkfuJij このスレはキータだったなw
変なやつしかいない
変なやつしかいない
335デフォルトの名無しさん
2025/10/15(水) 23:37:23.88ID:1UpfUBnV >>333
コレクションの話なんかどこにも出てきていないのに妄想で幻で見えてるのか?
コレクションの話なんかどこにも出てきていないのに妄想で幻で見えてるのか?
336デフォルトの名無しさん
2025/10/15(水) 23:46:08.93ID:NrKjLOWm337デフォルトの名無しさん
2025/10/18(土) 11:07:29.35ID:bVsQMdfb 『浮動小数点数に非常に小さい値を加えるとどうなるか?float型の精度限界を調べた』
知識がないところでFLT_EPSILONに近い概念を独自に発見しようとしてるのは偉いのだが、deltafの初期値を0.1fで始めてるのが惜しい。1.0fにしてればFLT_EPSILONの1/2が求まる筈。
知識がないところでFLT_EPSILONに近い概念を独自に発見しようとしてるのは偉いのだが、deltafの初期値を0.1fで始めてるのが惜しい。1.0fにしてればFLT_EPSILONの1/2が求まる筈。
338デフォルトの名無しさん
2025/10/18(土) 12:49:36.77ID:bVsQMdfb >>279
> オーバーフローチェックのコストはとんでもなく高いんだよ。
> 劇的に遅くなることが判っているよ。
簡単なコードで確認してみた。
https://wandbox.org/permlink/L8hZILgJIhDYqDkB
> オーバーフローチェックのコストはとんでもなく高いんだよ。
> 劇的に遅くなることが判っているよ。
簡単なコードで確認してみた。
https://wandbox.org/permlink/L8hZILgJIhDYqDkB
339デフォルトの名無しさん
2025/10/18(土) 13:32:11.38ID:qBI4ZXTO340デフォルトの名無しさん
2025/10/18(土) 13:44:09.89ID:NqvbaKoR >32bitと大き目で更にoverflowしたらループを抜けるだけで代わりの値を代入したりしてない
1から4を1億回足してるだけだからオーバーフローは発生しない。>>279が問題にしてるのはオーバーフローチェックのコストでありオーバーフローするかどうかは関係がない。
1から4を1億回足してるだけだからオーバーフローは発生しない。>>279が問題にしてるのはオーバーフローチェックのコストでありオーバーフローするかどうかは関係がない。
341デフォルトの名無しさん
2025/10/18(土) 19:06:57.05ID:ETv7F4p1 実際のプログラムには足し算など無数にあるから分岐が無数に増えて分岐予測テーブルが溢れそう
342デフォルトの名無しさん
2025/10/18(土) 19:11:50.98ID:usFOY54p Qiitaの話を全くしてないのは草
343デフォルトの名無しさん
2025/10/18(土) 20:38:26.02ID:wTbxZHCN 現実的には関数呼出になるから遅い…が、使いどころなんてたかが知れてるよな
344デフォルトの名無しさん
2025/10/18(土) 20:49:39.50ID:rM2qmS8P 結局こういうことだろね
現実と対応
303 デフォルトの名無しさん sage 2025/10/13(月) 02:39:47.42 ID:5mcGe2/B
オーバーフローのチェックのコストの重さ問題は特定の言語に関係なく全ての言語で生じる話だよ
そのためC/C++ Java Go Rustなど多くの言語では標準状態でオーバーフローのチェックは行われずラップアラウンドされた結果となるよ
そして必要に応じてオーバーフローのチェックをする関数を呼び出すなどして対応するよ
現実と対応
303 デフォルトの名無しさん sage 2025/10/13(月) 02:39:47.42 ID:5mcGe2/B
オーバーフローのチェックのコストの重さ問題は特定の言語に関係なく全ての言語で生じる話だよ
そのためC/C++ Java Go Rustなど多くの言語では標準状態でオーバーフローのチェックは行われずラップアラウンドされた結果となるよ
そして必要に応じてオーバーフローのチェックをする関数を呼び出すなどして対応するよ
345デフォルトの名無しさん
2025/10/18(土) 22:24:24.75ID:bVsQMdfb > そのためC/C++ Java Go Rustなど多くの言語では標準状態でオーバーフローのチェックは行われずラップアラウンドされた結果となるよ
危険を承知で`-Ounchecked`を指定しない限りオーバーフローチェックを行うSwiftが安全性については唯一まともな判断してるってことだよなあ。
https://godbolt.org/z/fMc6KdPb1
危険を承知で`-Ounchecked`を指定しない限りオーバーフローチェックを行うSwiftが安全性については唯一まともな判断してるってことだよなあ。
https://godbolt.org/z/fMc6KdPb1
346デフォルトの名無しさん
2025/10/18(土) 22:43:53.65ID:eyj6w4mM 半開区間を長い左右非対称な記号で表わす話もSwiftが異端だったな
そこまでの行き過ぎた過剰を他の言語は求めていないのだと思われる
そこまでの行き過ぎた過剰を他の言語は求めていないのだと思われる
347デフォルトの名無しさん
2025/10/18(土) 23:17:36.52ID:63qoaJUs 最適化指示でオーバーフロー検出が働くなるRustの仕様が適当かはRustの開発コミュでもたびたび議論になってることなのに「現行がこうなってる」で納得してるのは思考停止なんだよなあ。
348デフォルトの名無しさん
2025/10/18(土) 23:33:52.89ID:3aakVM9g Rustはプロジェクトを作る時にオーバーフローのチェックを強制したい方針ならばこの指定機能が何年も前に入ったため今は大丈夫だよ
overflow-checks = true
overflow-checks = true
349デフォルトの名無しさん
2025/10/18(土) 23:42:20.50ID:63qoaJUs >>348
そういうの気にしない馬鹿のためにデフォルトの挙動はどうであるべきかって話が理解できない奴は安全性について語らない方が良いよ。
そういうの気にしない馬鹿のためにデフォルトの挙動はどうであるべきかって話が理解できない奴は安全性について語らない方が良いよ。
350デフォルトの名無しさん
2025/10/18(土) 23:49:49.42ID:7LIpXt77 RustがIT各社に次々と採用されていってる理由は企業から見ても安全性が最も良い言語であると支持されたため
351デフォルトの名無しさん
2025/10/19(日) 20:21:17.40ID:+RR12fUB 『🏆最小自由数で競う!C++, Lisp, Rust, Mojoによる速度対決🔥 / Competing on the Minimum Free Number! Speed Battle with C++, Lisp, Rust, and Mojo 🔥』
https://qiita.com/tj9999/items/4131016df5f1c5730584
「そのコードは良くない。こう書くべき」みたいな具体的なコメントができない辺りがRust信者の限界なのかな
https://qiita.com/tj9999/items/4131016df5f1c5730584
「そのコードは良くない。こう書くべき」みたいな具体的なコメントができない辺りがRust信者の限界なのかな
352デフォルトの名無しさん
2025/10/20(月) 22:42:27.76ID:RnZTjdTH このスレ見る限りRust信者はコード書けないみたいだしなあ
353デフォルトの名無しさん
2025/10/21(火) 15:24:12.70ID:2uplBhQe > オーバーフローチェックのコストはとんでもなく高いんだよ。
> 劇的に遅くなることが判っているよ。
安全性よりパフォーマンスが重要と思ってる人は根本的なところから分かってない。
> 劇的に遅くなることが判っているよ。
安全性よりパフォーマンスが重要と思ってる人は根本的なところから分かってない。
354デフォルトの名無しさん
2025/10/21(火) 16:11:44.43ID:PAfcSIKV 安全重視のJavaもオーバーフローチェックしないよ
355デフォルトの名無しさん
2025/10/21(火) 16:42:19.08ID:bG0rJrvl もはや誰もQiitaの話をしていないのである
356デフォルトの名無しさん
2025/10/21(火) 17:18:52.11ID:2uplBhQe 30年前の設計のJavaを安全重視と信じてる人がいるとはたまげたなあ
357デフォルトの名無しさん
2025/10/21(火) 17:46:00.64ID:d/sWvnzZ 最近の言語Go Nim RustなどもCやJavaと同様にデフォルトではオーバーフロー時にラップアラウンド
358デフォルトの名無しさん
2025/10/21(火) 18:39:21.79ID:2uplBhQe > 最近の言語Go Nim RustなどもCやJavaと同様にデフォルトではオーバーフロー時にラップアラウンド
C言語では符号付き整数のオーバーフローは未定義動作なんだがそんなことも知らない輩がなんか言ってなんだなあ。
C言語では符号付き整数のオーバーフローは未定義動作なんだがそんなことも知らない輩がなんか言ってなんだなあ。
359デフォルトの名無しさん
2025/10/21(火) 19:12:50.27ID:CCxWu0hF デフォルトでオーバーフローチェックしなくて問題になった話を聞いたことがないな
世の中のシステムは問題なく動いているもんな
チェックしたければオーバーフローチェックできるから何が問題なのかわからん
世の中のシステムは問題なく動いているもんな
チェックしたければオーバーフローチェックできるから何が問題なのかわからん
360デフォルトの名無しさん
2025/10/21(火) 19:36:04.80ID:2uplBhQe 255からエクステンドでゲームオーバーなんてザラにあるのにな
361デフォルトの名無しさん
2025/10/21(火) 23:13:46.96ID:Xc9g4ZCw >>43
『VRでもリアル空間でもスマホでも!「sonoXR」での音楽体験を実現する先端技術・FPGA独自チップ』
https://note.com/mimylovesmusic/n/n0982c3323b50
↑の記事で当日の様子が紹介されてる。
> そのElixirChipですが、2025年9月17日、Elixir関連コミュニティのオンラインLT会で初お披露目されました!
> LT会のデモンストレーションでは、macの画面共有でElixirChipがターミナルから実行されている処理が映し出されて、その解説がメインのお話だったのですよね。
> それもそのはず。
> FPGA(Field Programmable Gate Array)とは「内部の論理回路をソフトウェアのように後から自由に組み替えられるチップ」のことだというのを、このLT会で今更ながら理解しました。(お恥ずかしい・・・)
> 私はElixirChipの開発を行う株式会社Digidock Consultingにてセールスエグゼクティブも担当しています。
FPGAがどういうもんだか知らなかった人がセールス担当で「先端技術・FPGA独自チップ」とか言ってんのスゲエな。
『VRでもリアル空間でもスマホでも!「sonoXR」での音楽体験を実現する先端技術・FPGA独自チップ』
https://note.com/mimylovesmusic/n/n0982c3323b50
↑の記事で当日の様子が紹介されてる。
> そのElixirChipですが、2025年9月17日、Elixir関連コミュニティのオンラインLT会で初お披露目されました!
> LT会のデモンストレーションでは、macの画面共有でElixirChipがターミナルから実行されている処理が映し出されて、その解説がメインのお話だったのですよね。
> それもそのはず。
> FPGA(Field Programmable Gate Array)とは「内部の論理回路をソフトウェアのように後から自由に組み替えられるチップ」のことだというのを、このLT会で今更ながら理解しました。(お恥ずかしい・・・)
> 私はElixirChipの開発を行う株式会社Digidock Consultingにてセールスエグゼクティブも担当しています。
FPGAがどういうもんだか知らなかった人がセールス担当で「先端技術・FPGA独自チップ」とか言ってんのスゲエな。
362デフォルトの名無しさん
2025/10/21(火) 23:25:43.96ID:Kzm3UPI2 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
363デフォルトの名無しさん
2025/10/21(火) 23:37:30.32ID:Xc9g4ZCw > 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
2**64/(365.25*24*3600*10000000000) = 58.4542046091 だから59年目でオーバーフローするだろ。
2**64/(365.25*24*3600*10000000000) = 58.4542046091 だから59年目でオーバーフローするだろ。
364デフォルトの名無しさん
2025/10/22(水) 00:52:52.35ID:36Oigqe9 8bit時代は一瞬で溢れたのに
64bit時代は凄いな
64bit時代は凄いな
365デフォルトの名無しさん
2025/10/22(水) 02:05:57.52ID:1Zu7PCWv 59年に1回だけ出現するバグがすごい
毎年再起動で対応すべき
毎年再起動で対応すべき
366デフォルトの名無しさん
2025/10/22(水) 02:24:22.73ID:W6apSoTE 最新のCPUでも10GHz行かないので1秒間に100億回のカウントが無理だよな
オーバーフローするまでもっとかかる
オーバーフローするまでもっとかかる
367デフォルトの名無しさん
2025/10/22(水) 02:29:12.26ID:kkMCRZ3c フィボナッチはオーバーフローする
368デフォルトの名無しさん
2025/10/22(水) 02:49:06.07ID:DMZH9rqW オーバーフローチェック関数を呼び出せばいい
369デフォルトの名無しさん
2025/10/22(水) 07:42:15.54ID:pPjVNDwq > 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
こういうマヌケが今後もいなくなることはないからオーバーフローチェックは常に行うのが安全。
こういうマヌケが今後もいなくなることはないからオーバーフローチェックは常に行うのが安全。
370デフォルトの名無しさん
2025/10/22(水) 08:11:36.58ID:UieYLCLo 溢れないんだからチェックは無駄じゃん
だから昔からチェックしない言語が使われてるんだろ
文句があるならここで暴れずに各言語に公式に言えばいい
だから昔からチェックしない言語が使われてるんだろ
文句があるならここで暴れずに各言語に公式に言えばいい
371デフォルトの名無しさん
2025/10/22(水) 09:13:09.53ID:hPyx8jr0 Rustは多段階に対応しているよ
デフォルトはデバックモードになりオーバーフロー含めた様々なチェックが充実
プロジェクト毎に常にオーバーフローチェックをする指定が可能
オーバーフローを扱う関数も多数あり
デフォルトはデバックモードになりオーバーフロー含めた様々なチェックが充実
プロジェクト毎に常にオーバーフローチェックをする指定が可能
オーバーフローを扱う関数も多数あり
372デフォルトの名無しさん
2025/10/22(水) 09:20:59.95ID:pPjVNDwq > 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
こういうマヌケはプロジェクトにオーバーフローチェックを行う指定なんてしないしオーバーフローを扱う関数を呼ぶこともないんだよなあ。
こういうマヌケはプロジェクトにオーバーフローチェックを行う指定なんてしないしオーバーフローを扱う関数を呼ぶこともないんだよなあ。
373デフォルトの名無しさん
2025/10/22(水) 09:30:10.17ID:hPyx8jr0 安全性の対策ができるかどうかが重視されている
安全性の対策のためにRustは次々と採用されている
対抗できるプログラミング言語が他にないからね
安全性の対策のためにRustは次々と採用されている
対抗できるプログラミング言語が他にないからね
374デフォルトの名無しさん
2025/10/22(水) 09:37:57.80ID:pPjVNDwq Rustを使えば安全という勘違い
375デフォルトの名無しさん
2025/10/22(水) 09:41:04.98ID:hPyx8jr0 Rustに勝てるプログラミング言語がないんだよ
だからこそIT大手がこぞってRustを採用した
だからこそIT大手がこぞってRustを採用した
376デフォルトの名無しさん
2025/10/22(水) 16:35:15.27ID:h019lk2V ○bitまで演算できるから大丈夫
だったのが、整数型をオーバーする●年問題とか起きたんだよ
そして今度は◯bitまで使えるから安心と結局は同じ事を繰り返してるだけ
なのに「ずっと使い続けても大丈夫」とか言えるものなんだな
だったのが、整数型をオーバーする●年問題とか起きたんだよ
そして今度は◯bitまで使えるから安心と結局は同じ事を繰り返してるだけ
なのに「ずっと使い続けても大丈夫」とか言えるものなんだな
377デフォルトの名無しさん
2025/10/22(水) 16:36:38.79ID:h019lk2V それプログラム言語で勝ちとか
何が言いたいのだか
何が言いたいのだか
378デフォルトの名無しさん
2025/10/22(水) 18:57:59.20ID:Hv/mNdUH >>279
> オーバーフローチェックのコストはとんでもなく高いんだよ。
> 劇的に遅くなることが判っているよ。
このスレのRust信者はコードが書けない馬鹿しかいないのでオーバーフローチェックのコストとやらがとんでもなく高いことの例示すらできないんだよなあ。俺が代わりに確認してやったぞ。
最適化レベル3 オーバーフローチェックなし(-Copt-level=3)
https://wandbox.org/permlink/Lqo6PEO1lj23qeVx
最適化レベル3 オーバーフローチェックあり(-Copt-level=3 -Coverflow-checks=yes)
https://wandbox.org/permlink/U5IYMurSn4jMq9rP
> オーバーフローチェックのコストはとんでもなく高いんだよ。
> 劇的に遅くなることが判っているよ。
このスレのRust信者はコードが書けない馬鹿しかいないのでオーバーフローチェックのコストとやらがとんでもなく高いことの例示すらできないんだよなあ。俺が代わりに確認してやったぞ。
最適化レベル3 オーバーフローチェックなし(-Copt-level=3)
https://wandbox.org/permlink/Lqo6PEO1lj23qeVx
最適化レベル3 オーバーフローチェックあり(-Copt-level=3 -Coverflow-checks=yes)
https://wandbox.org/permlink/U5IYMurSn4jMq9rP
379デフォルトの名無しさん
2025/10/22(水) 20:39:07.74ID:TnWf0U/l380デフォルトの名無しさん
2025/10/22(水) 21:14:42.57ID:Hv/mNdUH > コードを書けないのはおまえだろ
> その出力結果を見ろよ
何が起こってるか分からんとこういう反応w
> その出力結果を見ろよ
何が起こってるか分からんとこういう反応w
381デフォルトの名無しさん
2025/10/22(水) 21:44:59.81ID:5MvhTmyF 実行時間0秒ということはコンパイル時の定数化だろうね
コードを正しく書けない人が定数データをそのまま使って正しくベンチマーク計測できていない典型的な失敗例
コードを正しく書けない人が定数データをそのまま使って正しくベンチマーク計測できていない典型的な失敗例
382デフォルトの名無しさん
2025/10/22(水) 22:01:20.17ID:Hv/mNdUH383デフォルトの名無しさん
2025/10/22(水) 22:11:40.81ID:wCiIvwD8 比較ベンチを測るプログラムでコンパイル時に定数になってしまってるのは初心者あるあるでちよっと恥ずかしい
さらに定数になったことでオーバーフローチェックは軽いと主張している人は恥ずかしいを通り越してキチガイ
さらに定数になったことでオーバーフローチェックは軽いと主張している人は恥ずかしいを通り越してキチガイ
384デフォルトの名無しさん
2025/10/22(水) 22:25:59.29ID:Hv/mNdUH > さらに定数になったことでオーバーフローチェックは軽いと主張している人は恥ずかしいを通り越してキチガイ
コスト0でできるオーバーフローチェックの例を挙げただけだけど馬鹿だとこういう理解になんのなw
コスト0でできるオーバーフローチェックの例を挙げただけだけど馬鹿だとこういう理解になんのなw
385デフォルトの名無しさん
2025/10/22(水) 22:40:18.18ID:aaZcXuwG 連投クンは3つの過ちを犯している
①実行時間の比較をすべきところでコンパイル時に定数となるコードを書いてしまった
②その結果をもってコスト0だと主張
③その事例をもってオーバーフローチェックは重くないと主張
①実行時間の比較をすべきところでコンパイル時に定数となるコードを書いてしまった
②その結果をもってコスト0だと主張
③その事例をもってオーバーフローチェックは重くないと主張
386デフォルトの名無しさん
2025/10/22(水) 22:53:43.71ID:Hv/mNdUH > @実行時間の比較をすべきところでコンパイル時に定数となるコードを書いてしまった
オーバーフローチェックのコストの話だからコンパイル時にできるんなら御の字なんだよなあ。
> Aその結果をもってコスト0だと主張
俺が挙げた例ではその通り。
> Bその事例をもってオーバーフローチェックは重くないと主張
オーバーフローチェックの重い例はIDコロコロ君が挙げりゃ良いのにw
馬鹿って本気で馬鹿なんだなあという感想しかないわw
オーバーフローチェックのコストの話だからコンパイル時にできるんなら御の字なんだよなあ。
> Aその結果をもってコスト0だと主張
俺が挙げた例ではその通り。
> Bその事例をもってオーバーフローチェックは重くないと主張
オーバーフローチェックの重い例はIDコロコロ君が挙げりゃ良いのにw
馬鹿って本気で馬鹿なんだなあという感想しかないわw
387デフォルトの名無しさん
2025/10/22(水) 23:22:33.57ID:MJsEo9z/ 定数の同士の計算をコンパイル時にできるだけでしょ
普通は定数同士ではないためオーバーフローのチェックをコンパイル時にできるわけではないよ
普通は定数同士ではないためオーバーフローのチェックをコンパイル時にできるわけではないよ
388デフォルトの名無しさん
2025/10/23(木) 00:01:19.28ID:F7QtUS8E > 定数の同士の計算をコンパイル時にできるだけでしょ
同じコードで「最適化レベル3 オーバーフローチェックなし」では定数の同士の計算をコンパイル時にできていないので場合による。rustcは最適化が控えめなのでオーバーフローチェックを行ったほうがデータフロー解析を深いレベルで行なって効率良いコードを吐いてくれる可能性まである。
> 普通は定数同士ではないためオーバーフローのチェックをコンパイル時にできるわけではないよ
できる場合もあればできない場合もある。
安全性を蔑ろにして良いわけはないのでコンパイル時にできないのであれば実行時のオーバーフローチェックは行うべき。そのコストが問題になるのであればプログラマがオーバーフローしないことを保証してやれば良い。
同じコードで「最適化レベル3 オーバーフローチェックなし」では定数の同士の計算をコンパイル時にできていないので場合による。rustcは最適化が控えめなのでオーバーフローチェックを行ったほうがデータフロー解析を深いレベルで行なって効率良いコードを吐いてくれる可能性まである。
> 普通は定数同士ではないためオーバーフローのチェックをコンパイル時にできるわけではないよ
できる場合もあればできない場合もある。
安全性を蔑ろにして良いわけはないのでコンパイル時にできないのであれば実行時のオーバーフローチェックは行うべき。そのコストが問題になるのであればプログラマがオーバーフローしないことを保証してやれば良い。
389デフォルトの名無しさん
2025/10/23(木) 00:05:35.18ID:OBXMa/ZD 言い訳ばかりだな
オーバーヘッドを比較するための実行時間ベンチマークで
まともなプログラマーならばコンパイル時定数になるコードを書かない
オーバーヘッドを比較するための実行時間ベンチマークで
まともなプログラマーならばコンパイル時定数になるコードを書かない
390デフォルトの名無しさん
2025/10/23(木) 00:08:38.47ID:F7QtUS8E コンパイル時にオーバーフローチェックされた例が余程悔しかったと見えるw
391デフォルトの名無しさん
2025/10/23(木) 00:10:30.87ID:F7QtUS8E つか何で
> オーバーフローチェックのコストはとんでもなく高いんだよ。
という具体的を提示しないんだろうか?
> オーバーフローチェックのコストはとんでもなく高いんだよ。
という具体的を提示しないんだろうか?
392デフォルトの名無しさん
2025/10/23(木) 01:00:14.89ID:eRkhgGUb393デフォルトの名無しさん
2025/10/23(木) 22:48:26.28ID:qJPQXYyn 最適化レベル3 オーバーフローチェックなし
https://wandbox.org/permlink/LOcWoipF2aESW8HO
> 999999999 0.000000 sec.
最適化レベル3 オーバーフローチェックなし
https://wandbox.org/permlink/BcHSm4UljxoF26fp
> 999999999 0.192019 sec.
なるほど、確かに最適化控えめだなw
https://wandbox.org/permlink/LOcWoipF2aESW8HO
> 999999999 0.000000 sec.
最適化レベル3 オーバーフローチェックなし
https://wandbox.org/permlink/BcHSm4UljxoF26fp
> 999999999 0.192019 sec.
なるほど、確かに最適化控えめだなw
394デフォルトの名無しさん
2025/10/24(金) 10:56:06.36ID:1/8UQp8U > オーバーフローチェックのコストはとんでもなく高いんだよ。
clangより遅いRustがますます遅くなっちゃうってことか。
でもそれで安全性と天秤に掛けて安全性捨てて良いって理屈にはならんと思うが。
clangより遅いRustがますます遅くなっちゃうってことか。
でもそれで安全性と天秤に掛けて安全性捨てて良いって理屈にはならんと思うが。
395デフォルトの名無しさん
2025/10/24(金) 11:39:42.14ID:pf7VrHln Rustはオーバーフローに関しても最も充実している言語
まずデフォルトではデバッグモードとなりオーバーフローを含めた様々な問題をチェックして指摘してくれる
次にオーバーフローを取り扱う関数が30個以上と充実しておりオーバーフロー時に様々な対処ができるようになっている
さらにオーバーフローチェック強制モードを指定することもできる
まずデフォルトではデバッグモードとなりオーバーフローを含めた様々な問題をチェックして指摘してくれる
次にオーバーフローを取り扱う関数が30個以上と充実しておりオーバーフロー時に様々な対処ができるようになっている
さらにオーバーフローチェック強制モードを指定することもできる
396デフォルトの名無しさん
2025/10/24(金) 12:33:51.25ID:1/8UQp8U 肝心のユーザーが
> 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
こんなこと言ってるようじゃせっかくの機能も台無し。
こういうユーザーはオーバーフローを軽視しているので、それを扱う関数を呼んだりオーバーフローチェック強制モードを指定することもしない。
> 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
こんなこと言ってるようじゃせっかくの機能も台無し。
こういうユーザーはオーバーフローを軽視しているので、それを扱う関数を呼んだりオーバーフローチェック強制モードを指定することもしない。
397デフォルトの名無しさん
2025/10/24(金) 12:54:38.21ID:yjIuofsm Rustより優れているプログラミング言語がなく出現しそうにない
IT大手をはじめとして各社が次々とRust採用に踏み切った理由
IT大手をはじめとして各社が次々とRust採用に踏み切った理由
398デフォルトの名無しさん
2025/10/24(金) 21:32:19.69ID:Rjl1Yp+F 何をもって優れてるというのか知らんけど
採用される率だったら圧倒的に Python や JavaScript じゃないの?
採用される率だったら圧倒的に Python や JavaScript じゃないの?
399デフォルトの名無しさん
2025/10/24(金) 22:24:54.90ID:sOhxBEuL 普及している言語を採用するのは当たり前
普及してない言語をわざわざ採用するのは他の言語では代わりにならないほどメリットがある時
普及してない言語をわざわざ採用するのは他の言語では代わりにならないほどメリットがある時
400デフォルトの名無しさん
2025/10/24(金) 23:11:41.06ID:dp05dd3l > 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
この程度の実行時検出もできなくて「メリットがある」と言い張ってて草w
この程度の実行時検出もできなくて「メリットがある」と言い張ってて草w
401デフォルトの名無しさん
2025/10/25(土) 00:27:47.26ID:dZEZZMvJ 見ていてなんとなくわかってきた
プログラミング言語として敵わないからよくわからない言いがかりをつけてずっと粘着しているだけのような
プログラミング言語として敵わないからよくわからない言いがかりをつけてずっと粘着しているだけのような
402デフォルトの名無しさん
2025/10/25(土) 08:20:17.15ID:7tgM5Cd8 言語の優劣(笑)にこだわってる子が一人だけおるっていう状況かな
自己のアイデンティティを借り物で満たそうとしちゃってるね
自分がRustの作者ってんならともかく、単なるユーザでしかないのにね
自己のアイデンティティを借り物で満たそうとしちゃってるね
自分がRustの作者ってんならともかく、単なるユーザでしかないのにね
403デフォルトの名無しさん
2025/10/25(土) 08:45:36.74ID:0A7PnaiQ >>395
オーバーフローに関してそこまで充実していない言語も多いけど、なぜか充実している言語の方をしつこく叩いてるコンプレックス持ちがおるから面白い。
オーバーフローに関してそこまで充実していない言語も多いけど、なぜか充実している言語の方をしつこく叩いてるコンプレックス持ちがおるから面白い。
404デフォルトの名無しさん
2025/10/25(土) 11:38:38.14ID:APUPz67M 安全性分かってない奴がRust盲信してて笑われてるだけw
405デフォルトの名無しさん
2025/10/25(土) 11:52:03.54ID:HsDC01zZ >>52
> Rustが広まってる理由はC並みの高速実行をゼロコスト抽象化によるコードの可読性・保守性・開発効率の高さで実現したことにあるからね
> 安全性などはついでのオマケ
IDコロコロ君安全性は屁のように考えてるみたいだけど、だったら配列アクセスのたびに範囲チェックで無駄なコスト払ってるRustは良い言語ではないんじゃね? それかunsafeでポインタアクセスするのが正義?
> Rustが広まってる理由はC並みの高速実行をゼロコスト抽象化によるコードの可読性・保守性・開発効率の高さで実現したことにあるからね
> 安全性などはついでのオマケ
IDコロコロ君安全性は屁のように考えてるみたいだけど、だったら配列アクセスのたびに範囲チェックで無駄なコスト払ってるRustは良い言語ではないんじゃね? それかunsafeでポインタアクセスするのが正義?
406デフォルトの名無しさん
2025/10/25(土) 11:53:06.73ID:H3w3YKY0 安全性のためにRustを採用するところが世界的にどんどん増えているのはなぜだろう?
407デフォルトの名無しさん
2025/10/25(土) 11:59:12.87ID:APUPz67M Rustの普及と
> 安全性などはついでのオマケ
とか言っちゃう馬鹿が笑われてるのは別の話だゾw
> 安全性などはついでのオマケ
とか言っちゃう馬鹿が笑われてるのは別の話だゾw
408デフォルトの名無しさん
2025/10/25(土) 12:07:43.62ID:LnBfHi83 >>405
Rustは配列などのアクセスもゼロコスト抽象化で速さと安全性を両立してるよん
Rustは配列などのアクセスもゼロコスト抽象化で速さと安全性を両立してるよん
409デフォルトの名無しさん
2025/10/25(土) 12:58:15.22ID:APUPz67M >>408はrustcの出力見たことない人かな?
配列の範囲チェックって
https://godbolt.org/z/6johWYEce
> cmpq %rsi, %rdx
> jae .LBB0_7
↑がそれ。
ちなみにCだとこんなだ。
https://godbolt.org/z/3q4rv8P3M
配列の範囲チェックって
https://godbolt.org/z/6johWYEce
> cmpq %rsi, %rdx
> jae .LBB0_7
↑がそれ。
ちなみにCだとこんなだ。
https://godbolt.org/z/3q4rv8P3M
410デフォルトの名無しさん
2025/10/25(土) 13:03:29.33ID:APUPz67M411デフォルトの名無しさん
2025/10/25(土) 17:01:14.86ID:L+Kq+g5v C言語は、ポインタが、ヤバイくて、危ないよね。
RUST言語は、ポインタが、無いのなら、安全ぢゃねえ?
RUST言語は、ポインタが、無いのなら、安全ぢゃねえ?
412デフォルトの名無しさん
2025/10/25(土) 17:40:57.11ID:zF/r+ywr413デフォルトの名無しさん
2025/10/25(土) 18:04:23.93ID:zF/r+ywr 個人開発ならともかく、仕事で使う言語は自分の好みじゃなくて組織によって決まるものだよね
Rustが好きでも、Goのプロジェクトに入ったらGoを書く、Javaのプロジェクトに入ったらJavaを書くのがプロ
宣言的なコードが好きだからといって、OOPの言語や、for文 と if文 をひたすら書かされる言語では仕事したくないです、なんてのは社会人としてだめでしょ
(Rustを使える企業に転職する、という選択ができる人は別だけど)
Rustが好きでも、Goのプロジェクトに入ったらGoを書く、Javaのプロジェクトに入ったらJavaを書くのがプロ
宣言的なコードが好きだからといって、OOPの言語や、for文 と if文 をひたすら書かされる言語では仕事したくないです、なんてのは社会人としてだめでしょ
(Rustを使える企業に転職する、という選択ができる人は別だけど)
414デフォルトの名無しさん
2025/10/25(土) 19:23:29.07ID:KXTmWn4e 企業や立場によってピンキリだよ
そういう歯車として使われる人もいればそうでない人もいる
そういう歯車として使われる人もいればそうでない人もいる
415デフォルトの名無しさん
2025/10/25(土) 19:50:23.21ID:SFAxzZT/ どの分野でもAとBの比較の話をしている時に同じことが起きてるな
純粋にそれぞれの特徴やメリットで優劣を比較すればいい
ところが不利になった側はどの話でもこう言い出す
Aを使うやつはXXXだ!Aの価値よりおまえの価値はどうなんだ!
AとBの比較から逃避して人間の攻撃を始める
純粋にそれぞれの特徴やメリットで優劣を比較すればいい
ところが不利になった側はどの話でもこう言い出す
Aを使うやつはXXXだ!Aの価値よりおまえの価値はどうなんだ!
AとBの比較から逃避して人間の攻撃を始める
416デフォルトの名無しさん
2025/10/25(土) 19:55:57.53ID:waw5U/cg なんか話がズレまくってるなここ
417デフォルトの名無しさん
2025/10/25(土) 19:56:03.79ID:N83OYtmK > オーバーフローチェックのコストはとんでもなく高いんだよ。
> 劇的に遅くなることが判っているよ。
とか
> 安全性などはついでのオマケ
とか言ってる人は根本的なところがわかってないので言語を選定したりプロジェクトを先導する立場に立たせてはダメ。
> 劇的に遅くなることが判っているよ。
とか
> 安全性などはついでのオマケ
とか言ってる人は根本的なところがわかってないので言語を選定したりプロジェクトを先導する立場に立たせてはダメ。
418デフォルトの名無しさん
2025/10/25(土) 20:04:36.75ID:nC0XVvFS 安全性と速さの両立が最重要だもんな
利害対立し合うIT大手企業が珍しく揃ってそのために選択したRustを用いるのが正しい
利害対立し合うIT大手企業が珍しく揃ってそのために選択したRustを用いるのが正しい
419デフォルトの名無しさん
2025/10/25(土) 20:25:04.83ID:N83OYtmK > 安全性と速さの両立が最重要だもんな
↑馬鹿発見w
↑馬鹿発見w
420デフォルトの名無しさん
2025/10/25(土) 20:33:41.34ID:TVzQqIlO 安全性と速さだけではダメ
高い抽象度で読み書きしやすいことが大切
Rustはそこを満たしたからこそ新たな移行先になった
高い抽象度で読み書きしやすいことが大切
Rustはそこを満たしたからこそ新たな移行先になった
421デフォルトの名無しさん
2025/10/25(土) 22:07:09.40ID:APUPz67M422デフォルトの名無しさん
2025/10/25(土) 22:29:45.32ID:OtGrSoGw423デフォルトの名無しさん
2025/10/25(土) 22:31:29.44ID:vZIJ37nc 言語の良し悪しを語ってる時点で草なんよね
だって俺らは与えられた言語で仕事するだけだから
C++でもPerlでもPHPでも書くだけだから
You play with the cards you're dealt.
だって俺らは与えられた言語で仕事するだけだから
C++でもPerlでもPHPでも書くだけだから
You play with the cards you're dealt.
424デフォルトの名無しさん
2025/10/25(土) 22:36:24.17ID:Oc43Pjaf >>423
IT土方は仕事を選べないもんな
IT土方は仕事を選べないもんな
425デフォルトの名無しさん
2025/10/25(土) 22:58:03.75ID:vZIJ37nc はい(真顔)
426デフォルトの名無しさん
2025/10/25(土) 23:15:04.51ID:9ui6NOtA 土方が無理に言語の優劣の話にクビを突っ込まなくてもいいけど
新たな優秀な言語が出現したチャンスと捉えて習得して土方を脱出する手もある
新たな優秀な言語が出現したチャンスと捉えて習得して土方を脱出する手もある
427デフォルトの名無しさん
2025/10/25(土) 23:23:22.89ID:RL99M0X7 > 普通のプログラミングでunsafeを使うことはない
と言ってる人はunsafeが使われてる標準ライブラリも使わないのかな?
と言ってる人はunsafeが使われてる標準ライブラリも使わないのかな?
428デフォルトの名無しさん
2025/10/25(土) 23:28:59.12ID:JGY3STeT429デフォルトの名無しさん
2025/10/25(土) 23:40:35.95ID:RL99M0X7 > 普通のRustプログラミングでunsafeは使われない
ああ低レイヤに縁のない人か
ああ低レイヤに縁のない人か
430デフォルトの名無しさん
2025/10/25(土) 23:53:30.01ID:EfkNjJ0Z 低レイヤの意味は複数あるけど
いずれも可能な限りunsafeは使われないね
効率面でunsafe必要になるパターン一般化されてプログラムの外部へ切り出されてライブラリ化されるよ
そうしてできたのがRustの標準ライブラリ
いずれも可能な限りunsafeは使われないね
効率面でunsafe必要になるパターン一般化されてプログラムの外部へ切り出されてライブラリ化されるよ
そうしてできたのがRustの標準ライブラリ
431デフォルトの名無しさん
2025/10/26(日) 01:56:48.53ID:GI8xQK7J 画像処理でピクセルを走査するようなケースだと unsafe なポインタ操作は必須じゃないの?
インデックスアクセスだと範囲チェックのコストがかかるし
単に1画素を1画素にマップするだけならほぼノーコストでイテレーターを使えるだろうけど、周辺画素を参照する操作もよくあるから単純なイテレーターは使えないし
インデックスアクセスだと範囲チェックのコストがかかるし
単に1画素を1画素にマップするだけならほぼノーコストでイテレーターを使えるだろうけど、周辺画素を参照する操作もよくあるから単純なイテレーターは使えないし
432デフォルトの名無しさん
2025/10/26(日) 01:59:51.53ID:GI8xQK7J あとはCとのFFI
過去に書かれたC/C++資産の利用はRustでやりたいことの一つだろうし、これは流石に標準ライブラリのような「一般的なユーザーは使わない」ものでは無いと思う
過去に書かれたC/C++資産の利用はRustでやりたいことの一つだろうし、これは流石に標準ライブラリのような「一般的なユーザーは使わない」ものでは無いと思う
433デフォルトの名無しさん
2025/10/26(日) 02:39:48.97ID:PJJMD6bT Rustのunsafeは他の言語と同じ様の状況になりますよという意味で、コンパイルが通っても安全性を保証しませんという意味。
つまり他の言語と同様に、unsafeな部分の安全性は人間が保証してください、がRustのunsafe。
したがって他の言語とリンクする場合にその境界部分がunsafeになるのは当たり前でこれを避けることはできない。
しかしパターン化できる場合はunsafe使用部分をライブラリの中に閉じ込めてそれを安全に用いることもできる。
例えばPythonのライブラリをRustのPyO3クレートで作成する場合など。
つまり他の言語と同様に、unsafeな部分の安全性は人間が保証してください、がRustのunsafe。
したがって他の言語とリンクする場合にその境界部分がunsafeになるのは当たり前でこれを避けることはできない。
しかしパターン化できる場合はunsafe使用部分をライブラリの中に閉じ込めてそれを安全に用いることもできる。
例えばPythonのライブラリをRustのPyO3クレートで作成する場合など。
434デフォルトの名無しさん
2025/10/26(日) 03:35:04.78ID:uL5v2PLc 低レイヤに縁がない人がオーバーフローチェックを否定してるのがわけわからんのよねw
低レイヤ担当は色々手段を尽くして実行効率が良くて安全なものを提供してると思うんだけどそれに乗っかってる側は自分が書いてるコードの実行効率を気にするよりは安全性を重視するべきではないの?
低レイヤ担当は色々手段を尽くして実行効率が良くて安全なものを提供してると思うんだけどそれに乗っかってる側は自分が書いてるコードの実行効率を気にするよりは安全性を重視するべきではないの?
435デフォルトの名無しさん
2025/10/26(日) 04:33:18.62ID:SK2IH7bS また言語の話で不利になったため逃げて、
妄想上の人の話へとすり替えようとしてる
妄想上の人の話へとすり替えようとしてる
436デフォルトの名無しさん
2025/10/26(日) 09:10:11.83ID:+y7r90/A もうQiita関係ないな
437デフォルトの名無しさん
2025/10/26(日) 20:55:09.12ID:v+5C5Bjl IDコロコロくんは面白いなw
438デフォルトの名無しさん
2025/10/27(月) 06:58:16.48ID:x+p8Wgca せやな
439デフォルトの名無しさん
2025/10/29(水) 20:12:21.16ID:oGx2PQGm 『Cから学ぶRustの良さ』
3年前に書かれた記事だがトレンドに挙がってたので初めて見た。
酷い記事だなあ。なんで90人もいいねしてんの?
3年前に書かれた記事だがトレンドに挙がってたので初めて見た。
酷い記事だなあ。なんで90人もいいねしてんの?
440デフォルトの名無しさん
2025/10/29(水) 23:35:08.75ID:xnDexBBj >>439
C/C++は弱い型付け言語なのでサイズの異なる型への自動変換が起きることに加えて8bit環境以外では
Cでは sizeof('a') == sizeof(123)
C++では sizeof('a') != sizeof(123)
などの無茶苦茶な仕様が混乱に拍車をかけているよな
C/C++は弱い型付け言語なのでサイズの異なる型への自動変換が起きることに加えて8bit環境以外では
Cでは sizeof('a') == sizeof(123)
C++では sizeof('a') != sizeof(123)
などの無茶苦茶な仕様が混乱に拍車をかけているよな
441デフォルトの名無しさん
2025/10/29(水) 23:46:47.92ID:kkKNfkqN AIに聞いたら聞き返された
もしよろしければ、あなたが特に「酷い」と感じた記事の具体的な内容や論点について教えていただけますか?
それについて、Rustの技術的な視点から掘り下げて解説することもできます。
もしよろしければ、あなたが特に「酷い」と感じた記事の具体的な内容や論点について教えていただけますか?
それについて、Rustの技術的な視点から掘り下げて解説することもできます。
442デフォルトの名無しさん
2025/10/30(木) 01:06:50.83ID:Hkp2/Mla ChatGPTに
> この記事読めますか? https://qiita.com/uv_ussy/items/71248bdd081089b7ba09
> 前述の記事には誤りと思われる個所が複数あると思います。気が付いた点があれば挙げてみてください。
と訊いたら
> 確認できた範囲で、記事「Rust と C の比較(著:ushijima ryosuke/uv_ussy)に 誤りまたは誤解を招きやすい記述 がいくつかあります。いくつか挙げますので、もしよければさらに掘り下げましょう。
と言って気になった点というのを 5点挙げてくれたけどな? >>441はどういう聞き方したんだろう?
> この記事読めますか? https://qiita.com/uv_ussy/items/71248bdd081089b7ba09
> 前述の記事には誤りと思われる個所が複数あると思います。気が付いた点があれば挙げてみてください。
と訊いたら
> 確認できた範囲で、記事「Rust と C の比較(著:ushijima ryosuke/uv_ussy)に 誤りまたは誤解を招きやすい記述 がいくつかあります。いくつか挙げますので、もしよければさらに掘り下げましょう。
と言って気になった点というのを 5点挙げてくれたけどな? >>441はどういう聞き方したんだろう?
443デフォルトの名無しさん
2025/10/30(木) 01:16:31.30ID:L8pN1QHs444デフォルトの名無しさん
2025/10/30(木) 01:40:41.25ID:Hkp2/Mla >>443
俺はお前が「AIに聞いたら聞き返された」って馬鹿なこと言ってるから面白がってるだけよ?
俺はお前が「AIに聞いたら聞き返された」って馬鹿なこと言ってるから面白がってるだけよ?
445デフォルトの名無しさん
2025/10/30(木) 01:43:15.62ID:Hkp2/Mla > レスの全文を正確にコピペしただけ
アドレスも貼らんでAIが理解してくれるって認識かw
アドレスも貼らんでAIが理解してくれるって認識かw
446デフォルトの名無しさん
2025/10/30(木) 02:40:13.26ID:pCIdJOGw447デフォルトの名無しさん
2025/10/30(木) 08:28:20.42ID:lzfhCIfj > C/C++は弱い型付け言語なので
それはそう。
> サイズの異なる型への自動変換が起きることに加えて
サイズの同じ異なる型への自動変換もあるからサイズ関係ないぞ。件の記事はなんでかサイズで説明してるが。
> 8bit環境以外では
> Cでは sizeof('a') == sizeof(123)
> C++では sizeof('a') != sizeof(123)
> などの無茶苦茶な仕様が混乱に拍車をかけているよな
件の記事ではCとC++の仕様の違いについて言及してないね。「8bit環境以外では」も意味不明。結論的には>>440はバカ。
それはそう。
> サイズの異なる型への自動変換が起きることに加えて
サイズの同じ異なる型への自動変換もあるからサイズ関係ないぞ。件の記事はなんでかサイズで説明してるが。
> 8bit環境以外では
> Cでは sizeof('a') == sizeof(123)
> C++では sizeof('a') != sizeof(123)
> などの無茶苦茶な仕様が混乱に拍車をかけているよな
件の記事ではCとC++の仕様の違いについて言及してないね。「8bit環境以外では」も意味不明。結論的には>>440はバカ。
448デフォルトの名無しさん
2025/10/30(木) 08:58:26.48ID:DCpoislO Cの時点でぐちゃぐちゃなのにC++が互換性を持たせずに変えてしまった部分だからめちゃくちゃになってるところ
449デフォルトの名無しさん
2025/10/31(金) 08:16:40.44ID:dfFjY6H8 >>439の記事の筆者名検索するとFaceBookのページ出てくるけど国立大学で情報工学専攻でこれというのはいろいろ考えてしまうな。
450デフォルトの名無しさん
2025/10/31(金) 23:01:52.88ID:dfFjY6H8 IDコロコロ君はRustスレにも迷惑掛けてるのかw
もう自分を迷惑な人材として認識しておとなしくすりゃ良いのにねw
もう自分を迷惑な人材として認識しておとなしくすりゃ良いのにねw
451デフォルトの名無しさん
2025/11/01(土) 10:19:13.22ID:QCwdg/pu 12月1日から25日まで、みんなで技術記事を投稿して、カレンダーを埋め尽くそう
qiita.com/advent-calendar/2025
完走チャレンジ賞の達成条件は以下です。
・1人で15~24記事投稿した方を表彰します。
プレゼントカレンダーは2025/10/31~2025/12/31に記事を投稿
期間が2つある
qiita.com/advent-calendar/2025
完走チャレンジ賞の達成条件は以下です。
・1人で15~24記事投稿した方を表彰します。
プレゼントカレンダーは2025/10/31~2025/12/31に記事を投稿
期間が2つある
452デフォルトの名無しさん
2025/11/01(土) 12:59:34.87ID:wOU/NDvb >>447
それが意味不明で分からないなら馬鹿はお前の方では?
それが意味不明で分からないなら馬鹿はお前の方では?
453デフォルトの名無しさん
2025/11/01(土) 13:07:22.38ID:KM9f//71 『stdio.hやiostream.hの中身を見る方法』
/usr/include/ かINCLUDEが指してる先見に行った方が早くね?
/usr/include/ かINCLUDEが指してる先見に行った方が早くね?
454デフォルトの名無しさん
2025/11/01(土) 13:40:27.56ID:IJ9tr23i > 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もバカ。
> 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デフォルトの名無しさん
2025/11/01(土) 13:50:33.72ID:B/e2fvdA そういう基本的な部分でCとC++の扱いが違うなんて失敗言語だよなあ
456デフォルトの名無しさん
2025/11/01(土) 15:57:18.25ID:QSMh1nGC C++では'a'の型はchar
知らんまま書いとったわw
知らんまま書いとったわw
457デフォルトの名無しさん
2025/11/02(日) 13:42:32.21ID:zw4M8eHQ 『データ構造入門(1) - ポインタ・配列・構造体』
https://qiita.com/juna1013/items/406723a90ceeff3b04a9#comment-336c986ee3daed589a0f
> 学習のためなら、一度はコンパイルして実行した方がよいと思います。
> C++ならコンパイルエラーになってくれます。
コンパイル確認しろはその通りだがCのタグついててC++のタグはない記事のコードになんでC++でコンパイルなんて言うかなあ?
>>455 同様CとC++が違う言語と認識できてない人かな。
https://qiita.com/juna1013/items/406723a90ceeff3b04a9#comment-336c986ee3daed589a0f
> 学習のためなら、一度はコンパイルして実行した方がよいと思います。
> C++ならコンパイルエラーになってくれます。
コンパイル確認しろはその通りだがCのタグついててC++のタグはない記事のコードになんでC++でコンパイルなんて言うかなあ?
>>455 同様CとC++が違う言語と認識できてない人かな。
458デフォルトの名無しさん
2025/11/02(日) 14:35:56.04ID:Z91049yH459デフォルトの名無しさん
2025/11/02(日) 14:53:51.62ID:zw4M8eHQ CとC++が違う言語と認識できてない人が早速現れたw
460デフォルトの名無しさん
2025/11/02(日) 15:01:26.49ID:QN/Mkn5m >>459は誰に対して言ってるんだ?
461デフォルトの名無しさん
2025/11/02(日) 15:18:30.34ID:Z91049yH CでもC++でもint genderに"man" や"woman"を入れるべきではない
エラーにできない言語を使うべきではない
エラーにできない言語を使うべきではない
462デフォルトの名無しさん
2025/11/02(日) 20:42:12.68ID:qZwCnQv/ C言語でポインタ値をintのオブジェクトに代入するべきでないという話はCの規格やコンパイラの吐いた警告で説明できるのだしルールも異なる他の言語引き合いに出す意味はないんだよなあ。
また、C言語は使うべきでないという個人の主張はC言語を学ぼうとしてるQiitaの記事とは関係ないから他所でやるべき。
また、C言語は使うべきでないという個人の主張はC言語を学ぼうとしてるQiitaの記事とは関係ないから他所でやるべき。
463デフォルトの名無しさん
2025/11/02(日) 22:02:55.28ID:wB1CjVuc Cコンパイラしかない組み込み用CPUを使う場合しかCを使う機会ないよな
ほとんどの人にCは不要という現実を教えてあげたほうがよい
ほとんどの人にCは不要という現実を教えてあげたほうがよい
464デフォルトの名無しさん
2025/11/02(日) 22:10:57.03ID:qZwCnQv/ >>463は主要な部分をCで組まれたLinuxも使わないで済む世界の住人かな
465デフォルトの名無しさん
2025/11/02(日) 22:27:16.77ID:ONf1Jw+O 現在LinuxのカーネルモジュールはRustで書くのがメインとなってるよ
カーネルコアはCのままだけど我々がコードを書く部分はカーネルモジュール
カーネルコアはCのままだけど我々がコードを書く部分はカーネルモジュール
466デフォルトの名無しさん
2025/11/02(日) 22:57:14.90ID:zw4M8eHQ > 現在LinuxのカーネルモジュールはRustで書くのがメインとなってるよ
> カーネルコアはCのままだけど我々がコードを書く部分はカーネルモジュール
馬鹿なこと投稿する前にAIに「LinuxのRustの導入ってどれくらい進んでるの? 」とか訊いたら良いのにねw
> カーネルコアはCのままだけど我々がコードを書く部分はカーネルモジュール
馬鹿なこと投稿する前にAIに「LinuxのRustの導入ってどれくらい進んでるの? 」とか訊いたら良いのにねw
467デフォルトの名無しさん
2025/11/02(日) 23:37:05.58ID:no5erObI Linuxの新たなカーネルモジュールはRustで書かれるようになったな
カーネルモジュールのせいで落ちたりセキュリティホールになることを嫌って新たなものから安全性の高いRustで書くことになった
カーネルモジュールの一つであるデバイスドライバもRust製へ
カーネルモジュールのせいで落ちたりセキュリティホールになることを嫌って新たなものから安全性の高いRustで書くことになった
カーネルモジュールの一つであるデバイスドライバもRust製へ
468デフォルトの名無しさん
2025/11/03(月) 03:05:07.69ID:yMsGdutJ rustきっしょいライブラリやめてC++みてえなのに置き換えりゃいいのに
469デフォルトの名無しさん
2025/11/03(月) 13:41:34.84ID:3NKnizwX Rustはgithubにある面白そうなリポジトリでgit cloneしてビルドしてみると外部クレートでビルドが失敗するパターンが多くて損してる希ガス。
Rust開発チームの方針なのだろうけどよく使われるライブラリは保守まで組織的に面倒見る体制は必要だと思う。
Rust開発チームの方針なのだろうけどよく使われるライブラリは保守まで組織的に面倒見る体制は必要だと思う。
470デフォルトの名無しさん
2025/11/03(月) 13:59:58.31ID:bnpHrxT9 >>469
Rustはバージョン管理がしっかりしてるからビルド失敗に滅多に出逢わないよ
バージョン指定していない古いexampleでコンパイルできなかったことがあるくらいかな
具体的に何が失敗したの?
Rustはバージョン管理がしっかりしてるからビルド失敗に滅多に出逢わないよ
バージョン指定していない古いexampleでコンパイルできなかったことがあるくらいかな
具体的に何が失敗したの?
471デフォルトの名無しさん
2025/11/03(月) 14:13:09.36ID:3NKnizwX >>470
chatgptに訊いてやったからあとは自分で調べてね。
> あなた:
> githubにあるRustで書かれたリポジトリで外部クレートが原因でビルドが通らない問題ってstackoverflowとかで質問に上がることってありますか?
> ChatGPT:
> はい、かなり頻繁にあります。
> Rustのプロジェクト(特にGitHubで公開されているオープンソースのもの)では、外部クレート(依存クレート)に起因するビルドエラーは非常に一般的で、Stack OverflowやGitHub Issuesなどでよく質問・報告されています。
(以下略)
chatgptに訊いてやったからあとは自分で調べてね。
> あなた:
> githubにあるRustで書かれたリポジトリで外部クレートが原因でビルドが通らない問題ってstackoverflowとかで質問に上がることってありますか?
> ChatGPT:
> はい、かなり頻繁にあります。
> Rustのプロジェクト(特にGitHubで公開されているオープンソースのもの)では、外部クレート(依存クレート)に起因するビルドエラーは非常に一般的で、Stack OverflowやGitHub Issuesなどでよく質問・報告されています。
(以下略)
472デフォルトの名無しさん
2025/11/03(月) 14:59:51.90ID:hc/0IVOY RustはCargo.tomlでversionなど指定していれば古い昔のものでもコンパイルが通る。
指定してなければ最新のversionのものを使おうとするからコンパイルの通らないことが起きる。
ここまでは外部クレートのせいではなくそれ自身の問題。
指定してなければ最新のversionのものを使おうとするからコンパイルの通らないことが起きる。
ここまでは外部クレートのせいではなくそれ自身の問題。
473デフォルトの名無しさん
2025/11/03(月) 16:33:56.23ID:T5VYthB7 ChatGPTは依存クレートに起因するビルドエラーの原因を複数挙げるけどこれで論破したつもりかな?
474デフォルトの名無しさん
2025/11/03(月) 16:38:27.98ID:T5VYthB7475デフォルトの名無しさん
2025/11/03(月) 16:40:19.30ID:T5VYthB7476デフォルトの名無しさん
2025/11/03(月) 17:34:50.05ID:hc/0IVOY Rustのよく使われてるライブラリなら現実に問題が起きていないから妄想を語っても意味ないかと。
477デフォルトの名無しさん
2025/11/03(月) 17:57:47.09ID:T5VYthB7 IDコロコロ君Rustスレでは複おじと呼ばれてて「もはや一周回ってRustアンチまである」とまで言われてるのは草w
478デフォルトの名無しさん
2025/11/03(月) 19:34:23.76ID:rQkJBpL5 相当昔だけどいくつかのproc_macroが意図せず公開されていたsynのプライベートアイテムに依存してて
synがしれっとバージョンアップでパスを消して以降ビルド通らなくなるみたいなことはあった
https://github.com/nushell/nushell/issues/2867
synがしれっとバージョンアップでパスを消して以降ビルド通らなくなるみたいなことはあった
https://github.com/nushell/nushell/issues/2867
479デフォルトの名無しさん
2025/11/03(月) 20:13:52.80ID:hc/0IVOY >>478
synが内部でproc_macro2のTokenStreamをTokenStream2として用いていたものなどが外にも見えてしまっていて、正常に見えなくしたら、それを使ってしまっていたところが影響だね。
docには公開していなかったから、たとえ偶然見えてるものでもdocになければ使わない、が教訓だろうか。
synが内部でproc_macro2のTokenStreamをTokenStream2として用いていたものなどが外にも見えてしまっていて、正常に見えなくしたら、それを使ってしまっていたところが影響だね。
docには公開していなかったから、たとえ偶然見えてるものでもdocになければ使わない、が教訓だろうか。
480デフォルトの名無しさん
2025/11/03(月) 22:48:49.69ID:3NKnizwX > Rustのよく使われてるライブラリなら現実に問題が起きていないから妄想を語っても意味ないかと。
chatgptに訊いてみた。
「githubにあるRustで書かれたリポジトリで外部クレートが原因でビルドが通らない問題ってstackoverflowとかで質問に上がることってありますか? よく使われてるライブラリなら現実に問題が起きていないとも聞きますが本当?」
「現実に問題が起きていないと問題が少ないは違う話だと思いますがよく使われてるライブラリなら現実に問題が起きていないというのは本当?」
> 結論から言うと:
> 「よく使われているライブラリなら現実にまったく問題が起きていない」――これは厳密には“本当ではありません”。
chatgptに訊いてみた。
「githubにあるRustで書かれたリポジトリで外部クレートが原因でビルドが通らない問題ってstackoverflowとかで質問に上がることってありますか? よく使われてるライブラリなら現実に問題が起きていないとも聞きますが本当?」
「現実に問題が起きていないと問題が少ないは違う話だと思いますがよく使われてるライブラリなら現実に問題が起きていないというのは本当?」
> 結論から言うと:
> 「よく使われているライブラリなら現実にまったく問題が起きていない」――これは厳密には“本当ではありません”。
481デフォルトの名無しさん
2025/11/03(月) 23:46:31.21ID:hc/0IVOY 事例を出せないで言いがかりはよくないと思うよ。
482デフォルトの名無しさん
2025/11/04(火) 00:30:02.94ID:E9W6B+g4 > 事例を出せないで言いがかりはよくないと思うよ。
ChatGPTに訊くと具体例ずらずら挙げてくれるのは無視w
ChatGPTに訊くと具体例ずらずら挙げてくれるのは無視w
483デフォルトの名無しさん
2025/11/04(火) 00:43:54.88ID:ZvWB9/fQ 出せば一番話が早いのに具体例を挙げられないままグダグダしてる場合は具体例が無い時
経験則からほぼ間違いない
経験則からほぼ間違いない
484デフォルトの名無しさん
2025/11/04(火) 01:51:55.74ID:XaS3I+z9 経験則から言えばワッチョイ付いてるとほぼ寄り付かなくなるのでおすすめ
485デフォルトの名無しさん
2025/11/04(火) 18:09:29.41ID:UjXgHgdH 『Rustの並行処理』
並行処理と並列処理の違いも理解してない感じの記事。
複雑な処理というのをsleepにしてるせいで更にわけわからんことになってるなw
Rust信者が程度低いのはデフォなのでまあこんなもんかw
並行処理と並列処理の違いも理解してない感じの記事。
複雑な処理というのをsleepにしてるせいで更にわけわからんことになってるなw
Rust信者が程度低いのはデフォなのでまあこんなもんかw
486デフォルトの名無しさん
2025/11/04(火) 18:25:51.58ID:i9vkyXpe 見てないけど並行処理は通信待ちなど待ちがある時に有用
計測などでその待ちを並行処理のsleepで代替することは一般的に行われている
計測などでその待ちを並行処理のsleepで代替することは一般的に行われている
487デフォルトの名無しさん
2025/11/04(火) 20:09:32.41ID:UjXgHgdH 見ないでトンチンカンな投稿はしないでいいんだゾw
488デフォルトの名無しさん
2025/11/04(火) 23:34:25.16ID:RFT7mzW/ >>485
はじめに だけ見てゲンナリしたわ
はじめに だけ見てゲンナリしたわ
489デフォルトの名無しさん
2025/11/05(水) 10:15:44.00ID:hidEShXl ひとつの記事に「並行処理」と「並列化」が並んでて、違いを説明してるわけでもないのは本気で分かってない感じ。
コメ欄での指摘の一つもないのはQiitaでのRust勢の程度を顕しているな。
コメ欄での指摘の一つもないのはQiitaでのRust勢の程度を顕しているな。
490デフォルトの名無しさん
2025/11/05(水) 20:38:33.68ID:GH+s81TL Qiita Conference 2025 Autumnって聴いた奴おる?
ツイッタみても反応らしいのないんだよなw
ツイッタみても反応らしいのないんだよなw
491デフォルトの名無しさん
2025/11/05(水) 20:50:17.80ID:aAbI6hk4 タイトルが並行処理
しかし並行処理のコードはない
この時点で誰も相手にしないのだろう
並列処理で効率を上げたいならこの例とは逆に可能な限り可変データの共有を避ける
例えばエリア分割が可能な場合はその分割や並列化を自動的にしてくれるrayonクレートが便利だ
しかし並行処理のコードはない
この時点で誰も相手にしないのだろう
並列処理で効率を上げたいならこの例とは逆に可能な限り可変データの共有を避ける
例えばエリア分割が可能な場合はその分割や並列化を自動的にしてくれるrayonクレートが便利だ
492デフォルトの名無しさん
2025/11/06(木) 02:34:08.26ID:dgxZE4EV Qiita Conference 2025 Autumnゲスト講演の人
『今のコンピュータ、AI にも Web にも 向いていないので 作り直そう!!』
https://speakerdeck.com/piacerex/jin-nokonpiyuta-ai-nimo-web-nimo-xiang-iteinainode-zuo-rizhi-sou
相変わらずデッタラメなこと言ってんなあw
素人に「なんかすごそう」と思わせれば勝ちって商売かな?
Qiitaも技術的正確性問わない方針は良いんだけどさ(良くないけど)、こんなのに発表の場与えてると詐欺の片棒担ぐことにな
『今のコンピュータ、AI にも Web にも 向いていないので 作り直そう!!』
https://speakerdeck.com/piacerex/jin-nokonpiyuta-ai-nimo-web-nimo-xiang-iteinainode-zuo-rizhi-sou
相変わらずデッタラメなこと言ってんなあw
素人に「なんかすごそう」と思わせれば勝ちって商売かな?
Qiitaも技術的正確性問わない方針は良いんだけどさ(良くないけど)、こんなのに発表の場与えてると詐欺の片棒担ぐことにな
493デフォルトの名無しさん
2025/11/06(木) 04:25:29.49ID:9fwSe3d4494デフォルトの名無しさん
2025/11/06(木) 04:46:44.93ID:0waaE8Ff 重くて遅く効率の悪いElixirを捨ててRustを使えばいいのに
495デフォルトの名無しさん
2025/11/06(木) 08:35:59.39ID:NgHldQIB フォンノイマンボトルネックが諸悪の根源みたいな説明してるけど386辺りの時代から知識のアップデートしてない感じだなあ。アイドル状態でも40%近い電力消費ってのもいつの話してるのって感じだ。
「ノイマン型でも」「ASIC/SoC/FPGA化は有望」って、SoCがどういうものだか分かってないなw
「ノイマン型でも」「ASIC/SoC/FPGA化は有望」って、SoCがどういうものだか分かってないなw
496デフォルトの名無しさん
2025/11/06(木) 09:14:07.68ID:NgHldQIB 現役CPUを上回るFPGA版ElixirChipってページ(36ページ)が一番酷い感じ。
Windowsが動くと思えないElixirChipでpassmarkスコアをどうやって計測したのか謎だし、x4でスコアが6倍近くなってるのわけわからん。
Xeon Silver 4309Y比較で電力99.92%削減てあるけど105W→3.7Wだから96.5%が妥当だなあ。どういう計算してんの?
つか省電力アピールしたいんだったら比べるべきはx86じゃなくてARMじゃね?
このスライドはデタラメですよを精一杯アピールしてるなw
Windowsが動くと思えないElixirChipでpassmarkスコアをどうやって計測したのか謎だし、x4でスコアが6倍近くなってるのわけわからん。
Xeon Silver 4309Y比較で電力99.92%削減てあるけど105W→3.7Wだから96.5%が妥当だなあ。どういう計算してんの?
つか省電力アピールしたいんだったら比べるべきはx86じゃなくてARMじゃね?
このスライドはデタラメですよを精一杯アピールしてるなw
497デフォルトの名無しさん
2025/11/06(木) 12:12:39.01ID:3laeUzWM 桁違いにクソ遅いElixir言語を利用前提の比較だからな
既存のCPUでElixir使用よりElixirチップが速くなったと主張しても意味がない
普通の速い言語との比較がいつも見当たらない
既存のCPUでElixir使用よりElixirチップが速くなったと主張しても意味がない
普通の速い言語との比較がいつも見当たらない
498デフォルトの名無しさん
2025/11/06(木) 18:41:06.51ID:NgHldQIB Elixirを高速に動かすチップを作るんじゃなくて、BEAMのバイトコードをHDLに変換してFPGAで動作させるようなこと考えてんだと思うけどね、まあうまくいかんだろうな。
499デフォルトの名無しさん
2025/11/06(木) 19:05:11.56ID:nfY55uft ElixirはErlangと同じく遅くてメモリ消費も多くメリットがないため採用されない運命
500デフォルトの名無しさん
2025/11/06(木) 19:06:56.31ID:QPm7Gdj1 全角おぢ現わる!
501デフォルトの名無しさん
2025/11/06(木) 20:53:06.13ID:dgxZE4EV > 全角おぢ現わる!
Rustスレでは複おじと呼ばれてるIDコロコロ君は面白いなw
Rustスレでは複おじと呼ばれてるIDコロコロ君は面白いなw
502デフォルトの名無しさん
2025/11/06(木) 22:47:02.84ID:jDfiTFJo >>492
その人のqiitaの過去の記事でElixirが他の言語より有利な点をいくつも挙げているけど、興味深いことにRustと重なる点が多いんだよね。
そして後発のRustがGAFAMなどIT企業に採用されていったから、挙げられていた有利な点自体は正しいのだと思う。
両者の違いのうち最も大きな相違点が実効速度だから、FPGA利用で速くするという方向性もElixirに拘るなら正しいのだと思う。
実際にRustより速くなるのかどうかはデータがないのでわからないけど。
その人のqiitaの過去の記事でElixirが他の言語より有利な点をいくつも挙げているけど、興味深いことにRustと重なる点が多いんだよね。
そして後発のRustがGAFAMなどIT企業に採用されていったから、挙げられていた有利な点自体は正しいのだと思う。
両者の違いのうち最も大きな相違点が実効速度だから、FPGA利用で速くするという方向性もElixirに拘るなら正しいのだと思う。
実際にRustより速くなるのかどうかはデータがないのでわからないけど。
503デフォルトの名無しさん
2025/11/07(金) 00:09:55.73ID:FoqJsBhT ElixirとRustとGAFAMを同時にディスるとはさすが
504デフォルトの名無しさん
2025/11/07(金) 07:46:09.43ID:qpVzgWA1 ElixirはGC言語かつ値がimmutableで書き換え不可
どうしてもゴミを撒き散らして遅くなりメモリも喰う点で致命的な差がある
どうしてもゴミを撒き散らして遅くなりメモリも喰う点で致命的な差がある
505デフォルトの名無しさん
2025/11/07(金) 21:51:44.05ID:yYmFFlal まだエリクサーにこだわる奴がおるんやな
506デフォルトの名無しさん
2025/11/08(土) 00:36:17.02ID:I5QWxatr 100人中99人に相手にされなくても残りのパイで商売できると思えばそりゃいるわw
507デフォルトの名無しさん
2025/11/08(土) 13:27:03.41ID:x2bq8IVF >>502
> そして後発のRustがGAFAMなどIT企業に採用されていったから、挙げられていた有利な点自体は正しいのだと思う。
Rust:
2006年 Mozillaの開発者Graydon Hoareが個人プロジェクトとして開発を開始
2009年 Mozillaが公式に支援開始
2010年 Rust発表
2015年 バージョン1.0リリース
Elixir:
2011年 José Valimによって開発開始
2012年 バージョン1.0リリース
RustとElixirの特徴が被ってて後発の方が優れているという主張であるならGAFAMが採用すべきはElixirということになるが実際は違うので>>502の言ってることはデタラメ。
> そして後発のRustがGAFAMなどIT企業に採用されていったから、挙げられていた有利な点自体は正しいのだと思う。
Rust:
2006年 Mozillaの開発者Graydon Hoareが個人プロジェクトとして開発を開始
2009年 Mozillaが公式に支援開始
2010年 Rust発表
2015年 バージョン1.0リリース
Elixir:
2011年 José Valimによって開発開始
2012年 バージョン1.0リリース
RustとElixirの特徴が被ってて後発の方が優れているという主張であるならGAFAMが採用すべきはElixirということになるが実際は違うので>>502の言ってることはデタラメ。
508デフォルトの名無しさん
2025/11/08(土) 14:19:34.32ID:zsbsx/GQ Elixirの最大の長所は軽量プロセスによる高い並行処理能力
Rustでこれに対応するのは非同期タスクによる高い並行処理能力
2015年のRust 1.0以前は非同期タスクは存在しなかった
2016年からFutureによる非同期タスクが標準ライブラリの外で始まるが2018年に互換性なしの変更など良いものへ洗練されていった
2019年にFutureが標準ライブラリに入り安定化しasync/await構文も導入
>>507
その比較で重要なことが抜けている
「2019年 Rustが非同期のためのFuture安定化とasync/awaitを導入」
そこから非同期を必要とするWebなどの分野でRustが他言語より優位に立ち採用が広まっていった
Rustでこれに対応するのは非同期タスクによる高い並行処理能力
2015年のRust 1.0以前は非同期タスクは存在しなかった
2016年からFutureによる非同期タスクが標準ライブラリの外で始まるが2018年に互換性なしの変更など良いものへ洗練されていった
2019年にFutureが標準ライブラリに入り安定化しasync/await構文も導入
>>507
その比較で重要なことが抜けている
「2019年 Rustが非同期のためのFuture安定化とasync/awaitを導入」
そこから非同期を必要とするWebなどの分野でRustが他言語より優位に立ち採用が広まっていった
509デフォルトの名無しさん
2025/11/08(土) 20:37:58.49ID:hzkGZkRW 自分でどんな理由でどう使ってみてどうだった
とかじゃなく宣伝文句とドコが採用したからすごい
ばかりでバカバカしい
とかじゃなく宣伝文句とドコが採用したからすごい
ばかりでバカバカしい
510デフォルトの名無しさん
2025/11/09(日) 18:19:18.40ID:ZWtQj05B 『Elixir(エリクサー)で数値計算すると幸せになれる』
https://qiita.com/zacky1972/items/c13706fa3f7bbf2b791b
記事中に引用されてる『Hastega: Elixir プログラミングにおける超並列化を実現するための GPGPU 活用手法』というpdfで、提案してるElixir+Rust+GPUの方法に対してRust+GPUと比較して、
> 提案手法は GPU を使用するネイティブコードと
> 比べ,1.48〜1.54 倍遅くなっただけである
とか言ってて草w
Elixir使って不幸になってる例じゃねぇかw
https://qiita.com/zacky1972/items/c13706fa3f7bbf2b791b
記事中に引用されてる『Hastega: Elixir プログラミングにおける超並列化を実現するための GPGPU 活用手法』というpdfで、提案してるElixir+Rust+GPUの方法に対してRust+GPUと比較して、
> 提案手法は GPU を使用するネイティブコードと
> 比べ,1.48〜1.54 倍遅くなっただけである
とか言ってて草w
Elixir使って不幸になってる例じゃねぇかw
511デフォルトの名無しさん
2025/11/10(月) 08:04:03.44ID:T/zXczQK sho_fcafeが痛すぎる
512デフォルトの名無しさん
2025/11/11(火) 14:31:26.06ID:crDtfQHZ >>492
めっちゃ文系やな
めっちゃ文系やな
513デフォルトの名無しさん
2025/11/11(火) 14:34:10.11ID:crDtfQHZ >>509
ほんそれ
ほんそれ
514デフォルトの名無しさん
2025/11/13(木) 22:41:38.33ID:KbiKCC4b515デフォルトの名無しさん
2025/11/14(金) 07:54:40.74ID:VEEgu24/ 使い方間違えなければ良い言語なんだろうけど、狂信的信者が何にでも使える万能であるとか言ってるのがRustもElixirも残念な感じ。
516デフォルトの名無しさん
2025/11/15(土) 17:30:30.93ID:PLQ8A+FP 言語なんてのは用途に応じて使い分ける道具のようなもの
それが分かってる人は場面に応じてフォークとナイフを使い分ける
それすら分かってない子はフォークとナイフの優劣を熱弁する
〇〇応援団になって
〇〇の万能性を説くことになる
それが分かってる人は場面に応じてフォークとナイフを使い分ける
それすら分かってない子はフォークとナイフの優劣を熱弁する
〇〇応援団になって
〇〇の万能性を説くことになる
517デフォルトの名無しさん
2025/11/18(火) 19:14:34.89ID:qlOKdwO5 ElixirChipの人の会社の会社概要にある住所ぐぐるとコワーキングスペースみたいの出てくんのちょっと面白いなw
518デフォルトの名無しさん
2025/11/19(水) 17:03:44.37ID:BtQmv4rh ゼロから始めるマイコンE-1
puts(sum); ワロタw
何を伝えたいんだこの記事は。
puts(sum); ワロタw
何を伝えたいんだこの記事は。
519デフォルトの名無しさん
2025/11/19(水) 20:28:39.83ID:Zx/n/3h2 >>518
職安の訓練でやり始めた爺が投稿してる雰囲気やなあ…
職安の訓練でやり始めた爺が投稿してる雰囲気やなあ…
520デフォルトの名無しさん
2025/11/19(水) 23:05:13.92ID:kUeiYR7I これに限らずコンパイルすらしてねえやろって記事を
平気で出してくるメンタルおかしくない?
コンパイルとか
実行とか
プログラミングとか
そこすら理解してないような怖さを感じる
平気で出してくるメンタルおかしくない?
コンパイルとか
実行とか
プログラミングとか
そこすら理解してないような怖さを感じる
521デフォルトの名無しさん
2025/11/20(木) 20:28:34.62ID:q8wKRAWW522デフォルトの名無しさん
2025/11/23(日) 13:37:34.80ID:Be78OY1L 『“見えてるけど見えてない”メモリリークの実体と 5 分で防ぐテクニック』
https://qiita.com/K3n_to_n17/items/cbd8f1022c37371d6e52
GCのない言語とある言語ではメモリリークの原因や対処方法も違うしひとつの記事で説明しようとするのは人間の発想ではないよなあ、AI生成かあ?
と思ったらNucoかあ。まだこんなことやってんのね。
https://qiita.com/K3n_to_n17/items/cbd8f1022c37371d6e52
GCのない言語とある言語ではメモリリークの原因や対処方法も違うしひとつの記事で説明しようとするのは人間の発想ではないよなあ、AI生成かあ?
と思ったらNucoかあ。まだこんなことやってんのね。
523デフォルトの名無しさん
2025/11/23(日) 20:33:59.89ID:rSLCerBT Nucoの記事は基本的にAI生成
ひどいものだと前年にインターンが書いた記事を丸コピなんてものもある
ひどいものだと前年にインターンが書いた記事を丸コピなんてものもある
レスを投稿する
ニュース
- 【速報】習主席とトランプ大統領が電話会談 台湾問題について★3 [ニョキニョキ★]
- 【速報】トランプ大統領、中国の習近平国家主席を「国賓」として招待することに [ニョキニョキ★]
- 米中電話会談、トランプ氏は「米国側は中国にとっての台湾問題の重要性を理解する」 [1ゲットロボ★]
- 【音楽】「なんでこんなバカが国のトップなの?」 若者に人気のバンド「GEZAN」のマヒトゥ・ザ・ピーポーが高市総理に苦言 [シャチ★]
- 中国人「『日本は危ないから行かないように』と言われたが、日本に来たらとても安全だった」 [お断り★]
- 石破前総理「どうすれば台湾有事にならないかを考えるべき」★2 [1ゲットロボ★]
- 【高市悲報】来年、習近平主席がアメリカに「国賓」として訪米。どうするんだよ高市・・・アメリカも敵に回すのか? [483862913]
- 【高市悲報】トランプおやびん「偉大な指導者である習近平首席、米国は中国にとっての台湾問題の重要性を理解しています」 [115996789]
- トランプおやびん「米中関係は極めて強固」高市早苗「」 [834922174]
- 【速報】足立ひき逃げ犯、精神病持ちだった [329271814]
- 【速報】高市「アタシぜっったい謝らないからッ!!」→中国焦る [308389511]
- 【画像】ブラジルの19歳超美人まんさん、同時間帯に異なる男性が膣内射精したため父親が異なる双子を出産 [776365898]
