構成的数学
https://blog.miz-ar.info/2023/04/constructive-algebra/
『Commutative algebra』
https://arxiv.org/abs/1605.04832
https://twitter.com/mod_poppo/status/1641091665917259776