【無限小】柄谷行人を解体する80【偏微分∂】 (857ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
209: 10/30(水)01:07:40.42 ID:0(209/857) AAS
2007年で41歳だと1984年で18歳…
東大模試で見かけた同じ学年の他の高校で
現役で理１、翌年理３に入りなおしたのと同姓同名
痴漢はむしろされそうな感じだったが
大江健三郎の痴漢小説のJのモデルは江藤淳らしい（小谷野敦による）
228: [age] 10/31(木)09:08:52.42 ID:0(228/857) AAS
要素の説明
* ∅: 空集合
* {A}, {B}, {C}, {D}: 各要素を単独で含む集合
* {A, B}, {A, C}, ...: 2つの要素を含む集合
* {A, B, C}, {A, B, D}, ...: 3つの要素を含む集合
* {A, B, C, D}: 全ての要素を含む集合（集合S自身）
冪集合の要素数
集合 S に n 個の要素があるとき、冪集合 2^S は 2^n 個の要素を持ちます。
今回の場合、S には4つの要素があるので、冪集合 2^S は 2^4 = 16 個の要素を持つことになります。
補足
省1
293: [age] 11/01(金)20:39:35.42 ID:0(293/857) AAS
3. 数学コミュニティの合意
* 標準化: ZFCは、長年の議論と研究を経て、数学コミュニティにおいて事実上の標準的な公理系として受け入れられています。
* 共通言語: 数学者たちは、ZFCを共通の言語として用いることで、より効率的にコミュニケーションを取り、研究を進めることができます。
ZFCが採用された主な理由をまとめると、
* 数学の基礎を築くための強力なツールである
* 歴史的な経緯と数学コミュニティの合意がある
* 一貫性と柔軟性を備えている
297: 11/01(金)20:43:05.42 ID:0(297/857) AAS
茨城の田舎者が抱く東京大学唯一信仰の成れの果てが、ジャネットの数学理系神妄想のスタイル
363: 11/02(土)20:04:25.42 ID:0(363/857) AAS
まー薬中でなければこれだけの馬鹿野郎はなかなか生まれて来ないもんなｗｗ
523: [age] 11/06(水)12:06:05.42 ID:0(523/857) AAS
よって、自然数Nが全順序集合となるためには半順序集合の条件を充たす必要があるので、関係Rは、関係(≤)となっていなければならない。この関係Rの場合は反射律 n≤n が充たされるので、以下のような自然数の列、
0≤1≤2≤3≤4≤5･･･
は、全順序集合となる
546: [age] 11/06(水)21:25:45.42 ID:0(546/857) AAS
From mathcomp Require Import all_ssreflect.
(* 2要素を持つ順序数型の濃度 *)
Lemma bool_cardinal : #|'I_2| = 2.
Proof.
by rewrite card_ord.
Qed.
1 subgoal
______________________________________(1/1)
#|'I_2| = 2
私:型'I_2は、自然数nに対応する順序数ord(n)の形式化として、
省6
697: 11/14(木)13:49:34.42 ID:0(697/857) AAS
学歴ロンダか
修士の近代経済、哲学受けた。
柄谷の影響で
760: 11/22(金)05:16:09.42 ID:0(760/857) AAS
馬鹿と対話しても、リソースの無駄になるだけだから
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.600s*