A=B、A=Cであるとき、B=Cとなるとは限らない - Qiita

はじまり いつものようにTwitterを見ていると、気になるツイートがありました。 A=B、A=Cであるとき必ずしもB=Cとはならないとか思ってる人間が、その謎理論で反論リプしてくる世界で人類がわかり合うことはないんだなって思う pic.twitter.com/lsoS09jcBT — ぼのぼの＠煙草と柚子とヨーグルト (@BonoBono1031) 2019年6月9日 a=bかつb=cなら a=cが成り立つんだよなあ — ЯXY (@Necroxis_Girl) 2019年6月9日 A=B、A=CであるときB=Cになるとは限らないと思ってる世界で生きてるの日常生活に支障をきたしてそう — ぼのぼの＠煙草と柚子とヨーグルト (@BonoBono1031) 2019年6月9日 なんか別に間違ってなくね？？みたいな人がいるみたいでビビる。A=B、B=Cなら絶対にA=Cだし、こいつが出してる例は

[kazkaz03]

論理学の=とプログラミングの=は違う

[coppieee]

まず=の定義をしないと

[otihateten3510]

「AはB」と「A＝B」は同義ではない。これ理解してない人多いのは算数教育の失敗だと思う。「AはB　かつ　BはA」は「A=B」と同義と言える。／っていうか何の話だよｗ

[inamem9999]

JavaScriptでの比較は「===」を使えに一票。分かっててやってるなら良いけど

[knjname]

友達の友達が友達とは限らないんだよ。推移律を疑わない奴は人生経験が薄い。

[iww]

茶化してる話

[Silica]

ニンジンにあらずんば野菜にあらず / 代入演算子をネタとして持ち出すのはやめろと言おうかと思ったけど、私も自分の言語で1=2って書ける系の話をした記憶があった

[marmot1123]

普通イコールの記号を使うときは同値関係であってほしいよね。すなわち対称律、反射律、推移律を満たしておいてほしい。C由来の言語の代入は……諦めた。

[REV]

「○○○○の続編が、○○○○２である」　「続編は　前作の半数以上の販売が見込まれる」　従って、「○○○○２は　前作の半数程度、3000枚の販売は見込まれる」という命題が成立しないような話か

[daira4000]

プログラムの話なら「=」の定義次第でどうとでもなるので…

[matarillo]

JavaScriptの三位一体すこ https://twitter.com/hsjoihs/status/792206474902515712

[jsstudy]

IDEを使えばヨーダ記法は不要（リーダブル・コード）　"「A=B、B=Cなら絶対にA=C」という性質は、「推移律」といいます。この性質が成り立つかどうかは、「=」の定義によります。"

[wordi]

部分集合を=と書く異世界の話

[Hamukoro]

まあまあ、それが代入に見えるのは職業病やで

[shinp]

=が代入かどうかは寧ろ本質からそれちゃうので、==を使った時のcomparerが右辺と左辺の値によって異な場合がある＝結果も異な事もあるって方が重要。のび太とスネ夫は体力で等価。のび太とジャイアンは経済力で等価。

[mojakkun]

イコールってなんだっけ

[rryu]

異なる型の比較を混ぜると推移律が破綻すると…

[bocuno]

"C言語では、「=」は代入演算子です。"はい終了。あほらしい。

[anmin7]

かわいいは正義、かわいいは作れる。よって正義は作れる！

[ksk_uchimura]

左項と右項を入れ替えても成り立つ「=」の話でないと、それは理論ではなく叙述トリック。

[samu_i]

大喜利会場はこちらですか？大喜利会場はhatenaです。ここはhatenaですね。(意味不明

[sin20xx]

『A=B、A=Cであるとき必ずしもB=Cとはならない』自体は間違っていないので『その謎理論で反論リプしてくる世界』と自己の常識に限定した理解のみで議論する以上、この異なる世界の常識は理解できないのだとは確かに思う

[stp7]

== を使うと問題のある言語はIDEで「 === 使えボケ！」って警告出ると思う。

[traion]

twitterのは属することについての例、日本語は「は」で部分集合も表せる。AはBの部分集合ということを「AはB」といえてしまう。(にんじんは野菜)　AはBの部分集合はもちろんA=Bではない

[lorenz_sys]

演算子の実装についてのお話だけど今時の初学者さんに C の話してもスルーされそう。学生さんかと思ったらベテランさんっぽい。

[enemyoffreedom]

プログラムにおける比較演算が数学における同値関係や推移関係を満たしているとは限らない、というだけの話では。まぁ満たさない方が便利な局面もあるが、こうしてたやすく人間の直感を裏切る挙動になるのがやっかい

[suika3417]

前の呼び出すたびに値が＋１される系のネタだと思ったら変なツイートネタだった

[houyhnhm]

暗黙のキャスト気を付けましょう。

[yaboot]

数学なのか論理学なのか？

[NOV1975]

後者の例はどちらかというと=ではなく、A,B,Cそれぞれの性質の話では？

[komutan1]

B=Cにならない派の人は元ツイートの文脈を無視して屁理屈ぶっこんでるだけなので、確かに日常生活に支障をきたしてそう。