トップページ
⇒
tech
986コメント
341KB
関数型言語Part2
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0343
デフォルトの名無しさん
NG
NG
>>340
これじゃん?
はっきり言って何が書いてあるのか分からんが
恒等関係ってなに?
>>274
>=というのは、恒等関係を表すものだ。
>同値関係には使用しない。
>もちろん恒等関係は同値関係の中に含まれるが、
>だからといって、単に同値なものを恒等と言ったりはしない。
>それでは記法としては話にならない。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています