返信先:@trgmeip一般に推移律が成り立たないのは間違いないですが、()内の条件にいちゃもんをつけようとしていた() 東京→熱海(東海道線)、熱海→浜松(東海道線) など

「一本で行ける」に推移律は成り立たない（同じ路線であるという条件が必要）

よって、 慶應（日吉）からも洗足学園まで1本で行ける（∵推移律）

返信先:@E8gp3QTJARdHVHrSOSDの定義って、リスク回避的な期待効用関数を持っているものならば誰でもSOSDしているギャンブルを好む、じゃなかったでしたっけ？　だとしたら推移律は明らかかと。

1000と1001はほとんど同じ n>1000の任意のnはn+1とほとんど同じ よって1000以上の全ての自然数はすべてほとんど同じ <=(推移律が行方不明)

推しの推しは推しという坂口愛美さん つまり推しという二項関係は推移律が成り立つ() #卒アルラジオ

順序がないってことは反射律と推移律と反対称律とを満たすものがないってことだから、 何の話だっけ？

「◯◯は△△である（性質をもつ）」という２項関係は、同じ集合に属する２要素間に定義される関係ではないので、推移律は成り立たない。

返信先:@Yossy_K仮に≒を1%以内の誤差があるって意味だとすると 当然に推移律は成り立たない、ってそういう話かいな

返信先:@kashmir_0216(青≦赤　だけど緑は赤と比較できない) (X,≦) は半順序集合になっているね. 何故なら, x⊂x だから反射律 x≦x を満たす. 次に, 推移律は x≦y かつ y≦z なら x≦z だけど, これは簡単に示せるよ. 最後に, x≦y かつ y≦x なら x=y となるから反対称律を満たす. つまり, (X,≦) は半順序だね.

返信先:@NU52282652推移律では

1997年ぐらいに線形時間で解かれてた。 推移律を満たすDAGに向け付け可能な無向グラフはComparability Graphっていう名前らしい... cs.colostate.edu/~rmm/linTOSODA…

数学的帰納法を使うためには「命題の推移律」が必要だが，高校の教科書でキチンと明言している箇所ってどこだったかな？🤔

推移律で簡単やんこんなのと思ったけどA∩Bが常に群を成すかの証明がむずいか。というかそのあたりに反例がある？先入観こわい

返信先:@Road_to_26Mこれのこと「推移律」って呼ぶの好き

返信先:@Cru_Khanateこれ、推移律発動させがち

剰余群までぼやっと理解してきた でも、推移律とかそこらへんの前情報が足りて無いから完全に理解してるかと言われると？って感じ

返信先:@tokyochibakan推移律を忘れたと予想

返信先:@DENKEN_HALそうなんですよ。 3×4 = 12 4×3 = 12 したがって、推移律から 3×4 = 4×3 なのですが…

返信先:@makaya_t_math値を表すから、等号で結んで答えを出します。 掛け順固定の人は、その点を理解していない可能性もありますね。 小学校で等号を習ったとき、反射律、推移律等を明確に教えてません。 意味を理解しないで使う人も出てきますかね。

返信先:@forno_fornyaｴｯそうなの？ でも >= はともかく \supseteq は順序ないでしょ？ 半順序も推移律は満たすはずだけど

返信先:@kobi_32768_vrc半順序は推移律が無いだけで二項比較は可能では？

その範囲の = なら、「反射律、対称律、推移律の3つを満たす関係」という古典の定義から別に反れてない気がするのだけれど。

12章(演算子オーバーロード)を読んだ🦀 PartialEqトレイトはEqと異なり対称律と推移律は満たすが反射律を満たさない関係に対しても実装できる PartialOrdはOrdと異なりNaNを含む比較など順序比較不能な関係を許し、その場合partial_cmpはNoneを返す(等価性判定も順序比較演算子を用いた比較も偽となる)

返信先:@shoyugi2+3=5, 3+2=5, 5=5 したがって 2+3=3+5 です。交換法則は使ってませんww ただし、反射律と推移律が成り立つのは仮定してます。

友達は推移律不成立定期 #tenshitsuki #bsntv

信用ってある程度の、推移律がある気がするな

もう片方の⇒ を示すとき 関係≈が{X×X}上の同値関係になるのは、特に反射律はX×XがX上の同値関係だからだけど、特に対称律と推移律は一元集合だからと書いた方がよい

返信先:@urr_trr_tla推移律ができてる

推移律の証明が間違っていました

The 3rd Universal Cup. Stage 0: Trial Contest [A] int 型のDPで状態数が O(N^2 max A) になる [C] f(x,y) のテーブルを作る. 1≦x,y≦k の K^2 組に対して、前計算で求めた「最も早くif文に引っかかる」ものの総minの返り値が f(x,y) になる. 推移律の方の条件は bitset 高速化も使う

新栄から千種は余裕で歩けるって聞いたから、池下から今池も歩けるし今池から千種も歩けるから池下から栄まで歩いた (推移律)

返信先:@noda_ganbaru関係Rが同値関係であることは反射律対象律推移律が成り立つみたいなやつ

n元集合に入る半順序（を表す-1,0,1の上半三角行列）の数 を列挙／数え上げるプログラム 推移律を満たすチェックをより簡単なものにした。 github.com/IIJIMA-SATOSHI… 比較→ github.com/IIJIMA-SATOSHI… x.com/IIJIMAS/status… pic.twitter.com/2X3AJCboez

「小並感」が、「小学生並みの感想」の略称だと今日知った。てっきり、「小並↔大並」という推移律があって、そこから「小物並」という意味だと思っていた。 小学生並みの感想 - ニコ百 dic.nicovideo.jp/id/4838496 #nicopedia

「単純無向グラフの辺を向き付けして、推移律を満たすDAGを作れるか」という問いが生まれたけど、解けないかったので断念。