Login
From:
雑記帳
(Uncensored)
subscribe
可算選択公理と実数
https://blog.miz-ar.info/2025/06/countable-choice-and-reals/
links
backlinks
Tagged with:
数学
構成的数学に基づいて解析学を展開し、プログラミングでそれを実装するようなコンテンツを作れないかなあと去年ぐらいから考えています。
Roast topics
Find topics
Find it!
