トロピカル半環

今後記述予定