やったこと

Nominal

一通り必要な定理などを書き出した。
結構大きな成果になるのではないかと思う。

これをどこで発表しようか。