[過去ﾛｸﾞ] 【ライプニッツ症候群】柄谷行人を解体する79【D】 (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

81: [age] 2024/10/06(日)16:44 ID:0(81/1000) AA×
>>79


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
81: [age] 2024/10/06(日) 16:44:36.60 ID:0 >>79 可換は、コードの定義でいくと、以下のような感じになる。 ssrfun.commutative = fun (S T : Type) (op : S -> S -> T) => forall x y : S, op x y = op y x : forall S T : Type, (S -> S -> T) -> Prop これを簡単に言うと、x + y が y + x になったものが可換である http://lavender.5ch.net/test/read.cgi/philo/1727912511/81
可換はコードの定義でいくと以下のような感じになる これを簡単に言うと が になったものが可換である

---

上下前次1-新書関写板覧索設栞歴

---

あと 921 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.016s