関数型言語Part2
■ このスレッドは過去ログ倉庫に格納されています
0354346
NGNG一応部屋の掃除ついでに
恒等関係が載ってる数学関係の本を見つけたんで、
報告する。
「無限と連続」岩波新書 遠山啓 著 1952年出版
ロングセラーの本だから今でも手に入るはずだと思うけど。
ここにこうある。
「この同値律を満たすものの中には恒等関係a=bがあることはいうまでもない。
それは最も厳しい同値関係であり、また反対に一般の同値関係は
恒等関係のゆるめられたものであると言える。」
一応報告までに。話の腰を折るつもりはないから。
遠山啓という人はどんな人かについて、
http://www.google.com/search?q=%89%93%8ER%8C%5B&hl=ja&lr=
等を参照。
■ このスレッドは過去ログ倉庫に格納されています