圏論、カテゴリー論 その２ (207ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
201(1): 2024/12/04(水)23:13 ID:RMHqhltL(1) AAS
>>200
>+ -> +1 -> 3
+と+1と3とがどれもオブジェクトとしたいの？
なんかいろいろごっちゃな感じだけどオブジェクトをちゃんと定義できる？
>もしかして、演算子を対象。値を射にした構文木の圏みたいなのってあったりしますか？
演算子は2変数のものを考えてるの？
2変数関数f(x,y)でf,x,y全部変数にして
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.516s*