概要 は対称性がわかりにくいので、行列 \begin{align}\begin{pmatrix}a & b \\c & d \end{pmatrix}\end{align}で書いてみる。 本文 内項の積外項の積という定理がある。 という比例式が成立するとき、が成立する。内側の2数をかけたものと外側の2数をかけた…

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