kya-zinc https://blog.hatena.ne.jp/kya-zinc/ コンピュータってすごいらしい https://kyasmt.hatenablog.com/ 数学 概要 順序のない集合に対してかけ算を定義すれば、かけ算の順序問題はなくなる 本文 kyasmt.hatenablog.com 前回の記事を書いたとき、「かけ算」を2引数関数だと考えていました。Haskellのような記法を使うと、 あるいは、直積型、組型(tuple) を使って しかしかけ算を直積上の関数と考えても、とは違う値ですから、とは異なる式ということになります。 では、とを同じものとみなす空間(たとえば、とする)を考えたらどうでしょうか。 対の順序が逆なものを同値とみなす、すなわち という同値関係を考えると、 ですから、という代表元に対して、という同値類が考えられます。 交換法則が成り立… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkyasmt.hatenablog.com%2Fentry%2F2020%2F01%2F11%2F120325" title="同値類上の関数としてのかけ算の順序問題 - コンピュータってすごいらしい" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn.blog.st-hatena.com/images/theme/og-image-1500.png Hatena Blog https://hatena.blog 2020-01-11 12:03:25 rich https://kyasmt.hatenablog.com/entry/2020/01/11/120325 1.0 100%