加藤毅ってトロピカル代数が専門だと思ってたよ