- 1 名前：デフォルトの名無しさん mailto:sage [2021/01/08(金) 17:54:00.55 ID:0DW9z0rL.net]
- ※前スレ
C++相談室 part153
https://mevius.5ch.net/test/read.cgi/tech/1602339500/
テンプレここまで
- 669 名前：デフォルトの名無しさん [2021/02/09(火) 17:53:30.91 ID:LEWRJrN2.net]
- ダウトとデビューって似てるよね
- 670 名前：デフォルトの名無しさん [2021/02/09(火) 18:35:55.16 ID:qUmf+U4D.net]
- 親が子のポインタを所有する木は、親を消すとネストして子孫のデストラクタを呼ぶので、スタックが枯渇します。
したがって、子から順番に消さなくてはなりません。
- 671 名前：デフォルトの名無しさん [2021/02/09(火) 18:56:53.48 ID:qUmf+U4D.net]
- その様はまるで摩天楼がドミノ倒しのように連鎖倒壊するようでもあり、DOMINOというピザにもなっています・
- 672 名前：デフォルトの名無しさん mailto:sage [2021/02/09(火) 19:07:16.84 ID:IPYpL0sA.net]
- なんと後味の悪い話
- 673 名前：デフォルトの名無しさん mailto:sage [2021/02/09(火) 20:39:36.84 ID:zHOwdh/n.net]
- 意味が分からない
- 674 名前：デフォルトの名無しさん mailto:sage [2021/02/09(火) 21:07:48.14 ID:Rh87rJZX.net]
- >>657
それで枯渇するようじゃ木の探索すらできない。
- 675 名前：デフォルトの名無しさん mailto:sage [2021/02/09(火) 21:13:02.23 ID:5Ac7csWH.net]
- 探索はループでもできるんで、たとえば数万個の要素を持つツリーを子から消せというのは真理なのかも
- 676 名前：デフォルトの名無しさん mailto:sage [2021/02/09(火) 21:27:40.55 ID:AojZLEiV.net]
- 消すのは独立して実行できるので別スレッドに送れば実質コスト0
- 677 名前：デフォルトの名無しさん mailto:sage [2021/02/09(火) 21:38:09.75 ID:s3p3GZ7R.net]
- >>662
DFAとPDAではやれることの範囲の違いがちげう
つかこの場合は安易にスマポとかコンテナを使うから破棄ごときにトラバースの手間がかかるんである
- 678 名前：デフォルトの名無しさん mailto:sage [2021/02/09(火) 21:44:42.72 ID:5Ac7csWH.net]
- それもそうであるな
- 679 名前：デフォルトの名無しさん mailto:sage [2021/02/09(火) 21:50:17.60 ID:s3p3GZ7R.net]
- ちゅか垂直探索なら木をメモリに持っておく必要が無い
水平探索ならメモリ上に世代1、世代2、....と木を育てていく（らしい）が
兄弟ノードを全部見終えたのでいざ従妹ノードに移ろうとするときに
親ノードへの参照は欲しい木がするがするとshared_ptrなら即循環参照になり、
子の情報で親（子孫がいっぱいぶら下がっている）を生成できるわけもないから、
ウィークポインタの出番でもない
- 680 名前：デフォルトの名無しさん [2021/02/10(水) 01:37:49.58 ID:XIZePh+h.net]
- 子から消さなかったばかりに。
2000人を乗せた航空機が洋上で消えた。
ってなるかも？
- 681 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 01:48:13.89 ID:ZYaksnCf.net]
- A380でさえ853席だが2000人なんてどうやって載せるんだろう
- 682 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 01:51:41.17 ID:2ozOIzIF.net]
- く、空中で衝突するとか…
- 683 名前：デフォルトの名無しさん [2021/02/10(水) 01:53:08.99 ID:XIZePh+h.net]
- インドでは屋根の上にも乗ります。
- 684 名前：デフォルトの名無しさん [2021/02/10(水) 01:55:11.55 ID:XIZePh+h.net]
- https://trafficnews.jp/post/80031
証拠写真みつけてきた。
- 685 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 01:55:17.84 ID:uF0JvJPV.net]
- GTA5のMOD作成者みたいな会話だな
- 686 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 02:01:19.54 ID:uF0JvJPV.net]
- >>653
昔はdata()がなかった。(遠い目)
- 687 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 06:40:17.61 ID:ZYaksnCf.net]
- アントノフの貨物室にすし詰めでどんくらい乗れるかな
- 688 名前：デフォルトの名無しさん [2021/02/10(水) 06:40:27.16 ID:XIZePh+h.net]
- 東京: TK
京都: KT
大阪: OSK
淡路: AWG
- 689 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 07:59:22.76 ID:FGGGEnfF.net]
- 航空機や原発みたいなクリティカルなシステムでは
全部固定長の配列で書いてあるんじゃないの
- 690 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 08:06:21.27 ID:uF0JvJPV.net]
- 釣れますか。
ヒープのほうが少し安全です。
- 691 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 10:25:11.13 ID:4XPmMtZj.net]
- >>671
どこが証拠やねん!
せいぜり100人やないかヽ(`Д´)ﾉ
- 692 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 14:32:04.65 ID:TFzLuCg0.net]
- すみません、std::for_each を使っていて continue したくなりましたが、サポートしてないです
よね? これって:
1. for_each は continue する必要がないような処理に限ってに使うべき。
2. ループの中で大きい if ブロックを作って空の処理にすればよい。
3. その他
- 693 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 15:13:45.18 ID:ZYaksnCf.net]
- returnすれば？
for_each(begin(foo), end(foo), []{ if(bar) return; });
- 694 名前：デフォルトの名無しさん [2021/02/10(水) 16:06:00.49 ID:HSfvjOUE.net]
- return は continue ではなく break じゃないの？
質問者の2.大きなif分で実質何もしないでいいと思う
- 695 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 16:20:11.24 ID:ZYaksnCf.net]
- for_eachをbreakするにはthrowかlongjmpがいるぞ
- 696 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 16:35:39.62 ID:S47HOUGT.net]
- きったねぇジャンプだ
- 697 名前：デフォルトの名無しさん [2021/02/10(水) 16:51:31.94 ID:HSfvjOUE.net]
- あ、ラムダ式になってたのか
- 698 名前：はちみつ餃子 mailto:sage [2021/02/10(水) 17:51:08.81 ID:tNqysU9n.net]
- >>679
for 文で書いた方が短く書けそうだけど、
あえて for_each を使いたい理由が何かあったりするの？
- 699 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 18:41:41.17 ID:FGGGEnfF.net]
- Perlなら問題無くできる（continue→next、だが
C++規格委員会がfor_eachのcontinueを許可しないのは最後の一線なのかもしれん…
- 700 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 19:51:57.06 ID:teDb7k99.net]
- 何の一線よ
- 701 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 20:18:41.39 ID:ln/pLvjf.net]
- いやreturnでいいだろ…
許可しないってなんのことだよ
- 702 名前：デフォルトの名無しさん [2021/02/10(水) 21:21:18.68 ID:+e+FbMSY.net]
- vectorで一億件ほどで、飛ばしたいのが100〜1000件程度なんだろう
- 703 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 21:51:25.56 ID:QYfnOwKH.net]
- >>679
for_eachをrange based forに変更は出来ないの？
- 704 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 21:59:01.21 ID:ZYaksnCf.net]
- >>690
おまえのスキルのためにか？
- 705 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 22:17:23.69 ID:qtVJ0qYe.net]
- range based forなら普通にcontinueできるぞ
- 706 名前：デフォルトの名無しさん mailto:sage [2021/02/10(水) 22:18:26.21 ID:ln/pLvjf.net]
- >>689
飛ばす手段があったとして、飛ばすかどうかどこでどう判断するの？
- 707 名前：デフォルトの名無しさん mailto:sage [2021/02/11(木) 04:16:42.30 ID:nrDdTgaQ.net]
- early returnは正義
- 708 名前：デフォルトの名無しさん [2021/02/11(木) 11:22:44.35 ID:n0GRjtoR.net]
- >>685
テンプレのときとか
- 709 名前：デフォルトの名無しさん mailto:sage [2021/02/11(木) 17:53:02.68 ID:Iq2aKjep.net]
- 679がなぜfor_eachを使うのかを無視するのは
他人の領分を侵すお節介だ
for_eachの使い方をアドバイスできんやつは
しゃしゃり出てくるな
- 710 名前：デフォルトの名無しさん mailto:sage [2021/02/11(木) 18:00:13.22 ID:hRfccug1.net]
- よくよく話を聞いてみたらまるで異なる解決策が見つかるなんてよくあることじゃん。そんな経験ないの？
何をしたかったか確認するのは重要
- 711 名前：デフォルトの名無しさん mailto:sage [2021/02/11(木) 18:15:41.21 ID:Iq2aKjep.net]
- 流れをよく読んでみろよ
for_eachをロクに使ってないやつなのモロバレだろ
質問者が尋ねていないことを答えたいから協力しろなんてぬかすのは
回答者の資格ねえんだよ
- 712 名前：デフォルトの名無しさん mailto:sage [2021/02/11(木) 18:18:25.32 ID:Iq2aKjep.net]
- 自分が何か尋ねているときに
質問内容に付き合ってやれる懐のねえやつは
うぜえだけだろが
- 713 名前：デフォルトの名無しさん mailto:sage [2021/02/11(木) 18:23:57.31 ID:Iq2aKjep.net]
- 質問内容において自分より下なやつに教えを請いたいかよ
- 714 名前：デフォルトの名無しさん mailto:sage [2021/02/11(木) 18:34:11.92 ID:hRfccug1.net]
- for_eachを使う場合の答えはとっくに出てるのに何言ってんの？
- 715 名前：デフォルトの名無しさん mailto:sage [2021/02/11(木) 19:17:08.97 ID:15xoUz1R.net]
- 3のその他で答えただけ。
- 716 名前：デフォルトの名無しさん mailto:sage [2021/02/11(木) 20:01:29.92 ID:veopzNW6.net]
- 他人の領分なんて侵してナンボ
- 717 名前：デフォルトの名無しさん mailto:sage [2021/02/11(木) 20:03:18.37 ID:qccRsQET.net]
- >>702
はあ？returnではいけない理由は？
- 718 名前：デフォルトの名無しさん mailto:sage [2021/02/11(木) 20:19:00.69 ID:a/CQbB/Z.net]
- >>679はループしたいだけだろ
std::for_eachを何が何でも使わなければならない特殊な事情があるなら仕方ないけどそんなこと言ってないし
- 719 名前：デフォルトの名無しさん mailto:sage [2021/02/11(木) 20:23:31.36 ID:nDjPJyoP.net]
- >>704
returnで良いと思うよ。
- 720 名前：デフォルトの名無しさん mailto:sage [2021/02/11(木) 20:50:06.93 ID:Iq2aKjep.net]
- >>701
680は俺だが何言ってんの？
- 721 名前：デフォルトの名無しさん mailto:sage [2021/02/11(木) 21:58:36.08 ID:bviF/sLG.net]
- Visual Studio 2010（MSVC2010）で
template<class T>
void foo(T x) {
printf("%d: %d\n", targetEntity, x);
}
という関数テンプレートが定義されているときに、
namespace bar { const int targetEntity = 1; }
using bar::targetEntity;
void baz() { foo(100); }
はコンパイルが通るのに、
namespace bar { const int targetEntity = 1; }
void baz() {
using bar::targetEntity;
foo(100);
}
だと
error C2065: 'targetEntity': 定義されていない識別子です。
と言われるorz
- 722 名前：デフォルトの名無しさん mailto:sage [2021/02/11(木) 22:06:56.76 ID:bviF/sLG.net]
- >>688
for_eachを勘違いいてたわｻｰｾﾝ、
確かにfor_each<bgn, end, Function>のFunction(*it)からならreturnするで良さげ
- 723 名前：デフォルトの名無しさん [2021/02/11(木) 23:28:48.49 ID:Ooe4jkn9.net]
- >>707
アンパンマンはキミだ。
- 724 名前：はちみつ餃子 mailto:sage [2021/02/12(金) 01:36:02.90 ID:2OOQ6m86.net]
- >>708
宣言の有効範囲は宣言された場所からその宣言を含むブロックの終わりまでというのが原則
(クラススコープなどの例外はあるのでその他にも関連するルールはあるかもしれんけど)
なのでどちらもエラーになるのが筋だと思うし、 gcc や clang で試したらどっちもエラーだった。
逆にどういう理屈で前者が通るのかは気になる。
- 725 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 06:02:20.64 ID:45Tu3B4L.net]
- >>708
当たり前だね
最初の例ではtargetEntryをグローバル空間に導入しているからbaz()とfoo()の両方から見える
２番目の例ではtargetEntryをbaz()のブロック内に導入しているから、そこに包含されないfoo()のブロックからは見えない
ただし、これはfoo()を関数原型と関数定義に分けて関数定義をbarよりも後方に置いた場合の話だ
原文のままでは>>711が言うとおり通るわけがない
- 726 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 06:03:16.30 ID:45Tu3B4L.net]
- - barよりも後方
+ usingよりも後方
- 727 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 07:01:12.63 ID:3x5iWh5q.net]
- 確かにideoneでもVS2019でも両方エラーになるのですだが、
1番目の例はVS2010ではビルドも通って動くもーん
ソース:
https://ideone.com/DC8fMv
実行結果（※ VS2010限定）：
1: 100
続行するには何かキーを押してください . . .
- 728 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 07:04:11.00 ID:3x5iWh5q.net]
- ちな関数テンプレートfoo()の定義をusingよりも後方にしたら全てでビルドが通って動く
まそりゃーそうならないとおかしいが
- 729 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 07:12:42.48 ID:45Tu3B4L.net]
- >>714
通ってねえじゃん
何が言いたいんだ？
- 730 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 07:17:08.75 ID:3x5iWh5q.net]
- >>716
> >>714
> 通ってねえじゃん
> 何が言いたいんだ？
※ VS2010限定
- 731 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 07:24:49
]
- [ここ壊れてます]
- 732 名前：.77 ID:45Tu3B4L.net mailto: だから何？
ill-formedなのがわかっても自分が正しいと強弁したいのか？ [] - [ここ壊れてます]
- 733 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 07:27:26.57 ID:3x5iWh5q.net]
- 全員の主張を再検証しただけでつよ？
>原文のままでは>>711が言うとおり通るわけがない (>>712)
が覆されてご機嫌ななめ？？
- 734 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 07:32:07.63 ID:45Tu3B4L.net]
- 覆った？
おまえVS2010限定で逃げただろ
ill-formedはill-formed
これを覆せたら出直して来な
- 735 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 07:34:53.80 ID:45Tu3B4L.net]
- 俺も昔のバージョンのコンパイラは使うがバグ技は使わないし
そういうことをする厨二病とは組みたくない
- 736 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 07:38:38.54 ID:3x5iWh5q.net]
- >おまえVS2010限定で逃げただろ
VS2010ではビルドが通るというのが話の発端なので…
1番目の例がill-formedであろう点は同意
- 737 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 07:51:23.22 ID:45Tu3B4L.net]
- orzなんだろ
何が誰が悪いのかわかったら素直になれよ
居直る態度が気に入らねえ
- 738 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 08:12:22.74 ID:3x5iWh5q.net]
- 何が悪いのか、はともかく
誰が悪いのかとは一体…
つか現象（事実）の提示に対してそれを反発と解釈して勝手に炎上しないでいただきたい；；；
個人的にはVS2010のバグである可能性でほぼ確定とは思いつつ、
例1と例2で動きが違うことから、MSVC2010は、グローバルなシンボルについて
template foo()や関数baz()の中の解釈に入る前に名前空間を確定させる実装なのだと感じる
（template foo()の解釈ロジック自体にバグがあるなら例1、2とも同じ結果になるのが自然
再発防止のためには、C++規格のどこをどう読めば良いんじゃorz
- 739 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 08:57:55.62 ID:45Tu3B4L.net]
- >>719は明らかに煽り口調だろうが
和解したいなら、あの態度を撤回しろ
俺は和解なんかできなくて構わんが
- 740 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 10:26:37.15 ID:1W1GlA05.net]
- 匿名掲示板で誰が何を言ったのどうのとみっともないぞデフォルトの名無しさんよ
- 741 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 11:29:35.12 ID:jxDcSv/l.net]
- どう見ても>>716がイミフな言いがかりつけてるだけにしか見えんが…
> 確かにideoneでもVS2019でも両方エラーになるのですだが、
> 1番目の例はVS2010ではビルドも通って動くもーん
- 742 名前：デフォルトの名無しさん [2021/02/12(金) 13:22:44.45 ID:x9NfpsA7.net]
- 匿名でも江副とかQZとか片山やはちみつが糞なのは伝わってくるω
- 743 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 18:24:14.30 ID:45Tu3B4L.net]
- 単発IDになりやがった
どこまでも腐ってやがるな
- 744 名前：蟻人間 mailto:sage [2021/02/12(金) 19:12:56.39 ID:fTOQtm+W.net]
- どこでも動くように標準化しましょうねって話だよね。
- 745 名前：蟻人間 mailto:sage [2021/02/12(金) 19:29:19.43 ID:WC9JZZt5.net]
- G++とかclang++などの複数のコンパイラで警告最大にして自動ビルドすれば再発防止できると思われます。
- 746 名前：デフォルトの名無しさん mailto:sage [2021/02/12(金) 19:37:54.63 ID:3abO7oQ0.net]
- 流れをぶった切って質問です。
あるクラスで生成、削除を一切合切プライベートにしたい（ファクトリメソッドでスマートポインタを渡す）んだけど、
::deleteを対象クラスだけプライベート、あるいはコンパイルエラーにする
ことって可能かしらん？
- 747 名前：蟻人間 mailto:sage [2021/02/12(金) 19:46:11.11 ID:WC9JZZt5.net]
- >>732
private dtor使え、だとよ。
https://stackoverflow.com/questions/631783/what-is-the-use-of-having-destructor-as-private
- 748 名前：蟻人間 mailto:sage [2021/02/12(金) 19:55:37.68 ID:fTOQtm+W.net]
- dtorはデストラクターの略ね。
死のトラクターじゃないよ。
- 749 名前：デフォルトの名無しさん [2021/02/13(土) 02:57:21.77 ID:ZCgeuP6g.net]
- 映画化決定。
- 750 名前： mailto:sage [2021/02/15(月) 00:20:32.87 ID:M7Hs01/T.net]
- >>728
私が馬鹿なのは私自身が認めていることですが、片山さんはすごいと思いますよ、何よりも片山さんは多産ですし、私は片山さんを尊敬しています‥‥
- 751 名前：デフォルトの名無しさん mailto:sage [2021/02/15(月) 12:30:59.56 ID:tZ1nblID.net]
- >>733
ありがとう。参考になりました。
流石にグローバルdtorの直接呼び出しを気にしている人は居なさそうですね。
通常の使い方じゃないから気にするな、が正解かしらん。
- 752 名前：デフォルトの名無しさん mailto:sage [2021/02/16(火) 18:45:49.14 ID:zTH+X1Xm.net]
- 画像
https://genkibox.com/linepic/wp-content/uploads/2017/10/line0049.jpg
- 753 名前：デフォルトの名無しさん mailto:sage [2021/02/16(火) 18:59:33.07 ID:zTH+X1Xm.net]
- つかprivate dtorって何の解決にもなって
なくね？
クラスFooのデストラがprivateな時点で
Fooのfirendでも何でもないstd::shared_ptr<Foo>はビルドエラーになる宿命なのでは…
あとp.get()->Delete()とされるのも恐ろしいすぐる………
- 754 名前：デフォルトの名無しさん mailto:sage [2021/02/16(火) 19:15:28.82 ID:Pme6j5oX.net]
- >>739
そのあたりは回避策ある。
どのwebページに解説あったか覚えてないけど……
- 755 名前：デフォルトの名無しさん mailto:sage [2021/02/17(水) 08:24:04.17 ID:Pn/OWNHb.net]
- operator <=>を定義しても
==と!=が使えるようにならないのは、なんで？
- 756 名前：デフォルトの名無しさん mailto:sage [2021/02/17(水) 11:29:34.99 ID:u6Au0MiC.net]
- https://cpprefjp.github.io/lang/cpp20/consistent_comparison.html
のoperator==節で仕様とその理由についても説明してあります
- 757 名前：デフォルトの名無しさん mailto:sage [2021/02/17(水) 12:05:07.17 ID:8kTif7Fu.net]
- relops
- 758 名前：デフォルトの名無しさん mailto:sage [2021/02/17(水) 12:07:48.78 ID:ZhVk2C4b.net]
- relops
- 759 名前：デフォルトの名無しさん mailto:sage [2021/02/17(水) 12:14:57.71 ID:7xS0C1vs.net]
- なるほどわからん。弱順序って何よ？
- 760 名前：デフォルトの名無しさん mailto:sage [2021/02/17(水) 13:36:33.88 ID:peDNmUYI.net]
- >>745
二項関係で、反射律、推移律、比較可能性を満たすもの
- 761 名前： mailto:sage [2021/02/17(水) 21:10:31.90 ID:n4obO1jB.net]
- >>746
擬順序とか半順序と呼ぶ本もありますね、
ただ、その「比較可能性を満たす」とはなんでしょうか？私の教科書では、擬順序には反射律・推移律だけしか要請されていなかったと記憶しているのですが？
- 762 名前：デフォルトの名無しさん mailto:sage [2021/02/17(水) 23:46:57.44 ID:ZhVk2C4b.net]
- 普通に言葉通り任意の2つの元を比較できるということなのでは…
木構造で「親は子より大きい」という順序を定義しただけ
（全順序集合（例えば整数）で全ノードをラベル付けしてしまうというチート手段に訴えことなく、
文字通り「if (aはbの親） { a > b; }」という規則と(a, b)の反射律、推移律を導入しただけ
では兄弟間の大小が定まらない、
みたいな
- 763 名前：デフォルトの名無しさん mailto:sage [2021/02/17(水) 23:47:32.54 ID:ZhVk2C4b.net]
- のは半順序で、
整数みたいなやつが全順序
- 764 名前：デフォルトの名無しさん mailto:sage [2021/02/17(水) 23:59:39.55 ID:ZhVk2C4b.net]
- なお{ 全順序集合 }⊂{ 半順序集合 }なのは確定的に明らかなので、
反射律・推移律だけしか要請されていなかったらそれは全順序集合の集合を含む半順序集合の集合の意味となりぬ
つまり全順序集合の集合と半順序集合の集合が区別できん
両社を区別したい議論のときは比較可能性の有無を宣明せねばならんぬ、
- 765 名前：デフォルトの名無しさん mailto:sage [2021/02/18(木) 00:34:07.44 ID:48a8FzyN.net]
- a≦b または b≦aが成り立つ時、比較可能
弱順序ってしらなかったけど、半順序とは違うようだ
「半順序？弱順序？二項関係・順序関係まとめ」って記事
- 766 名前：デフォルトの名無しさん mailto:sage [2021/02/18(木) 03:35:31.61 ID:sRdwF113.net]
- 束論やってるけど弱順序とか初めて聞いた…
マ界用語？
- 767 名前：741 mailto:sage [2021/02/18(木) 06:50:20.77 ID:brZHVFLx.net]
- >>74
- 768 名前：2
まだ何とも言えないが
thx! []- [ここ壊れてます]
- 769 名前：デフォルトの名無しさん mailto:sage [2021/02/18(木) 10:08:01.17 ID:48a8FzyN.net]
- 弱順序は、半順序よりは制限強いが全順序より弱いもので、
ある種のソートアルゴリズムでは全順序よりは制限緩められるけど
半順序までは緩められない、ってのがあるみたいね
|
 |
