update.どうも、佐野です。実装しながら解説するシリーズを書いてみようと思います。は強い型システムを持ちながら柔軟性も高く、関数型でありながら読みやすく、変数にギリシャ文字を使えたりもして、なかなか数学と相性の良い言語だと思います。学ぶ複素数」で発表をしたり、「Swiftで自然数を作ってみた」という記事を書いたりしました。代数的な事柄の基礎づけには、「代数学の基本定理」は不要なのである。いう一文に出会い「これだ!」と奮い立ちました。興奮に任せてこれをプログラムで実装してみたところ、さらに思いもよらぬ驚きがありました。