関数型言語Part2
■ このスレッドは過去ログ倉庫に格納されています
0349デフォルトの名無しさん
NGNGgoogleで恒等関係を調べるとどうも
経済学で平衡になる二量の関係のことを
まれにそう言うだけのようだ。
いわゆる同値関係や順序関係の類の数学用語にはなさそうだ。
上にもあるように恒等式のことだろう。
私としてはむしろ除余による同値関係は
a^{p-1}=_{p}1などと単に下付きで書くと美しいと思う
\equivでもいいけどごたごたしていて好きじゃない
>>347
ねたふりなよ
■ このスレッドは過去ログ倉庫に格納されています