やること、練習問題

1. 型付きJSON（むかし、XIONとかXJSON呼んでいたヤツ）をマクロで実装する。
2. ベキ等可換モノイドからジョイン半束を作る。
3. 乗法ベキ等可換環のスペクトル理論（昔のブログ記事にある）
4. 距離連続写像は位相連続写像である。

定義・証明だけでなくて組織化を注意する。パッケージ／モジュール／名前空間／セクションの使い方。

練習問題：

1. 半環の和の展開公式（中学校）
2. 自然数帰納法と二分木の帰納法
3. 距離空間の直積は距離空間になる。直和は？
4. 位相空間の直積は位相空間になる。直和は？

プログラミングは練習問題思いつかない。ライブラリないから大変だし。