トロピカルってトーリック多様体を柔らかくしたものとの理解でOK?