2020-01-11から1日間の記事一覧

同値類上の関数としてのかけ算の順序問題

概要 順序のない集合に対してかけ算を定義すれば、かけ算の順序問題はなくなる 本文 kyasmt.hatenablog.com 前回の記事を書いたとき、「かけ算」を2引数関数だと考えていました。Haskellのような記法を使うと、 あるいは、直積型、組型(tuple) を使って しか…