Roast topics
Find topics
Find it!
可算選択公理と実数
構成的数学に基づいて解析学を展開し、プログラミングでそれを実装するようなコンテンツを作れないかなあと去年ぐらいから考えています。
| 雑記帳
