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

座標変換よりも点の移動

概要 方程式で表された図形の座標変換が難しいので、点の移動で考える。 本文 ユークリッド空間の方程式で表される図形があるとする。たとえば平面において、 (方程式1)は、を中心とする半径の円である。 これを別の方程式 (方程式2)で表される図形を何か変…

内項外項ではなく行列の対角の積

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

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

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