トロピカル幾何の演算は人工の方に分類しても良いですかね…。