はじめに Python 3.5で型ヒント機能が導入され,型を意識できるようになりました。しかし,型ヒントの付いたコードを目にする機会は殆どありません。自分も当初は「Pythonに静的型付けは必要なのか?」と懐疑的でしたが,自分のコードに型ヒントを付けてみたところ,"oh my(py)!" と思ってしまい,広めたいと思ったのでこの記事を書くことにしました。 これから3回に分けて,型ヒントを活用して,Pythonで体の拡大を実装していきます。実装に際して,taketo1024さんの記事「Swiftで代数学入門」を大変参考にしました。 ちなみに筆者は代数拡大には疎いので(結城浩著「数学ガール/ガロア理論」を読んだ程度),誤りがあれば教えていただけますと幸いです。 代数拡大については,taketo1024さんの記事やその他のWebページに丁寧に書かれているので,この記事では数学的な話にはあまり触れ